1
Udgivet 2010
Indholdsfortegnelse: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
Få fuldtekst
Electronisk eBog
2
Udgivet 2015
Indholdsfortegnelse: ... Dust Reinforced Epoxy Composite Using Grey Relational Analysis -- Weight Computation of Alternatives...
Få fuldtekst
Electronisk eBog
3
Udgivet 2007
Indholdsfortegnelse: ... Software Development? -- Invited Tutorials -- Algorithms for Interface Synthesis -- A Tutorial...
Få fuldtekst
Electronisk eBog
4
Udgivet 2014
Indholdsfortegnelse: ... of Dynamic Process Models under Uncertainty -- Steps towards Web Ubiquitous Computing -- Estimation...
Få fuldtekst
Electronisk eBog
5
Udgivet 2014
Indholdsfortegnelse: ... Conceptual Modeling -- Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems...
Få fuldtekst
Electronisk eBog
6
Udgivet 2008
Indholdsfortegnelse: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Få fuldtekst
Electronisk eBog
7
Udgivet 2010
Indholdsfortegnelse: ... to the Simulation of Logistics Systems -- Development of a Simulation Model for Multimodal, Cross-Company Logistics...
Få fuldtekst
Electronisk eBog
8
Fag: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
Få fuldtekst
Electronisk eBog
9
Udgivet 2007
Indholdsfortegnelse: ... for Matching in Computer Vision -- SNNR-Based Improved Multi-modal Fusion and Fission Using Fuzzy Value Based...
Få fuldtekst
Electronisk eBog
10
Udgivet 2010
Indholdsfortegnelse: ... Risk Measures -- Computing with Words and Systemic Functional Linguistics: Linguistic Data Summaries...
Få fuldtekst
Electronisk eBog
11
Udgivet 2007
Indholdsfortegnelse: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
Få fuldtekst
Electronisk eBog
12
Udgivet 2007
Indholdsfortegnelse: ... -- Certified Computer Algebra on Top of an Interactive Theorem Prover -- Quantifier Elimination for Approximate...
Få fuldtekst
Electronisk eBog
13
Indholdsfortegnelse: ... -- The Value of Information and the Stochastic Solution -- Two-Stage Recourse Problems -- Multistage Stochastic...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ... et al -- 24 A Periodic Bivariate Integer-Valued Autoregressive Model: M. Monteiro et al -- 25...
Få fuldtekst
Electronisk eBog
15
Udgivet 2010
Indholdsfortegnelse: ... Cases of Binary Quadratic Programs -- Generalized Solutions of Multi-valued Monotone Quasi-variational...
Få fuldtekst
Electronisk eBog