1
door Baur, Benedict., Baur, Benedict.
Gepubliceerd in 2014
Inhoudsopgave: ...Introduction -- Construction of Lp-Strong Feller Processes -- Elliptic Regularity up...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2008
Inhoudsopgave: ... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2007
Inhoudsopgave: ... Finite Element Methods in Solid Mechanics Problems -- Micro-Meso-Macro Modelling of Composite Materials...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2015
Inhoudsopgave: ... Codes: from Hamming to Modern Coding Theory -- ROSCoq: Robots powered by Constructive Reals...
Volledige tekst
Elektronisch E-boek
5
door Sakhnovich, Lev A., Sakhnovich, Lev A.
Gepubliceerd in 2012
Inhoudsopgave: ...Introduction -- 1 Levy processes -- 2 The principle of imperceptibility of the boundary -- 3...
Volledige tekst
Elektronisch E-boek
6
door Liggett, Thomas M., Liggett, Thomas M.
Gepubliceerd in 2005
Inhoudsopgave: ...The Construction, and Other General Results -- Some Basic Tools -- Spin Systems -- Stochastic Ising...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2006
Inhoudsopgave: ... Certification -- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof...
Volledige tekst
Elektronisch E-boek
8
Gepubliceerd in 2014
Inhoudsopgave: ... Developments, Challenges and Future Prospects -- Development of Computer Aided Process Planning System...
Volledige tekst
Elektronisch E-boek
9
Gepubliceerd in 2018
Onderwerpen: ...Construction industry Mathematical models....
Volledige tekst
E-boek
10
Gepubliceerd in 2011
Onderwerpen: ...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...
Volledige tekst
Elektronisch E-boek
11
Gepubliceerd in 2012
Inhoudsopgave: ... in Interactive Storytelling -- SanjigenJiten : Computer Assisted Language Learning System within a 3D Game...
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2006
Inhoudsopgave: ... for Real-Time Rendering of Deformable Translucent Objects -- Interactively Rendering Dynamic Caustics...
Volledige tekst
Elektronisch E-boek
13
Gepubliceerd in 2008
Inhoudsopgave: ... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2013
Inhoudsopgave: ... Communication -- The Psychopathology of Information Processing Systems -- Information and Computation...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2013
Inhoudsopgave: ... Classroom -- 5.Focus-based Constructive Interaction -- 6.Collaborative and Differential Utterances, Pivotal...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2005
Inhoudsopgave: ... Design Analysis and Cognitive Processes -- Modelling Wayfinding in Public Transport: Network Space...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2006
Inhoudsopgave: ... Optimization Approaches to Binary Tomography -- Construction of Switching Components -- Discrete Topology...
Volledige tekst
Elektronisch E-boek
18
door Thomas, Adrian., Thomas, Adrian.
Gepubliceerd in 2008
Inhoudsopgave: ... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2005
Inhoudsopgave: ... in Curriculum Construction to Computer Science -- Teaching in the Hardware Design Area -- An Interactive Systemc...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2005
Inhoudsopgave: ... for Comparison of Two Independent cDNA Filter Microarrays -- Large Deviations for Interacting Processes...
Volledige tekst
Elektronisch E-boek