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

Αποτελέσματα
	61.	Parallel database systems : PRISMA Workshop Noordwijk, The Netherlands, September 24-26, 1990 / Pierre America (ed.). από PRISMA Workshop (1990 : Noordwijk, Netherlands) America, Pierre, 1959- [επιμελητής] Σειρά: Lecture notes in computer science ; 503 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.35 PRI. Προσθήκη στο καλάθι (αφαίρεση)
	62.	Specification and analysis of concurrent systems The COSY approach από Janicki, Ryszard [aut] Lauer, Peter E [aut] Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.12 JAN. Προσθήκη στο καλάθι (αφαίρεση)
	63.	Application and theory of Petri Nets 1994 : 15th International Conference, Zaragona, Spain, June 20-24, 1994 : proceedings / Robert Valette (ed.). από International Conference on Application and Theory of Petri Nets (15th : 1994 : Zaragoza, Spain) Valette, Robert [επιμελητής] Σειρά: Lecture notes in computer science ; 815 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 INT. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.3 INT. Προσθήκη στο καλάθι (αφαίρεση)
	64.	Mobile communications από Gunther, Christoph [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 783 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 621.384 56. Προσθήκη στο καλάθι (αφαίρεση)
	65.	Programming languages and system architectures Proceedings International Conference Zurich, Switzerland, March 2-4, 1994 από Gutknecht, Jurg [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 782 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c 1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 PRO. Προσθήκη στο καλάθι (αφαίρεση)
	66.	Industrial Applications of Neural Networks Project 2092 ANNIE Handbook [vol.1] από Croall, I. F [edt] Mason, J. P [edt] Σειρά: Research Reports ESPRIT Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 CRO. Προσθήκη στο καλάθι (αφαίρεση)
	67.	Qualitative Representation of Spatial Knowledge από Hernandez, Daniel [aut] Σειρά: Lecture Notes in Artificial Intelligence ; 804 \| Lecture Notes in Computer Science / G. Goos and J. Hartmanis 804 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 HER. Προσθήκη στο καλάθι (αφαίρεση)
	68.	Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon. από Garzon, Max, 1953- [συγγραφέας.] Σειρά: Texts in theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004.35 GAR, ... Προσθήκη στο καλάθι (αφαίρεση)
	69.	Relations and graphs : discrete mathematics for computer scientists / Gunther Schmidt, Thomas Ströhlein. από Schmidt, Gunther, 1939- [συγγραφέας.] Strohlein, Thomas [συγγραφέας.] Σειρά: EATCS monographs on theoretical computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: German Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 1SCH. Προσθήκη στο καλάθι (αφαίρεση)
	70.	Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz. από Michalewicz, Zbigniew [συγγραφέας.] Έκδοση: 2nd, extended ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 MIC, ... Προσθήκη στο καλάθι (αφαίρεση)
	71.	Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems από Sudan, Madhu [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1001 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin New York Springer-Verlag Association for Computing Machinery c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 515.252 SUD. Προσθήκη στο καλάθι (αφαίρεση)
	72.	Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings / Josep Diaz, Maria Serna (eds.). από ESA '96 (1996 : Barcelona, Spain) Díaz, J. (Josep), 1950- [επιμελητής] Serna, Maria, 1959- [επιμελήτρια] Σειρά: Lecture notes in computer science ; 1136 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 118 ESA. Προσθήκη στο καλάθι (αφαίρεση)
	73.	Structural complexity / José Luis Balcázar, Josep Díaz, Joaquim Gabarró. από Balcázar, José Luis [συγγραφέας] Díaz, J. (Josep), 1950- [συγγραφέας] Gabarró, Joaquim [συγγραφέας] Σειρά: Texts in theoretical computer science Έκδοση: 2nd, rev. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1995 Άλλος τίτλος: Structural complexity I Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 BAL. Προσθήκη στο καλάθι (αφαίρεση)
	74.	Automata, Languages and Programming Proceedings of the 23rd International Colloquim ICALP'96 Paderborn, Germany, July 6-12, 1996 Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1099 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 AUT. Προσθήκη στο καλάθι (αφαίρεση)
	75.	Research and Advanced Technology for Digital Libraries 2nd European Conference, ECDL'98 Heraklion, Crete,Greece September 21-23, 1998 Proceedings από Nikolaou, Christos [edt] Stephanidis, Constantine [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1513 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.759 2 RES. Προσθήκη στο καλάθι (αφαίρεση)
	76.	Communication Complexity and Parallel Computing από Hromkovic, Juraj [aut] Σειρά: Texts in Theoretical Computer Science An EATCS Series / W. Brauer G. Rozenberg A. Salomaa \| Texts in Theoretical Computer Science - An EATCS Series Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.275 HRO. Προσθήκη στο καλάθι (αφαίρεση)
	77.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Computing in Horn Clause Theories από Padawitz, Peter [aut] Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa ; 16 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 PAD. Προσθήκη στο καλάθι (αφαίρεση)
	78.	Logic Programming and Databases από Ceri, S [aut] Gottlob, G [aut] Tanca, L [aut] Σειρά: Surveys in Computer Science / G.Schlageter-F.Stetter-E.Goto Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1990 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.74 CER. Προσθήκη στο καλάθι (αφαίρεση)
	79.	Efficient Graph Rewriting and its Implementation από Dorr, Heiko [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 922 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 DOR. Προσθήκη στο καλάθι (αφαίρεση)
	80.	Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994 από Birtwistle, Graham [edt] Moller, Faron [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1043 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1996 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 MOL. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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