Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
generation computing » generation computer, generation computers, education computing
program computing » program comparing, programs compiling, problem computing
https generation » status generation, its generation, arts generation
generation computing » generation computer, generation computers, education computing
program computing » program comparing, programs compiling, problem computing
https generation » status generation, its generation, arts generation
1
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti...”View full text
Electronic
eBook
3
by Arnoldus, Jeroen., Arnoldus, Jeroen., van den Brand, Mark., Serebrenik, A., Brunekreef, J.J.
Published 2012
Subjects:
“...Computer programming....”Published 2012
View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”View full text
Electronic
eBook
6
Published 2011
Table of Contents:
“... -- The Software of Computer Science, Computer Programming from Fortran to C++ -- The Hardware of Computer Science...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Algorithm for Computing Smallest Common AoN-Supertree with Application to the Reconstruction of Glycan Trees...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“..., Logic, and Computability -- VC Dimension Bounds for Analytic Algebraic Computations -- Resource Bounded...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”View full text
Electronic
eBook
11
Table of Contents:
“...Introduction -- An Approach for Data Scientists -- Navigating the Choices in R and Cloud Computing...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... method -- Pseudorandom numbers generation for Monte Carlo simulations on GPUs: Open CL approach -- Monte...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”View full text
Electronic
eBook
15
Table of Contents:
“... -- Program Correctness: Mechanics -- Program Correctness: Strategies -- Algorithmic Reasoning -- Quantified...”
View full text
View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... Probes -- Computer and Communications Networks -- Natural Language Specification of Performance Trees...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
19
Advances in Computer Graphics and Computer Vision International Conferences VISAPP and GRAPP 2006...
Published 2007
Table of Contents:
“...: Animation and Simulation -- Motion Map Generation for Maintaining the Temporal Coherence of Brush Strokes...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”View full text
Electronic
eBook