Title: Principle-Based Parsing: Computation and Psycholinguistics, Author: R. C. Berwick
Title: Generalized LR Parsing, Author: Masaru Tomita
Title: Formal Description of Programming Concepts, Author: Erich J. Neuhold
Title: Associative Computing: A Programming Paradigm for Massively Parallel Computers, Author: Jerry L. Potter
Title: First-Order Programming Theories, Author: Tamas Gergely
Title: The Design and Analysis of Algorithms, Author: Dexter C. Kozen
Title: The Temporal Logic of Reactive and Concurrent Systems: Specification, Author: Zohar Manna
Title: Logic Programming - New Frontiers, Author: D.R. Brough
Title: Systolic Computations, Author: M.A. Frumkin
Title: Anatomy of a Silicon Compiler, Author: Robert W. Brodersen
Title: The Logic Programming Tutor, Author: Jocelyn Paine
Title: Lancelot: A Fortran Package for Large-Scale Nonlinear Optimization (Release A), Author: A.R. Conn
Title: Matrix Computations on Systolic-Type Arrays, Author: Jaime Moreno
Title: Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping, Author: David E. Hudak
Title: Synchronous Programming of Reactive Systems, Author: Nicolas Halbwachs
Title: Loop Transformations for Restructuring Compilers: The Foundations, Author: Utpal Banerjee
Title: Efficient Algorithms for Listing Combinatorial Structures, Author: Leslie Ann Goldberg
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Case-Based Learning, Author: Janet L. Kolodner
Title: Parallel Algorithm Derivation and Program Transformation, Author: Robert Paige

Pagination Links