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.