1
Wydane 2010
Spis treści: ... and Analysis of Process Audit: A Case Study -- A Fuzzy-Based Method for Evaluating the Trustworthiness...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2015
Spis treści: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2005
Spis treści: ... and Lattice-Based Information Landscapes -- Explaining the Structure of FrameNet with Concept Lattices...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2006
Spis treści: ...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Spis treści: ... (Consensus) -- Chap. 14 - Universality of Consensus -- Chap. 15 - The Case of Unreliable Base Objects -- Chap...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2010
Spis treści: ... and Simulation in Autonomous Mobile Robotics -- The Logical Process of Model-Based Reasoning -- Constructive...
Dokumenty pełnotekstowe
Elektroniczne E-book
7
Wydane 2010
Spis treści: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
Dokumenty pełnotekstowe
Elektroniczne E-book
8
Wydane 2010
Spis treści: ... Constructing a Compact Concept Map of Dance Motion with Motion Captured Data -- Using the Petri Nets...
Dokumenty pełnotekstowe
Elektroniczne E-book
9
Wydane 2013
Dokumenty pełnotekstowe
Elektroniczne E-book
10
11
Wydane 2006
Spis treści: ... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...
Dokumenty pełnotekstowe
Elektroniczne E-book
12
Wydane 2006
Spis treści: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Dokumenty pełnotekstowe
Elektroniczne E-book
13
Wydane 2010
Spis treści: ... Course for e Learning -- Adaptive Modelling of Users’ Strategies in Exploratory Learning Using Case-Based...
Dokumenty pełnotekstowe
Elektroniczne E-book
14
Wydane 2005
Spis treści: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Dokumenty pełnotekstowe
Elektroniczne E-book
15
Spis treści: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
Dokumenty pełnotekstowe
Elektroniczne E-book
16
Spis treści: ... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...
Dokumenty pełnotekstowe
Elektroniczne E-book
17
Wydane 2010
Spis treści: ... Variables -- A New Multiblock PLS Based Method to Estimate Causal Models: Application to the Post...
Dokumenty pełnotekstowe
Elektroniczne E-book
18
Wydane 2010
Spis treści: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Dokumenty pełnotekstowe
Elektroniczne E-book
19
Wydane 2008
Spis treści: ... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...
Dokumenty pełnotekstowe
Elektroniczne E-book
20
Wydane 2014
Spis treści: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Dokumenty pełnotekstowe
Elektroniczne E-book