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
Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]
Lecture notes in computer science : 4218 (Alle Bände)
2006
Volltextzugriff (PDF)
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Cellular Automata : 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Simulating Complex Systems by Cellular Automata [Elektronische Ressource]
2010
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
Automata Logics, and Infinite Games : A Guide to Current Research [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evolution of Parallel Cellular Machines : The Cellular Programming Approach [Elektronische Ressource]
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Unconventional Computation (vol. # 4135) : 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Pixelspiele : Modellieren und Simulieren mit zellulären Automaten [Elektronische Ressource]
Springer-Lehrbuch
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Cellular Automata : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evolvable Systems: From Biology to Hardware : Second International Conference, ICES 98 Lausanne, Switzerland, September 23–25, 1998 Proceedings [Elektronische Ressource]
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Finite Automata and Application to Cryptography [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formale Sprachen, abstrakte Automaten und Compiler : Lehr- und Arbeitsbuch für Grundstudium und Fortbildung [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings [Elektronische Ressource]
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata : 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings [Elektronische Ressource]
2003
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
Finite-State Methods and Natural Language Processing : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Game of Life Cellular Automata [Elektronische Ressource]
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Parallel Computing Technologies : 4th International Conference, PaCT-97 Yaroslavl, Russia, September 8–12, 1997 Proceedings [Elektronische Ressource]
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Einführung in die Theorie endlicher Automaten
Reprint 2021, [2022]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formale Sprachen, abstrakte Automaten und Compiler : Lehr- und Arbeitsbuch für Grundstudium und Fortbildung [Elektronische Ressource]
2., überarb. Aufl. 2015, 2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
Theoretical Computer Science and General Issues : 11601
1st ed. 2019, 2019
Volltextzugriff (PDF)
1 – 25 von 63
Suche als RSS-Feed
Aktive Filter
Art des InhaltsHochschulschrift (Sonstige)
Autor / AutorinTerzopoulos, Demetri
SystemstelleJZZ
SystemstelleNXX
Art des MediumsGedruckt
Suchergebnisse filtern
Filter anzeigen