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

Αποτελέσματα
	1.	Models of sharing graphs a categorical semantics of let and letrec Masahito Hasegawa από Hasegawa, Masahito Σειρά: Distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: London Springer 1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 H. Προσθήκη στο καλάθι (αφαίρεση)
	2.	The connection machine W. Daniel Hillis από Hillis, Daniel W Σειρά: ACM Distinguished Dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge, MA MIT Press 1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 Η. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Formal specification of interactive graphics programming languages από Mallgren, William R [aut] Σειρά: ACM Distinguished Dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge mass. Massachusetts Institute of Technology Cambridge Mass. c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 MAL. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Abstraction mechanisms and language design από Hilfinger, Paul [aut] Σειρά: ACM Distinguished Dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 HIL. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη The design and evaluation of a high performance smalltalk system από Ungar, David M [aut] Σειρά: ACM Distinguished Dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.26 UNG. Προσθήκη στο καλάθι (αφαίρεση)
	6.	Analytic methods in the analysis and design of number - theoretic algorithms Eric Bach από Bach, Eric Σειρά: ACM distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge MIT Press 1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 512.73 BAC, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Model-Based Image Matching Using Location από Baird, Henry S [aut] Σειρά: ACM Distinguished Dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.4 BAI. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Two Issues in Public-Key Cryptography RSA Bit Security and a New Knapsack Type System από Chor, Ben-Zion [aut] Σειρά: ACM Distinguished Dissertations ; 1985 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge MA Massachusetts Institute of Technology Cambridge Mass. c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 652.8 CHO. Προσθήκη στο καλάθι (αφαίρεση)
	9.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Synthesis of Digital Designs from Recursion Equations από Johnson, Steven D [aut] Σειρά: ACM Distinguished Dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Cambridge MA Massachusetts Institute of Technology Cambridge Mass. c1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 621.381 5 JOH. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Uses of randomness in algorithms and protocols / Joe Kilian. από Kilian, Joe [συγγραφέας.] Σειρά: ACM distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 192 KIL. Προσθήκη στο καλάθι (αφαίρεση)
	11.	Specification and proof in real-time CPS από Davies, J [aut] Σειρά: Distinguished Dissertations in Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.43 DAV. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Efficient algorithms for listing combinatorial structures / Leslie Ann Goldberg. από Goldberg, Leslie Ann [συγγραφέας] Σειρά: Distinguished dissertations in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Cambridge University Press, 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 GOL, ... Προσθήκη στο καλάθι (αφαίρεση)
	13.	Action refinement in process algebras από Aceto, Luca [aut] Σειρά: Distinguished Dissertations in Computer Science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005 ACE. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Logic programming operational semantics and proof theory James H. Andrews από Andrews, James H Σειρά: Distinguished dissertations in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: [x.τ.] Cambridge University Press 1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 Α. Προσθήκη στο καλάθι (αφαίρεση)
	15.	The rapid evaluation of potential fields in particle systems / Leslie F. Greengard. από Greengard, Leslie [συγγραφέας.] Σειρά: ACM distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Cambridge : MIT Press, 1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 530.155 9 GRE, ... Προσθήκη στο καλάθι (αφαίρεση)
	16.	Extensional constructs in intensional type theory Martin Hofmann από Hofmann, Martin Σειρά: CPHC/BCS distinguished dissertations Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer 1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 H. Προσθήκη στο καλάθι (αφαίρεση)

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