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

Αποτελέσματα
	1.	Ada: The choice for '92. Proceedings of the Ada-Europe international conference Athens, May 13-17 1991 από Χριστοδουλάκης, Δημήτριος Νικ [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 499 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 ADA. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Theoretical aspects of Computer Science STACS 86 [Proceedings] of the 3rd Annual Symposium Orsay, France, January 16-18,1986 από Monien, B [edt] Vidal-Naquet, G [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 210 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 THE. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Computing in systems described by equations από O'Donnell, Michael J [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 58 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1977 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004 O'DO. Προσθήκη στο καλάθι (αφαίρεση)
	4.	Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986 από Siekmann, J [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 230 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 AUT. Προσθήκη στο καλάθι (αφαίρεση)
	5.	VLSI algorithms and architectures Proceedings of the Aeagean Workshop on Computing Loutraki, Greece, July 8-11,1986 από Makedon, F [edt] Mehlhorn, K [edt] Παπαθεοδώρου, Θεόδωρος [edt] Σπυράκης, Παύλος Γ [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 227 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (4)Ταξιθετικός αριθμός: 621.395, ... Προσθήκη στο καλάθι (αφαίρεση)
	6.	VLSI algorithms and architectures Proceeedings of the 3rd Aegean Workshop on Computing, AWOC 88 Corfu, Greece June 28- July 1, 1988 από Reif, J. H [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 319 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 621.395, ... Προσθήκη στο καλάθι (αφαίρεση)
	7.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Graph-theoretic concepts in computer science Proceedings. International Workshop WG"88. Amsterdam, June 15-17, 1988 από Leeuwen, J. Van ((Jan)), 1850-1924 [XXX] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 344 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1989 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.5LEE. Προσθήκη στο καλάθι (αφαίρεση)
	8.	Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985 από Floyd, Christiane Εhrig, Hartmut Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 186 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004.015 1 FOR. Προσθήκη στο καλάθι (αφαίρεση)
	9.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986 από Kott, Laurent [XXX] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 226 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 AUT. Προσθήκη στο καλάθι (αφαίρεση)
	10.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985. από Wada, Eiiti [XXX] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 221 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 LOG. Προσθήκη στο καλάθι (αφαίρεση)
	11.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Mathematical methods of specification and synthesis of software systems '85 Proccedings. Wendisch-Rietz, GDR, April 22-26, 1985 από Bibel, W, 1938- [XXX] Jantke, K. P [XXX] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 215 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 MAT. Προσθήκη στο καλάθι (αφαίρεση)
	12.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη ESOP 86. European symposium on programming Proceedings. Saarbrucken, Germany, March 17-19, 1986 από Robinet, B [XXX] Wilhelm, R [XXX] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 213 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: OO5.1. Προσθήκη στο καλάθι (αφαίρεση)
	13.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Interval mathematics 1985 Proceedings of the International Symposium. Freidurg i Br., Germany, September 23-26, 1985. από Nickel, K [XXX] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 212 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.42. Προσθήκη στο καλάθι (αφαίρεση)
	14.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη CAAP '86 Proceedings of the 11th colloguium on trees Algebra and programming. Nice, France, March 24-26, 1986. από Franchi-Zannettacci, P [XXX] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 214 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 CAA. Προσθήκη στο καλάθι (αφαίρεση)
	15.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Global optimization από Torn, Aimo [aut] Zilinskas, Antanas [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 350 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1989 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 003 TOR. Προσθήκη στο καλάθι (αφαίρεση)
	16.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη LUCAS associative array processor Design, programming and application studies από Fernstrom, Christer Kruzela, Ivan [aut] Svensson, Bertil [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 216 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 FRN. Προσθήκη στο καλάθι (αφαίρεση)
	17.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Foundations of software technology and theoretical computer science Proceedings of the 5th Conference New Delhi December 16-18, 1985 από Maheshwari, S. N [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 206 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.3. Προσθήκη στο καλάθι (αφαίρεση)
	18.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη PORTAL language description από Businger, Arnold [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 198 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 POR. Προσθήκη στο καλάθι (αφαίρεση)
	19.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Complexity and structure από Schöning, Uwe, 1955- [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 211 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SCH. Προσθήκη στο καλάθι (αφαίρεση)
	20.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 224 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας

Διαθεσιμότητα

Συγγραφείς

Συλλογές

Βιβλιοθήκες που διαθέτουν αντίτυπα

Τύποι τεκμηρίου

Τοποθεσίες

Σειρά

Θέματα

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