1
Julkaistu 2013
Sisällysluettelo: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2014
Sisällysluettelo: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
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: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2008
Sisällysluettelo: ... Distributed Resources Allocation in Massively Parallel Processors on-Chip -- Cooperative Learning Sensitive...
Hae kokoteksti
Elektroninen E-kirja