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

Αποτελέσματα
	1.	Specification and proof in real-time CPS από Davies, J [aut] Σειρά: Distinguished Dissertations in Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.43 DAV. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Efficient algorithms for listing combinatorial structures / Leslie Ann Goldberg. από Goldberg, Leslie Ann [συγγραφέας] Σειρά: Distinguished dissertations in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Cambridge University Press, 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 GOL, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	Action refinement in process algebras από Aceto, Luca [aut] Σειρά: Distinguished Dissertations in Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005 ACE. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Logic programming operational semantics and proof theory James H. Andrews από Andrews, James H Σειρά: Distinguished dissertations in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: [x.τ.] Cambridge University Press 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 Α. Προσθήκη στο καλάθι (αφαίρεση)

Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας