-
1541
-
1542
-
1543
-
1544
-
1545
-
1546
-
1547
-
1548
-
1549
-
1550
-
1551
-
1552
-
1553
-
1554
-
1555
-
1556Έκδοση 2005Πίνακας περιεχομένων: “… Study -- Model Checking Real Time Java Using Java PathFinder -- Infinite-State and Parameterized Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1557Έκδοση 2018Πίνακας περιεχομένων: “… and MPI in Large Scale Scientific Applications -- Evaluation of the parallel performance of the Java…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1558Έκδοση 2002Πίνακας περιεχομένων: “…-Order Attribute Grammars -- Altering Java Semantics via Bytecode Manipulation -- Meta-programming…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1559Έκδοση 2004Πίνακας περιεχομένων: “… for Portable CPU Control in Java -- Agents and Semantic Web -- Organizing Knowledge in a Semantic Web…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
1560Έκδοση 2007Πίνακας περιεχομένων: “… Pointer Stacks -- Correcting the Dynamic Call Graph Using Control-Flow Constraints -- Obfuscating Java…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο