Βελτιώστε την αναζήτησή σας

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

Ταξινόμηση
Αφαίρεση επισήμανσης Τονισμός
Επιλογή όλων Καθαρισμός όλων
Επιλογή τίτλων για:
Αποτελέσματα
1.
Parameterized complexity R. G. Downey and M. R. Fellows από
  • Downey, R. G
  • Fellows, M. R
Σειρά: Monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.3 D, ...
Προσθήκη στο καλάθι
2.
A theory of objects Martin Abadi, Luca Cardelli από
  • Abadi, Martin
  • Cardelli, Luca
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.117 A.
Προσθήκη στο καλάθι
3.
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, ...
Προσθήκη στο καλάθι
4.
Reverse Engineering of Object Oriented Code [electronic resource] by Paolo Tonella, Alessandra Potrich από
  • Tonella, Paolo
  • Potrich, Alessandra
Σειρά: Monographs in Computer Science
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
5.
Evolutionary Synthesis of Pattern Recognition Systems [electronic resource] by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec από
  • Bhanu, Bir
  • Lin, Yingqiang
  • Krawiec, Krzysztof
Σειρά: Monographs in Computer Science
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
6.
Super-Recursive Algorithms [electronic resource] by Mark Burgin από
  • Burgin, Mark
Σειρά: Monographs in Computer Science
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media Inc. 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
7.
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] by Annabelle McIver, Carroll Morgan από
  • McIver, Annabelle
  • Morgan, Carroll
Σειρά: Monographs in Computer Science
Τύπος υλικού: Κιτ Κιτ
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York, NY Springer Science+Business Media, Inc. 2005
Ηλεκτρονική πρόσβαση:
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1).
Προσθήκη στο καλάθι
8.
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.
Προσθήκη στο καλάθι
9.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Computational geometry an introduction Franco P. Preparata; Michael Ian Shamos από
  • Preparata, Franco P
  • Shamos, Michael Ian
Σειρά: Text and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 516.028 54 P.
Προσθήκη στο καλάθι
10.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Programming in modula-2 από
  • Wirth, Niklaus [aut]
Σειρά: Texts and Monographs in Computer Science
Έκδοση: 3rd cor. ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 WIR.
Προσθήκη στο καλάθι
11.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Object-oriented database programming / Suad Alagić. από
  • Alagić, Suad, 1946- [συγγραφέας]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1989
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.74 ALA.
Προσθήκη στο καλάθι
12.
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.
Προσθήκη στο καλάθι
13.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
Programming with sets An introduction to SETL από
  • Dewar, R [aut]
  • Dubinsky, E [aut]
  • Schonberg, E [aut]
  • Schwartz, J. T [aut]
Σειρά: Texts and Monographs in Computer Science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.133 SET, ...
Προσθήκη στο καλάθι
14.
Η εικόνα εξωφύλλου δεν είναι διαθέσιμη
An introduction to formal language theory από
  • Arbib, Michael A [aut]
  • Kfoury, A. J [aut]
  • Moll, Robert N [aut]
Σειρά: Texts and Monographs in Computer Science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag c1988
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 MOL.
Προσθήκη στο καλάθι
15.
Adaptive signal processing : theory and applications / S. Thomas Alexander. από
  • Alexander, S. Thomas [συγγραφέας]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 621.380 43 ALE.
Προσθήκη στο καλάθι
16.
First-order logic and automated theorem proving / Melvin Fitting. από
  • Fitting, Melvin, 1942- [συγγραφέας]
Σειρά: Text and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 FIT.
Προσθήκη στο καλάθι
17.
A logical approach to discrete math / David Gries, Fred B. Schneider. από
  • Gries, David [συγγραφέας]
  • Schneider, Fred B [συγγραφέας]
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Springer, c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 510 GRI, ...
Προσθήκη στο καλάθι
18.
The science of programming David Gries από
  • Gries, David
Σειρά: Texts and monographs in computer science
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer 1981
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 G, ...
Προσθήκη στο καλάθι
19.
Design of digital computers an introduction Hans W. Gschwind, Edward J. McCluskey από
  • Gschwind, Hans W [aut]
  • McCluskey, E. J [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Springer-Verlag 1975
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 621.381 958 2 GSC.
Προσθήκη στο καλάθι
20.
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