Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
integration identification » interaction identification, interactions identification, interpretation identification
identification programming » identification programmes, specification programming, verification programming
programming programming » programming programmed, programming program
programming control » programming contract, programming contest, programming context
https » http
1
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Hybrid System Identification -- Verification of Supervisory Control Software Using State Proximity...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Inhaltsangabe: “... -- Personal Protection -- Implementation and Integration of Mosquito Control Measures....”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Identification Through Integrated SNP Data Analysis -- Annotation in Data Integration -- What’s New? What’s...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “..., Identification and Tracking of Multiple Objects in Video Streams under Uncertainties -- Soft Concept Hierarchies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Engines and Parameter Identification -- Dynamic Engine Emission Models -- Modeling and Model-based Control...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Control -- RECOVER: The Benchmark Challenge -- RECOVER: A Benchmark for Integrated Fault Tolerant Flight...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... of Control Systems Based on Non-equilibrium Games -- Rational Systems – Realization and Identification...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... -- Intelligent Control Systems and Optimization -- DEVICE INTEGRATION INTO AUTOMATION SYSTEMS WITH CONFIGURABLE...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...-Database Based Meta-CASE System and its Query Subsystem -- An Intelligent Control System Based on Non...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...: Identification and Storage of Concepts in the Focus of Formal Z Specifications -- A Model Driven Approach...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “... of Embedded Control Software with Full Semantics -- Modeling End-Users as Contributors in Human Computation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Engineering of Supervisory Controllers -- EDD: A Declarative Debugger for Sequential Erlang Programs -- APTE...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “....-Approximation of Sparse Controls in Semilinear Elliptic Equations.-A Non-standard Finite Element Method Based...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... in Cancer -- Proteome Coverage Prediction for Integrated Proteomics Datasets -- Discovering Regulatory...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...-Independent Security -- Cryptographic Protocols -- Secure Multiparty Linear Programming Using Fixed-Point...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... and SVM for Vocal Tract Pathology Detection -- Feature Extraction -- Pair Correlation Integral for Fractal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern