1
Published 2005
Table of Contents: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Extending SDP Integrality Gaps to Sherali-Adams with Applications to Quadratic Programming and MaxCutGain...
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 2012
Table of Contents: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ... -- High Scalability for Semantic Indexes -- Integration of Semantic Technologies for Business Process...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ...-Behavioral Types, Distributed Services, and Resources -- Integration of a Security Type System into a Program...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Computing Environment -- Clustering Multicast on Hypercube Network -- Checkpointing and Communication...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ...An Implementation of Jason in Erlang -- Conceptual Integration of Agents with WSDL and Restful Web...
View full text
Electronic eBook
17
Table of Contents: ... Integration -- Optimisation Framework -- Scientific Grid Workflows -- Related Work -- Conclusions....
View full text
Electronic eBook
18
Published 2012
Subjects: ...Computer Systems Organization and Communication Networks. https://scigraph.springernature.com...
View full text
Electronic eBook
19
by Krnac, Lubos., Krnac, Lubos.
Published 2015
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...
View full text
Electronic eBook