Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
automatic programming » quadratic programming, stochastic programming, mathematical programming
interface automatic » interface automation, interface automata, interface automated
programming control » programming contract, programming contest, programming context
https » http
programming programming » programming programmed, programming program
automatic programming » quadratic programming, stochastic programming, mathematical programming
interface automatic » interface automation, interface automata, interface automated
programming control » programming contract, programming contest, programming context
https » http
1
Table of Contents:
“... of Microcontroller Interfacing -- Embedded Microcontroller Based DC Motor Control: A Project Based Approach...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... File System for Cluster Grids -- Cooperative Write-Behind Data Buffering for MPI I/O -- Hint Controlled...”View full text
Electronic
eBook
4
Table of Contents:
“...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Programming Learning Support System Based on Reading Computer program -- The Display Medium, Academic Major...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... of Control-User Component-Based Parametrised Systems -- Verification Techniques -- Automatic Protocol...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... -- On the Integration of Classboxes into C# -- Automatic Control Flow Generation from Software Architectures....”View full text
Electronic
eBook
9
Table of Contents:
“... with Sessions -- Keeping Control with a Content Management System -- Working with Dates -- Working with Multiple...”
View full text
View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Mining API Popularity -- Automatic Discovery of Unspecified Behaviors in Automotive Control Software...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... – Reusable Elements of User-System Interaction -- A Metamodel-Based Approach for Automatic User Interface...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Identity Management Based on Privacy Attribute Ontology -- Process mgt and Design -- Beyond Control-Flow...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Theory of Secure Control Flow -- Game Semantics Model for Security Protocols -- Communication -- Towards...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Adaptivity in User Interfaces -- Architecture Migration Driven by Code Categorization -- Effective Tool...”View full text
Electronic
eBook
17
Table of Contents:
“... Foundation -- Introducing Windows Workflow Foundation -- Desktop User Interfaces -- Programming with Windows...”
View full text
View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... Composable Mixed Mode Concurrency Control Semantics for Transactional Programs -- Towards a Formal...”View full text
Electronic
eBook
19
Table of Contents:
“... Approach for Automatic Model Composition -- MATA: A Tool for Aspect-Oriented Modeling Based on Graph...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... for Problem Frames -- Visualization of Use Cases through Automatically Generated Activity Diagrams...”View full text
Electronic
eBook