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
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Monographs in Theoretical Computer Science. An EATCS Series
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theoretical foundations of security analysis and design. 1
Theoretical foundations of security analysis and design (Alle Bände), Theoretical computer science : 283,2 (Alle Bände)
2002
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Theoretical foundations of security analysis and design
Theoretical computer science : ...
2002-
    Datensatz exportieren als...
  • BibTeX
Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures [Elektronische Ressource]
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings [Elektronische Ressource]
2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computational Methods in Systems Biology : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5688
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures [Elektronische Ressource]
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Security Analysis and Design IV : FOSAD 2006/2007 Tutorial Lectures [Elektronische Ressource]
2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theoretical aspects of coordination languages
Theoretical computer science : 192,2 (Alle Bände)
1998
Signatur: 64t1
    Datensatz exportieren als...
  • BibTeX
Foundations of Security Analysis and Design : Tutorial Lectures [Elektronische Ressource]
2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures [Elektronische Ressource]
2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Security Analysis and Design V : FOSAD 2007/2008/2009 Tutorial Lectures [Elektronische Ressource]
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automata, Languages and Programming : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997 Proceedings [Elektronische Ressource]
1997
Volltextzugriff (PDF)
1 – 13 von 13
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen