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. de Boer
22 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Active Object Languages. - Current Research Trends
|
|
2024 |
Engelska |
| 2 |
Active Object Languages: Current Research Trends
|
|
2024 |
Okänt |
| 3 |
Formal Methods for Components and Objects
|
Bernhard Beckert
|
2013 |
Okänt |
| 4 |
Formal Methods for Components and Objects
|
Marcello M. Bonsangue
|
|
Engelska |
| 5 |
Physics of magnetism and magnetic materials
|
K. H. J. Buschow
|
c2003 |
Engelska |
| 6 |
Physics of magnetism and magnetic materials electronic resource
|
K. H. J. Buschow
|
c2003 |
Engelska |
| 7 |
Cohesion in metals - transition metal alloys
|
|
1988 |
Engelska |
| 8 |
Active Object Languages : Current Research Trends
|
Frank. de Boer
|
2024 |
Engelska |
| 9 |
Active Object Languages: Current Research Trends electronic resource / edited by Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
|
Frank. de Boer
|
uuuu-uuuu |
Okänt |
| 10 |
Formal Methods for Components and Objects (vol. # 4111) electronic resource - 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
|
Frank S. de Boer
|
2006 |
Engelska |
| 11 |
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
|
Elena Giachino
|
2013 |
Okänt |
| 12 |
FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
|
|
2015 |
Engelska |
| 13 |
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 |
| 14 |
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 |
| 15 |
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 |
| 16 |
Formal Methods for Components and Objects: First International Symposium, FMCO 2002
|
Frank S.de Boer
|
uuuu-uuuu |
Okänt |
| 17 |
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
|
|
2018 |
Engelska |
| 18 |
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
|
|
2018 |
Okänt |
| 19 |
Theoretical Computer Science
|
Jos C.M. Baeten
|
2012 |
Okänt |
| 20 |
FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
|
Nikolaj Bjørner
|
2015 |
Okänt |
1
2
Nästa sida
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.