Книга Termersetzungssysteme Reinhard Bündgen

Termersetzungssysteme

Theorie, Implementierung, Anwendung

Автор: Reinhard Bündgen
Език: Немски език
Корици: С меки корици
Издател: Vieweg+Teubner
Наличност: Външен склад
Изпращаме след 5-8 дни
43.60 85.27 лв
Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der I...

Информация за книгата

Автор
Език
Немски език
Корици
Книга - С меки корици
Издадена
1998
страници
228
EAN
9783528056520
ISBN
3528056525
Enbook ID
06802623
Издател
Теглоt
456
Размери
170 x 244 x 13

Пълно описание

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.

Може също да ви хареса

Festung Europa?

Maximilian Hermsen
51.03 99.81 лв
81.62 159.64 лв
77.75 152.07 лв
17.48 34.18 лв

Клиенти, които купиха тази книга, купиха също

Jam and Jelly

Cassie Liversidge
11.20 21.90 лв
19.13 37.42 лв
30.69 60.02 лв
39.08 76.43 лв

Devil

Jordan MARIE
25.61 50.10 лв
20.69 40.47 лв

Poli

VALENTIN GENDROT
17.43 34.08 лв
18.73 36.64 лв
51.03 99.81 лв
61.13 119.56 лв

Viscous Fluid Flow

Andreas N. Alexandrou
258.49 505.56 лв
258.49 505.56 лв

Ethnicity and Urban Life in China

Xiaowei (City University of Hong Kong) Zang
80.12 156.69 лв
105.33 206.01 лв