Specification and analysis of concurrent systems The COSY approach

Specification and analysis of concurrent systems The COSY approach

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Janicki, Ryszard (Συγγραφέας), Lauer, Peter E. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer-Verlag c1992
Σειρά:	EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa
Θέματα:	COMPLEX SYSTEMS CONCURRENT SYSTEMS COSY PARALLEL PROGRAMMING

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

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

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

Parallel programming
ανά: Perrott, R. H.
Έκδοση: (1987)

Concurrent systems:semantics, specification, and synthesis Dagstuhl-Seminar-Report; 9 11.3.1991-15.3.1991(9111)

Parallel programming and compilers
ανά: Polychronopoulos, C. D.
Έκδοση: (1988)

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

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

Parallel Programming in Open MP
ανά: Chandra, Rohit, κ.ά.
Έκδοση: (2001)

Parallel Programming Techniques and applications using networked workstations and parallel computers
ανά: Wilkinson, Barry, κ.ά.
Έκδοση: (1999)

Engineering of complex computer systems (ICECCS;99) Fifth IEEE international conference Octover 18-21,1999 Las Vegas,Nevada, USA
Έκδοση: (1999)

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

Parallel architectures and their efficient use Proceedings of the First Heinz Nixdorf Symposium Paderborn, germany, November 11-13, 1992
Έκδοση: (1993)

Concurrent programming
ανά: Gehani, Narain, κ.ά.
Έκδοση: (1988)

Parallel architectures and neural networks First Italian workshop Vietri sul mare. Salerno, 27-29 April, 1988
Έκδοση: (1989)

PARLE'91 parallel architectures and languages europe Proceedings. Eindhoven, Netherlands, June 10-13, 1991
Έκδοση: (1991)

PARLE 89 Parallel Architectures and Languages Europe Proceedings. Eindhoven, The Netherlands, June 12-16, 1989
Έκδοση: (1989)

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

PARLE '93 parallel architectures and languages europe Proceedings of the 5th international conference Munich, Germany, June 14-17, 1993
Έκδοση: (1993)

PARLE'92 parallel architecture and languages europe Proceedings of the 4th international conference Paris, France, June 15-18, 1992
Έκδοση: (1992)

PARLE'89 Parallel Architectures and Languages Europe Proceedings. Eindhoven, Netherlands, June 12-16, 1989
Έκδοση: (1989)

PARLE 94 Parallel Architectures and Languages Europe Proceedings of the 6th International PARLE Conference Athens, Greece, July 4-8, 1994
Έκδοση: (1994)

Principles and practice of Parallel Programming Proceedings of7th ACM/SIGPLAN Symposium Atlanta, Georgia 4-6 May 1999 ACM/SIGPLAN Notices vol. 34 no 8 august 1999
Έκδοση: (1999)

Complex Systems
Έκδοση: (1978)

IEEE Transactions on Parallel and Distributed Systems
Έκδοση: (1991)

ABCL: An Object-Oriented Concurrent System
Έκδοση: (1990)

Concurent systems Operatiing systems, database and distributed systems: an integrated approach
ανά: Bacon, Jean
Έκδοση: (1998)

PARLE'91 parallel architectures and languages europe Proceedings. Eindhoven, Netherlands, June 10-13, 1991
Έκδοση: (1991)

Concurrent and real -time programming in java /
ανά: Wellings, Andy
Έκδοση: (2004)

Ανάπτυξη Εξομοιωτή για την Παράλληλη Αρχιτεκτονική PiSMA, σε PC Διπλωματική εργασία.
ανά: Κοκοζίδης, Χρήστος ΑΜ (1466)
Έκδοση: (1998)

Hypercube concurrent computers and applications (1988) Proceedings of the 3rd Conference Pasadena, California, January 19-20, 1988
Έκδοση: (1988)

Hypercube Concurrent Computers and Applications (1988) Proceedings of the 3rd Conference Pasadena, California January 19-20, 1988
Έκδοση: (1988)

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Executive briefing Advances in concurrency control and transaction processing
ανά: Ramamritham, Krithi
Έκδοση: (1997)

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)

Communicating sequantial processes
ανά: Hoare, C. A.
Έκδοση: (1985)

Concurrent and distributed computing in Java /
ανά: Garg, Vijay K. (Vijay Kumar), 1963-
Έκδοση: (2004)

Concurrent programming in ML
ανά: Reppy, John H.
Έκδοση: (1999)

Principles & Practice of Parallel Programming PPOPP (1990) Proceedings of the 2nd ACM/SIGPLAN Symposium Seattle, Washington, March 14-16, 1990 ACM SIPLAN Vol.25, No.3, March 1990
Έκδοση: (1990)

Principles & Practice of Parallel Programming PPOPP (1993) Proceedings of the 4th ACM SIGPLAN symposium San Diego, California, May 19-22, 1993 ACM/SIGPLAN Vol. 28, No 7, July 1993
Έκδοση: (1993)

Principles & Practice of Parallel Programming PPOPP (1995) Proceedings of the 5th ACM SIGPLAN Symposium Santa Barbara, CA, July 19-21, 1995
Έκδοση: (1995)

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