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
Stochastic Petri nets : an introduction to the theory
2. ed, 2002
Signatur: TVG1732(2)
    Datensatz exportieren als...
  • BibTeX
Datengetriebene parallelisierte Ablaufsteuerung für die automatisierte industrielle Bildverarbeitung
2012
Signatur: TVV19168
    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
2009
Signatur: TVG1685
    Datensatz exportieren als...
  • BibTeX
Petri-Netze
eXamen-press
2. Aufl, 2008
Signatur: TVG1677(2)
    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
    Datensatz exportieren als...
  • BibTeX
Petri nets for systems engineering : a guide to modeling, verification and applications ; with 9 tables
2003
Signatur: TVG1627
    Datensatz exportieren als...
  • BibTeX
Elements of distributed algorithms : modeling and analysis with Petri nets
1998
Signatur: TVG1512
    Datensatz exportieren als...
  • BibTeX
Theorie und Anwendung constraintbasierter Planungsverfahren
Berichte aus der Informatik
Als Ms. gedr, 2000
Signatur: M25246
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik, Petri-Netze
Springer-Lehrbuch
2003
Signatur: TVG1619
    Datensatz exportieren als...
  • BibTeX
Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002 : 9. - 11. Oktober 2002 in Potsdam ; [Workshop der Gesellschaft für Informatik e.V. (GI) und Treffen ihrer Fachgruppen "Petrinetze und Verwandte Systemmodelle" und " Entwicklungsmethoden für Informationssysteme und deren Anwendung" (EMISA)
GI-Edition : Proceedings : 21 (Alle Bände)
2002
Signatur: TTQ022362
    Datensatz exportieren als...
  • BibTeX
Petri-Netz-Bilder-Buch : (eine elementare Einführung in die beste bildliche Darstellung zeitlicher Veränderungen)
2002
Signatur: TVG1588
    Datensatz exportieren als...
  • BibTeX
Entwicklung einer Methode zur parallelen verteilten ereignisgesteuerten Simulation von stochastischen Petri-Netzen : = Developing a method for parallel distributed event simulation of stochastic Petri nets
Berichte aus der Informatik
2002
Signatur: TVG1570
    Datensatz exportieren als...
  • BibTeX
Modelling, analysis, and design of hybrid systems
Lecture notes in control and information sciences : 279 (Alle Bände), Engineering online library
2002
Signatur: TWG7596
    Datensatz exportieren als...
  • BibTeX
Performance of communication systems : a model based approach with matrix geometric methods
Engineering online library
2001
Signatur: YCB6150
    Datensatz exportieren als...
  • BibTeX
Performance and dependability techniques and tools : selected papers of the recent 11th International Conference on Modelling Tools and Techniques for Computer Performance Evaluation (TOOLS 2000) and the Fourth IEEE International Performance and Dependability Symposium (IPDS 2000), which were both hosted by Motorola in their Galvin Center in Schaumburg, a suburb of Chicago, 27 - 30 March 2000
Performance evaluation : 44 (Alle Bände)
2001
Signatur: 64p2
    Datensatz exportieren als...
  • BibTeX
Hardware design and Petri nets
2000
Signatur: TWH2698
    Datensatz exportieren als...
  • BibTeX
Bewertung produktionsstrategischer Handlungsalternativen : eine Analyse dynamischen Prozessverhaltens mittels Petri-Netz-Theorie
Gabler Edition Wissenschaft : Schriften zum Produktionsmanagement
1999
Signatur: QAY3773
    Datensatz exportieren als...
  • BibTeX
Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Teubner-Texte zur Informatik : 26 (Alle Bände)
1998
Signatur: TVA2704
    Datensatz exportieren als...
  • BibTeX
Coloured Petri nets : basic concepts, analysis methods and practical use
Monographs in theoretical computer science: an EATCS series
1992-
Signatur: TVG1392-...
    Datensatz exportieren als...
  • BibTeX
Petrinetze : eine Einführung
Studienreihe Informatik
2., überarb. u. erw. Aufl., 2. unveränd. Nachdr, 1991
Signatur: TVG1122(2)
    Datensatz exportieren als...
  • BibTeX
Synchronization and linearity : an algebra for discrete event systems
Wiley series in probability and mathematical statistics : Probability and mathematical statistics
1992
Signatur: TZC2988
    Datensatz exportieren als...
  • BibTeX
Verfahren für den Entwurf heterogener paralleler Algorithmen
1995
Signatur: D11437
    Datensatz exportieren als...
  • BibTeX
Erweiterung von Petri-Netzen für den Einsatz in der Wissensverarbeitung
1995
Signatur: D11427
    Datensatz exportieren als...
  • BibTeX
Petri-Netze : Grundlagen und Anwendungen
Hochschultaschenbuch
2. Aufl, 1996
Signatur: TVG1318(2)
1 – 25 von 110
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen