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

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

Ταξινόμηση
Αποτελέσματα
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.
Random dynamical systems / Ludwig Arnold. από
  • Arnold, L. (Ludwig), 1937- [συγγραφέας.]
Σειρά: Springer monographs in mathematics
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 519.22 ARN. Μηχανικών Η/Υ και Πληροφορικής: Not for loan (1)Ταξιθετικός αριθμός: 519.2 ARN.
3.
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.
4.
Natural language processing - NLP 2000 : Second International Conference Patras, Greece, June 2–4 2000, Proceedings / edited by Dimitris N. Christodoulakis. από
  • Χριστοδουλάκης, Δημήτριος Νικ [επιμελητής.]
Σειρά: Lecture notes in computer science (Springer-Verlag) | Lecture Notes in Artificial Intelligence ; 1835.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Αγρίνιο (1)Ταξιθετικός αριθμός: 006.35 NAT. ΒΚΠ - Κουκούλι (7)Ταξιθετικός αριθμός: 006.35 NAT, ... ΒΚΠ - Μεσολόγγι (1)Ταξιθετικός αριθμός: 006.35 NAT. ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.35 NAT, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 006.35.
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.
Computing in systems described by equations από
  • O'Donnell, Michael J [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 58
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1977
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004 O'DO.
7.
VLSI algorithms and architectures Proceedings of the Aeagean Workshop on Computing Loutraki, Greece, July 8-11,1986 από
  • Makedon, F [edt]
  • Mehlhorn, K [edt]
  • Παπαθεοδώρου, Θεόδωρος [edt]
  • Σπυράκης, Παύλος Γ [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 227
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (4)Ταξιθετικός αριθμός: 621.395, ...
8.
VLSI algorithms and architectures Proceeedings of the 3rd Aegean Workshop on Computing, AWOC 88 Corfu, Greece June 28- July 1, 1988 από
  • Reif, J. H [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 319
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 621.395, ...
9.
Graph-theoretic concepts in computer science Proceedings. International Workshop WG"88. Amsterdam, June 15-17, 1988 από
  • Leeuwen, J. Van ((Jan)), 1850-1924 [XXX]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 344
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.5LEE.
10.
Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985 από
  • Floyd, Christiane
  • Εhrig, Hartmut
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 186
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004.015 1 FOR.
11.
Third international conference on logic programming : Imperial Colege of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / edited by Ehud Shapiro. από
  • International Conference on Logic Programming (3rd : 1986 : London)
  • Shapiro, Ehud [επιμελητής]
Σειρά: Lecture notes in computer science ; 225
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 INT.
12.
ESOP 86. European symposium on programming Proceedings. Saarbrucken, Germany, March 17-19, 1986 από
  • Robinet, B [XXX]
  • Wilhelm, R [XXX]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 213
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: OO5.1.
13.
Interval mathematics 1985 Proceedings of the International Symposium. Freidurg i Br., Germany, September 23-26, 1985. από
  • Nickel, K [XXX]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 212
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.42.
14.
Global optimization από
  • Torn, Aimo [aut]
  • Zilinskas, Antanas [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 350
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 003 TOR.
15.
Foundations of software technology and theoretical computer science Proceedings of the 5th Conference New Delhi December 16-18, 1985 από
  • Maheshwari, S. N [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 206
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.3.
16.
Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985 από
  • Jouannaud, Jean-Pierre [edt]
Σειρά: Lecture Notes in Computer Science = 202
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.
17.
Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985] Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 224
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.
18.
Foundations of logic programming από
  • Lloyd, J. W. (John Wylie), 1947- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 LLO. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1 LLO.
19.
Advances in Cryptology - CRYPTO '85 Proceedings από
  • Williams, Hugh C [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 218
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 652.8.
20.
Advances in Cryptology - CRYPTO '86 Proceedings από
  • Odlyzko, A. M [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 263
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 652.8.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud