Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interaction generation » interaction interaction, interaction integration, interaction detection
generation computing » generation computer, generation computers, education computing
computing program » comparing programs, computing progress, computer program
program java » program jarak, program a, program jom
https » http
interaction generation » interaction interaction, interaction integration, interaction detection
generation computing » generation computer, generation computers, education computing
computing program » comparing programs, computing progress, computer program
program java » program jarak, program a, program jom
https » http
1
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
2
3
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... -- Automatic Generation of Parallel Code for Hessian Computations -- Geographical Locality and Dynamic Data...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... or Class Size#x003F; -- An Empirical Study of #x201C;Removed#x201D; Classes in Java Open-Source Systems...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... for Heterogeneous Computing Environments -- Efficient Generation of Gray Codes for Reflectable Languages -- Pattern...”View full text
Electronic
eBook
11
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... of UML State Chart Models -- Verifying Semantic Conformance of State Machine-to-Java Code Generators -- A...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Testing for Java Card Applets -- Combining SPIN with ns-2 for Protocol Optimization -- Automatic...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Filesystem -- A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”View full text
Electronic
eBook