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: Standard-Pascal: Systematische Darstellung für den Anwender nach DIN 66256, Author: Rudolf Herschel
Title: Compiling Parallel Loops for High Performance Computers: Partitioning, Data Assignment and Remapping, Author: David E. Hudak
Title: Matrix Computations on Systolic-Type Arrays, Author: Jaime Moreno
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: Strukturierte Programmierung in COBOL, Author: Axel C Schwickert
Title: Parallel Algorithm Derivation and Program Transformation, Author: Robert Paige
Title: Multiprocessing: Trade-Offs in Computation and Communication, Author: Vijay K. Naik

Pagination Links