Kirjat Monographs in Computer Science
Specification and Transformation of Programs: A Formal Approach to Software Development
-25% koodilla BOOKS
Toimittajalla varastossa
Algorithmic Language and Program Development
-25% koodilla BOOKS
Toimittajalla varastossa
The Origins of Digital Computers: Selected Papers
-25% koodilla BOOKS
Toimittajalla varastossa
Asynchronous Circuits
Carl-Johan H. Seger, Janusz A. Brzozowski
-25% koodilla BOOKS
Toimittajalla varastossa
Computational Geometry: An Introduction
Michael I. Shamos, Franco P. Preparata
-25% koodilla BOOKS
Toimittajalla varastossa
The Synthesizer Generator Reference Manual
Thomas W. Reps, Tim Teitelbaum
-25% koodilla BOOKS
Toimittajalla varastossa
Programming in the 1990s: An Introduction to the Calculation of Programs
-25% koodilla BOOKS
Toimittajalla varastossa
The Design and Analysis of Algorithms
-25% koodilla BOOKS
Toimittajalla varastossa
Active Rules in Database Systems
-25% koodilla BOOKS
Toimittajalla varastossa
Parameterized Complexity
M. R. Fellows, Rodney G. Downey
-25% koodilla BOOKS
Toimittajalla varastossa
On a Method of Multiprogramming
A J M van Gasteren, W H J Feijen
-25% koodilla BOOKS
Toimittajalla varastossa
Software Configuration Management Using Vesta
Roy Levin, Yuan Yu, Timothy P. Mann, Clark Allan Heydon
-25% koodilla BOOKS
Toimittajalla varastossa
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra
-25% koodilla BOOKS
Toimittajalla varastossa
Parsing Techniques: A Practical Guide
Dick Grune, Ceriel J. H. Jacobs
-25% koodilla BOOKS
Toimittajalla varastossa
Evolutionary Synthesis of Pattern Recognition Systems
Yingqiang Lin, Krzysztof Krawiec, Bir Bhanu
-25% koodilla BOOKS
Toimittajalla varastossa
Adapting Proofs-as-Programs: The Curry--Howard Protocol
John N. Crossley, Iman Poernomo, Martin Wirsing
-25% koodilla BOOKS
Toimittajalla varastossa
Reverse Engineering of Object Oriented Code
Alessandra Potrich, Paolo Tonella
-25% koodilla BOOKS
Toimittajalla varastossa
Panoramic Vision: Sensors, Theory, and Applications
-25% koodilla BOOKS
Toimittajalla varastossa
Software Configuration Management Using Vesta
Roy Levin, Yuan Yu, Timothy P. Mann, Clark Allan Heydon
-25% koodilla BOOKS
Toimittajalla varastossa
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
-25% koodilla BOOKS
Toimittajalla varastossa
Geometric Fundamentals of Robotics
-25% koodilla BOOKS
Toimittajalla varastossa