Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programmed computer » programming computer, programs computer, program computer
integration method » integration methods, iteration method, generation method
method processing » metal processing, method process, methods preprocessing
computer https » computers https, computing https, computer arts
programmed computer » programming computer, programs computer, program computer
integration method » integration methods, iteration method, generation method
method processing » metal processing, method process, methods preprocessing
computer https » computers https, computing https, computer arts
1
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”View full text
Electronic
eBook
4
Subjects:
“...Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...”
View full text
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”View full text
Electronic
eBook
8
Table of Contents:
“... and Fundamental Solutions -- Boundary Integral Equations -- Boundary Element Methods — Numerical Implementation...”
View full text
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...Foundation and Rationale for Agile Methods -- A Distributed Cognition Account of Mature XP Teams...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”View full text
Electronic
eBook
13
Subjects:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“... Statements -- Root Finding -- Interpolation and Extrapolation -- Matrices -- Numerical Integration -- Solving...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Language Processing -- An Open-Source Computational Grammar for Romanian -- Chinese Event Descriptive...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... for Lexical Normalization -- A Framework for Integrating Natural Language Tools -- Methods and Tools...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”View full text
Electronic
eBook