1
Publicado em 2013
Sumário: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Obter o texto integral
Recurso Electrónico livro electrónico
2
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
3
Publicado em 2014
Sumário: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2010
Sumário: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2014
Sumário: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... Destructive-Read DRAM -- A Processor Architecture with Effective Memory System for Sort-Last Parallel...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2005
Sumário: ... Mining Using Materialized Data Mining Views -- Outlier Effects on Databases -- Finding Maximal Similar...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2006
Sumário: ... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2007
Sumário: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Obter o texto integral
Recurso Electrónico livro electrónico