Jump to main content

yr 〜
yr

Search results 10

Verdachts- und ereignisunabhängige Personenkontrollen : polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung / von Susanne Graf. (Schriften zum öffentlichen Recht ; Bd. 1016)

Verdachts- und ereignisunabhängige Personenkontrollen : polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung / von Susanne Graf. (Schriften zum öffentlichen Recht ; Bd. 1016)
Paper図書
Duncker & Humblotc2006.<AG4-212-B51>
National Diet Library
  • Author HeadingGraf, Susanne.

Automated technology for verification and analysis : 4th international symposium, ATVA 2006 : Beijing, China, October 23-26, 2006 : proceedings. : Oct 2006, Beijing, China. (Lecture Notes in Computer Science ; 4218)

Automated technology for verification and analysis : 4th international symposium, ATVA 2006 : Beijing, China, October 23-26, 2006 : proceedings. : Oct 2006, Beijing, China. (Lecture Notes in Computer Science ; 4218)
Paper図書
Springerc2006.<M17-07-184>
National Diet Library
  • Author HeadingGraf, Susanne. Zhang, Wenhui, 1963- ATVA 20...

Model checking software : 11th international SPIN workshop : Barcelona, Spain, April 1-3, 2004 : proceedings. : Apr 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2989)

Model checking software : 11th international SPIN workshop : Barcelona, Spain, April 1-3, 2004 : proceedings. : Apr 2004, Barcelona, Spain. (Lecture Notes in Computer Science ; 2989)
Paper図書
Springerc2004.<M17-04-3045>
National Diet Library
  • Author Heading...atalunya (UPC) Graf, Susanne. Mounier, Laurent. Internatio...

Verdachts- und ereignisunabhängige Personenkontrollen : polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung

Verdachts- und ereignisunabhängige Personenkontrollen : polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung
Paper図書
von Susanne GrafDuncker & Humblotc2006
Other Libraries in Japan
  • Author HeadingGraf, Susanne

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006, proceedings

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006, proceedings
Paper図書
ed. Susanne Graf, Wenhui ZhangSpringer2006
Other Libraries in Japan
  • Author HeadingATVA Graf, Susanne Zhang, Wenhui

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 ; proceedings pbk.

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 ; proceedings pbk.
Paper図書
Susanne Graf, Laurent Mounier (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingSPIN Graf, Susanne Mounier, Laurent

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures
Paper図書
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingBoer, Frank S. de Bonsangue, Marcello M. Graf, Susanne Roever, W.-P. de FMCO

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
Paper図書
Frank S. de Boer ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingFMCO Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne Roever, W.-P. de

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

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
Paper図書
Susanne Graf, Michael Schwartzbach (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingTACAS Graf, Susanne Schwartzbach, Michael I Europ...

Aceh : history, politics and culture : soft cover

Aceh : history, politics and culture : soft cover
Paper図書
edited by Arndt Graf, Susanne Schröter, Edwin WieringaInstitute of Southeast Asian Studies2010
Other Libraries in Japan

Reached to the end of result.

RSS