Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
programming programming » programming programmed, programming program
programming analyses » programming analysis, programming analysing, programme analyses
analyses https » analysis https, analysis http, catalysis https
1
Buchumschlag
Inhaltsangabe: “..., Design, Implementation and Refactoring -- Elementary Design Patterns -- Analysing a System -- Design...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... -- Coinductive Logic Programming -- Analysing and Extending Well-Founded and Partial Stable Semantics Using...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “...Sleep-Transistor Based Power-Gating Tradeoff Analyses -- Modelling and Analysis of Manufacturing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Multiprocessor Robotic Systems -- Robot Programming by Demonstration -- Design Principles of the Component-Based...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
“...Integrated Aquaculture Farming (IAF) offers hope for increasing income significantly for poor...”
Artikel
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “...Plenary Talks -- Supporting Participative Joint Decisions in Integrated Design and Manufacturing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
von Kayal, Dhrubojyoti., Kayal, Dhrubojyoti.
Veröffentlicht 2008
Inhaltsangabe: “... Tier Design Patterns -- Exploring Integration Tier Design Patterns -- Exploring Crosscutting Design...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... -- Architectural Specification and Static Analyses of Contractual Application Properties -- Integrating Quality...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2011
Inhaltsangabe: “... Service-Oriented Business Processes -- A Formal Support to Business and Architectural Design for Service...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... for WCET Analysis -- Result Certification of Static Program Analysers with Automated Theorem Provers -- A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Architecture for Reconfigurable Computing -- Integrated Design Environment for Reconfigurable HPC...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Considerations and optimization of adaptive trial design in clinical development programs -- Optimal Cost...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
“..., and this effort has been continued with the introduction of Program Desa Lestari. Program Desa Lestari...”
Volltext
Artikel
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Design and Verification of Critical Embedded Systems Using SCADE and Esterel -- Research Papers -- Static...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “...Evolving Critical Systems - Track Introduction -- Statistical Abstraction Boosts Design and Test...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... on Grid Platform -- The University of Virginia Campus Grid: Integrating Grid Technologies with the Campus...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern