Susanne Graf (Graf, Susanne)

English

• 
  Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
  

  by Susanne Graf , Wenhui Zhang

  ISBN 3540472371 (3-540-47237-1)
  Softcover, Springer-Verlag New York Inc

  
  Find All Copies

   

  › Find collectible copies of 'Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings'
• 
  Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 Revised Lectures
  

  by Susanne Graf , Willem-Paul De Roever, Frank S. de Boer, Marcello M. Bonsangue

  ISBN 3540203036 (3-540-20303-6)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 Revised Lectures'

  More editions of Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 Revised Lectures:

  • Formal Methods for Components And Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures: ISBN 3540291318 (3-540-29131-8)
    Softcover, Springer-Verlag New York Inc
  • Formal Methods for Components And Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures: ISBN 3540367497 (3-540-36749-7)
    Softcover, Springer-Verlag New York Inc
  • Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006, Revised Lectures: ISBN 3540747915 (3-540-74791-5)
    Softcover, Springer-Verlag New York Inc
• 
  Formal Methods For Components And Objects: Second International Symposium, Fmco 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
  

  by Fmco 200 (2003 Leiden, Netherlands), Susanne Graf , Willem-Paul De Roever, Frank S. de Boer, Marcello M. Bonsangue

  ISBN 3540229426 (3-540-22942-6)
  Softcover, Springer-Verlag New York Inc

  
  Find All Copies

   

  › Find collectible copies of 'Formal Methods For Components And Objects: Second International Symposium, Fmco 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures'
• 
  Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
  

  by Susanne Graf , Laurent Mounier

  ISBN 3540213147 (3-540-21314-7)
  Softcover, Springer-Verlag New York Inc

  
  Find All Copies

   

  › Find collectible copies of 'Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings'
• 
  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, germa
  

  by Tacas 2000, Michael I. Schwartzbach, Susanne Graf

  ISBN 3540672826 (3-540-67282-6)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of '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, germa'

German

• 
  Verdachts- Und Ereignisunabhangige Personenkontrollen: Polizeirechtliche Und Verfassungsrechtliche Aspekte Der Schleierfahndung
  

  by Susanne Graf

  ISBN 3428118227 (3-428-11822-7)
  Softcover, Duncker & Humblot

  
  Find All Copies

   

  › Find collectible copies of 'Verdachts- Und Ereignisunabhangige Personenkontrollen: Polizeirechtliche Und Verfassungsrechtliche Aspekte Der Schleierfahndung'
• 
  Wir vom Jahrgang 1978 - Kindheit und Jugend. Jahrgangsbände
  

  by Susanne Graf

  ISBN 3831315787 (3-8313-1578-7)
  Softcover

  
  Find All Copies

   

  › Find collectible copies of 'Wir vom Jahrgang 1978 - Kindheit und Jugend. Jahrgangsbände'