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
Implementation and Application of Automata : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract Computing Machines : A Lambda Calculus Perspective [Elektronische Ressource]
Texts in Theoretical Computer Science, An EATCS Series
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata (vol. # 4094) : 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Machines, Computations, and Universality : 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model-Based Testing of Reactive Systems : Advanced Lectures [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formale Sprachen : Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems (vol. # 3829) : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Elektronische Ressource]
2006
Volltextzugriff (PDF)
1 – 13 von 13
Suche als RSS-Feed
Aktive Filter
Autor / AutorinNierstrasz, Oscar
SpracheEnglisch
Art des MediumsNicht angegeben
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen