Η αναζήτηση επέστρεψε 3 αποτελέσματα.

Ταξινόμηση
Αποτελέσματα
1.
PARLE: Parallel Architectures and Languages-Europe [Proceedings]. Conference Eindhoven, The Netherlands, 15-19 June 1987 από
  • Bakker, J. W. de (Jacobus Willem), 1939- [edt]
  • Treleaven, P. C. (Philip C.) [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
2.
Linear time, branching time and partial order in logics and models for concurrency ; edited by J.W. de Bakker, W. P. de Roever, G. Rozenberg από
  • Roever, W. P. De [edt]
  • Ronzerbeg, G [edt]
  • Bakker, J. W. de (Jacobus Willem), 1939- [edt]
Σειρά: Lecture notes in computer science ; 354
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004.36 LIN, ...
3.
Control flow semantics Jaco de Bakker, Erik de Vink από
  • Bakker, J. W. de (Jacobus Willem), 1939- [συγγραφέας.]
  • Vink, Erik de [συγγραφέας.]
Σειρά: Foundations of computing series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge, MA The MIT Press 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 BAK. Φυσικό (1)Ταξιθετικός αριθμός: 005.13 BAK.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud