1
Table of Contents: ... Program Scenarios -- Meta-Program Development as a Model Transformation -- Complexity Evaluation...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ...-Oriented Development of Fault Tolerant Communicating Systems -- Programming-Logic Analysis of Fault...
View full text
Electronic eBook
3
by Shen, Alexander., Shen, Alexander.
Published 2010
Table of Contents: ... and non-recursive programs -- Graph algorithms -- Pattern matching -- Games analysis -- Optimal coding...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Estimation: A Signal-Based Model -- Good News: Using News Feeds with Genetic Programming to Predict Stock...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...: Renormalization Program -- Computational Complexity Aspects in Membrane Computing -- Computable Ordered Abelian...
View full text
Electronic eBook
7
Published 2012
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
8
Subjects: ...Business Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/526000...
View full text
Electronic eBook
9
by Al Khouri, Ali., Al Khouri, Ali.
Published 2015
Subjects: ...Development Economics. https://scigraph.springernature.com/ontologies/product-market-codes/W42000...
View full text
Electronic eBook
10
Published 2014
Subjects: ...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...
View full text
Electronic eBook
11
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook
12
Published 2013
Subjects: ...Numeric Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I1701X...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
View full text
Electronic eBook
14
Table of Contents: ...Part I (by Bernd Gärtner): 1 Introduction: MAXCUT via Semidefinite Programming -- 2 Semidefinite...
View full text
Electronic eBook
15
Table of Contents: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
View full text
Electronic eBook
16
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
17
by Li, Duan., Li, Duan., Sun, Xiaoling.
Published 2006
Table of Contents: ... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...
View full text
Electronic eBook
18
Published 2011
Subjects: ...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
19
by Wegener, Ingo., Wegener, Ingo.
Published 2005
Table of Contents: ...Algorithmic Problems & Their Complexity -- Fundamental Complexity Classes -- Reductions...
View full text
Electronic eBook
20
Subjects: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
View full text
Electronic eBook