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

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

Ταξινόμηση
Αποτελέσματα
141.
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.
142.
Using MPI Portable Parallel Programming with the Message-Passing Interface από
  • Gropp, William [aut]
  • Lusk, Ewing [aut]
  • Skjellum, Anthony [aut]
Σειρά: Scientific and Engineering
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.2 GRO.
143.
Logic and information flow / edited by Jan van Eijck and Albert Visser. από
  • Eijck, J. van (Jan) [επιμελητής]
  • Visser, Albert [επιμελητής]
Σειρά: Foundations of computing
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 LOG.
144.
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.
145.
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.
146.
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.
147.
Combinatorics:Topics, Techniques, Algorithms από
  • Cameron, Peter J. (Peter Jephson), 1947- [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: New York Cambridge University Press c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.6 CAM.
148.
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.
149.
Noisy Information and Computational Complexity από
  • Plaskota, Leszek [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press 1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 PLA.
150.
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.
151.
Spin Glasses από
  • Fischer, K. H [aut]
  • Hertz, J. A [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Cambridge University Press c1991
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 530.41 FIS.
152.
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.
153.
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.
154.
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.
155.
Statistical language learning / Eugene Charniak. από
  • Charniak, Eugene [συγγραφέας.]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό
Λεπτομέρειες δημοσίευσης: Cambridge, Mass. : MIT Press, c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 410.285 CHA.
156.
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, ...
157.
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, ...
158.
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.
159.
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.
160.
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.
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud