Skip to contents

Yahav, Eran [Editor] ; SAS 18 2011 Venedig

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6887
Van Hentenryck, Pascal [Editor] ; SAS 4 1997 Paris

Static analysis : 4th international symposium, SAS '97, Paris, France, September 8 - 10, 1997 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1302
Mycroft, Alan [Editor] ; SAS 2 1995 Glasgow

Static analysis : Second International Symposium; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 983
Le Charlier, Baudouin [Editor] ; SAS 1 1994 Namur

Static analysis : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 864
Palsberg, Jens [Editor] ; SAS 7 2000 Santa Barbara, Calif

Static analysis : 7th International Symposium ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1824
Cousot, Radhia [Editor] ; SAS 3 1996 Aachen

Static analysis : third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1145
Gold, Peter Werner [Author]

Statisches und dynamisches Verhalten mehrstufiger Zahnradgetriebe

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1979
Bubenhagen, Frank [Author] ; Michalik, Harald [Degree supervisor]; Bereković, Mladen [Degree supervisor] Technische Universität Braunschweig

Analysis and enhancement of a fault-tolerant NoC for SRAM-based FPGAs in space applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig, 2019
Liu, Hong [Author]

Zum statischen und dynamischen Verhalten einer Zylinderschale mit kreisförmigen Ausschnitten bei Innendruck - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 1993

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 129
Nasdala, Lutz [Author]

FEM-Formelsammlung Statik und Dynamik : Hintergrundinformationen, Tipps und Tricks - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg + Teubner, 2010

Published in: Studium
Palsberg, Jens [Editor]; Su, Zhendong [Other] ; SAS 16 2009 Los Angeles, Calif

Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5673
Cousot, Radhia [Editor]; Martel, Matthieu [Other] ; SAS 17 2010 Perpignan

Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 6337
Yi, Kwangkeun [Editor] ; SAS 13 2006 Seoul

Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4134
Alpuente, María [Editor]; Vidal, Germán [Other] ; SAS 15 2008 Valencia

Static analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16 - 18, 2008; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 5079
Cousot, Radhia [Editor] ; SAS 10 2003 San Diego, Calif

Static analysis : 10th international symposium ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 2694
Hankin, Chris [Editor]; Siveroni, Igor [Other] ; SAS 12 2005 London

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 3672
Cortesi, Agostino [Editor] ; SAS 6 1999 Venedig

Static analysis : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1694
Levi, Giorgio [Editor] ; SAS 5 1998 Pisa

Static analysis : 5th International Symposium, SAS '98, Pisa, Italy, September 14 - 16, 1998; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 1503
Cousot, Patrick [Editor] ; WSA 3 1993 Padua

Static analysis : third international workshop; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 724
Nicola, Rocco De [Other]; De Nicola, Rocco [Editor] ; ESOP 16 2007 Braga, ETAPS 10 2007 Braga

Programming languages and systems : 16th European Symposium on Programming, ESOP 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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

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

Published in: Lecture notes in computer science ; 4421

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication