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
-
Supervisory Control of Discrete-Event Systems via IC3
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Injecting Floating-Point Testing Knowledge into Test Generators
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Generating JML Specifications from Alloy Expressions
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Partial Quantifier Elimination
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Read, Write and Copy Dependencies for Symbolic Model Checking
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Automated Detection and Repair of Concurrency Bugs
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Formal Verification of Secure User Mode Device Execution with DMA
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Handling TSO in Mechanized Linearizability Proofs
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Generating Modulo-2 Linear Invariants for Hardware Model Checking
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE
British Library Conference Proceedings | 2012|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Partial-Order Reduction for Multi-core LTL Model Checking
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, Hardware -
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions
British Library Conference Proceedings | 2014|Schlagwörter: Computer programs, Computer input-output equipment, Computer software, 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
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.