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

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

Ταξινόμηση
Αποτελέσματα
81.
Concurrent Aggregates Supporting Modularity in Massively Parallel Programs από
  • Chien, Andrew A [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 CHI.
82.
Circuit Complexity and Neural Networks από
  • Parberry, Ian [aut]
Σειρά: Foundations of Computing Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 PAR.
83.
Combinatorics:Topics, Techniques, Algorithms από
  • Cameron, Peter J. (Peter Jephson), 1947- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.6 CAM.
84.
Noisy Information and Computational Complexity από
  • Plaskota, Leszek [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 PLA.
85.
Java in a nutshell : a desktop quick reference / David Flanagan. από
  • Flanagan, David [συγγραφέας]
Σειρά: The Java series
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge ; Köln : O' Reilly, 1997
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 FLA.
86.
Programming with Constraints An Introduction από
  • Marriott, Kim [aut]
  • Stuckey, Peter J [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 MAR.
87.
Programming Perl από
  • Christiansen, Tom [aut]
  • Potter, Stephen, |, 1940- [aut]
  • Schwartz, Randal L [aut]
  • Wall, Larry [aut]
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge O' Reilly and Associates, Inc. c 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 PER. Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.133 PER.
88.
Semantics and Logic of Computation από
  • Dybjer, Peter [edt]
  • Pitts, A. M. (Andrew M.) [edt]
Σειρά: Publications of the Newton Institute ; 14
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge University Press
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 PIT.
89.
The formal semantics of programming languages : an introduction / Glynn Winskel. από
  • Winskel, G. (Glynn) [συγγραφέας.]
Σειρά: Foundations of computing
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, 1993 [3rd printing 1996]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.13 WIN, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 005.13 WIN, ...
90.
Foundations for Programming Languages Jonh C. Mitchell από
  • Mitchell, John C [aut]
Σειρά: Foundations of Computing Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 005.131 MIT, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 005.131 MIT, ...
91.
Foundations of Disjunctive Logic Programming από
  • Lobo, Jorge [aut]
  • Minker, Jack [aut]
  • Rajasekar, Arcot [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Mass Massachusetts Institute of Technology Cambridge Mass. c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 LOB.
92.
Higher order logic and harware verification από
  • Melham, T [aut]
Σειρά: Cambridge Tracts in Theoretical Computer Science ; 31
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.3 MEL.
93.
Introduction to HOL A theorem proving environment for higher order logic από
  • Gordon, M. J [edt]
  • Melham, T. F [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.3 GOR.
94.
Topics in matrix analysis / Roger A. Horn, Charles R. Johnson. από
  • Horn, Roger A [συγγραφέας.]
  • Johnson, Charles R [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, 1991 [reprint 1999]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.943 4 HOR.
95.
Algebraic graph theory / Norman Biggs. από
  • Biggs, Norman L. (Norman Linstead), 1941- [συγγραφέας.]
Σειρά: Cambridge mathematical library
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press 1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 511.5 BIG, ...
96.
The mathematics of financial derivatives : a student introduction / Paul Wilmott, Sam Howison, Jeff Dewynne από
  • Wilmott, Paul [συγγραφέας]
  • Dewynne, Jeff [συγγραφέας]
  • Howison, Sam [συγγραφέας]
Έκδοση: Repr.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Oxford ; New York : Cambridge University Press 1999 [1995]
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 332.632 28 WIL, ...
97.
LEDA : a platform for combinatorial and geometric computing / Kurt Mehlhorn, Stefan Näher. από
  • Mehlhorn, Kurt, 1949- [συγγραφέας]
  • Näher, Stefan [συγγραφέας]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Κοινό: Ειδικευμένο;
Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (2)Ταξιθετικός αριθμός: 005.133 ΜΕΗ, ... Μηχανικών Η/Υ και Πληροφορικής (3)Ταξιθετικός αριθμός: 005.133 MEH, ...
98.
Concurrent programming C. R. Snow από
  • Snow, C.R [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge University Press 1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 SNO.
99.
High-order operational techniques in semantics Andrew D. Gordon and Andrew M. Pitts eds από
  • Gordon, Andrew D
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge University Press 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.13 GOR.
100.
Enumerative combinatorics / Richard P. Stanley. από
  • Stanley, Richard P, 1944- [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge ; New York : Cambridge University Press, c1997-1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 511.62 STA, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud