Structured development of parallel programs

Structured development of parallel programs

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Pelagatti, Susanna (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	Greek
Έκδοση:	Taylor and Francis 1998
Θέματα:	ΕΣΑ COMPUTER PROGRAMS

Παρόμοια τεκμήρια

Beginning ASP 3.0 [Active Server Pages 3.0 Online support at p2p. wrox.com]
ανά: Ullman, Chris, κ.ά.
Έκδοση: (2002)

Practical parallel programming
ανά: Wilson, Gregory V.
Έκδοση: (1995)

Designing and building parallel programs Concepts and tools for parallel software engineering
Έκδοση: (1995)

How to Write Parallel Programs A First Course
ανά: Carriero, Nicholas, κ.ά.
Έκδοση: (1990)

Concurrent programming
ανά: Snow, C.R
Έκδοση: (1992)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Synchronization of parallel programs
ανά: François, André, κ.ά.
Έκδοση: (1985)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

Structure and interpretation of computer programs
ανά: Abelson, Harold, κ.ά.
Έκδοση: (1985)

Learning to program
ανά: Johnston, Howard
Έκδοση: (1985)

Foundations of Disjunctive Logic Programming
ανά: Lobo, Jorge, κ.ά.
Έκδοση: (1992)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
ανά: Chien, Andrew A.
Έκδοση: (1993)

Program construction and verification
ανά: Backhouse, Roland C.
Έκδοση: (1986)

Semantics of Sequential and Parallel Programming
ανά: Best, Eike
Έκδοση: (1996)

The preparation of programs for an electronic digital computer
ανά: Gill, Stanley, κ.ά.
Έκδοση: (1982)

Semantics of Programming Languages
ανά: Tennent, R. D.
Έκδοση: (1991)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Mathematics for the analysis of algorithms
ανά: Greene, Daniel H., κ.ά.
Έκδοση: (1990)

Problems on Algorithms
ανά: Parberry, Ian
Έκδοση: (1995)

String Searching Algorithms
ανά: Stephen, Graham A.
Έκδοση: (1994)

Linear Programming
ανά: Chvatal, Vasek
Έκδοση: (1983)

Communication Complexity and Parallel Computing
ανά: Hromkovic, Juraj
Έκδοση: (1997)

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

From logic programming to prolog
Έκδοση: (1997)

Database Programming Languages Deductive, Functional, Persistent and Object-Oriented Aproaches
ανά: Cooper, Richard, κ.ά.
Έκδοση: (1996)

Using MPI Portable Parallel Programming with the Message-Passing Interface
ανά: Gropp, William, κ.ά.
Έκδοση: (1994)

Verification of sequential and concurrent programs
ανά: Apt, Krzysztof
Έκδοση: (1997)

High-order operational techniques in semantics
Έκδοση: (1998)

Introduction to algorithms
ανά: Cormen, Thomas H., κ.ά.
Έκδοση: (1990)

FrontPage 98 bible
ανά: Elderbrock, David, κ.ά.
Έκδοση: (1998)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
ανά: Gramss, Tino
Έκδοση: (1998)

A Textbook of Graph Theory
ανά: Balakrishnan, R. (Rangaswami), κ.ά.
Έκδοση: (2000)

Μάθετε το SuSE Linux σε 24 ώρες
ανά: Ball, Bill
Έκδοση: (2000)

Poisson Approximation
ανά: Barbour, A. D., κ.ά.
Έκδοση: (1992)

Verifying temporal properties of systems
ανά: Bradfield, Julian Charles
Έκδοση: (1992)

Solving higher-order equations From logic to programming
ανά: Prehofer, Christian
Έκδοση: (1998)

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