Kniha Termersetzungssysteme Reinhard Bündgen

Termersetzungssysteme

Theorie, Implementierung, Anwendung

Jazyk: Němčina
Vazba: Brožovaná
Vydavatel: Vieweg+Teubner
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
943
Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der I...

Informace o knize

Jazyk
Němčina
Vazba
Kniha - Brožovaná
Vydáno
1998
Stránek
228
EAN
9783528056520
ISBN
3528056525
Enbook ID
06802623
Vydavatel
Hmotnost
456
Rozměry
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 zajímat

Festung Europa?

Maximilian Hermsen
1 173
1 700
373

Zákaznicí kteří koupili tuto knihu koupili také

Jam and Jelly

Cassie Liversidge
237
440
706

Devil

Jordan MARIE
594

Poli

VALENTIN GENDROT
395
1 348

Viscous Fluid Flow

Andreas N. Alexandrou
5 970

Ethnicity and Urban Life in China

Xiaowei (City University of Hong Kong) Zang
1 850
2 433