Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program constructing » program construction, diagram constructing, programs conducting
electron programmed » electronics programmed, education programmed, selective programmed
iterative electron » iterative selection, operative electron, alternative electron
programmed program » programmes programme, programming program, programs program
constructing https » construction https, consulting https, constructing better
program constructing » program construction, diagram constructing, programs conducting
electron programmed » electronics programmed, education programmed, selective programmed
iterative electron » iterative selection, operative electron, alternative electron
programmed program » programmes programme, programming program, programs program
constructing https » construction https, consulting https, constructing better
1
Publicat 2006
Taula de continguts:
“... and Data Refinement -- Contributed Papers -- Towards Generic Programming with Sized Types -- Relational...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“...Exploiting Unique Fixed Points -- Scrap Your Type Applications -- Programming with Effects in Coq...”Obtenir text complet
Electrònic
eBook
3
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicat 2007
Taula de continguts:
“... -- Modular Shape Analysis for Dynamically Encapsulated Programs -- Static Analysis by Policy Iteration...”Obtenir text complet
Electrònic
eBook
4
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicat 2008
Taula de continguts:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“... Construction of Program Representations for Sparse Dataflow Analyses -- Inter-iteration Scalar Replacement...”Obtenir text complet
Electrònic
eBook
7
Publicat 2006
Taula de continguts:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Obtenir text complet
Electrònic
eBook
9
Publicat 2013
Taula de continguts:
“... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...”Obtenir text complet
Electrònic
eBook
10
Taula de continguts:
“... and Abstraction -- Objects and Instances -- Value Classes -- Scala Constructs -- Control and Iteration -- Traits...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“... Bytecode -- Services -- A Service Composition Construct to Support Iterative Development -- Correlation...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... Communication Only Placements and Their Use for Parallel Program Construction -- Hierarchical Parallelism...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“...A New Look at Formal Methods for Software Construction -- A New Look at Formal Methods for Software...”Obtenir text complet
Electrònic
eBook
16
Publicat 2007
Taula de continguts:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... Terms -- Automatic Web Page Annotation with Google Rich Snippets -- A Hybrid Approach to Constructing...”Obtenir text complet
Electrònic
eBook
18
Taula de continguts:
“... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
19
Publicat 2010
Taula de continguts:
“... algorithm for Wireless Mesh Network -- Investigations into Implementation of an Iterative Feedback Tuning...”Obtenir text complet
Electrònic
eBook
20
Publicat 2015
Taula de continguts:
“... approach for damage detection and classification -- Iterative spatial compressive sensing strategy...”Obtenir text complet
Electrònic
eBook