Synonyme wurden verwendet für: Engineering
Suche ohne Synonyme: keywords:(Engineering)
Verwendete Synonyme:
- industrielle technik
- ingenieurwesen
- ingenieurwissenschaft
- ingenieurwissenschaften
- technik
- technikwissenschaften
- technique
- technische wissenschaften
-
H042 BEAMFORMING FOR MIMO RELAYING SYSTEMS BASED ON CHANNEL MEAN FEEDBACK
British Library Conference Proceedings | 2012|Schlagwörter: Software engineering, Computer engineering, Automation engineering -
Using Cellular Automata Model to Analyze the Impact of Ideology in the Voting Processes
British Library Conference Proceedings | 2008|Schlagwörter: Engineering, Engineering mathematics -
Host-based Neuron Node Design of a LonWorks System
British Library Conference Proceedings | 2008|Schlagwörter: Engineering, Engineering mathematics -
Partner Selecting, Partnership and Alliance Performance in Alliance Development Process
British Library Conference Proceedings | 2014|Schlagwörter: Engineering, Engineering management -
Evaluation on the Risk of Supply Chain Basing on the RS and the Principal Component in the Real Estate Enterprises
British Library Conference Proceedings | 2014|Schlagwörter: Engineering, Engineering management -
Papers - Adaptive Mode Selection Based on Chaotic Search in a Fabry-Perot Laser Diode
Online Contents | 1998|Schlagwörter: Technik -
Practical Analysis Framework for Software-Based Attestation Scheme
British Library Conference Proceedings | 2014|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
SCC-Based Improved Reachability Analysis for Markov Decision Processes
British Library Conference Proceedings | 2014|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
GPU Accelerated Counterexample Generation in LTL Model Checking
British Library Conference Proceedings | 2014|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
DETC2012-70756 An Exploratory Study of Ontology-Based Platform Analysis Under User Preference Uncertainty
British Library Conference Proceedings | 2012|Schlagwörter: Design engineering, Engineering -
Research and Comparison on the Algorithms of Sampled Data Preprocess in Power System On-Line Insulation Monitoring
British Library Conference Proceedings | 2012|Schlagwörter: Computer engineering, Electronics engineering, Electrical engineering -
CONTENTS (August 1998) - Papers - Adaptive Mode Selection Based on Chaotic Search in a Fabry-Perot Laser Diode
Online Contents | 1998|Schlagwörter: Technik -
Research on J2ME-Based Mobile Random Chat System
British Library Conference Proceedings | 2012|Schlagwörter: Computer engineering, Electronics engineering, Electrical engineering -
TAuth: Verifying Timed Security Protocols
British Library Conference Proceedings | 2014|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
Verification of Functional and Non-functional Requirements of Web Service Composition
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
An Empirical Study of Customers' Intentions by Using Logistics Information Systems (LIS)
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Industrial engineering -
Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
Supply Chain Collaboration Based on the Wholesale-Price and Buy-Back Contracts
British Library Conference Proceedings | 2012|Schlagwörter: Computer engineering, Electronics engineering, Electrical engineering -
A Framework for Porting Linux OS to a cc-NUMA Server Based on Loongson Processors
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Industrial engineering -
Medium Access Control Protocol for Embedded Sensor Networks and B-MAC Design
British Library Conference Proceedings | 2013|Schlagwörter: Electrical engineering -
New Immersive Display System Based on Single Projector and Curved Surface Reflector
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Industrial engineering -
Analysis and Optimization of CFS Scheduler on NUMA-Based Systems
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Industrial engineering -
A UTP Semantics for Communicating Processes with Shared Variables
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
Recognition of CD4 Cell Images Based on SVM with an Improved Parameter
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Industrial engineering -
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization
British Library Conference Proceedings | 2012|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
Formal Verification of Scalable NonZero Indicators
British Library Conference Proceedings | 2009|Schlagwörter: Software engineering, Knowledge engineering -
An Improved Risk Assessment Expert System for Elevator in Use
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering, Industrial engineering -
More Anti-chain Based Refinement Checking
British Library Conference Proceedings | 2012|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
Automatic Generation of Provably Correct Embedded Systems
British Library Conference Proceedings | 2012|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
Model Checking a Model Checker: A Code Contract Combined Approach
British Library Conference Proceedings | 2010|Schlagwörter: Formal engineering methods, Software engineering -
An Analytical and Experimental Comparison of CSP Extensions and Tools
British Library Conference Proceedings | 2012|Schlagwörter: Software engineering, Formal engineering methods, Engineering methods -
Model Checking Hierarchical Probabilistic Systems
British Library Conference Proceedings | 2010|Schlagwörter: Formal engineering methods, Software engineering -
A best practice advice system to support automotive engineering analysis processes
Springer Verlag | 2003|Schlagwörter: Engineering analysis, Engineering repository, Engineering -
An Improved Coding Algorithm of Shannon Code
British Library Conference Proceedings | 2011|Schlagwörter: Industrial engineering, Management engineering -
A Study for Improving The Effect of Ecm in Image Segmentation
British Library Conference Proceedings | 2011|Schlagwörter: Industrial engineering, Management engineering -
Investigating Human-Robot Teams for Learning-Based Semi-autonomous Control in Urban Search and Rescue Environments
Springer Verlag | 2018|Schlagwörter: Engineering, Electrical Engineering, Mechanical Engineering -
The architecture of an event correlation service for adaptive middleware-based applications
British Library Conference Proceedings | 2008|Schlagwörter: Software engineering, Australian software engineering -
Empirical Analysis on the Relationship between Regional logistics and Regional Economy in China
British Library Conference Proceedings | 2011|Schlagwörter: Industrial engineering, Management engineering -
Abstract Logic Tree Based Framework for Component Based Solution Composition Design and Execution
British Library Conference Proceedings | 2007|Schlagwörter: Software engineering, Knowledge engineering -
Detecting Algorithm for Object Based-Double Haar Transform
British Library Conference Proceedings | 2011|Schlagwörter: Environmental engineering -
Research and Implementation of Workflow Engine Based on MOSS
British Library Conference Proceedings | 2011|Schlagwörter: Environmental engineering -
Performance Analysis of a Seamless Mobility Support Scheme in the Locator/Identifier Separation Network
British Library Conference Proceedings | 2011|Schlagwörter: Environmental engineering -
Research of Group Communication Method on Multi-Robot System
British Library Conference Proceedings | 2011|Schlagwörter: Environmental engineering -
Extraction of Chinese-English Phrase Translation Pairs
British Library Conference Proceedings | 2011|Schlagwörter: Environmental engineering -
Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution
British Library Conference Proceedings | 2006|Schlagwörter: Software engineering, Knowledge engineering -
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions
British Library Conference Proceedings | 2013|Schlagwörter: Software engineering -
Multi-model Based Optimization for Stream Query Processing
British Library Conference Proceedings | 2006|Schlagwörter: Software engineering, Knowledge engineering -
Performance Assessment for e-Government Services: An Experience Report
British Library Conference Proceedings | 2007|Schlagwörter: Software engineering, Component-based software engineering -
Heuristic optimisation algorithm for Java dynamic compilation
Online Contents | 2012|Schlagwörter: Software Engineering
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.