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
Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen [electronic resource]
1st ed. 1987, 1987
    Datensatz exportieren als...
  • BibTeX
Signaturanalyse : Theoretische Grundlagen und Probleme; Ausblick auf Anwendungen [electronic resource]
1st ed. 1989, 1989
    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
    Datensatz exportieren als...
  • BibTeX
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Informatik : Aufgaben und Lösungen
Springers Lehrbücher der Informatik
1st ed. 1992, 1992
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings [Elektronische Ressource]
2015
    Datensatz exportieren als...
  • BibTeX
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Frontiers in Algorithmics : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6213
2010
    Datensatz exportieren als...
  • BibTeX
Computer Science Logic (vol. # 3634) : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Operational Semantics : A Concise Overview [Elektronische Ressource]
Undergraduate Topics in Computer Science
2014
    Datensatz exportieren als...
  • BibTeX
Computer Science Logic : 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers [Elektronische Ressource]
1997
    Datensatz exportieren als...
  • BibTeX
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures (vol. # 3921) : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Autonome Mobile Systeme 2000 : 16. Fachgespräch Karlsruhe, 20./21. November 2000
Informatik aktuell
1st ed. 2000, 2000
    Datensatz exportieren als...
  • BibTeX
LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Mathematical Foundations of Computer Science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Theoretical Computer Science : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Theory Is Forever : Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Computer Science Logic : 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Technische Informatik : Band 2: Entwurf digitaler Schaltungen [Elektronische Ressource]
eXamen.press
2011
    Datensatz exportieren als...
  • BibTeX
Machines, Computations, and Universality : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings [Elektronische Ressource]
2001
1 – 25 von 151
Suche als RSS-Feed
Aktive Filter
Autor / AutorinMattern, Friedemann
Art des MediumsSonstiges
Neu hinzugefügt... in den letzten 12 Monaten
SchlagwortApplication software
SchlagwortEngineering mathematics
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen