search for books and compare prices
COMPUTERS / Machine Theory matches 719 work(s)
at beginning | displaying 1 to 25 | next 25 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9781430305811 Cover for 9780522841480 Cover for 9783211816066 Cover for 9783540105763 Cover for 9783540108542 Cover for 9783540119739 Cover for 9783540123170 Cover for 9780155914704 Cover for 9783540156130 Cover for 9783540156895 Cover for 9783540137160 Cover for 9783642699610 Cover for 9783540167662 Cover for 9783540137191 Cover for 9783642648847 Cover for 9783540172185 Cover for 9783540180579 Cover for 9783642728242 Cover for 9783540170303 Cover for 9783540193623 Cover for 9783540506423 Cover for 9780387186269 Cover for 9783540186267 Cover for 9783642732379 Cover for 9780387511566 Cover for 9783540511564 Cover for 9780387514147 Cover for 9783540514145 Cover for 9783642749346 Cover for 9783540508922 Cover for 9783540520511 Cover for 9783540534372 Cover for 9783540534143
cover image for 9781430305811
Product Description: America is experiencing a widening gap between those with skills and access to information via computers and those without such access. With the best economic opportunities available only to those who are skilled in technology, this Digital Divide has potentially hazardous consequences to the economic and social health of America...read more

Paperback:

9781430305811 | Lulu.Com, December 30, 1969, cover price $12.99 | About this edition: America is experiencing a widening gap between those with skills and access to information via computers and those without such access.

cover image for 9783211816066
Product Description: The third supplement volume of "Computing" deals with parallel processes and thus with a highly topical area of informatics. As both the first supplement volumes were concerned with numerical questions, the entire subject, the cultivation of which "Computing" purports, is now broadly outlined in the supplement volumes too...read more
By H. J. Schneider (editor)

Paperback:

9783211816066, titled "Parallel Processes and Related Automata / Parallele Prozesse Und Damit Zusammenhängende Automaten" | Rep blg edition (Springer-Verlag New York Inc, February 18, 1981), cover price $99.00 | About this edition: The third supplement volume of "Computing" deals with parallel processes and thus with a highly topical area of informatics.

cover image for 9783540119739
By H. P. Kriegel (editor)

Paperback:

9783540119739 | Bilingual edition (Springer-Verlag New York Inc, January 18, 1983), cover price $109.00

cover image for 9783540123170
Product Description: This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. talks were carefully reviewed and selected from 379 submissions...read more
By J. Diaz (editor)

Paperback:

9783540123170, titled "Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983" | Bilingual edition (Springer-Verlag New York Inc, June 1, 1983), cover price $99.00 | About this edition: This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004.

cover image for 9783642699610
Product Description: Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science. Indeed, automata theory and the closely related theory of formal languages form nowadays such a highly developed and diversified body of knowledge that even an exposition of "reasonably important" results is not possible within one volume...read more

Hardcover:

9783540137160 | Gardners Books, December 1, 1985, cover price $111.15 | About this edition: Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science.

Paperback:

9783642699610 | Reprint edition (Springer Verlag, November 18, 2011), cover price $149.00 | About this edition: Automata theory is the oldest among the disciplines constituting the subject matter of this Monograph Series: theoretical computer science.

cover image for 9783642648847
Product Description: Both theoretical and practical considerations motivate the repre­ sentation of objects as certain compositions of simpler ones. In the theory of automata this observation has led to the concepts of pro­ ducts and complete systems of automata...read more

Hardcover:

9783540137191 | Gardners Books, July 23, 1986, cover price $111.15

Paperback:

9783642648847 | Springer-Verlag New York Inc, October 5, 2011, cover price $99.00 | About this edition: Both theoretical and practical considerations motivate the repre­ sentation of objects as certain compositions of simpler ones.

cover image for 9783540172185
Product Description: Graph-theoretic concepts are developed by computer scientists in order to model algorithms, nets, rewriting systems, distributed systems, parallelism, geometric and layout concepts. Their complexity is studied under various randomness assumptions...read more
By Gunther Schmidt (editor)

Paperback:

9783540172185 | Springer Verlag, May 18, 1987, cover price $109.00 | About this edition: Graph-theoretic concepts are developed by computer scientists in order to model algorithms, nets, rewriting systems, distributed systems, parallelism, geometric and layout concepts.

cover image for 9783642728242
Concurrency and Nets is a special volume in the series "Advances in Petri Nets". Prepared as a tribute to Carl Adam Petri on the occasion of his 60th birthday, it is devoted to an outstanding personality and his pioneering and fruitful scientific work. Part I (70 pages of over 600) presents the congratulatory addresses and invited talks that were given at an Anniversary Colloquium. The contributions of this part honor Carl Adam Petri and his work from many different perspectives. Part II is a collection of invited papers discussing various aspects of the theme Concurrency and Nets. These papers are contributed partly by researchers that were or are still associated with the Petri Institute at GMD and partly by researchers whose scientific work deals with Net Theory or related system models. The topics range from basic theoretical aspects to application oriented methods.
By Grzegorz Rozenberg (editor)

Hardcover:

9783540180579 | Gardners Books, December 31, 1987, cover price $111.15 | About this edition: Concurrency and Nets is a special volume in the series "Advances in Petri Nets".

Paperback:

9783642728242 | Reprint edition (Springer-Verlag New York Inc, December 16, 2011), cover price $129.00

cover image for 9783540170303
Product Description: Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework...read more

Hardcover:

9783540170303 | Gardners Books, December 31, 1987, cover price $111.15 | About this edition: Introduction to the temporal logic of - in particular paral- lel - programs.

cover image for 9783540193623
Product Description: In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelsprachen, Turingmaschinen, Komplexität - auf der Basis der Programmiersprache PASCAL motiviert, abgeleitet und in einer einheitlichen Betrachtungsweise dargestellt...read more

Paperback:

9783540193623 | Springer-Verlag New York Inc, October 10, 1988, cover price $69.99 | About this edition: In diesem Lehrbuch werden die grundlegenden Begriffe der Theoretischen Informatik - Berechenbarkeit, Entscheidbarkeit, rekursive Funktionen, Regelsprachen, Turingmaschinen, Komplexität - auf der Basis der Programmiersprache PASCAL motiviert, abgeleitet und in einer einheitlichen Betrachtungsweise dargestellt.

cover image for 9783540506423
Product Description: Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollständigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, bzw...read more

Paperback:

9783540506423 | Springer-Verlag New York Inc, December 14, 1988, cover price $69.99 | About this edition: Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet.

cover image for 9783642732379
Product Description: This book is a systematic exposition of the theory of ratio- nal formal power series and the associated formal languages. It is the first to presentan algebraic approach. It con- tains all fundamental results, starting with the Kleene- Sch}tzenberger theorem, up to the latest developments...read more

Hardcover:

9783540186267 | Gardners Books, December 31, 1988, cover price $111.15 | About this edition: This book is a systematic exposition of the theory of ratio- nal formal power series and the associated formal languages.
9780387186269 | Springer Verlag, December 1, 1988, cover price $59.95 | About this edition: This book is a systematic exposition of the theory of rational formal power series and the associated formal languages.

Paperback:

9783642732379 | Reprint edition (Springer Verlag, December 6, 2011), cover price $99.00 | About this edition: This book is a systematic exposition of the theory of ratio- nal formal power series and the associated formal languages.

cover image for 9780387511566
Product Description: The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years...read more
By G Goos (editor) and Bjorn Lisper

Paperback:

9780387511566 | Springer Verlag, June 1, 1989, cover price $57.95 | About this edition: The subject of this book is the synthesis of synchronous hardware.
9783540511564 | Springer Verlag, May 10, 1989, cover price $99.00 | About this edition: The subject of this book is the synthesis of synchronous hardware.

cover image for 9783642749346
Product Description: To our families The formal language theory was born in the middle of our century as a tool for modelling and investigating the syntax of natural languages, and it has been developed mainly in connection with programming language handling...read more

Hardcover:

9780387514147 | Springer Verlag, May 1, 1990, cover price $111.00 | About this edition: It is well-known that context-free grammars cannot cover all aspects of natural languages, progamming languages and other related fields.
9783540514145 | Gardners Books, March 1, 1990, cover price $111.15 | About this edition: It is well-known that context-free grammars cannot cover all aspects of natural languages, progamming languages and other related fields.

Paperback:

9783642749346 | Reprint edition (Springer Verlag, December 13, 2011), cover price $149.00 | About this edition: To our families The formal language theory was born in the middle of our century as a tool for modelling and investigating the syntax of natural languages, and it has been developed mainly in connection with programming language handling.

cover image for 9783540508922
Product Description: the outcome of a NATO Advanced Research Workshop (ARW) This book is held in Neuss (near Dusseldorf), Federal Republic of Germany from 28 September to 2 October, 1987. The workshop assembled some 50 invited experts from Europe, Ameri­ ca, and Japan representing the fields of Neuroscience, Computational Neuroscience, Cellular Automata, Artificial Intelligence, and Compu­ ter Design; more than 20 additional scientists from various countries attended as observers...read more

Paperback:

9783540508922 | 1 edition (Springer-Verlag New York Inc, March 5, 1990), cover price $149.00 | About this edition: the outcome of a NATO Advanced Research Workshop (ARW) This book is held in Neuss (near Dusseldorf), Federal Republic of Germany from 28 September to 2 October, 1987.

cover image for 9783540520511
Product Description: The content of this book is an information model for technical drawings, the so-called "Drafting Model". The Drafting Model is a part of a complex information model describing product definition data, their applications and their representations...read more

Paperback:

9783540520511 | Springer-Verlag New York Inc, July 2, 1990, cover price $149.00 | About this edition: The content of this book is an information model for technical drawings, the so-called "Drafting Model".

cover image for 9783540534372
Product Description: This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology...read more
By J. W. Lloyd (editor)

Hardcover:

9783540534372 | Gardners Books, November 1, 1990, cover price $111.15 | About this edition: This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.

cover image for 9783540534143
Product Description: This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90. The aim of these meetings is threefold: (1) to inform on newest trends, results, and problems in theoretical computer science and related fields through a tutorial and invited lectures delivered by internationally distinguished speakers, (2) to provide a possibility for beginners in scientific work to present and discuss their results, and (3) to create an adequate opportunity for establishing first professional relations among the participants...read more

Paperback:

9783540534143 | Springer Verlag, November 7, 1990, cover price $109.00 | About this edition: This volume contains the texts of the tutorial lecture, five invited lectures and twenty short communications contributed for presentation at the Sixth International Meeting of Young Computer Scientists, IMYCS '90.

at beginning | displaying 1 to 25 | next 25 >