Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
integration computer » international computer, interactive computer
computer programming » computer program, computer programs
based https » based http
programming programming » programming programmed, programming program
integration computer » international computer, interactive computer
computer programming » computer program, computer programs
based https » based http
1
Published 2014
Table of Contents:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”View full text
Electronic
eBook
2
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
3
Subjects:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
4
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
5
Published 2005
Table of Contents:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Logic Program Execution Time Estimation -- Towards Region-Based Memory Management for Mercury Programs...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”View full text
Electronic
eBook
12
Table of Contents:
“... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Systems -- Necessity-Based Choquet Integrals for Sequential Decision Making under Uncertainty -- A Fuzzy...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Integer Programming -- A Position-Based Propagator for the Open-Shop Problem -- Directional...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... -- Integrating Model Checking and Inductive Logic Programming -- Inductive Logic Programming in Answer Set...”View full text
Electronic
eBook
17
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”View full text
Electronic
eBook