1
Argitaratua 2013
Aurkibidea: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2008
Aurkibidea: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2013
Aurkibidea: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2014
Aurkibidea: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2007
Aurkibidea: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Testu osoa
Baliabide elektronikoa eBook