Title: Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings, Author: Donald Sannella
Title: A Designer's Guide to VHDL Synthesis, Author: Douglas E. Ott
Title: Z: An Introduction to Formal Methods, Author: Antoni Diller
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings, Author: Manuel Hermenegildo
Title: Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings, Author: Baudouin LeCharlier
Title: The OSI95 Transport Service with Multimedia Support, Author: Andre Danthine
Title: PROLOG for Computer Science, Author: Christopher Dawe
Title: Ada in Europe: First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings, Author: Marcel Toussaint
Title: VHDL Coding Styles and Methodologies, Author: Ben Cohen
Title: LOTOSphere: Software Development with LOTOS, Author: Tommaso Bolognesi
Title: Formal Semantics for VHDL, Author: Carlos Delgado Kloos
Title: Modeling in Analog Design, Author: Jean-Michel BergƩ
Title: VLISP A Verified Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995, Author: Joshua D. Guttman
Title: APL2 in Depth, Author: Norman D. Thomson
Title: A Guide To Programming Languages, Author: Ruknet Cezzar
Title: VHDL Modeling for Digital Design Synthesis, Author: Yu-Chin Hsu
Title: Logic and Information, Author: Keith Devlin
Title: Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings, Author: Alan Mycroft
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings, Author: Manuel Hermenegildo
Title: ANSI Common LISP / Edition 1, Author: Paul Graham

Pagination Links