1
Publicado 2010
Table of Contents: ..., Innovative Solutions -- Process Management -- Evidence-Based Software Processes -- SoS Management Strategy...
Ligazón do recurso
Electrónico eBook
2
Publicado 2015
Table of Contents: ... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...
Ligazón do recurso
Electrónico eBook
3
Publicado 2006
Table of Contents: ...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...
Ligazón do recurso
Electrónico eBook
4
Publicado 2010
Table of Contents: ... and Simulation in Autonomous Mobile Robotics -- The Logical Process of Model-Based Reasoning -- Constructive...
Ligazón do recurso
Electrónico eBook
5
por Carsetti, A., Carsetti, A.
Publicado 2013
Table of Contents: ... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...
Ligazón do recurso
Electrónico eBook
8
Publicado 2005
Table of Contents: ... -- Mathematics, Sign and Activity -- Sign Processes in the Mathematics Classroom -- Semiotic Mediation...
Ligazón do recurso
Electrónico eBook
9
Publicado 2010
Table of Contents: ... -- Incorporating an Automatic Judge into Blended Learning Programming Activities -- Visualizing Activities for Self...
Ligazón do recurso
Electrónico eBook
10
Publicado 2006
Table of Contents: ... FOR GENERATING CONCEPTS USING AN ATTRIBUTE TABLE -- ALGORITHM OF MEASUREMENT-BASED ADMISSION CONTROL FOR GPRS...
Ligazón do recurso
Electrónico eBook
11
Publicado 2007
Table of Contents: ... Tolerant Algorithm Based on Active Replication -- An Algorithm for Improving Hilbert-Huang Transform...
Ligazón do recurso
Electrónico eBook
12
Publicado 2006
Table of Contents: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ... of an Automated System for Assessment of Computer Programming Assignments -- Web-Based Logging of Classroom...
Ligazón do recurso
Electrónico eBook
15
Publicado 2006
Table of Contents: ... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...
Ligazón do recurso
Electrónico eBook
16
Publicado 2005
Table of Contents: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
Ligazón do recurso
Electrónico eBook
17
Publicado 2010
Table of Contents: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
Ligazón do recurso
Electrónico eBook
18
Publicado 2005
Table of Contents: ... for Dynamic Model-Based User Interface Development -- Using Task Modelling Concepts for Achieving Adaptive...
Ligazón do recurso
Electrónico eBook
19
Publicado 2010
Table of Contents: ... Information Security Risk Assessment Model -- Constructing Problem-Based Learning Activities Using Self...
Ligazón do recurso
Electrónico eBook
20
Publicado 2007
Table of Contents: ... -- Component-Oriented Programming -- Fractal Component-Based Software Engineering -- Applications -- Object...
Ligazón do recurso
Electrónico eBook