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

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

Ταξινόμηση
Αποτελέσματα
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.
Second generation expert systems Jean - Mark David, Jean - Paul Krivine, Reid Simmons, editors από
  • David, Jean - Marc [edt]
  • Krivine, Jean - Paul [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 006.33 D, ...
7.
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.
8.
Nonlinear control systems An introduction από
  • Isidori, A [aut]
Σειρά: Lecture Notes in Control and Information Science ; 72
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 003.75 ISI, ...
9.
Two-dimensional linear systems από
  • Kaczorek, T [aut]
Σειρά: Lecture Notes in Control and Information Science ; 68
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 003.74 KAC, ...
10.
Self-organisation and associative memory από
  • Kohonen, Teuvo [aut]
Σειρά: Springer Series in Information Sciences ; 8
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.5 KOH.
11.
Identifiability of state space models από
  • Walter, Eric [aut]
Σειρά: Lecture Notes in Biomathematics ; 46
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1982
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 003.5 WAL.
12.
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, ...
13.
Mathematical foundations of software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1, Colloquium on trees in algebra and programming (CAAP'85) / edited by Hartmut Ehrig ... [et al.]. από
  • Ehrig, Hartmut [επιμελητής]
Σειρά: Lecture notes in computer science ; 185
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 1 MAT.
14.
Programming in modula-2 από
  • Wirth, Niklaus [aut]
Σειρά: Texts and Monographs in Computer Science
Έκδοση: 3rd cor. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 WIR.
15.
LUCAS associative array processor Design, programming and application studies από
  • Fernstrom, Christer
  • Kruzela, Ivan [aut]
  • Svensson, Bertil [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 216
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 FRN.
16.
PORTAL language description από
  • Businger, Arnold [aut]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 198
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 POR.
17.
The Vienna development method: the meta-language από
  • Bjorne, D [edt]
  • Jones, C. B [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 61
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1978
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 BJO.
18.
Discrete systems Analysis, control and optimization από
  • Mahmaoud, M. S [aut]
  • Singh, M. G [aut]
Σειρά: Communications and Control Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 003.83 MAH, ...
19.
RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings / edited by Eiichi Gotō ... [et al.]. από
  • Gotō, Eiichi, 1931- [επιμελητής]
Σειρά: Lecture notes in computer science ; 147
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1983
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 001.642 RIM.
20.
Coding theorems of information theory από
  • Wolfowitz, J [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Englewood Cliffs N.J. Springer-Verlag Prentice-Hall 1961
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.72 WOL.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud