1
Julkaistu 2013
Sisällysluettelo: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2010
Sisällysluettelo: ...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...
Hae kokoteksti
Elektroninen E-kirja
3
Tekijä Fischer, Robert., Fischer, Robert.
Julkaistu 2015
Aiheet: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Hae kokoteksti
Elektroninen E-kirja
4
Tekijä Sharan, Kishori., Sharan, Kishori.
Julkaistu 2014
Aiheet: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2005
Sisällysluettelo: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
Hae kokoteksti
Elektroninen E-kirja
6
Sisällysluettelo: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2005
Sisällysluettelo: ... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2005
Sisällysluettelo: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2007
Sisällysluettelo: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2008
Sisällysluettelo: ... Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2008
Sisällysluettelo: ... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2013
Sisällysluettelo: ...A Library for Declarative Resolution-Independent 2D Graphics -- Analysing the Entire Wikipedia...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2015
Sisällysluettelo: ... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2014
Sisällysluettelo: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2006
Sisällysluettelo: ... -- M2E: A Multiple-Input, Multiple-Output Function Extension for RISC-Based Extensible Processors...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2012
Sisällysluettelo: ... -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2010
Sisällysluettelo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2007
Sisällysluettelo: ... -- SC2SCFL: Automated SystemC to Translation -- VLSI Architectures -- Model and Validation of Block...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2006
Sisällysluettelo: ... UML Profile for Asynchronous Hardware Design -- Automated Distribution of UML 2.0 Designed...
Hae kokoteksti
Elektroninen E-kirja