Η αναζήτηση επέστρεψε 7 αποτελέσματα.

Ταξινόμηση
Αποτελέσματα
1.
A theory of objects Martin Abadi, Luca Cardelli από
  • Abadi, Martin
  • Cardelli, Luca
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.117 A.
2.
The design and analysis of algorithms / Dexter C. Kozen. από
  • Kozen, Dexter, 1951- [συγγραφέας.]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 K, ...
3.
Expert systems and probabilistic network models Enrique Castillo, Jose Manuel Gutierrez, Ali S. Hadi από
  • Castillo, Enrique, 1946-
  • Gutierrez, Jose Manuel, 1969-
  • Hadi, Ali S
Σειρά: Monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, N.Y. Springer 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.33 CAS.
4.
Programming in modula-2 από
  • Wirth, Niklaus [aut]
Σειρά: Texts and Monographs in Computer Science
Έκδοση: 3rd cor. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 WIR.
5.
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten. από
  • Dijkstra, Edsger Wybe [συγγραφέας]
  • Scholten, Carel S [συγγραφέας]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 DIJ.
6.
The science of programming David Gries από
  • Gries, David
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer 1981
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 G, ...
7.
Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation / Micha Hofri. από
  • Hofri, Micha [συγγραφέας.]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer Verlag, 1987
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.12 HOF, ... Φυσικό (1)Ταξιθετικός αριθμός: 519.6 HOF.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud