Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Insup Lee
10 träffar
|
Titel |
Författare |
År |
Språk |
1 |
CONCUR '95 - concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995 : proceedings
|
International Conference on Concurrency Theory 1995) Philadelphia :
|
cop. 1995 |
Engelska |
2 |
Embedded software. - third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
|
Pa.) EMSOFT 2003 (2003 : Philadelpha
|
2003 |
Engelska |
3-4 |
Handbook of real-time and embedded systems
(flera utgåvor)
|
|
c2008 |
Engelska |
5 |
CONCUR '95: Concurrency Theory
|
International Conference on Concurrency Theory
|
1995 |
Engelska |
6 |
Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
7 |
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
|
Howard. Barringer
|
2010 |
Engelska |
8 |
Handbook of Real-Time and Embedded Systems electronic resource
|
Insup. Lee
|
2007 |
Engelska |
9 |
CONCUR '95: Concurrency Theory
|
Insup Lee
|
uuuu-uuuu |
Okänt |
10 |
Handbook of Real-time and Embedded Systems (Chapman & Hall/CRC computer and information science series)
|
Insup Lee
|
uuuu-uuuu |
Okänt |
1
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.