Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
integration edition » integration education, integration action, integration section
edition programming » python programming, design programming, educational programming
programming cases » programming case, programming based, programming courses
cases https » atlases https, spaces https, nurses https
programming programming » programming programmed, programming program
integration edition » integration education, integration action, integration section
edition programming » python programming, design programming, educational programming
programming cases » programming case, programming based, programming courses
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
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text
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
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
View full text
Electronic
eBook
14
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
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
Table of Contents:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text
View full text
Electronic
eBook