Title: Introduction to Logic Synthesis using Verilog HDL, Author: Robert B. Reese
Title: LISP 1.5 Programmer's Manual, Author: John McCarthy
Title: Simple Program Schemes and Formal Languages, Author: J. Engelfriet
Title: Theory of Program Structures: Schemes, Semantics, Verification, Author: Sheila A. Greibach
Title: Computer Simulation of Continuous Systems, Author: R. J. Ord-Smith
Title: Graph Theory, Coding Theory and Block Designs, Author: P. J. Cameron
Title: PASCAL User Manual and Report, Author: Kathleen Jensen
Title: An Optimized Translation Process and Its Application to ALGOL 68, Author: P. Branquart
Title: Complementary Definitions of Programming Language Semantics, Author: J.E. Donahue
Title: Software Engineering Education: Needs and Objectives Proceedings of an Interface Workshop, Author: A.I. Wasserman
Title: Illustrating BASIC, Author: Donald G. Alcock
Title: Programmers and Managers: The Routinization of Computer Programming in the United States, Author: P. Kraft
Title: Energy Methods in Time-Varying System Stability and Instability Analyses, Author: Y.V. Venkatesh
Title: FORTRAN Programming: A Supplement for Calculus Courses, Author: W. R. Fuller
Title: An Introduction to the Regenerative Method for Simulation Analysis, Author: M.A. Crane
Title: Computing in Systems Described by Equations, Author: M.J. O'Donnell
Title: Program Modification, Author: J.D. Warnier
Title: The Modelling of Systems with Small Observation Sets, Author: J.M. Maciejowski
Title: Computers and Intractability: A Guide to the Theory of NP-Completeness / Edition 1, Author: M. R. Garey
Title: First-Order Dynamic Logic, Author: D. Harel

Pagination Links