- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540528494
3540528490
9780387528496
0387528490
- Dimensions
-
24 cm
- Extent
-
VII, 180 S.
- Language
-
Deutsch
- Notes
-
Literaturverz. S. 178 - 180
- Bibliographic citation
-
Lecture notes in computer science ; 445
- Keyword
-
Mathematik
Beweis
Programm
Korrektheit
Beweis
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona
- (who)
-
Springer
- (when)
-
1990
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:43 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Gasteren, Antonetta J. M. van
- Springer
Time of origin
- 1990
Other Objects (12)
Paris Princeton lectures on mathematical finance, 2003
Essays on mathematical robotics
The mathematical intelligencer
Mathematical programming computation : MPC
Communications in mathematical physics
Archive for mathematical logic
Journal of mathematical biology
Mathematical programming : Series A, Series B ; a publication of the Mathematical Programming Society
Mathematical statistics with Mathematica, Buch.
Research in the mathematical sciences
Mathematical conversations : selections from The mathematical intelligence
Lectures on mathematical theory of extremum problems
Paris Princeton lectures on mathematical finance, 2003
Essays on mathematical robotics
The mathematical intelligencer
Mathematical programming computation : MPC
Communications in mathematical physics
Archive for mathematical logic
Journal of mathematical biology
Mathematical programming : Series A, Series B ; a publication of the Mathematical Programming Society
Mathematical statistics with Mathematica, Buch.
Research in the mathematical sciences
Mathematical conversations : selections from The mathematical intelligence
Lectures on mathematical theory of extremum problems
Paris Princeton lectures on mathematical finance, 2003
Essays on mathematical robotics
The mathematical intelligencer
Mathematical programming computation : MPC
Communications in mathematical physics
Archive for mathematical logic
Journal of mathematical biology
Mathematical programming : Series A, Series B ; a publication of the Mathematical Programming Society
Mathematical statistics with Mathematica, Buch.
Research in the mathematical sciences
Mathematical conversations : selections from The mathematical intelligence