-
281
-
282
-
283
-
284
-
285ανά Nash, John C., 1947-Θέματα: “…R (Computer program language)…”
Έκδοση 2014
Full Text via HEAL-Link
Ηλ. βιβλίο -
286ανά Marlet, RenaudΘέματα: “…Program transformation (Computer programming)…”
Έκδοση 2013
Full Text via HEAL-Link
Ηλ. βιβλίο -
287
-
288
-
289
-
290
-
291Έκδοση 2015Θέματα: “…Concurrent programming languages…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
292Έκδοση 2006Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
293Έκδοση 2010Θέματα: “…Program semantics…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
294Έκδοση 2007Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
295Έκδοση 2008Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
296Έκδοση 2000Θέματα: “…Program semantics…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
297Έκδοση 2010Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
298Έκδοση 2012Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
299Έκδοση 2014Θέματα: “…Program verification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
300Έκδοση 2015Θέματα: “…Program semantics…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο