Erscheinungsjahr
Format
Lizenz
TIB-Lesesaalbestand
LUH-Institutsbestand
Synonyme wurden verwendet für: Logic • Logic design • design
Suche ohne Synonyme: keywords:(Logic design)
Verwendete Synonyme:
- deduktion
- logik
- philosophische logik
Verwendete Synonyme:
- logikentwurf
- logischer entwurf
Verwendete Synonyme:
- eingetragenes design
- industrial design
- industrieproduktgestaltung
- produktgestaltung
-
VHDL for logic synthesis
TIBKAT | 2011|Schlagwörter: Computer-aided design, Logischer Entwurf, Logic design -
VLSI design and test : 26th International Symposium, VDAT 2022, Jammu, India, July 17-19, 2022, revised selected papers
TIBKAT | 2022|Schlagwörter: LOGISCHER ENTWURF + LOGISCHE SCHALTKREISE (HARDWARE) -
Advanced SAT-techniques for bounded model checking of blackbox designs
Tema Archiv | 2007|Schlagwörter: Logikentwurf -
Case Study On SYSML and VHDL-AMS for Designing and Validating Systems
Tema Archiv | 2013|Schlagwörter: logischer Entwurf, Design-Modell -
Designing efficient QCA logical circuits with power dissipation analysis
Tema Archiv | 2015|Schlagwörter: logischer Entwurf -
Trust Networks for Recommender Systems
TIBKAT | 2011|Schlagwörter: Logischer Entwurf, Logic design -
Design of high-performance microprocessor circuits
TIBKAT | 2001|Schlagwörter: Logischer Entwurf, Logic circuits, Design and construction -
Algorithmische Entwurfsverfahren für kombinierte PLA/ROM-Steuerwerke unter Verwendung von Zählern
TIBKAT | 1987|Schlagwörter: Logischer Entwurf -
Generation and calibration of compositional performance analysis models for multi-processor systems
Tema Archiv | 2009|Schlagwörter: Logikentwurf -
Die Verwendung mehrwertiger und nicht-monotoner Logiken zur Programmkonstruktion
TIBKAT | 1988|Schlagwörter: Mehrwertige Logik, Mathematische Logik, Logik, Logischer Entwurf -
Digital Computer Principles
TIBKAT | 1987|Schlagwörter: Computer systems. Design, Logischer Entwurf -
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14 - 17, 2004 ; proceedings
TIBKAT | 2004|Schlagwörter: Logischer Entwurf, Deduktion -
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung
TIBKAT | 1993|Schlagwörter: Logischer Entwurf -
CNTFET-based design of ternary logic gates and arithmetic circuits
Tema Archiv | 2011|Schlagwörter: logischer Entwurf, ternary logic -
Informatik: Rechenanlagen : Struktur und Entwurf ; mit 56 Aufgaben
TIBKAT | 1972|Schlagwörter: Logischer Entwurf -
Abstractions for Executable and Checkable Fault Management Models
Tema Archiv | 2014|Schlagwörter: logischer Entwurf, Design-Pattern -
The essence of digital design
TIBKAT | 1998|Schlagwörter: Logischer Entwurf, Logic circuits, Design and construction -
Application of GIS in Internal and External Integration of Land Alteration Survey Technology
Tema Archiv | 2012|Schlagwörter: logischer Entwurf
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.