Αποτελέσματα
|
301.
|
|
|
302.
|
|
|
303.
|
|
|
304.
|
|
|
305.
|
|
|
306.
|
|
|
307.
|
|
|
308.
|
|
|
309.
|
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.
|
|
310.
|
|
|
311.
|
Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks. από
- Ebbinghaus, Heinz-Dieter, 1939- [επιμελητής.]
- Müller, G. H. (Gert Heinz), 1923- [επιμελητής.]
- Sacks, Gerald E [επιμελητής.]
Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 1141.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.35 REC.
|
|
312.
|
|
|
313.
|
|
|
314.
|
|
|
315.
|
Analysis / R. V. Gamkrelidze (ed). από
- Nikolʹskiĭ, S. M. (Sergeĭ Mikhaĭlovich), 1905-2012 [επιμελητής.]
- Mazʹi︠a︡, V. G [επιμελητής.]
- Gamkrelidze, R. V [επιμελητής.]
Σειρά: Encyclopaedia of mathematical sciences ; 13, 14, 26, 27.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer Verlag, 1989-1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (7)Ταξιθετικός αριθμός: Π/Σ 515.72 ANA, ...
|
|
316.
|
Graph theory and applications : proceedings of the conference at Western Michigan University, May 10-13, 1972 / edited by Y. Alavi, D. R. Lick, and A. T. White. από
- Conference on Graph Theory (Western Michigan University) (2nd : 1972 : Western Michigan University)
- Alavi, Y [επιμελητής.]
- White, Arthur T [επιμελητής.]
- Lick, Don R, 1934- [επιμελητής.]
Σειρά: Lecture notes in mathematics (Springer-Verlag) ; 303.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Berlin ; New York : Springer-Verlag, 1972
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π/Σ 511.5 CON, ...
|
|
317.
|
|
|
318.
|
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.
|
|
319.
|
|
|
320.
|
|