Αποτελέσματα
|
41.
|
|
|
42.
|
|
|
43.
|
Computability, complexity, logic / E. Börger. από- Börger, E. (Egon), 1946- [συγγραφέας.]
Σειρά: Studies in logic and the foundations of mathematics ; 128.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό Γλώσσα: Αγγλικά Original language: German
Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : New York, N.Y., U.S.A. North-Holland ; Distributors for the U.S.A. and Canada : Elsevier Science Pub. Co., 1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 511.3 BOR.
|
|
44.
|
|
|
45.
|
Handbook of theoretical computer science / edited by Jan Van Leeuwen. από- Leeuwen, Jan van, 1946- [επιμελητής.]
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Κοινό:
Γενικό;
Λεπτομέρειες δημοσίευσης: Amsterdam : Elsevier, 1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: Π 004 HAN , ... Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (2)Ταξιθετικός αριθμός: Π 004 HAN, ...
|
|
46.
|
|
|
47.
|
|
|
48.
|
|
|
49.
|
Handbook of process algebra / edited by J.A. Bergstra, A. Ponse, S.A. Smolka. από
- Bergstra, J. A [επιμελητής.]
- Smolka, Scott A [επιμελητής.]
- Ponse, A. (Alban), 1955- [επιμελητής.]
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο ; Λογοτεχνικό είδος:
Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Amsterdam ; New York : Elsevier, 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π 511.3 HAN.
|
|
50.
|
|
|
51.
|
|
|
52.
|
|
|
53.
|
|
|
54.
|
|
|
55.
|
|
|
56.
|
|
|
57.
|
|
|
58.
|
|
|
59.
|
|
|
60.
|
|