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

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

Ταξινόμηση
Αποτελέσματα
61.
Hilbert's Tenth Problem από
  • Matiyasevich, Yuri V [aut]
Σειρά: Foundations of Computing Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.7 MAT.
62.
The Visual Mind Art and Mathematics από
  • Emmer, Michele [edt]
Σειρά: Leonardo Books Series
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 701.05 EMM.
63.
How to Write Parallel Programs A First Course από
  • Carriero, Nicholas [aut]
  • Gelernter, David [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.2 CAR.
64.
Spin Glasses από
  • Fischer, K. H [aut]
  • Hertz, J. A [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 530.41 FIS.
65.
Massively parallel artificial intelligence / Hiroaki Kitano and James A. Hendler. από
  • Kitano, Hiroaki, 1961- [συγγραφέας.]
  • Hendler, James A [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Γλώσσα: Αγγλικά Summary language: Ιαπωνική
Λεπτομέρειες δημοσίευσης: Menlo Park, Calif. : Cambridge, Mass. : AAAI Press ; MIT Press, c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (3)Ταξιθετικός αριθμός: 006.3 KIT, ...
66.
Matrix analysis / Roger A. Horn, Charles R. Johnson. από
  • Horn, Roger A [συγγραφέας.]
  • Johnson, Charles R [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge : Cambridge University Press, 1985
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (7)Ταξιθετικός αριθμός: 512.943 4 HOR, ... Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 512.943 4 HOR.
67.
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, ...
68.
Concurrent programming in ML John H. Reppy από
  • Reppy, John H [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.275 2 REP.
69.
The Structure of Typed Promming Languages David A. Schmidt από
  • SCHMIDT, DAVID A [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge, Mass. The MIT Press 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SCH.
70.
Primes and Programming An Introduction to Number Theory with Computing Peter Giblin από
  • Giblin, Peter [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.7 GIB.
71.
The Algorithmic Resolution of Diophantine Equations Nigel P. Smart από
  • Smart, Nigel [aut]
Σειρά:
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: United Kingdom, USA Cambridge University Press 1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.72 SMA.
72.
Introduction to distributed algorithms Gerard Tel από
  • Tel, Gerard [aut]
Έκδοση: 2nd ed
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York Cambridge University Press 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 005.1 TEL, ...
73.
Logic in computer science Modelling and reasoning about systems Michael Huth, Mark Ryan από
  • Huth, Michael, 1962- [aut]
  • Ryan, Mark, 1962- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York Cambridge 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.1 HUT.
74.
Computational geometry in C / Joseph O' Rourke. από
  • O'Rourke, Joseph [συγγραφέας]
Έκδοση: 2nd ed.
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: New York : Cambridge University Press, 2000, c1998
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 516.028 5 O'RO.
75.
Computer Science with Mathematica Theory and practice for science, mathematics, and engineering Roman E. Maeder από
  • Maeder, Roman E [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 510.285 MAE.
76.
Proofs and Confirmations The story of the alternating sign matrix conjecture David M. Bressoud από
  • Bressoud, David M, 1950- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1999
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512.943 4 BRE.
77.
Communicating and Mobile Systems: the π - Calculus Robin Milner από
  • Milner, Robin [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.62 MIL.
78.
The [π]-calculus : a theory of mobile processes / Davide Sangiorgi, David Walker. από
  • Sangiorgi, Davide [συγγραφέας.]
  • Walker, David, 1961- [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge, [England] ; New York : Cambridge University Press, 2001
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 004.6 SAN.
79.
The discrepancy method Randomness and complexity Bernard Chazelle από
  • Chazelle, Bernard [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 512,7 CHA.
80.
The physics of information technology Neil Gershenfeld από
  • Gershenfeld, Neil [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 2000
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 530.02 GER.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud