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
Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Theoretical Computer Science and General Issues : 11522
1st ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Ereignisdiskrete Systeme : Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen
De Gruyter Studium
3., aktualisierte Auflage, [2017]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Carl Adam Petri : Eine Biographie [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Understanding Petri Nets : Modeling Techniques, Analysis Methods, Case Studies [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen
[2014]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Time and Petri Nets [Elektronische Ressource]
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings [Elektronische Ressource]
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modeling Time in Computing [Elektronische Ressource]
Monographs in Theoretical Computer Science. An EATCS Series
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Datengetriebene parallelisierte Ablaufsteuerung für die automatisierte industrielle Bildverarbeitung
2012
Signatur: TVV19168
    Datensatz exportieren als...
  • BibTeX
Analysis and Correctness of Algebraic Graph and Model Transformations [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien [Elektronische Ressource]
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Petrinetze : Modellierungstechnik, Analysemethoden, Fallstudien
Studium, Leitfäden der Informatik
1. Aufl, 2010
Signatur: TVG1693
    Datensatz exportieren als...
  • BibTeX
Coloured Petri Nets : Modelling and Validation of Concurrent Systems [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Coloured petri nets : modelling and validation of concurrent systems
2009
Signatur: TVG1685
    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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Petri-Netze [Elektronische Ressource]
eXamen.press
2. Auflage, 2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Entscheidbarkeit bei Petri Netzen : Überblick und Kompendium [Elektronische Ressource]
eXamen.press
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Petri-Netze
eXamen-press
2. Aufl, 2008
Signatur: TVG1677(2)
    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
Petri Nets and Other Models of Concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceeding [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Dynamic analysis of Petri net-based discrete systems
Lecture notes in control and information sciences : 356 (Alle Bände)
2007
Signatur: TVG1651
1 – 25 von 110
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen