Jean Krivine | Akateeminen Kirjakauppa

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

REVERSIBLE COMPUTATION - 7TH INTERNATIONAL CONFERENCE, RC 2015, GRENOBLE, FRANCE, JULY 16-17, 2015, PROCEEDINGS

Jean Krivine; Jean-Bernard Stefani
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

47,70 €

SECOND GENERATION EXPERT SYSTEMS

Jean-Marc David; Jean-Paul Krivine; Reid Simmons
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

97,90 €

MODELLTHEORIE - EINE EINFÜHRUNG IN DIE MATHEMATISCHE LOGIK UND GRUNDLAGENTHEORIE

Georg Kreisel; Jean-Louis Krivine
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1972)
Pehmeäkantinen kirja

46,40 €

Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

Jean Krivine, Jean-Bernard Stefani

47,70 €

Springer International Publishing AG
Sivumäärä: 291 sivua
Asu: Pehmeäkantinen kirja
Painos: 2015
Julkaisuvuosi: 2015, 01.07.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 7th International Conference on Reversible Computation, RC 2015, held in Grenoble, France in July 2015. The 19 papers presented together with 1 invited talk were carefully reviewed and selected from 30 submissions. The Conference on Reversible Computation particularly includes the following topics: reversible machines, reversible languages, design and verification of quantum circuits, design of reversible circuits and circuit synthesis.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus