Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
development software » development southeast, development social, development south
https development » crops development, apps development, fetus development
function method » detection method, selection method
method https » methods https
development software » development southeast, development social, development south
https development » crops development, apps development, fetus development
function method » detection method, selection method
method https » methods https
1
Published 2013
Table of Contents:
“... -- Formally Verified System Initialisation -- Verifying an Aircraft Proximity Characterization Method in Coq...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Screens -- Software-Assisted Stacking of Gene Modules Using GoldenBraid 2.0 DNA-Assembly Framework...”View full text
Electronic
eBook
3
Subjects:
“...Communications Engineering, Networks. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“...Introducing Agile Service Development -- Agility -- Agile Architecture -- Service Modelling...”View full text
Electronic
eBook
5
Table of Contents:
“... Development -- Behavioural Specifications -- Proofs for Specifications -- Working with Multiple Logical...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“... (WITH WHAT) -- Architecture Means (WITH WHAT) -- Architecture Method (HOW).-....”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... in the Context of ERP System Implementation -- Approach to Enterprise Knowledge Base Development -- Co-designing...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Distributed Environment – Results from Two Controlled Case Studies -- Software Functional Size: For Cost...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...Computational Methods I -- Gene Function Inference From Gene Expression of Deletion Mutants...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... User-adaptive Augmented Reality System in Mobile Computing Environment -- Software Development...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”View full text
Electronic
eBook
13
Table of Contents:
“...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Between Middlemen: Linear Function Case -- Does the Level of Information Matter for Traders...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application...”View full text
Electronic
eBook
16
Table of Contents:
“...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...”
View full text
View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
18
Published 2010
Subjects:
“...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”View full text
Electronic
eBook
19
Published 2014
Table of Contents:
“... -- In Ovo Electroporation of miRNA-Based Plasmids to Investigate Gene Function in the Developing Neural Tube...”View full text
Electronic
eBook
20
Table of Contents:
“...Introduction -- The Gamma Function -- Hypergeometric Identities -- Hypergeometric Database...”
View full text
View full text
Electronic
eBook