-
1301
-
1302
-
1303
-
1304
-
1305
-
1306
-
1307
-
1308
-
1309
-
1310
-
1311
-
1312
-
1313
-
1314
-
1315
-
1316Έκδοση 2013Πίνακας περιεχομένων: “… Second Competition on Software Verification (Summary of SV-COMP 2013) -- CPAchecker with Explicit-Value…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1317
-
1318Cross-Cultural Design. Methods, Practice, and Case Studies 5th International Conference, CCD 2013...Έκδοση 2013Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1319
-
1320