1
Published 2008
Table of Contents: ...-Büchi Word Automata -- Recurrent Reachability Analysis in Regular Model Checking -- Alternation...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- The Most Representative Utility Function for Non-Additive Robust Ordinal Regression -- Alternative...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... -- On Rational Trees -- Reasoning About States of Probabilistic Sequential Programs -- Concurrent Games with Tail...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... of Proofs (Abstract) -- The Symbolic Approach to Repeated Games (Abstract) -- Proofs, Programs and Abstract...
View full text
Electronic eBook
6
Subjects: ...Database Management. https://scigraph.springernature.com/ontologies/product-market-codes/I18024...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... of Atomic Broadcast and Multicast in Wide Area Networks -- Detection of Disjunctive Normal Form Predicate...
View full text
Electronic eBook
8
Subjects: ...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Equivalence of Synchronous Schemes -- Prime Normal Form and Equivalence of Simple Grammars -- An Incremental...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Functional Dependencies -- Arity and Alternation: A Proper Hierarchy in Higher Order Logics -- Solving...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ...General -- History of Carpal Tunnel Syndrome -- Anatomy of the Carpal Tunnel -- Normal Anatomy...
View full text
Electronic eBook
13
Table of Contents: ... and Safety -- Quality Management Program -- Special Topics: Hyperthermia and Computers -- Molecular Biology...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ...: Alternative Assessments of the Longevity Trends -- 18 G. H. Dash, Jr. and N. Kajiji: Combinatorial nonlinear...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... as a Science -- Towards a Normal Science of Mathematics Education? -- The Study of the Didactical...
View full text
Electronic eBook
16
Table of Contents: ... Strategies -- 6. Alternative to GBM Prices -- 7. Kelly's Criterion -- Appendices -- A. Some Mathematical...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ...Chapter 1 Introduction -- Chapter 2 Program Impact Estimation with Binary Outcome Variables: Monte...
View full text
Electronic eBook
18
Table of Contents: ... in Chemical Kinetics: Enzyme Kinetics. Liquid-Vapor Equilibrium -- Use of the CASim Program: The System...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ...Weak form efficiency of selected European stock markets: alternative testing approaches (G. Albano...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... ReSearch -- Alternative Aggregates in Mizar -- An Approach to Mathematical Search Through Query Formulation...
View full text
Electronic eBook