Synonyme wurden verwendet für: Computer • Computer engineering. • Computer hardware • engineering. • hardware
Suche ohne Synonyme: keywords:(Computer engineering. Computer hardware)
Verwendete Synonyme:
- computers
- digitale datenverarbeitungsanlage
- digitale rechenanlage
- digitaler computer
- digitalrechner
- dva
- edp hardware
- edv anlage
- edv hardware
- electronic data processing machines
- electronic digital computers
- elektronenrechner
- elektronische datenverarbeitungsanlage
- elektronische rechenanlage
- elektronischer rechenautomat
- elektronisches datenverarbeitungssystem
- programmgesteuerter digitaler rechenautomat
- rechenanlage
- rechenautomat
- rechner
Verwendete Synonyme:
- computer organization
- rechnerorganisation
Verwendete Synonyme:
- computer systems hardware
- computing hardware
- hard ware
- hardware
- rechner hardware
Verwendete Synonyme:
- industrielle technik
- ingenieurwesen
- ingenieurwissenschaft
- ingenieurwissenschaften
- technik
- technikwissenschaften
- technique
- technische wissenschaften
Verwendete Synonyme:
- computer hardware
- computer input output equipment
- computer systems hardware
- computing hardware
- hard ware
- rechner hardware
-
GPU-Accelerated Deep Shadow Maps for Direct Volume Rendering
British Library Conference Proceedings | 2006|Schlagwörter: Computer graphics, Computer input-output equipment, Graphics hardware -
A Complete Bounded Model Checking Algorithm for Pushdown Systems
British Library Conference Proceedings | 2008|Schlagwörter: Computer input-output equipment, Computer software, Hardware -
Test Case Generation for Ultimately Periodic Paths
British Library Conference Proceedings | 2008|Schlagwörter: Computer input-output equipment, Computer software, Hardware -
Dynamic Testing Via Automata Learning
British Library Conference Proceedings | 2008|Schlagwörter: Computer input-output equipment, Computer software, Hardware -
From Hardware Verification to Software Verification: Re-use and Re-learn
British Library Conference Proceedings | 2008|Schlagwörter: Computer input-output equipment, Computer software, Hardware -
Locating Regression Bugs
British Library Conference Proceedings | 2008|Schlagwörter: Computer input-output equipment, Computer software, Hardware -
Using Virtual Coverage to Hit Hard-To-Reach Events
British Library Conference Proceedings | 2008|Schlagwörter: Computer input-output equipment, Computer software, Hardware -
Scaling Commercial Verification to Larger Systems
British Library Conference Proceedings | 2008|Schlagwörter: Computer input-output equipment, Computer software, Hardware -
The Rabin Index of Parity Games (Extended Abstract)
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
On-Line Detection and Prediction of Temporal Patterns
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Symbolic Testing of OpenCL Code
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Reverse Coverage Analysis
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Interpolation-Based Function Summaries in Bounded Model Checking
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Synthesis with Clairvoyance
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Efficient Depth Buffer Compression
British Library Conference Proceedings | 2006|Schlagwörter: Computer graphics, Computer input-output equipment, Graphics hardware -
The Visual Vulnerability Spectrum: Characterizing Architectural Vulnerability for Graphics Hardware
British Library Conference Proceedings | 2006|Schlagwörter: Computer graphics, Computer input-output equipment, Graphics hardware -
Partial Quantifier Elimination
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
On the Architecture of System Verification Environments
British Library Conference Proceedings | 2008|Schlagwörter: Computer input-output equipment, Computer software, Hardware -
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware
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.