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
Logic Functions and Equations : Examples and Exercises [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modelling Computing Systems : Mathematics for Computer Science [Elektronische Ressource]
Undergraduate Topics in Computer Science
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5728
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5827
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Cellular Automata : A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition
Encyclopedia of Complexity and Systems Science Series
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Deontic Logic in Computer Science : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6181
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic and the Foundations of Game and Decision Theory – LOFT 8 : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 6006
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Descriptional Complexity of Formal Systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings [Elektronische Ressource]
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings [Elektronische Ressource]
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings [Elektronische Ressource]
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Descriptional Complexity of Formal Systems : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Algebraic Informatics : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Developments in Language Theory : 7th International Conference, DLT 2003 Szeged, Hungary, July 7–11, 2003 Proceedings [Elektronische Ressource]
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic Functions and Equations : Binary Models for Computer Science
2nd ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Science – Theory and Applications : 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6072
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic and Its Applications : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5699
2009
Volltextzugriff (PDF)
1 – 25 von 144
Suche als RSS-Feed
Aktive Filter
Autor / AutorinNaor, Moni
Autor / AutorinVoronkov, Andrei
SchlagwortComputer-Aided Engineering (CAD, CAE) and Design.
SchlagwortMicroprocessors
SchlagwortComputational complexity
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen