Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration application » integration applications, integrating application, interaction applications
programming constructs » programming concepts, programming contest
application program » application programming, application protocol
program programming » programs programming, programmer programming, pram programming
constructs https » construction https, constructs loops, constructs arti
integration application » integration applications, integrating application, interaction applications
programming constructs » programming concepts, programming contest
application program » application programming, application protocol
program programming » programs programming, programmer programming, pram programming
constructs https » construction https, constructs loops, constructs arti
1
Published 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...”View full text
Electronic
eBook
3
Published 2013
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programming for a Decision Support System -- Data Integration: a Challenging ASP Application -- Abduction...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Constructions -- Experience Based Nonmonotonic Reasoning -- An ASP application in integrative biology...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”View full text
Electronic
eBook
7
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
12
Published 2011
Table of Contents:
“... – Applications and Tools: PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information -- ASP...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...Variations on Safety -- Decision Procedures and their Application in Analysis Decision Procedures...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... for Remote Tool Integration -- FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs...”View full text
Electronic
eBook
16
Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS...
Published 2010
Table of Contents:
“... on Conceptual Modeling for Life Sciences Applications -- Third International Workshop on Conceptual Modelling...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook
19
Table of Contents:
“... Messaging -- Messaging Systems -- Message Brokers -- Part III Adapters -- Data Adapters -- Application...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Networks -- Construction of Minimum Connected Dominating Set in 3-Dimensional Wireless Network...”View full text
Electronic
eBook