Title: UML-B Specification for Proven Embedded Systems Design / Edition 1, Author: Jean Mermet
Title: Graphs, Codes and Designs, Author: P. J. Cameron
Title: Elements of Simulation / Edition 1, Author: Byron J.T. Morgan
Title: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in A / Edition 1, Author: Josep Diaz
Title: Dynamical Systems and Fractals: Computer Graphics Experiments with Pascal, Author: Karl-Heinz Becker
Title: APL with a Mathematical Accent / Edition 1, Author: C.A. Reiter
Title: Specification and Transformation of Programs: A Formal Approach to Software Development / Edition 1, Author: Helmut A. Partsch
Title: Digital Design for Computer Data Acquisition, Author: Charles D. Spencer
Title: Neuronal Networks of the Hippocampus, Author: Roger D. Traub
Title: Communication Theory, Author: Charles M. Goldie
Title: Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings / Edition 1, Author: Bertram Fronhöfer
Title: Parallel Execution of Parlog / Edition 1, Author: Andrew Cheese
Title: Introduction to Functional Programming Systems Using Haskell, Author: Antony J. T. Davie
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
Title: Digital Signal Transmission / Edition 1, Author: Chris Bissell
Title: Numerical Recipes in FORTRAN 77: Volume 1, Volume 1 of Fortran Numerical Recipes: The Art of Scientific Computing / Edition 2, Author: William H. Press
Title: Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings / Edition 1, Author: Evelina Lamma
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Efficient Algorithms for Listing Combinatorial Structures, Author: Leslie Ann Goldberg
Title: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings / Edition 1, Author: James C.P. Woodcock

Pagination Links