Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
programming computing » programming comparing, programming composing, programming computer
https » http
programming programming » programming programmed, programming program
evaluation programming » evaluating programming, evolution programming, variation programming
integrated evaluation » interfaces evaluation, integrated production, integrated navigation
programming computing » programming comparing, programming composing, programming computer
https » 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
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
3
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Reliability Assessment Based on the Evaluation of Operational Experience -- Clock Synchronization Issues...”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 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... -- Evaluation of a Conversation Management Toolkit for Multi Agent Programming -- Compact and Efficient Agent...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Agile Methods to Implement a Laboratory for Software Product Quality Evaluation -- Software Metrics...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Knowledge Management and Decision Support -- Optimizing the Evaluation of XPath Using Description...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... Development Teams -- Effects of Pair Programming -- Investigating the Impact of Personality Types...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”View full text
Electronic
eBook