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

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

Ταξινόμηση
Αποτελέσματα
1.
Modern cryptography, probabilistic proofs and pseudorandomness / Oded Goldreich. από
  • Goldreich, Oded [συγγραφέας.]
Σειρά: Algorithms and combinatorics (Springer-Verlag)
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 005.8 GOL, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.82 GOL.
2.
Computational geometry : algorithms and applications / Mark de Berg... [et.al.] από
  • Berg, Mark de Mark Theodor, 1966- [συγγραφέας.]
Έκδοση: 2nd ed., rev.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (7)Ταξιθετικός αριθμός: 516.002 85 COM, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 516.002 85 COM.
3.
Coloured Petri nets : basic concepts, analysis methods, and practical use / Kurt Jensen. από
  • Jensen, K. (Kurt), 1950- [συγγραφέας]
Σειρά: Monographs in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1992-c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (7)Ταξιθετικός αριθμός: 511.5 J, ...
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.
Approximation algorithms / Vijay V. Vazirani. από
  • Vazirani, Vijay V [συγγραφέας.]
Έκδοση: Corrected 2nd printing.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 2003
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Μεσολόγγι (2)Ταξιθετικός αριθμός: 005.1 VAZ, ... ΒΚΠ - Πατρα (12)Ταξιθετικός αριθμός: 005.1 VAZ, ... Μηχανικών Η/Υ και Πληροφορικής (2)Ταξιθετικός αριθμός: 005.1 VAZ, ...
6.
Towards Hardware-Intrinsic Security [electronic resource] Foundations and Practice edited by Ahmad-Reza Sadeghi, David Naccache από
  • Sadeghi, Ahmad-Reza
  • Naccache, David
  • SpringerLink (Online service)
Σειρά: Information Security and Cryptography
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2).
7.
Degrees of unsolvability Local and global theory από
  • Lerman, Manuel [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1983
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 LER, ...
8.
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.
9.
Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California June 2-5,1986 / edited by Alan L. Selman. από
  • Selman, Alan L [επιμελητής]
Σειρά: Lecture notes in computer science ; 223
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 113 STR.
10.
Nonlinear control systems An introduction από
  • Isidori, A [aut]
Σειρά: Lecture Notes in Control and Information Science ; 72
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 003.75 ISI, ...
11.
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.
12.
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.
13.
Two-dimensional linear systems από
  • Kaczorek, T [aut]
Σειρά: Lecture Notes in Control and Information Science ; 68
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 003.74 KAC, ...
14.
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.
15.
Sorting and searching από
  • Mehlhorn, Kurt, 1949- [aut]
Σειρά: Data Structures and Algorithms ; 1
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 MEH.
16.
Graph algorithms and NP-completeness από
  • Mehlhorn, Kurt, 1949- [aut]
Σειρά: Data Structures and Algorithms ; 2
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 MEH.
17.
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.
18.
Self-organisation and associative memory από
  • Kohonen, Teuvo [aut]
Σειρά: Springer Series in Information Sciences ; 8
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.5 KOH.
19.
Identifiability of state space models από
  • Walter, Eric [aut]
Σειρά: Lecture Notes in Biomathematics ; 46
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1982
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 003.5 WAL.
20.
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]. από
  • VDM '87 (1987 : Brussels, Belgium)
  • Bjørner, D. (Dines), 1937- [επιμελητής]
  • VDM-Europe
Σειρά: Lecture notes in computer science ; 252
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 VDM, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud