Horst Reichel – författare
Visar alla böcker från författaren Horst Reichel. Handla med fri frakt och snabb leverans.
10 produkter
Initial Computability, Algebraic Specifications, and Partial Algebras
Inbunden, 1988
1891 kr
Lägg i varukorg
No detailed description available for "Initial Computability, Algebraic Specifications, and Partial Algebras".
Initial Computability, Algebraic Specifications, and Partial Algebras
E-bok, 2022
1472 kr
Lägg i varukorg
No detailed description available for "e;Initial Computability, Algebraic Specifications, and Partial Algebras"e;.
STACS 2001
18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings
Av Afonso Ferreira, Horst Reichel
Häftad, 2001
567 kr
Lägg i varukorg
The Symposium on Theoretical Aspects of Computer Science (STACS) is held annually, alternating between France and Germany. The STACS meetings are organized jointly by the Special Interest Group for Theoretical Computer S- ence of the Gesellschaft fu r Informatik (GI) in Germany and the Maison de …
STACS 2001
18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001. Proceedings
Av Horst Reichel, Afonso Ferreira
E-bok, 2003
755 kr
Lägg i varukorg
STACS 2000
17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings
Av Sophie Tison, Horst Reichel
E-bok, 2007
1459 kr
Lägg i varukorg
Recent Trends in Data Type Specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Av Hartmut Ehrig, Klaus P. Jantke m. fl.
Häftad, 1991
567 kr
Lägg i varukorg
The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification …
Informatik — Wirtschaft — Gesellschaft
23. GI — Jahrestagung, Dresden, 27. September – 1. Oktober 1993
Häftad, 1993
583 kr
Lägg i varukorg
Die Gesellschaft fUr Informatik fiihrt ihre 23. J ahrestagung an der Fakultat Informatik der Technischen Universitat Dresden und damit erstmals in einem neuen Bundesland durch. Mit dem Motto Informatik - Wirtschaft - Gesellschaft solI das breite Wirkungsfeld der Informatik in der Einheit von …
Fundamentals of Computation Theory
10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings
Häftad, 1995
567 kr
Lägg i varukorg
This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995.The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of …
STACS 2000
17th Annual Symposium on Theoretical Aspects of Computer Science Lille, France, February 17-19, 2000 Proceedings
Av Horst Reichel, Sophie Tison
Häftad, 2000
1127 kr
Lägg i varukorg
STACS,the SymposiumonTheoreticalAspects ofComputerScience,isheld- nually, alternating between France and Germany. STACS is organizedjointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f. ur Informatik (GI) in Germany and the Maison de l'Informatique et des Ma- …
Informatik — Wirtschaft — Gesellschaft
23. GI — Jahrestagung, Dresden, 27. September – 1. Oktober 1993
E-bok, 2013
608 kr
Lägg i varukorg
