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
Introduction to process algebra : with 11 tables
Texts in theoretical computer science
2000
Signatur: TVD2270
    Datensatz exportieren als...
  • BibTeX
Prozeßtheorie der Ablaufplanung : algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit
Teubner-Reihe Wirtschaftsinformatik
1998
Signatur: TVX3072
    Datensatz exportieren als...
  • BibTeX
Introduction to the formal design of real time systems
Applied computing
1999
Signatur: TWT5167
    Datensatz exportieren als...
  • BibTeX
Algebra of communicating processes
Theoretical computer science : 177,2 (Alle Bände)
1997
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Nets, terms and formulas : three views of concurrent processes and their relationship
Cambridge tracts in theoretical computer science : 23 (Alle Bände)
1991
Signatur: TVG1368
    Datensatz exportieren als...
  • BibTeX
Computer aided verification of coordinating processes : the automata theoretic approach
Princeton series in computer science
1994
Signatur: TVH2563
    Datensatz exportieren als...
  • BibTeX
Stochastische Prozeßalgebren mit zeitlosen Aktivitäten und probabilistischen Verzweigungen
1996
Signatur: D10945
    Datensatz exportieren als...
  • BibTeX
Handbook of process algebra
1. edition, 2001
Signatur: TVC1732
    Datensatz exportieren als...
  • BibTeX
Petri net algebra
Monographs in theoretical computer science
2001
Signatur: TVG1546
    Datensatz exportieren als...
  • BibTeX
Process algebra : equational theories of communicating processes
Cambridge tracts in theoretical computer science : 50 (Alle Bände)
2010
Signatur: TVD2343
    Datensatz exportieren als...
  • BibTeX
Automatic Verification of Sequential Infinite-State Processes [Elektronische Ressource]
1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Semantics of Probabilistic Processes : An Operational Approach [Elektronische Ressource]
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12–14, 2001 Proceedings [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proceedings [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modelling Distributed Systems [Elektronische Ressource]
Texts in Theoretical Computer Science An EATCS Series
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Interactive Markov Chains : And the Quest for Quantified Quality [Elektronische Ressource]
2002
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Pr [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mobility in Process Calculi and Natural Computing [Elektronische Ressource]
Natural Computing Series
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers [Elektronische Ressource]
2008
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modeling Time in Computing [Elektronische Ressource]
Monographs in Theoretical Computer Science. An EATCS Series
2012
Volltextzugriff (PDF)
1 – 22 von 22
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen