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

Ταξινόμηση
Αποτελέσματα
1.
Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah. από
  • Symposium on Logic Programming (3rd : 1986 : Salt Lake City, Utah)
  • IEEE Computer Society
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Washington, D.C. : Los Angeles, CA : IEEE Computer Society Press ; Order from IEEE Computer Society, c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SYM.
2.
Field programmable gate arrays : reconfigurable logic for rapid prototyping and implementation of digital systems / John V. Oldfield, Richard C. Dorf. από
  • Oldfield, John V, 1933- [συγγραφέας]
  • Dorf, Richard C, [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Wiley, c1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 621.395 OLD.
3.
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