1
Argitaratua 2013
Aurkibidea: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2013
Aurkibidea: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2014
Aurkibidea: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...
Testu osoa
Baliabide elektronikoa eBook
5
Argitaratua 2010
Aurkibidea: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Testu osoa
Baliabide elektronikoa eBook
6
Argitaratua 2014
Aurkibidea: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Testu osoa
Baliabide elektronikoa eBook
7
Argitaratua 2010
Aurkibidea: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
Testu osoa
Baliabide elektronikoa eBook
8
Argitaratua 2006
Aurkibidea: ... Destructive-Read DRAM -- A Processor Architecture with Effective Memory System for Sort-Last Parallel...
Testu osoa
Baliabide elektronikoa eBook
9
Argitaratua 2006
Aurkibidea: ... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...
Testu osoa
Baliabide elektronikoa eBook
10
Argitaratua 2005
Aurkibidea: ... Mining Using Materialized Data Mining Views -- Outlier Effects on Databases -- Finding Maximal Similar...
Testu osoa
Baliabide elektronikoa eBook
11
Argitaratua 2007
Aurkibidea: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Testu osoa
Baliabide elektronikoa eBook