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

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

Ταξινόμηση
Αποτελέσματα
181.
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory από
  • Stoy, Joseph E [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Institute of Technology Cambridge Mass. c1977
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
182.
The Art of Prolog Advanced programming techniques από
  • Shapiro, Ehud [aut]
  • Sterling, Leon [aut]
Σειρά: MIT Press Series in Logic Programming
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Institute of Technology Cambridge Mass. c1986
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.133 PRO.
183.
Theory and Practice of Recursive Identification από
  • Ljung, Lennart [aut]
  • Soderstrom, Torsten [aut]
Σειρά: MIT Press Series in Signal Processing, Optimization, and Control
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Institute of Technology Cambridge Mass. c1983
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
184.
Neural networks for control από
  • Miller, W. Thomas [aut]
  • Sutton, Richard S [aut]
  • Werbos, Paul J [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1990
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 629.89.
185.
Principles and Practice of Constraint Programming The Newport Papers από
  • Hentenryck Van, Pascal [edt]
  • Saraswat, Vijay A [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1995
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SAR.
186.
Concurrent Constraint Programming από
  • Saraswat, Vijay A [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SAR.
187.
Constraint-Based Reasoning από
  • Freuder, Eugene C [edt]
  • Mackworth, Alan K [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. Bradford Book c1992
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 006.3 FRE.
188.
Constraint Logic Programming Selected Research από
  • Benhamou, Frederic [edt]
  • Colmerauer, Alain [edt]
Σειρά: Logic Programming
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.11 BEN.
189.
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.
190.
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.
191.
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.
192.
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.
193.
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.
194.
The Psychology of Proof Deductive Reasoning in Human Thinking από
  • Rips, Lance J [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Cambridge Massachusetts Bradford Book Massachusetts Institute of Technology Cambridge Mass. c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 160 RIP.
195.
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.
196.
Genetic Programming Proceedings of the 1st Annual Conference Stanford, July 28-31, 1996 από
  • Fogel, David B [edt]
  • Goldberg, David E [edt]
  • Koza, John R [edt]
  • Riolo, Rick L [edt]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. Bradford Book c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 005.1.
197.
A course in game theory Martin J. Osborne, Ariel Rubinstein από
  • Osborne, Martin J [aut]
  • Rubinstein, Ariel [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge, Massachusetts Massachusetts Institute of Technology 1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (6)Ταξιθετικός αριθμός: 658.403 353 OSB, ...
198.
Foundations of Neural Networks, Fuzzy Systems, and Knowledge Engineering Nikola K. Kasabov από
  • Kasabov, Nikola K [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge, Massachusetts The MIT Press c1996
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 006.3 KAS.
199.
Reasoning about Uncertainty Joseph Y. Halpern από
  • Halpern, Joseph Y [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge, Massachusetts The MIT Press
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1).
200.
A Semantic Web Primer Grigorios Antoniou and Frank van Harmelen από
  • Antoniou, G. (Grigoris) [aut]
  • Van Harmelen, Frank [aut]
Τύπος υλικού: Κείμενο Κείμενο; Διάταξη: έντυπο
Λεπτομέρειες δημοσίευσης: Cambridge, Massachusetts MIT Press c2004
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (4)Ταξιθετικός αριθμός: 025.04 ANT, ...
Σελίδες
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud