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: Frank S.de Boer
7 träffar
|
Titel |
Författare |
År |
Språk |
1 |
Formal methods for components and objects. - first international symposium, FMCO 2002, leiden, The Netherlands, November 2002 : revised lectures
|
Netherlands) FMCO 2002 (2002 : Leiden
|
2003 |
Engelska |
2 |
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : Revised Lectures (Lecture notes in computer science, 3188)
|
Frank S. de Boer
|
uuuu-uuuu |
Okänt |
3 |
Theoretical Computer Science
|
Jos C.M. Baeten
|
2012 |
Okänt |
4 |
Formal Methods for Components and Objects: First International Symposium, FMCO 2002
|
Frank S.de Boer
|
uuuu-uuuu |
Okänt |
5 |
Formal Methods for Components and Objects
|
Bernhard Beckert
|
2013 |
Okänt |
6 |
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : Revised Lectures (Lecture notes in computer science, Tutorial 3657)
|
Frank S. de Boer
|
2005 |
Okänt |
7 |
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
|
Elena Giachino
|
2013 |
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.