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

Αποτελέσματα
	1.	Semantics of programming languages : structures and techniques / Carl A. Gunter. από Gunter, Carl A [συγγραφέας.] Σειρά: Foundations of computing series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.13 G, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.13 GUN. Προσθήκη στο καλάθι (αφαίρεση)
	2.	From logic to logic programming Kees Doets από Doets, Kees Σειρά: Foundations of computing series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Massachusetts The MIT Press 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 005.1 D, ... Προσθήκη στο καλάθι (αφαίρεση)
	3.	Hilbert's Tenth Problem από Matiyasevich, Yuri V [aut] Σειρά: Foundations of Computing Series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.7 MAT. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Circuit Complexity and Neural Networks από Parberry, Ian [aut] Σειρά: Foundations of Computing Series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 PAR. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Theoretical Aspects of Object-Oriented Programming Types, Semantics,and Language Design από Gunter, Carl A [aut] Mitchell, John C [aut] Σειρά: Foundations of Computing Series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass Massachusetts Institute of Technology Cambridge Mass. c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 GUN. Προσθήκη στο καλάθι (αφαίρεση)
	6.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	From logic to logic programming από Doets, Kees [aut] Σειρά: Foundations of Computing Series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass Massachusetts Institute of Technology Cambridge Mass. c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 DOE. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Control flow semantics Jaco de Bakker, Erik de Vink από Bakker, J. W. de (Jacobus Willem), 1939- [συγγραφέας.] Vink, Erik de [συγγραφέας.] Σειρά: Foundations of computing series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, MA The MIT Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 BAK. Φυσικό (1)Ταξιθετικός αριθμός: 005.13 BAK. Προσθήκη στο καλάθι (αφαίρεση)

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