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

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

Ταξινόμηση
Αποτελέσματα
1.
Fundamentals of biomechanics : equilibrium, motion, and deformation / Nihat Ozkaya, Margareta Nordin ; project editor, Dawn L. Leger ; with forewords by Victor H. Frankel and Richard Skalak. από
  • Ozkaya, Nihat, 1956- [συγγραφέας.]
  • Nordin, Margareta [συγγραφέας.]
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: New York : Springer, c1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 612.76 O.
2.
Design and Analysis of Randomized Algorithms : Introduction to design paradigms / by Juraj Hromkovic. από
  • Hromkovic, Juraj [συγγραφέας.]
Σειρά: Texts in theoretical computer science an EATCS Series / Springer
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 519.53 HRO, ...
3.
Grouping multidimensional data : recent advances in clustering / edited by Jacob Kogan, Charles Nicholas, Marc Teboulle. από
  • Kogan, Jacob [επιμελητής.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c2006
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 519.53 GRO, ...
4.
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.
5.
Two-dimensional linear systems από
  • Kaczorek, T [aut]
Σειρά: Lecture Notes in Control and Information Science ; 68
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 003.74 KAC, ...
6.
Selected topics in medical artificial intelligence από
  • Miller, Perry L [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 610.28 MIL.
7.
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, ...
8.
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.
9.
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.
10.
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.
11.
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.
12.
Dynamic interactions in neural networks : models and data : with 87 illustrations / Michael A. Arbib, Shun-ichi Amari, editors. από
  • Arbib, Michael A [επιμελητής]
  • Amari, Shun'ichi [επιμελητής]
Σειρά: Research notes in neural computing ; v. 1
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.32 DYN.
13.
Object-oriented database programming / Suad Alagić. από
  • Alagić, Suad, 1946- [συγγραφέας]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.74 ALA.
14.
The art of C programming / Robin Jones, Ian Stewart. από
  • Jones, Robin [συγγραφέας]
  • Stewart, Ian, 1945- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 JON.
15.
Microcomputers in medicine / P. D. Coleridge Smith, J. H. Scurr (eds.). από
  • Coleridge Smith, P. D. (Philip David), 1953- [επιμελητής]
  • Scurr, J. H. (John Henry), 1947- [επιμελητής]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: London ; New York : Springer-Verlag, c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 610.285 416 MIC.
16.
Nursing informatics : where caring and technology meet / Marion J. Ball ... [et al.], editors. από
  • Ball, Marion J [επιμελητής]
  • Hannah, K. J [επιμελητής]
  • Jelger, U. G [επιμελητής]
Σειρά: Computers in health care
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 610.730 285 NUR.
17.
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. από
  • Dijkstra, Edsger Wybe [συγγραφέας]
  • Scholten, Carel S [συγγραφέας]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DIJ.
18.
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.
19.
Learning discrete mathematics with ISETL Nancy Baxter, Ed Dubinsky, Gary Levin. από
  • Baxter Hastings, Nancy [συγγραφέας]
  • Dubinsky, Ed [συγγραφέας]
  • Levin, Gary [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 510.78 BAX.
20.
Perspectives of information processing in medical applications : strategic issues, requirements, and options for the European community / Francis H. Roger France, Gérald Santucci (eds.). από
  • Roger France, Francis H [επιμελητής]
  • Santucci, Gerald [επιμελητής]
Σειρά: Health systems research
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 610.285 PER.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud