Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integrate computer » integrated computer, integration computer, integrating computer
program constructs » program construction, program constructing, programming constructs
program program » programs program, programming program
constructs part » construction part
integrate computer » integrated computer, integration computer, integrating computer
program constructs » program construction, program constructing, programming constructs
program program » programs program, programming program
constructs part » construction part
1
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Ligazón do recurso
Electrónico
eBook
2
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado 2008
Table of Contents:
“... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2013
Table of Contents:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2005
Table of Contents:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2010
Table of Contents:
“...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”Ligazón do recurso
Electrónico
eBook
10
Table of Contents:
“... -- MacVector: An Integrated Sequence Analysis Program for the Macintosh -- MacVector: Aligning Sequences...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
11
Publicado 2010
Table of Contents:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2007
Table of Contents:
“... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2013
Table of Contents:
“... -- The System of Anti-bud Injury in Seedcane Cutting Based on Computer Vision -- A Multi-parameter Integrated...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2007
Table of Contents:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Ligazón do recurso
Electrónico
eBook
17
Table of Contents:
“... Adapters -- Part IV Orchestrations -- Services and SOA -- Orchestration Flow -- Advanced Constructs...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
18
Publicado 2006
Table of Contents:
“... Tree Dynamic Programming -- Describing and Matching 2D Shapes by Their Points of Mutual Symmetry...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“... Dataset Construction: An Active Learning Approach -- GeoS: Geodesic Image Segmentation -- Simultaneous...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...”Ligazón do recurso
Electrónico
eBook