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 19 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-3 Tools and algorithms for the construction and analysis of systems - sixth 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 (flera utgåvor) International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2000) Berlin : 2000 Engelska
4-6 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
7 Automated Technology for Vertification and Analysis Susanne Graf 2006 Okänt
8 Model checking software. - 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings Spain) International SPIN Workshop 2004 : Barcelona c2004 Engelska
9 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
10 Automated Technology for Vertification and Analysis electronic resource - 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings Susanne. Graf 2006 Engelska
11-13 Formal Methods for Components and Objects (flera utgåvor) Frank S. Boer 2008 Okänt
14 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
15 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
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 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
18 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
19 Verdachts- und ereignisunabhangige Personenkontrollen : polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung / von Susanne Graf Susanne. Graf 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.