Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation June 10 - 16, 2006, Ottawa, Ontario, Canada

Inhaltsverzeichnis

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23 - 24, 2012 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation San Diego, California, USA, June 10 - 13, 2007

Inhaltsverzeichnis

Static analysis 19th international symposium, SAS 2012, Deauville, France, September 11 - 13, 2012 ; proceedings

Inhaltsverzeichnis

Tools and algorithms for the construction and analysis of systems 18th international conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice o...

Inhaltstext
Inhaltsverzeichnis

Proceedings of the 19th annual IEEE Symposium on Logic in Computer science LICS 2004 ; Turku, Finland, 13 - 17 July 2004

Inhaltsverzeichnis

Computer aided verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings

Inhaltsverzeichnis

Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Verification, model checking, and abstract interpretation 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Proceedings of the Fifth International Symposium on Metal Ions in Biology and Medicine held in Neuherberg, Munich, Germany, on May 8 - 10, 1998 = Cinquième Symposium International...

Inhaltsverzeichnis

Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice o...

Inhaltstext
Inhaltsverzeichnis

Biophysics of the cochlea from molecules to models ; proceedings of the international symposium held at Titisee, Germany, 27 July - 1 August 2002

Inhaltsverzeichnis

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of...

Inhaltstext
Inhaltsverzeichnis

Computer aided verification 22nd international conference ; proceedings

Inhaltstext
Inhaltsverzeichnis

Verification, model checking, and abstract interpretation 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, proceedings

Inhaltsverzeichnis

The naval war in the Baltic 1939-1945 von Grooss, Poul 1942-

Inhaltsverzeichnis
Literaturverzeichnis
Register // Personenregister

Handbook of model checking

Inhaltsverzeichnis
Inhaltsverzeichnis

Class war or race war the inner fronts of Soviet society during and after the Second World War von Kende, Tamás 1965-

Inhaltsverzeichnis
Literaturverzeichnis
Register // Gemischte Register

State of madness psychiatry, literature, and dissent after Stalin von Reich, Rebecca

Inhaltsverzeichnis
Literaturverzeichnis
Register // Gemischte Register