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

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

Ταξινόμηση
Αποτελέσματα
101.
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.
102.
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.
103.
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.
104.
CAAP '86 Proceedings of the 11th colloguium on trees Algebra and programming. Nice, France, March 24-26, 1986. από
  • Franchi-Zannettacci, P [XXX]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 214
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 CAA.
105.
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.
106.
Programming in modula-2 από
  • Wirth, Niklaus [aut]
Σειρά: Texts and Monographs in Computer Science
Έκδοση: 3rd cor. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 WIR.
107.
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.
108.
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.
109.
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.
110.
Business process engineering reference models for industrial enterprises August - Wilhelm Scheer από
  • Scheer, August-Wilhelm
Έκδοση: 2nd edition
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 658.403 S.
111.
Computer integrated manufacturing towards the factory of the future August - Wilhelm Scheer από
  • Scheer, August-Wilhelm
Έκδοση: 3rd edition
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer - Verlag 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 670.285 S.
112.
Experiment in mathematics using maple C. T. J. Dodson and E. A. Gonzalez από
  • Dodson, C. T. J
  • Gonzalez, E. A
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer Verlag 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 510.285 53 D, ...
113.
Genetic algorithms + data structures = evolution programs : with 68 figures and 36 tables / Zbigniew Michalewicz. από
  • Michalewicz, Zbigniew [συγγραφέας.]
Έκδοση: 3rd ed., rev. & extended.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Αγρίνιο (1)Ταξιθετικός αριθμός: 005.1 MIC. ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 005.1 MIC, ...
114.
Parallel computing and mathematical optimization Workshop on Parallel Algorithms and Transputers for Optimization University of Siegen, FRG, November 9, 1990 από
  • Grauer, Manfred [edt]
  • Pressmar, Dieter B [edt]
Σειρά: Lecture Notes in Economics and Mathematical Systems ; 367
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1.
115.
Parallel database systems : PRISMA Workshop Noordwijk, The Netherlands, September 24-26, 1990 / Pierre America (ed.). από
  • PRISMA Workshop (1990 : Noordwijk, Netherlands)
  • America, Pierre, 1959- [επιμελητής]
Σειρά: Lecture notes in computer science ; 503
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.35 PRI.
116.
Parallel and distributed computing : theory and practice : first Canada-France conference, Montréal, Canada, May 19-21, 1994 : proceedings / Michael Cosnard, Afonso Ferreira, Joseph Peters, eds. από
  • Canada-France Conference on Parallel Computing (1st : 1994 : Montréal, Québec)
  • Cosnard, M. (Michel) [επιμελητής.]
  • Ferreira, Afonso [επιμελητής.]
  • Peters, Joseph G [επιμελητής.]
Σειρά: Lecture notes in computer science (Springer-Verlag) ; 805.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 004.36 CAN.
117.
Languages and compilers for parallel computing Proceedings of the fourth International Workshop Santa Clara, California, USA, August 7-9, 1991 από
  • Banerjee, U [edt]
  • Gelernter, D [edt]
  • Nicolau, A [edt]
  • Padua, D [edt]
Σειρά: Lecture Notes in Computer Science / G. Goos and J. Hartmanis ; 589
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
118.
Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon. από
  • Garzon, Max, 1953- [συγγραφέας.]
Σειρά: Texts in theoretical computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004.35 GAR, ...
119.
Genetic algorithms + data structures = evolution programs / Zbigniew Michalewicz. από
  • Michalewicz, Zbigniew [συγγραφέας.]
Έκδοση: 2nd, extended ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 MIC, ...
120.
Linear time, branching time and partial order in logics and models for concurrency ; edited by J.W. de Bakker, W. P. de Roever, G. Rozenberg από
  • Roever, W. P. De [edt]
  • Ronzerbeg, G [edt]
  • Bakker, J. W. de (Jacobus Willem), 1939- [edt]
Σειρά: Lecture notes in computer science ; 354
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004.36 LIN, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud