1
Publicado em 2012
Assuntos: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2013
Sumário: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2007
Sumário: ... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2012
Sumário: ... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2005
Sumário: ... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2014
Sumário: ...-SIORHC, distributed MPC with stability constraints based on a game approach, by J.M. Lemos, J.M. Igreja...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... -- On Timed Simulation Relations for Hybrid Systems and Compositionality -- Integrating Discrete...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... of Robust Schedule for Profit Based Cooperation -- Designing a Genetic Algorithm to Solve an Integrated...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2005
Sumário: ...: Supporting Coherent Behavior in Online Systems -- Papers -- Integrating Open User Modeling and Learning...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2012
Sumário: ... for Sudoku Game Interfaces -- Generalized Hamilton-Jacobi-Isaacs Formulation-Based Neural Network H∞ Control...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... Manifesto -- Investigation and Implementation of T-DMB Protocol in NCTUns Simulator -- Empirical Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2012
Sumário: ... Popularity-Aware Load Balancing Algorithm for Structured P2P Systems -- NCCPIS: A Co-simulation Tool...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2006
Sumário: ... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2014
Sumário: ... in Business Process Management -- Towards a Compliance-Aware Inter-organizational Service Integration Platform...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2008
Sumário: ...Regular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2010
Sumário: ...: Response Time and Scalability -- Integration of Similar Location Based Services Proposed by Several...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2015
Sumário: ... Constraints -- Analyzing Organization Structures and Performance through Agent-based Socio-technical Modeling...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2013
Sumário: ... For The Green's Function Formalism Semiconductor Transport Simulations On CPUS And GPUS -- 3 Performance...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2013
Sumário: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Obter o texto integral
Recurso Electrónico livro electrónico