1
Publicado 2013
Table of Contents: ...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...
Ligazón do recurso
Electrónico eBook
2
por Levitin, Gregory., Levitin, Gregory.
Publicado 2005
Table of Contents: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
Ligazón do recurso
Electrónico eBook
3
Publicado 2012
Subjects: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Ligazón do recurso
Electrónico eBook
4
Publicado 2007
Table of Contents: ... for Development of Distributed Scientific Applications -- Orthogonal Organized Finite State Machine Application...
Ligazón do recurso
Electrónico eBook
5
Publicado 2005
Table of Contents: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
Ligazón do recurso
Electrónico eBook
7
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Ligazón do recurso
Electrónico eBook
8
Publicado 2012
Table of Contents: ... Sequencing -- Massively Parallel Sequencing Approaches for Characterization of Structural Variation....
Ligazón do recurso
Electrónico eBook
9
Publicado 2005
Table of Contents: ... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...
Ligazón do recurso
Electrónico eBook
10
Publicado 2012
Table of Contents: ... with Unimodal Hazard Rate Functions -- 14. Multiobjective Reliability Allocation in Multi-state Systems...
Ligazón do recurso
Electrónico eBook
11
Publicado 2006
Table of Contents: ...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...
Ligazón do recurso
Electrónico eBook
12
Publicado 2014
Table of Contents: ... Technology - Optimized Design of Renewable Supply Systems for Residential Houses -- State of the Art Review...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ... -- Exploiting Execution Locality with a Decoupled Kilo-Instruction Processor -- Decoupled State-Execute...
Ligazón do recurso
Electrónico eBook
15
Publicado 2010
Table of Contents: ... Parallel Sequencing Technology -- Assessing In Vivo MicroRNA Function in the Germline Stem Cells...
Ligazón do recurso
Electrónico eBook
16
Publicado 2015
Table of Contents: ...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...
Ligazón do recurso
Electrónico eBook
17
Table of Contents: ...General Introduction -- General Introduction -- Techniques of Intervention -- Developmental...
Ligazón do recurso
Electrónico eBook
18
Publicado 2013
Table of Contents: ... are Processed in the Inferior Colliculus -- Chapter 9. Language Parallels in New World Primates -- Chapter 10...
Ligazón do recurso
Electrónico eBook
19
Publicado 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
Ligazón do recurso
Electrónico eBook
20
Publicado 2015
Table of Contents: ...Algorithmic Insights into Finite-State Robots -- Lattice Automata for Control of Self...
Ligazón do recurso
Electrónico eBook