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

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
1.
Logic in computer science Modelling and reasoning about systems Michael Huth, Mark Ryan από
  • Huth, Michael, 1962- [aut]
  • Ryan, Mark, 1962- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York Cambridge 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 HUT.
Προσθήκη στο καλάθι
2.
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. από
  • Huth, Michael, 1962- [συγγραφέας]
  • Ryan, Mark, 1962- [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, c2004
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (11)Ταξιθετικός αριθμός: 005.1 HUT, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 HUT.
Προσθήκη στο καλάθι
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας		 Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud