Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Autoren: Jürgen Avenhaus oder Hanspeter Bieri oder Hartmut Ehrig oder Felix Grimm oder Ivo van Horebeek

1. 

   Christian Maurer

   Objektbasierte Programmierung mit Go

   • Springer Fachmedien Wiesbaden
   • 2023

   • Taschenbuch
   • 372 Seiten

   37,99€

   in Kürze

2. 

   eng

   Johan Lewi / Ivo Van Horebeek

   Algebraic Specifications in Software Engineering

   An Introduction

   • Springer Berlin Heidelberg
   • 2011

   • Taschenbuch
   • 368 Seiten

   53,49€

   in Kürze

3. 

   eng

   Bernd Mahr / Hartmut Ehrig

   Fundamentals of Algebraic Specification 1

   Equations and Initial Semantics

   • Springer Berlin Heidelberg
   • 2011

   • Taschenbuch
   • 340 Seiten

   106,99€

   in Kürze

   The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of…

4. 

   Jürgen Avenhaus

   Reduktionssysteme

   Rechnen und Schließen in gleichungsdefinierten Strukturen

   • Springer Berlin Heidelberg
   • 1995

   • Taschenbuch
   • 264 Seiten

   54,99€

   in Kürze

   Reduktions- und Vervollständigungstechniken dienen zum Rechnen und Schließen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datenty…

5. 

   Felix Grimm / Hanspeter Bieri

   Datenstrukturen in APL2

   Mit Anwendungen aus der künstlichen Intelligenz

   • Springer Berlin Heidelberg
   • 1992

   • Taschenbuch
   • 356 Seiten

   59,99€

   in Kürze

   Mit dem Erscheinen von PC-Versionen (seit 1988) hat die leistungsfähige Programmiersprache APL2 deutlich an Attraktivität und Verbreitung gewonnen. A…

6. 

   eng

   Algebraic and Logic Programming

   Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings

   • Springer Berlin Heidelberg
   • 1992

   • Taschenbuch
   • 472 Seiten

   53,49€

   in Kürze

   This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 19…

7. 

   eng

   The Programming and Proof System ATES

   Advanced Techniques Integration into Efficient Scientific Software

   • Springer Berlin Heidelberg
   • 1991

   • Taschenbuch
   • 352 Seiten

   106,99€

   in Kürze

   Today, people use a large number of "systems" ranging in complexity from washing machines to international airline reservation systems. Computers are…

8. 

   eng

   Categorical Methods in Computer Science

   With Aspects from Topology

   • Springer Berlin Heidelberg
   • 1989

   • Taschenbuch
   • 364 Seiten

   53,49€

   in Kürze

   This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of t…