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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Abstraction, Refinement and Proof for Probabilistic Systems [Elektronische Ressource]
Monographs in Computer Science
2005
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
Concrete Semantics : With Isabelle/HOL [Elektronische Ressource]
2014
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
Drawing Programs: The Theory and Practice of Schematic Functional Programming [Elektronische Ressource]
2010
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
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
Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
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]
2014
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
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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verification of Sequential and Concurrent Programs [Elektronische Ressource]
Texts in Computer Science
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modern Formal Methods and Applications [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Quick Start Guide to Verilog
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4–7, 2000 Selected Papers [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I [Elektronische Ressource]
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5825
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Answer Set Programming
1st ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II [Elektronische Ressource]
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Introduction to Logic Circuits & Logic Design with VHDL
2nd ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings [Elektronische Ressource]
2011
Volltextzugriff (PDF)
1 – 25 von 1.537
Suche als RSS-Feed
Aktive Filter
Autor / AutorinNaor, Moni
Autor / AutorinVoronkov, Andrei
SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.
SchlagwortMicroprocessors
SchlagwortComputer science
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen