1
Table of Contents: ...Going Inside Java -- Designing Libraries, Classes, and Methods -- Using Threads in Your...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...
View full text
Electronic eBook
5
... Malaysian context. Aim The study aimed to identify the effectiveness of the buddy program training module...
View full text
Article
6
Published 2005
Table of Contents: ... Context -- Favourable Biasing of Function Sets Using Run Transferable Libraries -- Toward Automated Design...
View full text
Electronic eBook
7
Table of Contents: ...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ...Classification and Clustering -- Multi-Class Budget Exploratory Trees -- Methods to Compare...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... Using Fuzzy Patterns Inside a CBR System -- CBR for State Value Function Approximation in Reinforcement...
View full text
Electronic eBook
11
Table of Contents: ... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...
View full text
Electronic eBook
12
Published 2011
Table of Contents: ... the Early Xenopus laevis Embryo -- Manipulation of Gene Function in Xenopus laevis -- Developmental Genetics...
View full text
Electronic eBook
13
by West, Adrian W., West, Adrian W.
Published 2013
Subjects: ...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Technique -- A Method for Filtering Large Conceptual Schemas -- Integration and Composition -- Measuring...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... and Designs for Modelling Invariant Functions: From Group Invariance to Additivity -- Optimal Design for Count...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ... A Proposal to Measure the Functional Efficiency of Futures Markets: M. Consuegra et al -- 12...
View full text
Electronic eBook
17
18
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...
View full text
Electronic eBook
20
Table of Contents: ... Programming and its Extensions in Forest Planning -- 7. Heuristic Optimisation -- 8. Uncertainty...
View full text
Electronic eBook