UB Paderborn / Katalog / Suche / im Katalog

26 – 50 von 1.794

Sortiert nach

Concrete Semantics : With Isabelle/HOL [Elektronische Ressource]

2014

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2014 (ZDB-2-SCS)

Logischer Entwurf digitaler Systeme

Hochschultext

2nd ed. 1980, 1980

Link zum Volltext
Springer Technik, Informatik bis 1989 (ZDB-2-STI)

Analog Circuit Theory and Filter Design in the Digital World : With an Introduction to the Morphological Method for Creative Solutions and Design

Moschytz, George S

2019

Link zum Volltext
Springer Engineering 2019 (ZDB-2-ENG)

Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen

Informatik-Fachberichte : 139

Marhöfer, Michael

1st ed. 1987, 1987

Link zum Volltext
Springer Technik, Informatik bis 1989 (ZDB-2-STI)

A First Introduction to Quantum Computing and Information

Zygelman, Bernard

2018

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (ZDB-2-SCS)

High speed digital design : design of high speed interconnects and signaling

First edition, [2015]

Link zum Volltext
Elsevier Books AutoHoldings

Categories and Types in Logic, Language, and Physics : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday [Elektronische Ressource]

2014

Transactions on Computational Science XXIV : Special Issue on Reversible Computing [Elektronische Ressource]

2014

Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings [Elektronische Ressource]

2012

Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers [Elektronische Ressource]

Bonsangue, Marcello M

2014

Digital logic design

4th ed

Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers [Elektronische Ressource]

2012

Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday [Elektronische Ressource]

2014

Engineering digital design [electronic resource]

2nd ed

Computer Aided Systems Theory - EUROCAST 2003 : 9th InternationalWorkshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers [Elektronische Ressource]

2003

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Computer Aided Systems Theory - EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers [Elektronische Ressource]

2005

ASIC Design and Synthesis : RTL Design Using Verilog

Taraate, Vaibbhav

1st ed. 2021, 2021

Link zum Volltext
Springer Engineering 2021 (ZDB-2-ENG)

Model and Design of Improved Current Mode Logic Gates : Differential and Single-ended

1st ed. 2020, 2020

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2020 (ZDB-2-SCS)

Advanced HDL Synthesis and SOC Prototyping : RTL Design Using Verilog

Taraate, Vaibbhav

2019

Link zum Volltext
Springer Engineering 2019 (ZDB-2-ENG)

Handbook of Logical Thought in India

Sarukkai, Sundar[Herausgeber]

2020

Link zum Volltext
Springer Religion and Philosophy 2020 (ZDB-2-REP)

Verification of Sequential and Concurrent Programs [Elektronische Ressource]

Texts in Computer Science

2009

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2009 (ZDB-2-SCS)

Introduction to Digital Systems Design

2019

Link zum Volltext
Springer Engineering 2019 (ZDB-2-ENG)

Modern Formal Methods and Applications [Elektronische Ressource]

Gabbar, Hossam A

2006

Link zum Volltext
Springer Chemistry and Materials Science 2005-2008 (ZDB-1-SCM)

Digital Design from the VLSI Perspective : Concepts for VLSI Beginners

Taraate, Vaibbhav

1st ed. 2023, 2023

Link zum Volltext
Springer Engineering 2023 (ZDB-2-ENG)

Introduzione al Progetto di Sistemi Digitali

2nd ed. 2023, 2023

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (ZDB-2-SCS)

26 – 50 von 1.794

Suche als RSS-Feed

Aktive Filter

Autor / AutorinNaor, Moni

Autor / AutorinVoronkov, Andrei

SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.

SchlagwortMicroprocessors

SchlagwortLogic design

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(1.794)

Schlagwort

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(1.318)
Deutsch
(40)
Italienisch
(3)

Systemstelle

TTQ
(1)
YFB
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Concrete Semantics : With Isabelle/HOL [Elektronische Ressource]

Logischer Entwurf digitaler Systeme

Analog Circuit Theory and Filter Design in the Digital World : With an Introduction to the Morphological Method for Creative Solutions and Design

Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen

A First Introduction to Quantum Computing and Information

High speed digital design : design of high speed interconnects and signaling

Categories and Types in Logic, Language, and Physics : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday [Elektronische Ressource]

Transactions on Computational Science XXIV : Special Issue on Reversible Computing [Elektronische Ressource]

Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings [Elektronische Ressource]

Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers [Elektronische Ressource]

Digital logic design

Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers [Elektronische Ressource]

Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday [Elektronische Ressource]

Engineering digital design [electronic resource]

Computer Aided Systems Theory - EUROCAST 2003 : 9th InternationalWorkshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers [Elektronische Ressource]

Computer Aided Systems Theory - EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers [Elektronische Ressource]

ASIC Design and Synthesis : RTL Design Using Verilog

Model and Design of Improved Current Mode Logic Gates : Differential and Single-ended

Advanced HDL Synthesis and SOC Prototyping : RTL Design Using Verilog

Handbook of Logical Thought in India

Verification of Sequential and Concurrent Programs [Elektronische Ressource]

Introduction to Digital Systems Design

Modern Formal Methods and Applications [Elektronische Ressource]

Digital Design from the VLSI Perspective : Concepts for VLSI Beginners

Introduzione al Progetto di Sistemi Digitali

Aktive Filter

Suchergebnisse filtern