Książka Termersetzungssysteme Reinhard Bündgen

Termersetzungssysteme

Theorie, Implementierung, Anwendung

Język: Niemiecki
Oprawa: Miękka
Wydawca: Vieweg+Teubner
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
178.34
Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der I...

Informacje o książce

Język
Niemiecki
Oprawa
Książka - Miękka
Data wydania
1998
strony
228
EAN
9783528056520
ISBN
3528056525
Enbook ID
06802623
Wydawca
Waga
456
Wymiary
170 x 244 x 13

Pełny opis

Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der Informatik wie z. B. automatisches Beweisen, algebraische Spezifikationen, funktionales Programmieren, Computeralgebra und Verifikation von Soft- und Hardware. Im Mittelpunkt des Buches, das sich vor allem an Informatiker und Mathematiker richtet, steht die universelle Datenstruktur Term.

Możesz być zainteresowany

71.09
303.87

Vielfalt B1+

Dagmar Giersberg
134.65

Festung Europa?

Maximilian Hermsen
209.52
454.81

Klienci, którzy kupili tę książkę, kupili również

Poli

VALENTIN GENDROT
82.12

Devil

Jordan MARIE
105.75

Jam and Jelly

Cassie Liversidge
45.37
132.56
78.64
43.29

Groton Story

Carol Kimball
35.04

Pre-Calculus

BarCharts Inc
51.83
265.24

Viscous Fluid Flow

Andreas N. Alexandrou
1 116.28
1 116.28

Ethnicity and Urban Life in China

Xiaowei (City University of Hong Kong) Zang
345.97
325.51