Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Reversible Computation : 16th International Conference, RC 2024, Toruń, Poland, July 4–5, 2024, Proceedings
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Signaturanalyse : Theoretische Grundlagen und Probleme; Ausblick auf Anwendungen
Informatik-Fachberichte : 177
1st ed. 1989, 1989
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logischer Entwurf digitaler Systeme Beispiele und Übungen
Hochschultext
1st ed. 1975, 1975
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reversible Computation : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Heterogeneous SoC Design and Verification : HW/SW Co-Exploration, Co-Design, Co-Verification and Co-Debugging
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
VHDL for logic synthesis
3rd ed
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
AI and UX : Why Artificial Intelligence Needs User Experience
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logischer Entwurf digitaler Systeme
Hochschultext
2nd ed. 1980, 1980
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computersysteme — Aufbau und Funktionsweise
2nd ed. 1983, 1983
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Refinement : Semantics, Languages and Applications
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A First Introduction to Quantum Computing and Information
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Entwurf und Diagnose komplexer digitaler Systeme
1st ed. 1983, 1983
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Categories and Types in Logic, Language, and Physics : Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Transactions on Computational Science XXIV : Special Issue on Reversible Computing [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Concrete Semantics : With Isabelle/HOL [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analog Circuit Theory and Filter Design in the Digital World : With an Introduction to the Morphological Method for Creative Solutions and Design
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstraction, Refinement and Proof for Probabilistic Systems [Elektronische Ressource]
Monographs in Computer Science
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Drawing Programs: The Theory and Practice of Schematic Functional Programming [Elektronische Ressource]
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen
Informatik-Fachberichte : 139
1st ed. 1987, 1987
Volltextzugriff (PDF)
1 – 25 von 1.587
Suche als RSS-Feed
Aktive Filter
Autor / AutorinNaor, Moni
Autor / AutorinVoronkov, Andrei
SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.
SchlagwortMicroprocessors
SchlagwortOperating systems (Computers)
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen