Αποτελέσματα
|
|
61.
|
Constructibility απόΣειρά: Perspectives in Mathematical Logic
Τύπος υλικού:  Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag 1984
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DEV.
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
|
|
|
65.
|
|
|
|
66.
|
|
|
|
67.
|
A primer in Petri Net design από
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 REI.
|
|
|
68.
|
|
|
|
69.
|
|
|
|
70.
|
|
|
|
71.
|
|
|
|
72.
|
David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933 ; general editors, William Ewald ... [et al.] από
- Hilbert, David, 1862-1943 [aut]
- Ewald, William Bragg, 1935- [edt]
- Hallett, Michael, 1930- [edt]
- Majer, Ulrich [edt]
- Sieg, Wilfried, 1945- [edt]
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer 2004
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 516 HIB, ...
|
|
|
73.
|
|
|
|
74.
|
|
|
|
75.
|
|
|
|
76.
|
|
|
|
77.
|
|
|
|
78.
|
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.
|
|
|
79.
|
Logic of computation / edited by Helmut Schwichtenberg. από
- NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany)
- Schwichtenberg, Helmut, 1955- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 157.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer, 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 005.1 NAT.
|
|
|
80.
|
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.
|
