7th International Conference on Automated Deduction. Proceedings (Lecture Notes in Computer Science Vol. 170)
Kategorie: Computer ISBN: 3540960228	Produktbeurteilungen: Dieses Produkt beurteilen
7th International Conference on Automated Deduction. Proceedings (Lecture Notes in Computer Science Vol. 170) R. E. Shosta, Erschienen 1998 Springer-Verlag Berlin Heidelberg, Broschiert [3540960228] Lesen Sie mehr über diesen Titel...
Anbieter: Amazon Preisinformation und Bestellung	Buch Newsletter kostenlos abbonieren

Weitere Computer Angebote	ISBN
Software Process Technology. 5th European Workshop, EWSPT '96, Nancy, France, October 9 - 11, 1996. Proceedings (Lecture Notes in Computer Science Vol. 1149)	354061771X
Einführung in die Programmierung mit Mathematica.	3764329653
PC Tuning echt einfach.	3772373933
CAD für Bauingenieure.	3519052431
Filtering, Segmentation and Depth (Lecture Notes in Computer Science Vol. 662)	3540564845