- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
164 S.
- Language
-
Englisch
- Notes
-
Tübingen, Univ., Diss., 1997 (Nur beschränkt für den Austausch)
- Keyword
-
Computeralgebra
Algorithmus
Korrektheit
Generische Programmierung
- 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.03.2025, 11:46 AM CET
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.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Generic tasks for algorithms
Algorithms in Algebraic Geometry
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Combinatorial algorithms in algebraic structures
Algorithms in real algebraic geometry
Algorithms in real algebraic geometry
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
Verification of reactive systems : formal methods and algorithms
Generic programming - SUCHTHAT one can build an algebraic library
Robust algebraic multilevel methods and algorithms
Generic tasks for algorithms
Algorithms in Algebraic Geometry
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Combinatorial algorithms in algebraic structures
Algorithms in real algebraic geometry
Algorithms in real algebraic geometry
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
Verification of reactive systems : formal methods and algorithms
Generic programming - SUCHTHAT one can build an algebraic library
Robust algebraic multilevel methods and algorithms
Generic tasks for algorithms
Algorithms in Algebraic Geometry
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Combinatorial algorithms in algebraic structures
Algorithms in real algebraic geometry
Algorithms in real algebraic geometry
Algebraic calculation of graph and sorting algorithms
Algebraic calculation of graph and sorting algorithms
Verification of reactive systems : formal methods and algorithms
Generic programming - SUCHTHAT one can build an algebraic library