1
by Baur, Benedict., Baur, Benedict.
Published 2014
Table of Contents: ...Introduction -- Construction of Lp-Strong Feller Processes -- Elliptic Regularity up...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
View full text
Electronic eBook
3
Published 2015
Table of Contents: ... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Finite Element Methods in Solid Mechanics Problems -- Micro-Meso-Macro Modelling of Composite Materials...
View full text
Electronic eBook
5
Table of Contents: ...Introduction -- 1 Levy processes -- 2 The principle of imperceptibility of the boundary -- 3...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...
View full text
Electronic eBook
7
Published 2006
Subjects: ...Cell Biology. https://scigraph.springernature.com/ontologies/product-market-codes/L16008...
View full text
Electronic eBook
8
Table of Contents: ...The Construction, and Other General Results -- Some Basic Tools -- Spin Systems -- Stochastic Ising...
View full text
Electronic eBook
9
Published 2012
Table of Contents: ... in Interactive Storytelling -- SanjigenJiten : Computer Assisted Language Learning System within a 3D Game...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...
View full text
Electronic eBook
13
Published 2018
Subjects: ...Construction industry Mathematical models....
View full text
eBook
14
Published 2006
Table of Contents: ... for Real-Time Rendering of Deformable Translucent Objects -- Interactively Rendering Dynamic Caustics...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Communication -- The Psychopathology of Information Processing Systems -- Information and Computation...
View full text
Electronic eBook
16
Published 2011
Subjects: ...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Optimization Approaches to Binary Tomography -- Construction of Switching Components -- Discrete Topology...
View full text
Electronic eBook
18
by Thomas, Adrian., Thomas, Adrian.
Published 2008
Table of Contents: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Classroom -- 5.Focus-based Constructive Interaction -- 6.Collaborative and Differential Utterances, Pivotal...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... Design Analysis and Cognitive Processes -- Modelling Wayfinding in Public Transport: Network Space...
View full text
Electronic eBook