1
Tekijä Addis, Tom., Addis, Tom., Addis, Jan.
Julkaistu 2010
Sisällysluettelo: ... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2012
Sisällysluettelo: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2015
Sisällysluettelo: ... for Probabilistic Programs -- Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ...Invited Papers -- Beyond Nash Equilibrium: Solution Concepts for the 21st Century -- Service...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2010
Sisällysluettelo: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2005
Sisällysluettelo: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
Hae kokoteksti
Elektroninen E-kirja
9
Tekijä Raynal, Michel., Raynal, Michel.
Julkaistu 2013
Sisällysluettelo: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2008
Sisällysluettelo: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2013
Sisällysluettelo: ... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...
Hae kokoteksti
Elektroninen E-kirja
12
Aiheet: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
Hae kokoteksti
Elektroninen E-kirja
13
Sisällysluettelo: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2008
Sisällysluettelo: ... Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular...
Hae kokoteksti
Elektroninen E-kirja
15
Tekijä Holt, Alan., Holt, Alan.
Julkaistu 2008
Sisällysluettelo: ...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...
Hae kokoteksti
Elektroninen E-kirja
16
Tekijä Longley, John., Longley, John., Normann, Dag.
Julkaistu 2015
Sisällysluettelo: ...Introduction and Motivation -- Historical Survey -- Theory of Computability Models -- Theory...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2006
Sisällysluettelo: ... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...
Hae kokoteksti
Elektroninen E-kirja
18
Tekijä Carsetti, A., Carsetti, A.
Julkaistu 2013
Sisällysluettelo: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2010
Sisällysluettelo: ... to Investigate Interaction Effects Between Higher Order Branding Constructs -- TUTORIALS -- How to Write Up...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2010
Sisällysluettelo: ... Portfolio Theory -- Harry Markowitz and the Early History of Quadratic Programming -- Ideas in Asset...
Hae kokoteksti
Elektroninen E-kirja