Sortierung ändern: Popularität Titel Veröffentlichung Preis
|
|
Software Engineering 3: Domains, Requirements, and Software Design
|
EDV / Informatik |
147.00 |
|
Buch |
Sprache:
Englisch / Autor: Dines Bjørner / Einband: Kartoniert |
|
|
|
|
|
Finite Model Theory and Its Applications
|
EDV / Informatik |
123.00 |
|
Buch |
ANGEKÜNDIGT Sprache:
Englisch / Autor: Phokion G. Kolaitis / Einband: Gebunden |
|
|
|
|
|
Verification of Reactive Systems: Formal Methods and Algorithms
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Autor: Klaus Schneider / Einband: Kartoniert |
|
|
|
|
|
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
|
EDV / Informatik |
134.00 |
|
Buch |
Sprache:
Englisch / Autor: Juraj Hromkovi¿ / Einband: Kartoniert |
|
|
|
|
|
Software Engineering 2: Specification of Systems and Languages
|
EDV / Informatik |
117.00 |
|
Buch |
Sprache:
Englisch / Autor: Dines Bjørner / Einband: Gebunden |
|
|
|
|
|
Models of Computation
|
EDV / Informatik |
83.00 |
|
Buch |
Sprache:
Englisch / Autor: Ugo Montanari / Einband: Gebunden |
|
|
|
|
|
Simulation Algorithms for Computational Systems Biology
|
EDV / Informatik |
78.00 |
|
Buch |
Sprache:
Englisch / Autor: Corrado Priami / Einband: Gebunden |
|
|
|
|
|
An Introduction to Online Computation: Determinism, Randomization, Advice
|
EDV / Informatik |
123.00 |
|
Buch |
Sprache:
Englisch / Autor: Dennis Komm / Einband: Gebunden |
|
|
|
|
|
Petri Net Synthesis
|
EDV / Informatik |
84.00 |
|
Buch |
Sprache:
Englisch / Autor: Philippe Darondeau / Einband: Kartoniert |
|
|
|
|
|
Verification of Reactive Systems: Formal Methods and Algorithms
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Klaus Schneider / Einband: Gebunden |
|
|
|
|
|
Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless and Ad Hoc Networks
|
EDV / Informatik |
188.00 |
|
Buch |
Sprache:
Englisch / Einband: Gebunden |
|
|
|
|
|
Complexity Theory and Cryptology: An Introduction to Cryptocomplexity
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Autor: Jörg Rothe / Einband: Kartoniert |
|
|
|
|
|
Dissemination of Information in Optical Networks: From Technology to Algorithms
|
Naturwissensch., Medizin, Technik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Subir Bandyopadhyay / Einband: Kartoniert |
|
|
|
|
|
Abstract Computing Machines: A Lambda Calculus Perspective
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Autor: Werner Kluge / Einband: Kartoniert |
|
|
|
|
|
Information and Randomness: An Algorithmic Perspective
|
Schulbücher |
78.00 |
|
Buch |
Sprache:
Englisch / Autor: Cristian S. Calude / Einband: Kartoniert |
|
|
|
|
|
Introduction to Concurrency Theory: Transition Systems and CCS
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Roberto Gorrieri / Einband: Kartoniert |
|
|
|
|
|
Software Engineering 3: Domains, Requirements, and Software Design
|
EDV / Informatik |
158.00 |
|
Buch |
Sprache:
Englisch / Autor: Dines Bjørner / Einband: Gebunden |
|
|
|
|
|
An Introduction to Online Computation: Determinism, Randomization, Advice
|
EDV / Informatik |
110.00 |
|
Buch |
Sprache:
Englisch / Autor: Dennis Komm / Einband: Kartoniert |
|
|
|
|
|
Introduction to Concurrency Theory: Transition Systems and CCS
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Roberto Gorrieri / Einband: Gebunden |
|
|
|
|
|
Dissemination of Information in Optical Networks: From Technology to Algorithms
|
EDV / Informatik |
69.00 |
|
Buch |
Sprache:
Englisch / Autor: Subir Bandyopadhyay / Einband: Gebunden |
|
|
|
|
|
Software Engineering 1: Abstraction and Modelling
|
EDV / Informatik |
116.00 |
|
Buch |
Sprache:
Englisch / Autor: Dines Bjørner / Einband: Kartoniert |
|
|
|
|
|
Decision Procedures: An Algorithmic Point of View
|
EDV / Informatik |
103.00 |
|
Buch |
Sprache:
Englisch / Autor: Daniel Kroening / Einband: Gebunden |
|
|
|
| / 2 |