Αποτελέσματα
|
|
61.
|
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg. από
- NATO Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Germany)
- Bauer, Friedrich Ludwiq, 1924- [επιμελητής.]
- Brauer, Wilfried [επιμελητής.]
- Schwichtenberg, Helmut, 1955- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 94.
Τύπος υλικού:  Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.015 113 NAT.
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
|
|
|
65.
|
Computer aided optimal design : structural and mechanical systems / edited by Carlos A. Mota Soares. από
- NATO Advanced Study Institute on Computer Aided Optimal Design: Structural and Mechanical Systems (1986 : Troia, Portugal)
- Soares, Carlos A. Mota, 1945- [επιμελητής.]
Σειρά: NATO ASI series. Series F, Computer and systems sciences ; 27.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 620.004 250 285 NAT.
|
|
|
66.
|
Recent advances in speech understanding and dialog systems / edited by H. Niemann, M. Lang, G. Sagerer. από
- NATO Advanced Study Institute on Recent Advances in Speech Understanding and Dialog Systems (1987 : Bad Windsheim, Germany)
- Niemann, Heinrich [επιμελητής.]
- Lang, M, 1936- [επιμελητής.]
- Sagerer, Gerhard [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 46.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 006.454 NAT.
|
|
|
67.
|
Computational models of speech pattern processing / edited by Keith Ponting. από
- NATO Advanced Study Institute on Computational Models of Speech Pattern Processing (1997 : Saint Helier, Jersey)
- Ponting, K. M [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 169.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer, 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 006.454 NAT.
|
|
|
68.
|
|
|
|
69.
|
|
|
|
70.
|
|
|
|
71.
|
|
|
|
72.
|
Intelligent decision support in process environments / edited by Erik Hollnagel, Giuseppe Mancini, David D. Woods. από
- NATO Advanced Study Institute on Intelligent Decision Support in Process Environments San Miniato, Italy) (1985
- Hollnagel, Erik, 1941- [επιμελητής.]
- Mancini, Giuseppe, 1940- [επιμελητής.]
- Woods, David D, 1952- [επιμελητής.]
Σειρά: NATO ASI series. Series F, Computer and systems sciences ; 21.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 658.403 NAT.
|
|
|
73.
|
|
|
|
74.
|
|
|
|
75.
|
Mathematical models for decision support / edited by Gautam Mitra. από
- NATO Advanced Study Institute on Mathematical Models for Decision Support (1988 : Val d'Isère, France)
- Mitra, Gautam [edt]
Σειρά: NATO ASI series. Computer and systems sciences ; 48.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 658.403 NAT.
|
|
|
76.
|
Supercomputing / edited by Janusz S. Kowalik. από
- NATO Advanced Research Workshop on Supercomputing (1989 : Trondheim, Norway)
- Kowalik, Janusz S [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 62.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.11 NAT.
|
|
|
77.
|
Deductive program design / edited by Manfred Broy. από
- NATO Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf, Germany)
- Broy, M, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 152.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004 NAT.
|
|
|
78.
|
Logic of programming and calculi of discrete design / edited by Manfred Broy. από
- NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany)
- Broy, M, 1949- [επιμελητής.]
Σειρά: NATO ASI series. Series F, Computer and systems sciences ; 36.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.131 NAT.
|
|
|
79.
|
|
|
|
80.
|
|
