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

Αποτελέσματα
	21.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Linear prediction of speech από Gray Jr, A. H [aut] Markel, J. D [aut] Σειρά: Communications and Cybernetics ; 12 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1982 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.54 MAR. Προσθήκη στο καλάθι (αφαίρεση)
	22.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Foundations of logic programming από Lloyd, J. W. (John Wylie), 1947- [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 LLO. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 LLO. Προσθήκη στο καλάθι (αφαίρεση)
	23.	Kalman filtering : with real-time applications / C.K. Chui, G. Chen. από Chui, C. K [συγγραφέας.] Chen, G. (Guanrong) [συγγραφέας.] Σειρά: Springer series in information sciences ; 17. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 621.381 2 CHU. Προσθήκη στο καλάθι (αφαίρεση)
	24.	Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I. Soare. από Soare, R. I. (Robert Irving), 1940- [συγγραφέας.] Σειρά: Perspectives in mathematical logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1987 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 SOA, ... Προσθήκη στο καλάθι (αφαίρεση)
	25.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη An essay on the importance of being nonlinear από West, Bruce J [aut] Σειρά: Lecture Notes in Biomathematics ; 62 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 515.3 WES. Προσθήκη στο καλάθι (αφαίρεση)
	26.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Constructibility από Devlin, Keith J [aut] Σειρά: Perspectives in Mathematical Logic Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DEV. Προσθήκη στο καλάθι (αφαίρεση)
	27.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Information systems and artificial intelligence: integration aspects First Workshop Ulm, FRG, March 19-21, 1990 Proceedings από Karagiannis, D [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 474 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1991 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 INF. Προσθήκη στο καλάθι (αφαίρεση)
	28.	Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989 από Ausiello, G [edt] Dezani-Ciancaglini, M [edt] Ronchi Della Rocca, S [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 372 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1989 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 AUT. Προσθήκη στο καλάθι (αφαίρεση)
	29.	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. Προσθήκη στο καλάθι (αφαίρεση)
	30.	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. Προσθήκη στο καλάθι (αφαίρεση)
	31.	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. Προσθήκη στο καλάθι (αφαίρεση)
	32.	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. Προσθήκη στο καλάθι (αφαίρεση)
	33.	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. Προσθήκη στο καλάθι (αφαίρεση)
	34.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	35.	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. Προσθήκη στο καλάθι (αφαίρεση)
	36.	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. Προσθήκη στο καλάθι (αφαίρεση)
	37.	New trends in formal languages Control,cooperation and combinatorics από Paun, Gheorghe [aut] Salomaa, Arto [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1218 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 PAU. Προσθήκη στο καλάθι (αφαίρεση)
	38.	Intelligent software agents : foundations and applications / Walter Brenner, Rüdiger Zarnekow, Hartmut Wittig, in co-operation with Claudia Schubert. από Brenner, Walter [συγγραφέας.] Zarnekow, Rudiger [συγγραφέας.] Wittig, Hartmut [συγγραφέας.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: German Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.33 BRE. Προσθήκη στο καλάθι (αφαίρεση)
	39.	Online Algorithms The state of the art [Proceedings} of the Workshop 1996 από Fiat, Amos [edt] Woeginger, Gerhard J [edt] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1442 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1998 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 FIA. Προσθήκη στο καλάθι (αφαίρεση)
	40.	A primer in Petri Net design από Reisig, Wolfgang [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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