1
Publicado em 2013
Sumário: ... -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers....
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2013
Sumário: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2013
Sumário: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2015
Sumário: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2014
Sumário: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2014
Sumário: ... Communication Systems -- Re-Programmable Logic Array for Logic Design and Its Reliability Analysis in QCA...
Obter o texto integral
Recurso Electrónico livro electrónico