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

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

Ταξινόμηση
Αποτελέσματα
1.
Interlanguage pragmatics requests, complaints and apologies by Anna Trosborg από
  • Trosborg, Anna, 1937-
Σειρά: Studies in authropological linguistics ; 7
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin, New York Mouton de Gruyter 1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 428.007 TRO.
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.
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, ...
7.
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.
8.
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.
9.
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.
10.
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.
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.
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.
13.
SWAT 90 : 2nd Scandinavian Workshop on algorithm theory, Bergen, Sweden, July 11-14, 1990 : proceedings / J. R. Gilbert, R. Karlsson (eds.). από
  • Gilbert, J. R. (John R.), 1953- [επιμελητής]
  • Karlsson, R [επιμελητής]
Σειρά: Lecture notes in computer science ; 447
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 SWA.
14.
Algorithms and data structures : 2nd workshop, WADS '91, Ottawa, Canada, August 14-16, 1991 : proceedings / F. Dehne, J.-R. Sack, N. Santoro, eds. από
  • WADS '91 (1991 : Ottawa, Ont.)
  • Dehne, F. (Frank), 1960- [επιμελήτής]
  • Sack, J.-R. (Jörg Rüdiger), 1954- [επιμελητής]
  • Santoro, N. (Nicola), 1951- [επιμελητής]
Σειρά: Lecture notes in computer science ; 519
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.73 WAD.
15.
Algorithms and data structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings / F. Dehne, J.-R. Sack, N. Santoro (eds.). από
  • Workshop WADS '89 (1989 : Ottawa, Ont.)
  • Dehne, F. (Frank), 1960- [επιμελητής]
  • Sack, J.-R. (Jörg Rüdiger), 1954- [επιμελητής]
  • Santoro, N. (Nicola), 1951- [επιμελητής]
Σειρά: Lecture notes in computer science ; 382
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.73 WOR.
16.
Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings / S. Toueg, P.G. Spirakis, L. Kirousis, eds. από
  • Κυρούσης, Λευτέρης Μ, 1951- [επιμελητής]
  • Σπυράκης, Παύλος Γ, 1955- [επιμελητής]
  • Toueg, S. (Sam), 1953- [επιμελητής]
  • International Workshop on Distributed Algorithms (5th : 1991 : Delphoi, Greece)
Σειρά: Lecture notes in computer science ; 579
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.36 DIS.
17.
Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.). από
  • Rozenberg, Grzegorz [επιμελητής]
Σειρά: Lecture notes in computer science ; 674
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 ADV. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.3 ADV.
18.
Application and theory of Petri Nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings / Marco Ajmone Marsan (ed.). από
  • International Conference on Application and Theory of Petri Nets (14th : 1993 : Chicago, Illinois)
  • Marsan, Marco Ajmone [επιμελητής]
Σειρά: Lecture notes in computer science ; 691
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 INT. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.3 INT.
19.
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.
20.
Application and theory of Petri Nets 1994 : 15th International Conference, Zaragona, Spain, June 20-24, 1994 : proceedings / Robert Valette (ed.). από
  • International Conference on Application and Theory of Petri Nets (15th : 1994 : Zaragoza, Spain)
  • Valette, Robert [επιμελητής]
Σειρά: Lecture notes in computer science ; 815
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 INT. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 511.3 INT.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud