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

Αποτελέσματα
	1.	Foundations for programming languages John C. Mitchell από Mitchell, John C Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Mass. MIT Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.131 M, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	The formal semantics of programming languages an introduction Glynn Winskel από Winskel, G. (Glynn) Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Mass. MIT Press 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 W. Προσθήκη στο καλάθι (αφαίρεση)
	3.	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. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Theoretical aspects of object-oriented programming types, semantics, and language design edited by Carl A. Gunter and John C. Mitchell από Gunter, Carl A [edt] Mitchell, John C [edt] Σειρά: Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, MA MIT Press 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.117 G. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Algebraic semantics of imperative programs Joseph A. Goguen and Grant Malcolm από Goguen, Joseph Malcolm, Grant Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Mass. MIT Press 1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 G. Προσθήκη στο καλάθι (αφαίρεση)
	6.	From logic to logic programming Kees Doets από Doets, Kees Σειρά: Foundations of computing series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, Massachusetts The MIT Press 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 005.1 D, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Theory of Deductive Systems and Its Applications από Maslov, S. Y [aut] Σειρά: MIT Press Series in the Foundations of Computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 MAS. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Logic and information flow / edited by Jan van Eijck and Albert Visser. από Eijck, J. van (Jan) [επιμελητής] Visser, Albert [επιμελητής] Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	9.	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. Προσθήκη στο καλάθι (αφαίρεση)
	10.	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. Προσθήκη στο καλάθι (αφαίρεση)
	11.	The formal semantics of programming languages : an introduction / Glynn Winskel. από Winskel, G. (Glynn) [συγγραφέας.] Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, 1993 [3rd printing 1996] Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.13 WIN, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 005.13 WIN, ... Προσθήκη στο καλάθι (αφαίρεση)
	12.	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. Προσθήκη στο καλάθι (αφαίρεση)
	13.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	14.	Computability and complexity : from a programming perspective / Neil D. Jones. από Jones, Neil D [συγγραφέας.] Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 JON. Προσθήκη στο καλάθι (αφαίρεση)
	15.	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. Προσθήκη στο καλάθι (αφαίρεση)
	16.	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. Προσθήκη στο καλάθι (αφαίρεση)
	17.	Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis. από Mati�i�asevich, �I�U. V. (�I�Uri�i V.) Σειρά: Foundations of computing Τύπος υλικού: Κείμενο; Διάταξη: διαθέσιμο ηλεκτρονικά ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: Russian Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, �1993 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Δεν υπάρχουν διαθέσιμα τεκμήρια. Προσθήκη στο καλάθι (αφαίρεση)

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