-
161
-
162
-
163
-
164
-
165Έκδοση 2007Πίνακας περιεχομένων: “…Contributions to Calculemus 2007 -- Executing in Common Lisp, Proving in ACL2 -- A Rational…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
166
-
167
-
168
-
169
-
170
-
171
-
172
-
173
-
174
-
175
-
176Έκδοση 2007Πίνακας περιεχομένων: “…GADA 2007 International Conference (Grid Computing, High-Performance and Distributed Applications…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
177Έκδοση 2007Πίνακας περιεχομένων: “…CoopIS 2007 International Conference (International Conference on Cooperative Information Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
178Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...Έκδοση 2007Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
179
-
180