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
Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5642
2009
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings [Elektronische Ressource]
2008
1 – 5 von 5
Suche als RSS-Feed
Aktive Filter
Art des MediumsNicht angegeben
SchlagwortComputer simulation
Autor / AutorinVardi, Moshe Y
Autor / AutorinWeikum, Gerhard
Suchergebnisse filtern
Filter anzeigen