Skip to contents

Alt, René [Editor] ; Seminar Numerical Software with Result Verification 2003 Dagstuhl

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19 - 24, 2003 ; revised papers

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 2991
Risio, Benedetto [Author]

Effizienz und Verläßlichkeit numerischer Vorhersagen zur rechnergestützten Optimierung von Großkraftwerksbrennkammern - [Als Ms. gedr.]

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 2001

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 47100
Donath, Norbert [Author]

Ein Beitrag zur Anwendung der Bitortheorie und zur postprozessiven Beurteilung von numerischen Verfahren der Technischen Mechanik unter Benutzung einer problemorientierten Operatorensprache

Close

Bookmarks

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

2000
Bischoff, Hans [Author]

Berechnungsmethoden der technischen Hydromechanik und der deterministischen Hydrologie mit Ergebnisverifikation und automatischer Sensitivitätsanalyse : Grundlagen eines technisch-wissenschaftlichen Expertensystems für den Wasserbau und die Wasserwirtschaft

Close

Bookmarks

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

1993
Ullrich, Christian [Other] ; Universität Basel Institut für Informatik, Gesellschaft für Angewandte Mathematik und Mechanik, International Association for Mathematics and Computers in Simulation, International Conference on Computer Arithmetic and Self-Validating Numerical Methods 1 1989 Basel

Contributions to computer arithmetic and self-validating numerical methods : [selection of contributed papers of a meeting]

Close

Bookmarks

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

Basel: Baltzer, 1990

Published in: International Association for Mathematics and Computers in Simulation: IMACS annals on computing and applied mathematics ; 700
Kulisch, Ulrich [Editor]; Geörg, Stefan [Adapter]

Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung

View online
Schließen

Close

Bookmarks

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

Berlin: Akademie-Verl., 1989

Published in: Mathematical research ; 58
Hammer, Rolf [Other]

C++ toolbox for verified computing

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 19XX-
Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author]

Verification of sequential and concurrent programs - [2. ed.]

View online
Schließen

Close

Bookmarks

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

New York; Heidelberg [u.a.]: Springer, 1997

Published in: Graduate texts in computer science
Loeckx, Jacques [Author]; Sieber, Kurt [Author]

The foundations of program verification - [2. ed.]

View online
Schließen

Close

Bookmarks

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

Stuttgart [u.a.]: Teubner [u.a.], 1987

Published in: Wiley-Teubner series in computer science
Idriss, Ismail [Author]

Verified linear programming in control system analysis and design

Close

Bookmarks

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

2001
Panskus, Heiko [Author]

Konzept zur Evaluation hindernisauflösender mikroskaliger Modelle und seine Anwendung auf das Modell MITRAS - [Als Ms. gedr.]

Close

Bookmarks

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

Düsseldorf: VDI-Verl., 2000

Published in: Verein Deutscher Ingenieure: Fortschrittberichte VDI / 7 ; 389
Baier, Christel [Author]; Katoen, Joost-Pieter [Author]

Principles of model checking

View online
Schließen

Close

Bookmarks

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

Cambridge, Mass. [u.a.]: MIT Press, 2008
Wiemann, Alan [Author]

Standardized functional verification

View online
Schließen

Close

Bookmarks

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

New York, NY: Springer, 2008
Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author] ; Peled, Doron A. [Other]

Model checking - [3. print.]

Close

Bookmarks

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

Cambridge, Mass. [u.a.]: MIT Press, 2001
Apt, Krzysztof R. [Author]; Olderog, Ernst-Rüdiger [Author]

Programmverifikation : sequentielle, parallele und verteilte Programme

View online
Schließen

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: Springer-Lehrbuch
Futschek, Gerald [Author]

Programmentwicklung und Verifikation

View online
Schließen

Close

Bookmarks

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

Wien [u.a.]: Springer, 1989

Published in: Springers angewandte Informatik
Etessami, Kousha [Editor]; Rajamani, Sriram K. [Other] ; CAV 17 2005 Edinburgh

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 ; proceedings

View online
Schließen

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 ; 3576
Emerson, E. Allen [Editor]; Sistla, Aravinda Prasad [Other] ; CAV 12 2000 Chicago, Ill

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings

View online
Schließen

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 ; 1855
Alur, Rajeev [Editor]; Peled, Doron A. [Other] ; CAV 16 2004 Boston, Mass

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 2004 ; proceedings

View online
Schließen

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 3114
Foster, Harry D. [Author] ; Krolnik, Adam C. [Other]

Creating assertion-based verification IP

View online
Schließen

Close

Bookmarks

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

New York, NY: Springer, 2008

Published in: Series on Integrated Circuits and Systems

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