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

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

Ταξινόμηση
Αποτελέσματα
1.
Mobile agents proceedings...[of] Second International Workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 Kurt Rothermel, Fritz Hohl, (Eds.) από
  • Rothermel, Kurt [edt]
  • Hohl, Fritz [edt]
Σειρά: Lecture notes in computer science ; 1477
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 R.
2.
Automata, languages and programming proceedings ...[of] 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (Eds.) από
  • Orejas, Fernando [edt]
  • Σπυράκης, Παύλος Γ [edt]
  • Leeuwen, J. Van ((Jan)), 1850-1924 [edt]
Σειρά: Lecture notes in computer science ; 2076
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 O.
3.
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers edited by JosΓ© Monteiro, RenΓ© Leuken από
  • Monteiro, JosΓ©
  • Leuken, RenΓ©
  • SpringerLink (Online service)
Σειρά: Lecture Notes in Computer Science ; 5953
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
4.
Computer science today recent trends and developments edited by Jan Van Leeuwen από
  • Leeuwen, J. Van ((Jan)), 1850-1924
Σειρά: Lecture notes in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004 L.
5.
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.
6.
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.
7.
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.
8.
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.
9.
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.
10.
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.
11.
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.
12.
Software engineering : an advanced course / F. L. Bauer...[et.al.] ; edited by F. L. Bauer. από
  • Bauer, Friedrich Ludwiq, 1924- [συγγραφέας.]
  • Bauer, Friedrich Ludwiq, 1924- [συγγραφέας,, επιμελητής.]
Σειρά: Lecture notes in computer science (Springer-Verlag) ; 30.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer Verlag, 1977
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 BAU. Φυσικό (1)Ταξιθετικός αριθμός: 005.1 BAU.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud