Αποτελέσματα
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
Handbook of formal languages από
- Rosenberg, G [edt]
- Salomaa, Arto [edt]
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROS.
|
|
45.
|
Handbook of formal languages από
- Rosenberg, G [edt]
- Salomaa, Arto [edt]
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 ROS.
|
|
46.
|
Temporal verification of reactive systems Safety από
- Manna, Zohar [aut]
- Pnueli, Amir [aut]
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.2 MAN.
|
|
47.
|
|
|
48.
|
|
|
49.
|
|
|
50.
|
|
|
51.
|
Software for parallel computation / edited by Janusz S. Kowalik, Lucio Grandinetti. από
- NATO Advanced Research Workshop on Software for Parallel Computation (1992 : Cetraro, Italy)
- Kowalik, Janusz S [επιμελητής.]
- Grandinetti, Lucio, 1941- [επιμελητής.]
Σειρά: NATO ASI series. Computer and systems sciences ; 106.
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο
Λεπτομέρειες δημοσίευσης: Berlin : Springer-Verlag, 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 004.35 NAT, ... Διαθέσιμα αντίτυπα στην πληροφοριακή συλλογή: ΒΚΠ - Πατρα: Not for loan (1)Ταξιθετικός αριθμός: Π/Σ 004.35 NAT.
|