1
Publicado em 2010
Sumário: ... and Analysis of Process Audit: A Case Study -- A Fuzzy-Based Method for Evaluating the Trustworthiness...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2015
Sumário: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2005
Sumário: ... and Lattice-Based Information Landscapes -- Explaining the Structure of FrameNet with Concept Lattices...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2006
Sumário: ...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
por Raynal, Michel., Raynal, Michel.
Publicado em 2013
Sumário: ... (Consensus) -- Chap. 14 - Universality of Consensus -- Chap. 15 - The Case of Unreliable Base Objects -- Chap...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2010
Sumário: ... and Simulation in Autonomous Mobile Robotics -- The Logical Process of Model-Based Reasoning -- Constructive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2010
Sumário: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2010
Sumário: ... Constructing a Compact Concept Map of Dance Motion with Motion Captured Data -- Using the Petri Nets...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2013
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
por Ahmad, Syarbaini
Publicado em 2016
Assuntos: ...Debugging in computer science - Computer programs...
Obter o texto integral
Tese
11
Publicado em 2006
Sumário: ... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2006
Sumário: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2010
Sumário: ... Variables -- A New Multiblock PLS Based Method to Estimate Causal Models: Application to the Post...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2010
Sumário: ... Course for e Learning -- Adaptive Modelling of Users’ Strategies in Exploratory Learning Using Case-Based...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2005
Sumário: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
por Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Publicado em 2008
Sumário: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2014
Sumário: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2008
Sumário: ... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2010
Sumário: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2012
Sumário: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Obter o texto integral
Recurso Eletrônico livro eletrônico