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

Αποτελέσματα
	1.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	2.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Programming in modula-2 από Wirth, Niklaus [aut] Σειρά: Texts and Monographs in Computer Science Έκδοση: 3rd cor. ed. Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin Springer-Verlag c1985 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 WIR. Προσθήκη στο καλάθι (αφαίρεση)
	3.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη Object-oriented database programming / Suad Alagić. από Alagić, Suad, 1946- [συγγραφέας] Σειρά: Texts and monographs in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Λεπτομέρειες δημοσίευσης: New York : Springer, c1989 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.74 ALA. Προσθήκη στο καλάθι (αφαίρεση)
	4.	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. Προσθήκη στο καλάθι (αφαίρεση)
	5.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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, ... Προσθήκη στο καλάθι (αφαίρεση)
	6.	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη 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. Προσθήκη στο καλάθι (αφαίρεση)
	7.	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. Προσθήκη στο καλάθι (αφαίρεση)
	8.	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, ... Προσθήκη στο καλάθι (αφαίρεση)
	9.	The science of programming David Gries από Gries, David Σειρά: Texts and monographs in computer science Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: New York Springer 1981 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.1 G, ... Προσθήκη στο καλάθι (αφαίρεση)
	10.	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. Προσθήκη στο καλάθι (αφαίρεση)
	11.	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. Προσθήκη στο καλάθι (αφαίρεση)