1
Publicat 2013
Taula de continguts: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Obtenir text complet
Electrònic eBook
2
Publicat 2014
Taula de continguts: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Obtenir text complet
Electrònic eBook
3
Publicat 2013
Taula de continguts: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obtenir text complet
Electrònic eBook
4
Publicat 2015
Taula de continguts: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Obtenir text complet
Electrònic eBook
5
Publicat 2007
Taula de continguts: ... Processing -- High-Bandwidth Address Generation Unit -- An IP Core for Embedded Java Systems -- Embedded...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Distributed Resources Allocation in Massively Parallel Processors on-Chip -- Cooperative Learning Sensitive...
Obtenir text complet
Electrònic eBook