Μεταφερθείτε στο κυρίως περιεχόμενο
Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών
Το καλάθι σας είναι άδειο.
Καλάθι
Λίστες
Δημόσιες λίστες
Απριλιανό καθεστώς
Προβολή όλων
Ιστορικό αναζήτησης
Καθαρισμός
Κατάλογος βιβλιοθήκης
Τίτλος
Συγγραφέας
Θέμα
ISBN
ISSN
Σειρά
Ταξιθετικός αριθμός
Σύνθετη αναζήτηση
Βιβλιογραφίες μαθημάτων
Αναζήτηση καθιερωμένων όρων
Βιβλιοθήκες
Συνδεθείτε στο λογαριασμό σας
×
Σύνδεση:
Κωδικός πρόσβασης:
Αρχική
Αποτελέσματα αναζήτησης για 'an:"126199"'
Βελτιώστε την αναζήτησή σας
Διαθεσιμότητα
Περιορισμός μόνο στα διαθέσιμα τεκμήρια
Συγγραφείς
Huth, Michael
Ryan, Mark
Συλλογές
Non-fiction
Βιβλιοθήκες που διαθέτουν αντίτυπα
ΒΚΠ - Πατρα
Μηχανικών Η/Υ και Πληροφορικής
Τύποι τεκμηρίου
Book
Book [21]
Τοποθεσίες
Αποθήκη 2.1
Βασική Συλλογή
Θέματα
COMPUTER LOGIC
Λογική, Συμβολική κα...
Λογικός προγραμματισ...
Η αναζήτηση επέστρεψε 2 αποτελέσματα.
Ταξινόμηση
Ταξινόμηση κατά:
Σχετικότητα
Δημοτικότητα (φθίνουσα)
Δημοτικότητα (αύξουσα)
Συγγραφέας (Α-Ω)
Συγγραφέας (Ω-Α)
Ταξιθετικό αριθμό (0-9 έως Α-Ω)
Ταξιθετικό αριθμό (Ω-Α έως 9-0)
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Νεότερη προς παλαιότερη
Χρονολογία έκδοσης/Κατοχύρωσης πνευματικής ιδιοκτησίας: Παλαιότερη προς νεότερη
Ημερομηνία πρόσκτησης: Νεότερα προς παλαιότερα
Ημερομηνία πρόσκτησης: Παλαιότερα προς νεότερα
Τίτλος (Α-Ω)
Τίτλος (Ω-Α)
Αφαίρεση επισήμανσης
Τονισμός
Επιλογή όλων
Καθαρισμός όλων
Επιλογή τίτλων για:
Προσθήκη σε...
Καλάθι
Απριλιανό καθεστώς
[ Νέα λίστα ]
Αποτελέσματα
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,
Φόρμα επικοινωνίας