1
Published 2008
Table of Contents: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...
View full text
Electronic eBook
4
Table of Contents: ... Adapters -- Part IV Orchestrations -- Services and SOA -- Orchestration Flow -- Advanced Constructs...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...
View full text
Electronic eBook
11
...Integrated Aquaculture Farming (IAF) offers hope for increasing income significantly for poor...
Article
12
Published 2007
Table of Contents: ...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... to Support Systems Biology Research -- Helping Biologists Effectively Build Workflows, without Programming...
View full text
Electronic eBook
14
by Grout, Ian A., Grout, Ian A.
Published 2006
Table of Contents: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
View full text
Electronic eBook
17
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...
View full text
Electronic eBook