Αποτελέσματα
|
|
1.
|
|
|
|
2.
|
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, ...
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
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.
|
|
|
10.
|
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.
|
|
|
11.
|
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.
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings / Josep Diaz, Maria Serna (eds.). από
- ESA '96 (1996 : Barcelona, Spain)
- Díaz, J. (Josep), 1950- [επιμελητής]
- Serna, Maria, 1959- [επιμελήτρια]
Σειρά: Lecture notes in computer science ; 1136
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.015 118 ESA.
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
