Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration computing » integration competing, interaction computing, integration computer
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program cases » programs cases, program case, program casper
cases https » atlases https, spaces https, nurses https
integration computing » integration competing, interaction computing, integration computer
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program cases » programs cases, program case, program casper
cases https » atlases https, spaces https, nurses https
1
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
2
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...”View full text
Electronic
eBook
10
11
Published 2014
Table of Contents:
“... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...”View full text
Electronic
eBook
12
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
13
Table of Contents:
“... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...”
View full text
View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Case Studies -- Railway Scheduling with Declarative Constraint Programming -- User Profiles...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
18
Table of Contents:
“... of Goal Programming -- Case Study: Application of Goal Programming in Health Care -- Case Study...”
View full text
View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Programming -- Domain Specificity of Genetic Programming Based Automated Synthesis: A Case Study...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”View full text
Electronic
eBook