Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming program » programming programmed, programming problem, programming problems
integration using » interaction using, integration testing
using programming » using programmable, computing programming
program case » programs case, programes case, programs cases
case https » care https, use https, change https
programming program » programming programmed, programming problem, programming problems
integration using » interaction using, integration testing
using programming » using programmable, computing programming
program case » programs case, programes case, programs cases
case https » care https, use https, change 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:
“... -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... -- Session 6 -- Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy...”View full text
Electronic
eBook
5
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
6
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... of the Choquet Integral using Genetic Algorithm -- Optimization of the Choquet Integral using Genetic Algorithm...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... with exception from past legal cases using ASP -- Online Action Language oBC+.-aspartame: Solving Constraint...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... Case Studies -- Railway Scheduling with Declarative Constraint Programming -- User Profiles...”View full text
Electronic
eBook
11
Table of Contents:
“... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...”
View full text
View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Discrimination of Unexploded Ordnance from Clutter Using Linear Genetic Programming -- Rapid Re-Evolution of an X...”View full text
Electronic
eBook
13
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light -- On Minimality and Integrity...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
15
Table of Contents:
“... and Systems -- Mixed Integer Programming Algorithms -- Classification and Reformulation -- Reformulations...”
View full text
View full text
Electronic
eBook
16
Table of Contents:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“...Overview of Object-Oriented Programming -- Designing OOP Solutions: Identifying the Class Structure...”
View full text
View full text
Electronic
eBook
18
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Discrete Programming Problems -- Integer Programming: Methods, Uses, Computation -- Matroid Partition...”View full text
Electronic
eBook