1
Julkaistu 2005
Sisällysluettelo: ... Programming for a Decision Support System -- Data Integration: a Challenging ASP Application -- Abduction...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2006
Sisällysluettelo: ... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2007
Sisällysluettelo: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2014
Sisällysluettelo: ...Variations on Safety -- Decision Procedures and their Application in Analysis Decision Procedures...
Hae kokoteksti
Elektroninen E-kirja
6
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
7
Tekijä Freeman, Adam., Freeman, Adam.
Julkaistu 2010
Sisällysluettelo: ... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...
Hae kokoteksti
Elektroninen E-kirja
8
Tekijä Teh, Jia Yew
Julkaistu 2003
Aiheet: ...Application software - Development - Study and teachings...
Hae kokoteksti
Opinnäyte
9
Julkaistu 2014
Sisällysluettelo: ... Algorithm -- A Closed Loop Supply Chain Inventory Model for the Deteriorating Items with JIT Implementation...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2005
Sisällysluettelo: ... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...
Hae kokoteksti
Elektroninen E-kirja
11
Tekijä Teh, Jia Yew
Julkaistu 2003
.... Presently, an automation system had been constructed and successfully used to conduct the physics...
Hae kokoteksti
Opinnäyte
12
Julkaistu 2014
Sisällysluettelo: ... Differential Equations, Reduction of Complexity and Applications -- 4. Characterizations of Convex Quadratics...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2006
Sisällysluettelo: ... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2006
Sisällysluettelo: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2012
Sisällysluettelo: ... Network -- Transient-Time Fractional-Space Trigonometry and Application -- Understanding Individual Play...
Hae kokoteksti
Elektroninen E-kirja
16
Tekijä Chong, Kok Hen
Julkaistu 2008
... of the overall system. As a result, the higher integration level, the better and the cheaper final product...
Hae kokoteksti
Opinnäyte
17
Tekijä Chong, Kok Hen
Julkaistu 2008
... of the overall system. As a result, the higher integration level, the better and the cheaper final product...
Hae kokoteksti
Opinnäyte
18
19
Julkaistu 2010
Sisällysluettelo: ... for Interactive Level Set with Application to MR Image Segmentation -- Motion and Tracking -- Attention-Based...
Hae kokoteksti
Elektroninen E-kirja
20
Tekijä Vaghei, Ramin
Julkaistu 2016
...The industrialized building system (IBS) is defined as a construction technique in which the system...
Hae kokoteksti
Opinnäyte