Zum Inhalt springen

Alt, René [HerausgeberIn] ; 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

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 ; 2991
Donath, Norbert [VerfasserIn]

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

Schließen

Merkliste

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

2000
Risio, Benedetto [VerfasserIn]

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

Schließen

Merkliste

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

Düsseldorf: VDI-Verl., 2001

Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 47100
Bischoff, Hans [VerfasserIn]

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

Schließen

Merkliste

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

1993
Ullrich, Christian [Sonstige Person, Familie und Körperschaft] ; 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]

Schließen

Merkliste

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

Basel: Baltzer, 1990

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

Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung

Schließen

Merkliste

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

Berlin: Akademie-Verl., 1989

Erschienen in: Mathematical research ; 58
Hammer, Rolf [Sonstige Person, Familie und Körperschaft]

C++ toolbox for verified computing

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, 19XX-
Ganai, Malay [VerfasserIn]; Gupta, Aarti [VerfasserIn]

SAT-based scalable formal verification solutions

Schließen

Merkliste

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

New York: Springer Science+Business Media, 2007

Erschienen in: Series on integrated circuits and systems
Apt, Krzysztof R. [VerfasserIn]; Olderog, Ernst-Rüdiger [VerfasserIn]

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

Schließen

Merkliste

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

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

Erschienen in: Graduate texts in computer science
Loeckx, Jacques [VerfasserIn]; Sieber, Kurt [VerfasserIn]

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

Schließen

Merkliste

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

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

Erschienen in: Wiley-Teubner series in computer science
Idriss, Ismail [VerfasserIn]

Verified linear programming in control system analysis and design

Schließen

Merkliste

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

2001
Panskus, Heiko [VerfasserIn]

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

Schließen

Merkliste

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

Düsseldorf: VDI-Verl., 2000

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

Principles of model checking

Schließen

Merkliste

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

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

Standardized functional verification

Schließen

Merkliste

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

New York, NY: Springer, 2008
Clarke, Edmund M. [VerfasserIn]; Grumberg, Orna [VerfasserIn]; Peled, Doron [VerfasserIn] ; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]

Model checking - [3. print.]

Schließen

Merkliste

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

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

Programmverifikation : sequentielle, parallele und verteilte Programme

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, 1994

Erschienen in: Springer-Lehrbuch
Futschek, Gerald [VerfasserIn]

Programmentwicklung und Verifikation

Schließen

Merkliste

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

Wien [u.a.]: Springer, 1989

Erschienen in: Springers angewandte Informatik
Etessami, Kousha [HerausgeberIn]; Rajamani, Sriram K. [Sonstige Person, Familie und Körperschaft] ; CAV 17 2005 Edinburgh

Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 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 ; 3576
Emerson, E. Allen [HerausgeberIn]; Sistla, Aravinda Prasad [Sonstige Person, Familie und Körperschaft] ; CAV 12 2000 Chicago, Ill

Computer aided verification : 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; 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, 2000

Erschienen in: Lecture notes in computer science ; 1855
Alur, Rajeev [HerausgeberIn]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft] ; CAV 16 2004 Boston, Mass

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13 - 17, 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 ; 3114

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