1
Izdano 2013
Kazalo: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Polni tekst
Elektronski eKnjiga
2
Kazalo: ... -- Finite-field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial...
Polni tekst
Elektronski eKnjiga
3
Izdano 2012
Teme: ...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...
Polni tekst
Elektronski eKnjiga
4
Izdano 2007
Kazalo: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
Polni tekst
Elektronski eKnjiga
5
Kazalo: ...Part I Prerequisites -- 1 Generalities on parallel robots -- 1.1 Introduction -- 1.2 General...
Polni tekst
Elektronski eKnjiga
6
Kazalo: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
Polni tekst
Elektronski eKnjiga
7
Izdano 2010
Kazalo: ... on Heterogeneous Processors Based on Their Functional Performance Models -- Accelerating S3D: A GPGPU Case Study...
Polni tekst
Elektronski eKnjiga
8
Teme: ...Ethics. https://scigraph.springernature.com/ontologies/product-market-codes/E14000...
Polni tekst
Elektronski eKnjiga
9
Izdano 2008
Kazalo: ... Cooperative Development of Bio-ontologies – A Case Study with BIO2Me -- Nested q-Partial Graphs for Genetic...
Polni tekst
Elektronski eKnjiga
10
Izdano 2006
Kazalo: ...Design Challenges in Multiprocessor Systems-on-Chip -- Some Issues in Model-Based Development...
Polni tekst
Elektronski eKnjiga
11
Izdano 2014
Kazalo: ... to Develop Sustainable Research Laboratories -- Integrated System Concept for Energy Efficient Smart...
Polni tekst
Elektronski eKnjiga
12
Izdano 2010
Kazalo: ...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...
Polni tekst
Elektronski eKnjiga
13
Izdano 2008
Kazalo: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Polni tekst
Elektronski eKnjiga
14
Kazalo: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
Polni tekst
Elektronski eKnjiga
15
Izdano 2015
Kazalo: ...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...
Polni tekst
Elektronski eKnjiga
16
Izdano 2008
Kazalo: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
Polni tekst
Elektronski eKnjiga
17
Izdano 2005
Kazalo: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
Polni tekst
Elektronski eKnjiga
18
Izdano 2010
Kazalo: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Polni tekst
Elektronski eKnjiga
19
Izdano 2014
Kazalo: ... Neuroscience and Philosophy: the Case of Sleep and Dreaming; Claude Debru -- Metaphysics in the Thirties...
Polni tekst
Elektronski eKnjiga
20
Izdano 2015
Kazalo: ... of Linear Systems with Disturbances, by Francisco Javier Bejarano and Jorge Dávila -- Development of a...
Polni tekst
Elektronski eKnjiga