Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
proceeding program » proceedings program, processing program, processing programs
program abstracts » programme abstracts
abstracts https » abstracts themes
computing proceeding » computing proceedings, computing providing, computing protecting
integrals computing » integrated computing, interval computing, integration computing
proceeding program » proceedings program, processing program, processing programs
program abstracts » programme abstracts
abstracts https » abstracts themes
1
Published 2007
Table of Contents:
“... -- Integration of Constraint Programming and Metaheuristics -- Rule-Based Reasoning Via Abstraction...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”View full text
Electronic
eBook
3
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
4
Published 2008
Table of Contents:
“... and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Decomposition for Parallel Programs -- Z Papers -- Communication Systems in ClawZ -- Formalising and Validating...”View full text
Electronic
eBook
6
Published 2012
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...”View full text
Electronic
eBook
8
Published 2014
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... of Human, Machine and Information:Robot Suit for the Future.-If Abstraction Is the Answer, What...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... for GHC-Style Multi-parameter Type Classes -- Private Row Types: Abstracting the Unnamed -- Type...”View full text
Electronic
eBook