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