Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
generation computational » interaction computational, detection computational, general computational
programming program » programming programmed, programming problem, programming problems
program java » program jarak, program a, program jom
https » http
computational programming » computation programming, computational program, computing programming
generation computational » interaction computational, detection computational, general computational
programming program » programming programmed, programming problem, programming problems
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
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
3
4
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Programming -- Concurrent Test Generation Using Concolic Multi-trace Analysis -- Java Bytecode Instrumentation...”View full text
Electronic
eBook
8
Table of Contents:
“... to Java Mapping -- Important Elements of the ORB Runtime -- A First Example -- Generating Remote Objects...”
View full text
View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”View full text
Electronic
eBook
10
11
Published 2014
Table of Contents:
“... to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine...”View full text
Electronic
eBook
12
13
Published 2007
Table of Contents:
“... -- Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines -- Generational Real-Time...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... for the Java Virtual Machine -- Averroes: Whole-Program Analysis without the Whole Program -- QUIC Graphs...”View full text
Electronic
eBook
17
Generative and Transformational Techniques in Software Engineering II International Summer School...
Published 2008
Table of Contents:
“... to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming...”View full text
Electronic
eBook
18
19
Published 2008
Table of Contents:
“... -- Automatic Generation of Parallel Code for Hessian Computations -- Geographical Locality and Dynamic Data...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”View full text
Electronic
eBook