Αποτελέσματα
|
1.
|
|
|
2.
|
Program design calculi / edited by Manfred Broy. από
- NATO Advanced Study Institute on Program Design Calculi (1992 : Marktoberdorf, Germany)
- Broy, M, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 118.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.21 NAT.
|
|
3.
|
|
|
4.
|
|
|
5.
|
Syntactic and structural pattern recognition / edited by Gabriel Ferrate ...[et al.]. από
- NATO Advanced Research Workshop on Syntactic and Structural Pattern Recognition (1986 : Barcelona, Spain and Sitges, Spain)
- Ferraté, Gabriel A, 1932- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 45.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 006.4 NAT.
|
|
6.
|
|
|
7.
|
Advances in object-oriented database systems / edited by Asuman Dogac...[et al.]. από
- NATO Advanced Study Institute on Object-Oriented Database Systems (1993 : İzmir, Turkey)
- Dogac, Asuman, 1951- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 130.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 005.757 NAT, ...
|
|
8.
|
|
|
9.
|
|
|
10.
|
Logics and models of concurrent systems / edited by Krzysztof R. Apt. από
- NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup, France)
- Apt, Krzysztof R, 1949-
- North Atlantic Treaty Organization. Scientific Affairs Division
Σειρά: NATO ASI series. Series F, Computer and systems sciences ; 13.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.35 NAT.
|
|
11.
|
Computer architectures for spatially distributed data / edited by Herbert Freeman, Goffredo G. Pieroni. από
- NATO Advanced Study Institute on Computer Architectures for Spatially Distributed Data (1983 : Cetraro, Italy)
- Freeman, Herbert [επιμελητής.]
- Pieroni, Goffredo G [επιμελητής.]
Σειρά: NATO ASI series. Series F, Computer and systems sciences ; 18.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.22 NAT.
|
|
12.
|
|
|
13.
|
|
|
14.
|
New directions in educational technology / edited by Eileen Scanlon, Tim O'Shea. από
- NATO Advanced Research Workshop on New Directions in Advanced Educational Technology (1988 : Milton Keynes, England)
- Scanlon, Eileen [επιμελητής.]
- O'Shea, Tim, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 96.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 371.33 NAT.
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
Computational logic / edited by Ulrich Berger, Helmut Schwichtenberg. από
- NATO Advanced Study Institute on Computational Logic (1997 : Marktoberdorf, Germany)
- Berger, Ulrich, 1956- [επιμελητής.]
- Schwichtenberg, Helmut, 1955- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 165.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT.
|
|
19.
|
|
|
20.
|
Neural circuits and networks / edited by Vincent Torre, John Nicholls. από
- NATO Advanced Study Institute on Neuronal Circuits and Networks (1997 : Erice, Italy)
- Torre, Vincent, 1950- [επιμελητής.]
- Nicholls, John G [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 167.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Ιατρικής (1)Ταξιθετικός αριθμός: WL 102 TOR. Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 573.85 NAT.
|