Zum Inhalt springen

Yahav, Eran [HerausgeberIn] ; SAS 18 2011 Venedig

Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6887
Ueda, Kazunori [HerausgeberIn] ; APLAS 8 2010 Schanghai

Programming languages and systems : 8th Asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 6461
Barthe, Gilles [HerausgeberIn]; Hermenegildo, Manuel [Sonstige Person, Familie und Körperschaft] ; VMCAI 11 2010 Madrid

Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2010

Erschienen in: Lecture notes in computer science ; 5944
Jones, Neil D. [HerausgeberIn]; Müller-Olm, Markus [Sonstige Person, Familie und Körperschaft] ; VMCAI 10 2009 Savannah, Ga

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5403
Cook, Byron [HerausgeberIn]; Podelski, Andreas [Sonstige Person, Familie und Körperschaft] ; VMCAI 8 2007 Nizza

Verification, model checking, and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14 - 16, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4349
Cousot, Radhia [HerausgeberIn] ; VMCAI 6 2005 Paris

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3385
Emerson, E. Allen [HerausgeberIn]; Namjoshi, Kedar S. [Sonstige Person, Familie und Körperschaft] ; VMCAI 7 2006 Charleston, SC

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2006

Erschienen in: Lecture notes in computer science ; 3855
Steffen, Bernhard [HerausgeberIn] ; VMCAI 5 2004 Venedig

Verification, model checking, and abstract interpretation : 5th international conference, Venice, January 11 - 13, 2004 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 2937
Cortesi, Agostino [HerausgeberIn] ; VMCAI 3 2002 Venedig

Verification, model checking, and abstract interpretation : third international workshop, Venice, Italy, January 21 - 22, 2002 ; revised papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Lecture notes in computer science ; 2294
Ramakrishnan, C. R. [HerausgeberIn]; Rehof, Jakob [Sonstige Person, Familie und Körperschaft] ; TACAS 14 2008 Budapest, ETAPS 11 2008 Budapest

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4963
Kowalewski, Stefan [HerausgeberIn]; Philippou, Anna [Sonstige Person, Familie und Körperschaft] ; TACAS 15 2009 York, ETAPS 12 2009 York

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2009

Erschienen in: Lecture notes in computer science ; 5505
Logozzo, Francesco [HerausgeberIn]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]; Zuck, Leonore D. [Sonstige Person, Familie und Körperschaft] ; VMCAI 9 2008 San Francisco, Calif

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7 - 9, 2008 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 4905
Grumberg, Orna [HerausgeberIn]; Huth, Michael [Sonstige Person, Familie und Körperschaft] ; TACAS 13 2007 Braga, ETAPS 10 2007 Braga

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2007

Erschienen in: Lecture notes in computer science ; 4424
Lau, Kung-Kiu [HerausgeberIn]; Banach, Richard [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 7 2005 Manchester

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3785
Zuck, Lenore D. [HerausgeberIn] ; VMCAI 4 2003 New York, NY

Verification, model checking, and abstract interpretation : 4th international conference ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2575
Cousot, Radhia [HerausgeberIn] ; SAS 10 2003 San Diego, Calif

Static analysis : 10th international symposium ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2694
Yang, Hongseok [HerausgeberIn] ; APLAS 9 2011 Kending

Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Lecture notes in computer science ; 7078
Hermenegildo, Manuel V. [HerausgeberIn] ; SAS 9 2002 Madrid

Static analysis : 9th international symposium ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2002

Erschienen in: Lecture notes in computer science ; 2477
Kuncak, Viktor [HerausgeberIn]; Rybalchenko, Andrey [Sonstige Person, Familie und Körperschaft] ; VMCAI 13 2012 Philadelphia, Pa

Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22 - 24, 2012 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2012

Erschienen in: Lecture notes in computer science ; 7148
Qin, Shengchao [HerausgeberIn]; Qiu, Zongyan [Sonstige Person, Familie und Körperschaft] ; International Conference on Formal Engineering Methods 13 2011 Durham

Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2011

Erschienen in: Lecture notes in computer science ; 6991

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr