1
Julkaistu 2006
Sisällysluettelo: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2014
Sisällysluettelo: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2013
Sisällysluettelo: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2014
Sisällysluettelo: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2010
Sisällysluettelo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2014
Sisällysluettelo: ... -- Representing, Archiving, and Searching the Space of Mathematical Knowledge -- Early Examples of Software...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2010
Sisällysluettelo: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2013
Sisällysluettelo: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2007
Sisällysluettelo: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...
Hae kokoteksti
Elektroninen E-kirja