1
Publié 2006
Table des matières: ... Components Selection -- A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes...
Accéder au texte intégral
Électronique eBook
2
Publié 2014
Table des matières: ... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...
Accéder au texte intégral
Électronique eBook
3
Publié 2015
Table des matières: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Accéder au texte intégral
Électronique eBook
4
Publié 2015
Table des matières: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
Accéder au texte intégral
Électronique eBook
5
par Faison, Ted., Faison, Ted.
Publié 2006
Table des matières: ... Firing -- Event-Based Interaction Patterns -- Functional Roles -- Case Study 1: A System Browser -- Case...
Accéder au texte intégral
Électronique eBook
6
Publié 2007
Table des matières: ... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...
Accéder au texte intégral
Électronique eBook
7
Table des matières: ... of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions....
Accéder au texte intégral
Électronique eBook
8
Publié 2012
Table des matières: ... -- Testing for Neuromuscular Problems and Athletic Performance. ACL Injury Prevention Programs: Sportsmetrics...
Accéder au texte intégral
Électronique eBook
9
Publié 2014
Table des matières: ... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...
Accéder au texte intégral
Électronique eBook
10
Publié 2014
Table des matières: ... Appraisal Framework -- Programming Agents with Emotions -- Utilizing Emotions in Autonomous Robots...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
Accéder au texte intégral
Électronique eBook
13
Publié 2012
Table des matières: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
Accéder au texte intégral
Électronique eBook
14
Publié 2005
Table des matières: ... Transaction Service Configurations -- Alice: Modularization of Middleware Using Aspect-Oriented Programming...
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
Accéder au texte intégral
Électronique eBook
16
Publié 2010
Table des matières: ...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...
Accéder au texte intégral
Électronique eBook
17
Publié 2007
Table des matières: ... Applications -- Combining Virtual Reality and Functional Magnetic Resonance Imaging (fMRI): Problems...
Accéder au texte intégral
Électronique eBook
18
Table des matières: ..., Decisions, and Loops -- C# Exception Handling -- Object-Oriented Programming Basics -- Components and Object...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ... Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance...
Accéder au texte intégral
Électronique eBook
20
Publié 2010
Table des matières: ... for Estimating Worst-Case Traversal Times in Component Networks -- Towards Resource-Optimal Routing Plans...
Accéder au texte intégral
Électronique eBook