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

Αποτελέσματα
	1.	First-order logic and automated theorem proving / Melvin Fitting. από Fitting, Melvin, 1942- Σειρά: Graduate texts in computer science Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York : Springer, c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 511.3 F, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 511.3 FIT, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	Foundations for Programming Languages Jonh C. Mitchell από Mitchell, John C [aut] Σειρά: Foundations of Computing Series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.131 MIT, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 005.131 MIT, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	Software Metrics A rigorous and practical approach από Fenton, Norman E [aut] Pfleeger, Shari L [aut] Έκδοση: 2nd ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London PWS-KENT Publishing Company c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.14 FEN. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.14 FEN. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Statistical digital signal processing and modeling / Monson H. Hayes. από Hayes, M. H. (Monson H.), 1949- [συγγραφέας.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: New York : John Wiley & Sons, c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 621.382 2 HAY, ... Μηχανικών Η/Υ και Πληροφορικής (2)Ταξιθετικός αριθμός: 621.382 2 HAY, ... Προσθήκη στο καλάθι (αφαίρεση)

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