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: Susanne. Graf 22 träffar

Titel Författare År Språk
1 Gestörtes Lernen, gestörte Beziehungen - eine psychoanalytisch-sozialpsychologischen Interpretation der Lehrerarbeit mit Sonderschülern Susanne Graf-Deserno cop. 1981 Tyska
2-4 Formal Methods for Components and Objects - Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures (flera utgåvor) Frank S. Boer 2008 Engelska
5 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
6 Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings 2015 Engelska
7-9 Formal Methods for Components and Objects (flera utgåvor) Frank S. Boer 2008 Okänt
10 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
11 Automated Technology for Vertification and Analysis electronic resource - 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings Susanne. Graf 2006 Engelska
12 Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career Susanne. Graf 2024 Engelska
13-14 Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career / edited by Susanne Graf, Paul Pettersson, Bernhard Steffen (flera utgåvor) Susanne. Graf uuuu-uuuu Okänt
15 Verdachts- und ereignisunabhangige Personenkontrollen : polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung / von Susanne Graf Susanne. Graf uuuu-uuuu Okänt
16 Model Checking Software - 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings Spain) International SPIN Workshop 2004 : Barcelona International SPIN Workshop 2004 Engelska
17 Model checking software. - 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings Spain) International SPIN Workshop 2004 : Barcelona c2004 Engelska
18 Automated Technology for Vertification and Analysis Susanne Graf 2006 Okänt
19 Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings Susanne Graf 2015 Okänt
20 Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 April 2, 2000 Proceedings Susanne Graf uuuu-uuuu 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.