SULJE VALIKKO

avaa valikko

G. Biermann | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 28 tuotetta
Haluatko tarkentaa hakukriteerejä?



Computer Program Synthesis Methodologies - Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–
A.W. Biermann; G. Guiho
Springer (1982)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Program Synthesis Methodologies - Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–
A.W. Biermann; G. Guiho
Springer (2011)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Zur Geschichte der Herzogtümer Zator und Auschwitz
G Biermann
Hansebooks (2016)
Pehmeäkantinen kirja
18,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mitteilungen des Vereins für Geschichte der Deutschen in Böhmen - XXXV. Jahrgang
G Biermann; A Horcicka
Hansebooks (2016)
Pehmeäkantinen kirja
59,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monatshefte Fur Kunstwissenschaft, 1919, Vol. 12 (Classic Reprint)
G Biermann
Forgotten Books (2016)
Pehmeäkantinen kirja
51,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monatshefte Fur Kunstwissenschaft, Vol. 9 - Jahrgang 1916 (Classic Reprint)
G Biermann
Forgotten Books (2016)
Pehmeäkantinen kirja
61,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monatshefte Fur Kunstwissenschaft, Vol. 11 - Jahrgang 1918 (Classic Reprint)
G Biermann
Forgotten Books (2016)
Pehmeäkantinen kirja
54,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monatshefte Fur Kunstwissenschaft, Jahrgang 1917, Vol. 10 (Classic Reprint)
G Biermann
Forgotten Books (2016)
Pehmeäkantinen kirja
54,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monatshefte Fur Kunstwissenschaft, Vol. 8 - Jahrgang 1915 (Classic Reprint)
G Biermann
Forgotten Books (2017)
Pehmeäkantinen kirja
61,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monatshefte Fur Kunstwissenschaft, 1921 (Classic Reprint)
G Biermann
Forgotten Books (2017)
Pehmeäkantinen kirja
48,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Kurshefte Geschichte: Vom 20. ins 21. Jahrhundert - eine Zeitenwende?
Joachim Biermann; Daniela Brüsse-Haustein; Miriam Hoffmeyer; Silke Möller; Markus Rassiller; Robert Rauh; Göt Schwarzrock
Cornelsen Verlag GmbH (2018)
Pehmeäkantinen kirja
25,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monatshefte Für Kunstwissenschaft, 1919, Vol. 12 (Classic Reprint)
G. Biermann
FB&C LTD (2018)
Kovakantinen kirja
73,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Monatshefte F�r Kunstwissenschaft, Vol. 9 - Jahrgang 1916 (Classic Reprint)
G Biermann
Forgotten Books (2018)
Kovakantinen kirja
80,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mittheilungen Des Vereines Fur Geschichte Der Deutschen in Bohmen, Vol. 33 (Classic Reprint)
G. Biermann
FB&C LTD (2017)
Pehmeäkantinen kirja
65,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mittheilungen Des Vereines Fur Geschichte Der Deutschen in Bohmen, Vol. 33 (Classic Reprint)
G. Biermann
FB&C LTD (2017)
Kovakantinen kirja
94,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Zur Geschichte Der Herzogthümer Zator Und Auschwitz.
G. Biermann
WENTWORTH PR (2018)
Pehmeäkantinen kirja
43,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Zur Geschichte Der Herzogthümer Zator Und Auschwitz.
G. Biermann
WENTWORTH PR (2018)
Kovakantinen kirja
66,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Austenitic TRIP/TWIP Steels and Steel-Zirconia Composites : Design of Tough, Transformation-Strengthened Composites and Structur
Horst Biermann (ed.); Christos G. Aneziris (ed.)
Springer (2020)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Program Synthesis Methodologies - Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–
172,80 €
Springer
Sivumäärä: 374 sivua
Asu: Kovakantinen kirja
Painos: 1983
Julkaisuvuosi: 1982, 31.12.1982 (lisätietoa)
Kieli: Englanti
Tuotesarja: Nato Science Series C: 95
powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti­ ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of a series of tabular forms and a series of processing paths through which data flows. The design and implementation of such languages are examined in chapters by P. GOLDBERG. Another extension to traditional methods is made possible by systems designed to automatically handle low level flow-of­ control decisions. All the above higher level languages do this implicitly with their built in operators. PROLOG is a language which does this with a theorem proving mechanism employing primarily unification and backtracking. The programmer specifies the problem to be solved with a set of formal logic statements including a theorem to be proved. The theorem proving system finds a way to combine the axioms to prove the theorem, and in the process, it completes the desired calculation. H. GAllAIRE has contributed a chapter describing PROLOG giving many examples of its usage.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Computer Program Synthesis Methodologies - Proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28–
Näytä kaikki tuotetiedot
ISBN:
9789027715043
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste