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: E. Allen Emerson
8 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Visual Information and Information Systems
|
Stéphane. Bres
|
|
Engelska |
| 2 |
Computer aided verification - 12th international conference : proceedings
|
International Conference on Computer Aided Verification 2000 : Chicago)
|
cop. 2000 |
Engelska |
| 3-4 |
Computer Aided Verification
(flera utgåvor)
|
CAV (Conference)
|
2000 |
Engelska |
| 5 |
Verification, Model Checking, and Abstract Interpretation: 7Th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : Proceedings (Lecture notes in computer science, 3855)
|
E. Allen Emerson
|
2006 |
Okänt |
| 6 |
"Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, U. S. A., July 15-19, 2000, Proceedings"
|
E. Allen Emerson
|
2000 |
Okänt |
| 7-8 |
Verification, Model Checking, and Abstract Interpretation
(flera utgåvor)
|
E. Allen. Emerson
|
2006 |
Engelska |
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.