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
Published 2005
Table of Contents: ... Context -- Favourable Biasing of Function Sets Using Run Transferable Libraries -- Toward Automated Design...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
View full text
Electronic eBook
7
... Malaysian context. Aim The study aimed to identify the effectiveness of the buddy program training module...
View full text
Article
8
Published 2011
Table of Contents: ... the Early Xenopus laevis Embryo -- Manipulation of Gene Function in Xenopus laevis -- Developmental Genetics...
View full text
Electronic eBook
10
Table of Contents: ...Mathematics in Civilization -- Sets, Relations and Functions -- Logic -- Software Engineering...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Technique -- A Method for Filtering Large Conceptual Schemas -- Integration and Composition -- Measuring...
View full text
Electronic eBook
12
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
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 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ...Classification and Clustering -- Multi-Class Budget Exploratory Trees -- Methods to Compare...
View full text
Electronic eBook
17
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
18
Table of Contents: ... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook
20
Published 2023
Table of Contents: ... Functional Clustering: a Regularization Approach via Shrinkage Methods -- D. Rodrigues, L. P. Reis, and B. M...
Open Access Book. Read online
Electronic eBook