1
Julkaistu 2013
Sisällysluettelo: ... -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers....
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2013
Sisällysluettelo: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2015
Sisällysluettelo: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2014
Sisällysluettelo: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2014
Sisällysluettelo: ... Communication Systems -- Re-Programmable Logic Array for Logic Design and Its Reliability Analysis in QCA...
Hae kokoteksti
Elektroninen E-kirja