Title: Smalltalk Best Practice Patterns, Author: Kent Beck
Title: Programming in Dylan, Author: Iain D. Craig
Title: The Way of Z: Practical Programming with Formal Methods, Author: Jonathan Jacky
Title: Behavioral Synthesis and Component Reuse with VHDL, Author: Ahmed Amine Jerraya
Title: Using WAVES and VHDL for Effective Design and Testing: A practical and useful tutorial and application guide for the Waveform and Vector Exchange Specification (WAVES), Author: James P. Hanna
Title: Metamathematics, Machines and Gödel's Proof, Author: N. Shankar
Title: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, Author: Mads Dam
Title: sed & awk: UNIX Power Tools, Author: Dale Dougherty
Title: sed & awk: UNIX Power Tools, Author: Dale Dougherty
Title: Writing GNU Emacs Extensions: Editor Customizations and Creations with Lisp, Author: Bob Glickstein
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings, Author: Hanspeter Mïssenbïck
Title: New Trends in Formal Languages: Control, Cooperation, and Combinatorics, Author: Gheorghe Paun
Title: The F Language Guide, Author: Wilhelm Gehrke
Title: Programming Language Concepts, Author: Carlo Ghezzi
Title: Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings, Author: Keith Hardy
Title: Ada 95 Rationale: The Language - The Standard Libraries, Author: John Barnes
Title: VHDL: A logic synthesis approach, Author: D. Naylor
Title: Basic Simple Type Theory, Author: J. Roger Hindley
Title: Implementation of Functional Languages: 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers, Author: Werner Kluge
Title: Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings, Author: Hugh Glaser

Pagination Links