Αποτελέσματα
|
1.
|
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.
|
|
2.
|
Concurrent Constraint Programming από
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 005.131 SAR.
|
|
3.
|
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.
|
|
4.
|
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.
|
|
5.
|
|
|
6.
|
|
|
7.
|
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.
|
|
8.
|
The Visual Mind Art and Mathematics απόΣειρά: Leonardo Books Series
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. c1993
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 701.05 EMM.
|
|
9.
|
|
|
10.
|
The Psychology of Proof Deductive Reasoning in Human Thinking από
Τύπος υλικού: Κείμενο; Διάταξη:
έντυπο Γλώσσα: Αγγλικά
Λεπτομέρειες δημοσίευσης: Cambridge Massachusetts Cambridge Massachusetts Bradford Book Massachusetts Institute of Technology Cambridge Mass. c1994
Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Μηχανικών Η/Υ και Πληροφορικής (1)Ταξιθετικός αριθμός: 160 RIP.
|
|
11.
|
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.
|
|
12.
|
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, ...
|