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
-
SLAM: SLice And Merge - Effective Test Generation for Large Systems
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Environment-Friendly Safety
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
A New Test-Generation Methodology for System-Level Verification of Production Processes
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Knowledge Based Transactional Behavior
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Proving Mutual Termination of Programs
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Improving Representative Computation in ExpliSAT
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Assertion Checking Using Dynamic Inference
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Modeling Firmware as Service Functions and Its Application to Test Generation
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Backbones for Equality
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Floating-Point Buffer Compression in a Unified Codec Architecture
British Library Conference Proceedings | 2008|Schlagwörter: Computer graphics, Computer input-output equipment, Graphics hardware -
Using Domain Specific Languages to Support Verification in the Railway Domain
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Circuit Primitives for Monitoring Information Flow and Enabling Redundancy
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
On Behavioral Programming
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Improving Post-silicon Validation Efficiency by Using Pre-generated Data
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Symbolic Model-Based Testing for Industrial Automation Software
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Computing Interpolants without Proofs
British Library Conference Proceedings | 2013|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Synthesizing, Correcting and Improving Code, Using Model Checking-Based Genetic Programming
British Library Conference Proceedings | 2013|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.