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
Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers [Elektronische Ressource]
2012
    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
Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings [Elektronische Ressource]
1998
    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
Implementation and Application of Automata : 6th International Conference, CIAA 2001 Pretoria, South Africa, July 23–25, 2001 Revised Papers [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata : 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata : 7th International Conference, CIAA 2002 Tours, France, July 3–5, 2002 Revised Papers [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings [Elektronische Ressource]
2001
    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
Computer Science – Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Computer Science – Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Developments in Language Theory : 7th International Conference, DLT 2003 Szeged, Hungary, July 7–11, 2003 Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Developments in Language Theory : 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Developments in Language Theory : 6th International Conference, DLT 2002 Kyoto, Japan, September 18–21, 2002 Revised Papers [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Computer Science – Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings [Elektronische Ressource]
2011
    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
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science : 20th Conference New Delhi, India, December 13–15, 2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Algebraic Foundations in Computer Science : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science : 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 5947
2010
1 – 25 von 88
Suche als RSS-Feed
Aktive Filter
Autor / AutorinIbarra, Oscar H
SystemstelleTTQ
SystemstelleTVI
SpracheEnglisch
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen