Filters
Advanced Search Browse by Genre

Found 97 results for "Parallel logic programming"

Compiler optimizations for scalable parallel systems
Compiler optimizations for scalable parallel systems

by D. P. Agrawal

2001 3 ed.
Parallel processing (Elec... Compilers (Computer progr... Computer science
Train Your Brain with Parallel Computing and If/Then Activities
Train Your Brain with Parallel Computing and If/Then Activit...

by Emilee Hillman, Dana Regan

2019 3 ed.
Logic Logic, juvenile literatur... Computer programming
Network and Parallel Computing
Network and Parallel Computing

by James J. Park

2012 3 ed.
Software Engineering/Prog... Software engineering Information organization
Professional Multicore Programming
Professional Multicore Programming

by Cameron Hughes, Tracey Hughes

2008 4 ed.
Logic programming Parallel programming (com...
Logic for Concurrency and Synchronisation
Logic for Concurrency and Synchronisation

by R.J. De Queiroz

2013 1 ed.
Proof theory Modality (logic) Parallel programming (com...
Logic for concurrency and synchronisation
Logic for concurrency and synchronisation

by Ruy J. G. B. de Queiroz

2003 1 ed.
Modality (Logic) Proof theory Parallel programming (Com...
Verifying concurrent processes using temporal logic
Verifying concurrent processes using temporal logic

by Brent T. Hailpern

1982 1 ed.
Computer programs Parallel processing (Elec... Verification
Computing in object-oriented parallel environments
Computing in object-oriented parallel environments

by ISCOPE 99 (1999 San Francisco, Calif.)

1999 1 ed.
Congresses Parallel processing (Elec... Object-oriented programmi...
Concepts, design, and performance analysis of a parallel prolog machine
Concepts, design, and performance analysis of a parallel pro...

by Joachim Beer

1989 1 ed.
Parallel processing (Elec... Prolog (Computer program ... Conception machine
An Interval logic for higher-level temporal reasoning
An Interval logic for higher-level temporal reasoning
1983 1 ed.
Integral equations. Parallel processing (Elec... Computer programs.
An Interval logic for higher-level temporal reasoning
An Interval logic for higher-level temporal reasoning
1983 1 ed.
Integral equations Parallel processing (Elec... Computer programs
An Interval logic for higher-level temporal reasoning
An Interval logic for higher-level temporal reasoning
1983 1 ed.
Integral equations. Parallel processing (Elec... Computer programs.
Computing in object-oriented parallel environments
Computing in object-oriented parallel environments

by ISCOPE (Conference) (2nd 1998 Santa Fe, N.M.)

1998 1 ed.
Parallel processing (Elec... Object-oriented programmi... Computer science
Programming in PARLOG
Programming in PARLOG

by Tom Conlon

1989 1 ed.
Logic programming PARLOG (Computer program ... Parallel programming (Com...
Facing the Multicore-Challenge III
Facing the Multicore-Challenge III

by Rainer Keller

2013 2 ed.
Software Engineering/Prog... Processor Architectures Software engineering
Intensional Programming II
Intensional Programming II
1999 1 ed.
Computer Programming Data Processing - Paralle... Computer Logic
Capacity Planning for Logical Partitioning on the IBM Elogo Server Iseries Server
Capacity Planning for Logical Partitioning on the IBM Elogo ...

by IBM Redbooks

2001 1 ed.
Computer capacity Planning Parallel processing (Elec...
Concurrent object-oriented programming and Petri nets
Concurrent object-oriented programming and Petri nets

by Gul A. Agha, Grzegorz Rozenberg

2001 2 ed.
Parallel processing (Elec... Petri nets Object-oriented programmi...
Professional multicore programming
Professional multicore programming

by Cameron Hughes

2008 1 ed.
C++ (Computer program lan... Multiprocessors System design
Semantics for concurrency
Semantics for concurrency

by International BCS-FACS Workshop (1990 University of Leicester), M. Z. Kwiatkowska

1990 3 ed.
Congresses Parallel programming (Com... Programming languages (El...