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

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

Ταξινόμηση
Αποτελέσματα
1.
Descriptive complexity / Neil Immerman. από
  • Immerman, Neil, 1953- [συγγραφέας]
Σειρά: Graduate texts in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 511.3 IMM, ...
2.
Recursion-theoretic hierarchies / Peter G. Hinman. από
  • Hinman, Peter G [συγγραφέας.]
Σειρά: Perspectives in mathematical logic
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1978
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 H, ...
3.
The design and analysis of algorithms / Dexter C. Kozen. από
  • Kozen, Dexter, 1951- [συγγραφέας.]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 K, ...
4.
The beauty of fractals : images of complex dynamical systems / H.-O. Peitgen, P.H. Richter. από
  • Peitgen, Heinz-Otto, 1945- [συγγραφέας]
  • Richter, P. H. (Peter H.), 1945- [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Μεσολόγγι (1)Ταξιθετικός αριθμός: 514.742 PEI. ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 003.85 PEI, ...
5.
Adaptive learning by genetic algorithms analytical results and applications to economic models Herbert Dawid από
  • Dawid, Herbert
Έκδοση: 2nd edition
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 330.015 118 DAW, ...
6.
Geometric algorithms and combinatorial optimization / Martin Grotschel, Laszlo Lovasz, Alexander Schrijver. από
  • Grotschel, Martin [συγγραφέας]
  • Lovasz, Laszlo, 1948- [συγγραφέας]
  • Schrijver, Alexander [συγγραφέας]
Σειρά: Algorithms and combinatorics (Springer-Verlag)
Έκδοση: 2η έκδ.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin: Springer-Verlag, 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 516.13 GRO, ...
7.
Introduction to numerical analysis / J. Stoer and R. Bulirsch ; translated by R. Bartels, W. Gautschi and C. Witzgall. από
  • Stoer, Josef [συγγραφέας.]
  • Bulirsch, Roland [συγγραφέας.]
Σειρά: Texts in applied mathematics ; 12.
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά Original language: German
Λεπτομέρειες δημοσίευσης: New York : Springer-Verlag, 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: Π/Σ 518 STO, ... Φυσικό (1)Ταξιθετικός αριθμός: 519.4 STO. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 518 STO.
8.
Advances in object-oriented database systems / edited by Asuman Dogac...[et al.]. από
  • NATO Advanced Study Institute on Object-Oriented Database Systems (1993 : İzmir, Turkey)
  • Dogac, Asuman, 1951- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 130.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 005.757 NAT, ...
9.
Degrees of unsolvability Local and global theory από
  • Lerman, Manuel [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1983
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 LER, ...
10.
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.
11.
Distributed Systems-Architecture and Implementation An advanced course από
  • Lampson, B. W [edt]
  • Paul, M [edt]
  • Siegert, H. J [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag 1983
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 003.78 LAM, ...
12.
Two-dimensional linear systems από
  • Kaczorek, T [aut]
Σειρά: Lecture Notes in Control and Information Science ; 68
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 003.74 KAC, ...
13.
Monte-Carlo Simulation in Statistical physics An introduction από
  • Binder, K [aut]
  • Heermann, D. W [aut]
Σειρά: Springer Series in Solid-State Sciences ; 80
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 519.282 BIN.
14.
Sorting and searching από
  • Mehlhorn, Kurt, 1949- [aut]
Σειρά: Data Structures and Algorithms ; 1
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 MEH.
15.
Graph algorithms and NP-completeness από
  • Mehlhorn, Kurt, 1949- [aut]
Σειρά: Data Structures and Algorithms ; 2
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 MEH.
16.
Machine learning An artificial intelligence approach από
  • Carbonell, J. G [edt]
  • Michalski, R. S [edt]
  • Mitchell, T. M [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.31 MIC.
17.
Neural computers Proceedings of the NATO Advanced Research Workshop (ARW) held in Neuss W. Germany, September 28 - Octomber 2, 1987 από
  • Eckmiller, Rolf [XXX]
  • Malsburg, Christoph [XXX]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 NEU.
18.
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.
19.
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.
20.
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.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud