Αποτελέσματα αναζήτησης για 'ccl=Provider:Springer-Verlag, and ccode:NFIC' › Βιβλιοθήκη & Κέντρο Πληροφόρησης, Πανεπιστήμιο Πατρών κατάλογος

Αποτελέσματα
	81.	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. Προσθήκη στο καλάθι (αφαίρεση)
	82.	Probability, stochastic processes, and queueing theory : the mathematics of computer performance modelling / Randolph Nelson. από Nelson, Randolph [συγγραφέας.] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 519.2 NEL. Προσθήκη στο καλάθι (αφαίρεση)
	83.	Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz. από Michalewicz, Zbigniew [συγγραφέας.] Έκδοση: 2nd, extended ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1994 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 MIC, ... Προσθήκη στο καλάθι (αφαίρεση)
	84.	Fractal Image Compression Theory and Application από Fisher, Yuval [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.6 FIS. Προσθήκη στο καλάθι (αφαίρεση)
	85.	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. Προσθήκη στο καλάθι (αφαίρεση)
	86.	Thermodynamics and Statistical Mechanics από Greiner, Walter, 1935- [aut] Neise, Ludwig [aut] Stocker, Horst [aut] Σειρά: Clasical Theoretical Physics Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 530.13 GRE. Προσθήκη στο καλάθι (αφαίρεση)
	87.	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. Προσθήκη στο καλάθι (αφαίρεση)
	88.	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. Προσθήκη στο καλάθι (αφαίρεση)
	89.	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. Προσθήκη στο καλάθι (αφαίρεση)
	90.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	91.	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. Προσθήκη στο καλάθι (αφαίρεση)
	92.	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. Προσθήκη στο καλάθι (αφαίρεση)
	93.	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. Προσθήκη στο καλάθι (αφαίρεση)
	94.	Foundations of inductive logic programming από Nienhuys-Cheng, Shan-Hwei [aut] Wolf de, Ronald [aut] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 1228 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.115 NIE. Προσθήκη στο καλάθι (αφαίρεση)
	95.	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. Προσθήκη στο καλάθι (αφαίρεση)
	96.	Handbook of formal languages από Rosenberg, G [edt] Salomaa, Arto [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROS. Προσθήκη στο καλάθι (αφαίρεση)
	97.	Handbook of formal languages από Rosenberg, G [edt] Salomaa, Arto [edt] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROS. Προσθήκη στο καλάθι (αφαίρεση)
	98.	Temporal verification of reactive systems Safety από Manna, Zohar [aut] Pnueli, Amir [aut] Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1995 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.2 MAN. Προσθήκη στο καλάθι (αφαίρεση)
	99.	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. Προσθήκη στο καλάθι (αφαίρεση)
	100.	Graphs, networks and algorithms από Jungnickel, Dieter [aut] Σειρά: Algorithms and Computation in Mathematics ; 5 Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1999 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 JUN. Προσθήκη στο καλάθι (αφαίρεση)

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

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

Συγγραφείς

Συλλογές

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

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

Τοποθεσίες

Σειρά

Θέματα

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