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
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...
View full text
Electronic eBook
7
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
8
Published 2008
Table of Contents: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
View full text
Electronic eBook
10
Published 2012
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
11
Table of Contents: ...Preface to the Second Edition -- Preface to the First Edition -- Part I: Basic Object-Oriented...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
View full text
Electronic eBook
13
Table of Contents: ... of Goal Programming -- Case Study: Application of Goal Programming in Health Care -- Case Study...
View full text
Electronic eBook
14
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...
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 2015
Table of Contents: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Case Studies -- Railway Scheduling with Declarative Constraint Programming -- User Profiles...
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
by Jalote, Pankaj., Jalote, Pankaj.
Published 2005
Table of Contents: ... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....
View full text
Electronic eBook