1
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
2
Published 2007
Table of Contents: ... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...
View full text
Electronic eBook
3
Table of Contents: ...History and Philosophy of Goal Programming -- Goal Programming Variants -- Formulating Goal...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...
View full text
Electronic eBook
5
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Development on Program Code -- Issues in Large Scale Agile Development -- Configuring Hybrid Agile-Traditional...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Approximations from Noisy Point Clouds -- Coresets for Discrete Integration and Clustering -- Self-assemblying...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... –Historiographical issues; Kostas Gavroglu -- Investigating the Very Cold -- Early modern history of cold: Robert...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...-Choice Theoretical Analysis of Defeasibility Criteria -- Alternative Characterizations for Program...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... the Use of Complementary and Integrative Medicine in Cancer Care -- Integrative Oncology Programs...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... Features at Runtime -- Metamodel-Based Information Integration at Industrial Scale -- Inferring Meta-models...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... to Support Systems Biology Research -- Helping Biologists Effectively Build Workflows, without Programming...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Networks -- Improving ABT Performance by Adding Synchronization Points -- On the Integration of Singleton...
View full text
Electronic eBook
16
Published 2012
Subjects: ...Agriculture. https://scigraph.springernature.com/ontologies/product-market-codes/L11006...
View full text
Electronic eBook
17
Published 2011
Subjects: ...Agriculture. https://scigraph.springernature.com/ontologies/product-market-codes/L11006...
View full text
Electronic eBook
18
Table of Contents: ...Chapter One: Integrating practice-based experiences with higher education -- Chapter Two: Purposes...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... of Proofs (Abstract) -- The Symbolic Approach to Repeated Games (Abstract) -- Proofs, Programs and Abstract...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...SeCoGIS 2010 – Fourth International Workshop on Semantic and Conceptual Issues in Geographic...
View full text
Electronic eBook