Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
proceeding programmed » processing programmed, breeding programmes, breeding programme
programmed constructs » programming constructs, programme contract, programmed instructions
integrated computing » integrated computer, internet computing, interactive computing
computing proceeding » computing proceedings, computing providing, computing protecting
constructs https » construction https, constructs loops, constructs arti
proceeding programmed » processing programmed, breeding programmes, breeding programme
programmed constructs » programming constructs, programme contract, programmed instructions
integrated computing » integrated computer, internet computing, interactive computing
computing proceeding » computing proceedings, computing providing, computing protecting
constructs https » construction https, constructs loops, constructs arti
1
Published 2013
Table of Contents:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Constructing the Numerical Method for Navier — Stokes Equations Using Computer Algebra System -- Nonlinear...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Datasets Using DescribeX -- Search Computing: Integrating Ranked Data in the Life Sciences....”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
17
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... in Embedded Systems -- Variable Reassignment in the T++ Parallel Programming Language -- Parallel Construction...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”View full text
Electronic
eBook