Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
computing programming » computer programming, computers programming
intensive computing » interactive computing, intelligent computing
constructs https » construction https, constructs loops, constructs arti
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
computing programming » computer programming, computers programming
intensive computing » interactive computing, intelligent computing
constructs https » construction https, constructs loops, constructs arti
1
Published 2005
Table of Contents:
“...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...: Computational Geometry -- Diamond Triangulations Contain Spanners of Bounded Degree -- Optimal Construction...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Exploiting Intensity Inhomogeneity to Extract Textured Objects from Natural Scenes -- Exploiting...”View full text
Electronic
eBook
6
Published 2011
Table of Contents:
“... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... for Developing Complex Grid Applications -- Applications -- Solving Computationally Intensive Engineering...”View full text
Electronic
eBook
14
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
15
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... and Greece -- A Master Program in Services Engineering and Management at the University of Porto...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...: A Case Study -- A Case Study on the Success of Introducing General Non-construction Activities...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... of Cooperative Behavior in C2C market: Effect of Reputation Management System -- Constructing shared...”View full text
Electronic
eBook