Process algebra

Process algebra

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Baeten, J. C. M.
Άλλοι συγγραφείς:	Weijland, W. P.
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Cambridge : New York : Cambridge University Press, 1990
Σειρά:	Cambridge tracts in theoretical computer science ; ; 18
Θέματα:	Machine theory. Parallel processing (Electronic computers)
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Applications of Process Algebra
Δημοσίευση: (1990)

Communicating sequential processes
από: Hoare, C. A. R. (Charles Antony Richard), 1934-
Δημοσίευση: (1985)

Parallel computing works!
από: Fox, Geoffrey C.
Δημοσίευση: (1994)

Parallel processing algorithms for GIS
Δημοσίευση: (1998)

Computer architecture and parallel processing
από: Hwang, Kai
Δημοσίευση: (1984)

Proceedings of the 1986 International Conference on Parallel Processing
Δημοσίευση: (1986)

Handbook on parallel and distributed processing
Δημοσίευση: (2000)

Perceptrons :
από: Minsky, Marvin Lee 1927-
Δημοσίευση: (1988)

The design and analysis of parallel algorithms
από: Smith, Justin R.
Δημοσίευση: (1993)

Introduction to parallel algorithms and architectures :
από: Leighton, Frank Thomson
Δημοσίευση: (1992)

Parallel algorithms for irregular problems :
Δημοσίευση: (1995)

Parallel algorithms and architectures
από: Cosnard, M. (Michel)
Δημοσίευση: (1995)

Principles of concurrent programming
από: Ben-Ari, M. 1948-
Δημοσίευση: (1982)

Verifying concurrent processes using temporal logic
από: Hailpern, Brent T. (Brent Tzion) 1955-
Δημοσίευση: (1982)

Modal logic and process algebra :
Δημοσίευση: (1995)

Advances in parallel computing :
Δημοσίευση: (1990)

Συστήματα παράλληλης επεξεργασίας
από: Παπακωνσταντίνου, Γεώργιος Κ., 1942-
Δημοσίευση: (1994)

Numerical analysis and parallel processing :
Δημοσίευση: (1989)

Parallel supercomputing :
Δημοσίευση: (1989)

An introduction to distributed and parallel computing
από: Crichlow, Joel M. 1948-
Δημοσίευση: (1988)

Principles of concurrent and distributed programming
από: Ben-Ari, M. 1948-
Δημοσίευση: (2006)

Neural and massively parallel computers :
από: Soucek, Branko
Δημοσίευση: (1988)

Introduction to parallel computing :
Δημοσίευση: (1994)

Advanced computer architecture :
από: Hwang, Kai
Δημοσίευση: (1993)

Parallel and distributed computation :
από: Bertsekas, Dimitri P.
Δημοσίευση: (1997)

Parallel scientific computation :
από: Bisseling, Rob H.
Δημοσίευση: (2004)

Nets, terms, and formulas :
από: Olderog, E.-R
Δημοσίευση: (1991)

Redundant disk arrays :
από: Gibson, Garth A.
Δημοσίευση: (1992)

The theory of database concurrency control
από: Papadimitriou, Christos H.
Δημοσίευση: (1986)

Massively parallel artificial intelligence
από: Kitano, Hiroaki, 1961-
Δημοσίευση: (1994)

An introduction to parallel and vector scientific computing
από: Shonkwiler, Ronald W. 1942-
Δημοσίευση: (2006)

Απεικόνιση αλγορίθμων σε αρχιτεκτονικές παράλληλης επεξεργασίας
από: Παπακωνσταντίνου, Γεώργιος Κ., 1942-
Δημοσίευση: (1998)

Programming languages for parallel processing
Δημοσίευση: (1995)

Parallel optimization :
από: Censor, Yair
Δημοσίευση: (1997)

IEEE transactions on parallel and distributed systems
Δημοσίευση: (1990)

Journal of parallel and distributed computing
Δημοσίευση: (1984)

Coordination languages and models :
Δημοσίευση: (1999)

Natural and artificial parallel computation
Δημοσίευση: (1990)

PARLE '94 Parallel Architectures and Languages Europe :
Δημοσίευση: (1994)

Fundamentals of sequential and parallel algorithms
από: Berman, Kenneth A.
Δημοσίευση: (1997)