Concurrent programming in ML

Concurrent programming in ML

Bibliographic Details
Main Author:	Reppy, John H. (Author)
Format:	Book
Language:	Greek
Published:	Cambridge Cambridge University Press 1999
Subjects:	ΕΣΑ PARALLEL PROCESSING ML (Γλώσσα προγραμματισμού)

Similar Items

Elements of ML programming /
by: Ullman, Jeffrey D., 1942-
Published: (1998)

ML for the working programmer /
by: Paulson, Lawrence C.
Published: (1996)

ML for the working programmer
by: Paulson, Lawrence C.
Published: (1991)

Research directions in concurrent object-oriented programming
by: Agha, Gul
Published: (1993)

Executive briefing Advances in concurrency control and transaction processing
by: Ramamritham, Krithi
Published: (1997)

Communication Complexity and Parallel Computing
by: Hromkovic, Juraj
Published: (1997)

Compiling with continutions
by: Appel, Andrew W.
Published: (1992)

Concurrent Constraint Programming
by: Saraswat, Vijay A.
Published: (1993)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
by: Chien, Andrew A.
Published: (1993)

Concurrent programming
by: Gehani, Narain, et al.
Published: (1988)

Practical parallel programming
by: Wilson, Gregory V.
Published: (1995)

Designing and building parallel programs Concepts and tools for parallel software engineering
Published: (1995)

Concurrent programming
by: Snow, C.R
Published: (1992)

How to Write Parallel Programs A First Course
by: Carriero, Nicholas, et al.
Published: (1990)

ABCL: An Object-Oriented Concurrent System
Published: (1990)

From logic programming to prolog
Published: (1997)

Parallel Scientific Computing in C++ and MPI A Seamless Approach to Parallel Algorithms and Their Implementation
by: Καρνιαδάκης, Γεώργιος, et al.
Published: (2003)

Parallel programming
by: Perrott, R. H.
Published: (1987)

Verification of sequential and concurrent programs
by: Apt, Krzysztof
Published: (1997)

Programming parallel processors
by: Babb, Robert G.
Published: (1988)

Algorithms in C++
by: Sedgewick, Robert, 1946-
Published: (1992)

Using MPI Portable Parallel Programming with the Message-Passing Interface
by: Gropp, William, et al.
Published: (1994)

Synchronization of parallel programs
by: Andre, Francoise, et al.
Published: (1985)

Content Addressable Parallel Processors
by: Foster, Caxton C.
Published: (1976)

Semantics of Sequential and Parallel Programming
by: Best, Eike
Published: (1996)

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship
by: Zwiers, J.
Published: (1989)

Subrecursive Programming Systems Complexity and Succinctness
by: Case, John, et al.
Published: (1994)

Logic and computation Interactive Proof with Cambridge LCF
by: Paulson, Lawrence C.
Published: (1987)

Linear Programming
by: Chvatal, Vasek
Published: (1983)

Parallel distributed processing Explorations in the microstructure of cognition
by: McClelland, James L., et al.
Published: (1988)

Communicating sequantial processes
by: Hoare, C. A.
Published: (1985)

Multicomputer networks: Message-based parallel processing
by: Fujimoto, Richard M., et al.
Published: (1987)

Structured development of parallel programs
by: Pelagatti, Susanna
Published: (1998)

The logic programming paradigm A 25-year perspective
Published: (1999)

Principles and Practice of Constraint Programming The Newport Papers
Published: (1995)

Parallel processing Proceedings of the 1989 International Conference August 8-12, 1989
Published: (1989)

Numerical algorithms for modern parallel computer architectures
Published: (1988)

Semantics of Programming Languages
by: Tennent, R. D.
Published: (1991)

Parallel processing Tutorial
by: Kuhn, Robert H., et al.
Published: (1981)

Foundations of Disjunctive Logic Programming
by: Lobo, Jorge, et al.
Published: (1992)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_pve6pb7hh80cdr4q1ofcqp9tqg