Kniha Termersetzungssysteme Reinhard Bündgen

Termersetzungssysteme

Theorie, Implementierung, Anwendung

Jazyk: Nemčina
Väzba: Brožovaná
Vydavateľ: Vieweg+Teubner
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
41.25
Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der I...

Informácie o knihe

Jazyk
Nemčina
Väzba
Kniha - Brožovaná
Vydalo
1998
Stránok
228
EAN
9783528056520
ISBN
3528056525
Enbook ID
06802623
Vydavateľ
Hmotnosť
456
Rozmery
170 x 244 x 13

Kompletný popis

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.

Mohlo by vás zaujímať

Festung Europa?

Maximilian Hermsen
48.52
74.07
16.50

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Jam and Jelly

Cassie Liversidge
10.50
18.17
29.17

Devil

Jordan MARIE
24.55

Poli

VALENTIN GENDROT
16.30
58.45

Viscous Fluid Flow

Andreas N. Alexandrou
247.07
247.07

Ethnicity and Urban Life in China

Xiaowei (City University of Hong Kong) Zang
76.52
100.69