Logics for concurrency structure versus automata

Logics for concurrency structure versus automata

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Moller, Faron 1962- (Επιμελητής έκδοσης), Birtwistle, Graham (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer 1996
Σειρά:	Lecture notes in computer science 1043
Θέματα:	Ηλεκτρονικοί υπολογιστές > Κατανεμημένα συστήματα Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)

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

Logics and models of concurrent systems /
Έκδοση: (1985)

Verifying concurrent processes using temporal logic
ανά: Hailpern, Brent T. 1955- ((Brent Tzion))
Έκδοση: (1982)

Principles of concurrent and distributed programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (1990)

Linear time, branching time and partial order in logics and models for concurrency
Έκδοση: (1989)

Solving problems on concurrent processors
ανά: Fox, Geoffrey C.

New concepts and technologies in parallel information processing : [proceedings of the NATO Advanced Study Institute, held at Capri, Italy, June 17-30, 1973] /
Έκδοση: (1975)

The massively parallel processor
Έκδοση: (1985)

Parallel processing of discrete problems /
Έκδοση: (1999)

Algorithms for parallel processing /
Έκδοση: (1999)

Προγραμματισμός και αρχιτεκτονική συστημάτων παράλληλης επεξεργασίας /
ανά: Παπαδάκης, Στυλιανός
Έκδοση: (2012)

Replication techniques in distributed systems
ανά: Helal, Abdelsalam A. 1959-, κ.ά.
Έκδοση: (1996)

World Wide Web bible
ανά: Phafenberger, Bryan
Έκδοση: (1996)

MIT project Athena a model for distributed campus computing
ανά: Champine, George A.
Έκδοση: (1991)

Distributed systems
Έκδοση: (1989)

Τεχνικές προσανατολισμένης επικοινωνίας για συνεργατικά δίκτυα
ανά: Τσίνος, Χρήστος
Έκδοση: (2008)

Θεμελιώδη ζητήματα κατανεμημένων συστημάτων
ανά: Σπυράκης, Παύλος Γ., κ.ά.
Έκδοση: (1995)

Θεμελιώδη ζητήματα κατανεμημένων συστημάτων
ανά: Σπυράκης, Παύλος Γ., κ.ά.
Έκδοση: (2002)

Principles of concurrent programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (1982)

Distributed operating systems
ανά: Tanenbaum, Andrew S., 1944-
Έκδοση: (1995)

Συστήματα παράλληλης επεξεργασίας
ανά: Παπακωνσταντίνου, Γ. Κ., κ.ά.
Έκδοση: (1994)

Implementing client-server technology
ανά: Adhikari, Richard
Έκδοση: (1995)

Building communication networks with distributed objects
ανά: Yarborough, William J.
Έκδοση: (1998)

Υλοποίηση μεταφέρσιμου συστήματος κατανεμημένης κοινής μνήμης
ανά: Καραντάσης, Κωνσταντίνος Ι.
Έκδοση: (2006)

Σχεδιασμός, ανάπτυξη και υλοποίηση πρωτότυπου συστήματος εξυπηρετητή οικείου δικτύου (Home Subscriber Server - HSS) που θα έχει εφαρμογή στην IMS (IP Multimedia Subsystem) αρχιτεκτονική όπως την ορίζει η 3GPP (3rd Generation Partnership Project)
ανά: Καλόγηρος, Γεώργιος
Έκδοση: (2008)

Παραλληλοποίηση αλγορίθμου Aho-Corasick με τεχνολογία CUDA
ανά: Δημόπουλος, Παναγιώτης
Έκδοση: (2012)

Introduction to numerical methods for parallel computers
ανά: Schendel, U.
Έκδοση: (1984)

Turtles, termites, and traffic jams explorations in massively parallel microworlds
ανά: Resnick, Mitchel
Έκδοση: (1994)

Programming distributed applications with COM and Microsoft Visual Basic 6.0
ανά: Pattison, Ted
Έκδοση: (1998)

Developing intelligent agents for distributed systems exploring architecture, technologies, and applications
ανά: Knapik, Michael

Elements of distributed algorithms : modeling and analysis with Petri nets /
ανά: Reisig, Wolfgang
Έκδοση: (1998)

The theory and practice of concurrency /
ανά: Roscoe, A. W.
Έκδοση: (1998)

Τεχνικές προκωδικοποίησης συστημάτων ΜΙΜΟ βασισμένες σε οικονομική αναπαράσταση καναλιών
ανά: Σταυρίδης, Αθανάσιος
Έκδοση: (2008)

Ποιότητα υπηρεσίας σε scheduling εργασιών κατανεμημένου περιβάλλοντος
ανά: Βαρελάς, Γεώργιος
Έκδοση: (2007)

Principles of concurrent and distributed programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (2006)

Using MPI-2 advanced features of the message-passing interface
ανά: Gropp, William D.
Έκδοση: (1999)

Guide to parallel programming on sequent computer systems
Έκδοση: (1989)

Using MPI portable parallel programming with the message-passing interface
ανά: Gropp, William D.
Έκδοση: (1999)

Μεθοδολογίες επαναχρησιμοποίησης δεδομένων για ελάττωση μεταφορών στην ιεραρχία μνήμης
ανά: Κελεφούρας, Βασίλειος
Έκδοση: (2008)

Parallel scientific computing in C++ and MPI a seamless approach to parallel algorithms and their implementation
ανά: Καρνιαδάκης, Γεώργιος Ε.
Έκδοση: (2003)

Models of massive parallelism : analysis of cellular automata and neural networks /
ανά: Garzon, Max, 1953-
Έκδοση: (1995)

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