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
-
Synthesizing Test Models from Test Cases
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Significant Diagnostic Counterexamples in Probabilistic Model Checking
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Is Verification Getting Too Complex?
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Proofs, Interpolants, and Relevance Heuristics (HVC 2008 Award Winner)
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Progress in Automated Software Defect Prediction
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( GBP IA)
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Linear-Time Reductions of Resolution Proofs
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Evaluating Workloads Using Comparative Functional Coverage
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
A Meta Heuristic for Effectively Detecting Concurrency Errors
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Hazards of Verification
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Practical Considerations Concerning HL-to -RT Equivalence Checking
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Structural Contradictions
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
D-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
SeeCode - A Code Review Plug-in for Eclipse
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta - Sigma Modulator
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Iterative Delta Debugging
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
Automatic Boosting of Cross-Product Coverage Using Bayesian Networks
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software -
A Uniform Approach to Three- Valued Semantics for μ-Calculus on Abstractions of Hybrid Automata
British Library Conference Proceedings | 2009|Schlagwörter: Computer input-output equipment, Computer software
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.