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
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
    Datensatz exportieren als...
  • BibTeX
Cellular Automata : 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6350
2010
    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
    Datensatz exportieren als...
  • BibTeX
Finite Automata and Application to Cryptography [Elektronische Ressource]
2009
    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
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6252
2010
    Datensatz exportieren als...
  • BibTeX
Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Theory and Practice of Natural Computing : First International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings [Elektronische Ressource]
2012
    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
    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
    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
1 – 11 von 11
Suche als RSS-Feed
Aktive Filter
Art des InhaltsHochschulschrift (Sonstige)
Autor / AutorinTerzopoulos, Demetri
SystemstelleJZZ
SystemstelleNXX
SchlagwortComputer Communication Networks
Suchergebnisse filtern
Filter anzeigen