Semantics of Sequential and Parallel Programming

Semantics of Sequential and Parallel Programming

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Best, Eike (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	London Prentice Hall c1996
Σειρά:	Prentice-Hall International Series in Computer Science
Θέματα:	COMPUTER PROGRAMMING PROGRAMMING LANGUAGES Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού > Σημασιολογία ΕΣΑ

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

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

Predicate calculus and program semantics /
ανά: Dijkstra, Edsger Wybe
Έκδοση: (1990)

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

Semantics of type theory : correctness, completeness, and independence results /
ανά: Streicher, Thomas, 1958-
Έκδοση: (1991)

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

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

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

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)

Natural language understanding
ανά: Allen, James 1950-
Έκδοση: (1987)

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

Programming with sets An introduction to SETL
ανά: Dewar, R., κ.ά.
Έκδοση: (1986)

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

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

An introduction to programming in C: A book on C
ανά: Kelley, Al, κ.ά.
Έκδοση: (1984)

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

Time - shared computer languages An introduction to conversational computing
ανά: Schur, Lee D.
Έκδοση: (1973)

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

Language issues in programming environments (1985) Proceedings of the ACM/SIGPLAN 85 Symposium Seattle, Washington, 25-28 June 1985 ACM/SIGPLAN Vol.20, No.7, July 1985
Έκδοση: (1985)

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

Computer science LOGO style
ανά: Harvey, Brian
Έκδοση: (1985)

Computer science LOGO style
ανά: Harvey, Brian
Έκδοση: (1986)

A Fortran coloring book
ανά: Kaufman, Roger E.
Έκδοση: (1978)

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

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

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

80386/80286 assembly language programming
ανά: Murray, William H., κ.ά.
Έκδοση: (1986)

Equational logic as a programming language
ανά: O'Donnell, Michael J.
Έκδοση: (1985)

Computing in Horn Clause Theories
ανά: Padawitz, Peter
Έκδοση: (1988)

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

Principles of programming languages
ανά: Tennent, R. D.
Έκδοση: (1981)

Modula-2 Programming
ανά: Knepley, Ed, κ.ά.
Έκδοση: (1985)

Programming in C
ανά: Kochan, Stephen G.
Έκδοση: (1983)

Topics in Distributed Algorithms
ανά: Tel, Gerard
Έκδοση: (1991)

FORTRAN programming and WATFIV
ανά: Bohl, Marilyn, κ.ά.

Theory and problems of programming with Assembly language
ανά: Geoldberg, David E., κ.ά.
Έκδοση: (1988)

Parallel programming: experience with applications, languages and systems PPEALS 1988 Proceedings of the ACM/SIGPLAN PPEALS 1988 New Haven, July 19-21, 1988 SIGPLAN NOTICES vol.23. no 9, September 1988
Έκδοση: (1988)

Simplified Fortran programming: with companion problems
ανά: Rosenblatt, Judah, κ.ά.
Έκδοση: (1973)

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

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