1
by Nisio, Makiko., Nisio, Makiko.
Published 2015
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...
View full text
Electronic eBook
3
by Ghosh, Jit., Ghosh, Jit., Cameron, Rob.
Published 2010
Table of Contents: ...A Quick Tour of Silverlight 4 Development -- Application Design and Programming Model -- Developing...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...
View full text
Electronic eBook
6
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...-Based Constraint Programming -- A Complete Multi-valued SAT Solver -- Exact Cover via Satisfiability...
View full text
Electronic eBook
8
by Pace, Larry., Pace, Larry.
Published 2012
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...
View full text
Electronic eBook
10
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
11
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
View full text
Electronic eBook
12
Table of Contents: ... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...
View full text
Electronic eBook
13
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... with a Low Cooling Factor -- On Solution Concepts for Matching Games -- Binary De Bruijn Partial Words...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... -- Cardinality and Entropy for Bifuzzy Sets -- Some Remarks on the Solutions to the Functional Equation I(x,y...
View full text
Electronic eBook
17
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... Semidefinite Programming -- Ranks of Hadamard Matrices and Equivalence of Sylvester—Hadamard and Pseudo-Noise...
View full text
Electronic eBook
19
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
20
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook