Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
180 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Sprache

180 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The MFPS XV Security Session
    Meadows, Catherine ; Volpano, Dennis
    In: Electronic Notes in Theoretical Computer Science, Jg. 20 (1999), S. 76-79
    Online academicJournal
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  3. Detailansicht für Treffer 3 öffnen
    The MFPS XV Security Session
    Volpano, Dennis ; Meadows, Catherine
    In: Electronic Notes in Theoretical Computer Science, Jg. 20 (1999), S. 76-79
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Key Compromise, Strand Spaces, and the Authentication Tests1 1I gave my MFPS 17 talk on 24 May 2001, Bob Dylan's sixtieth birthday. This paper is dedicated to him
    Guttman, Joshua D.
    In: Electronic Notes in Theoretical Computer Science, Jg. 45 (2001-11-01), S. 141-161
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Computability and Complexity from a Programming Perspective (MFPS Draft preview)
    Jones, Neil D.
    In: Electronic Notes in Theoretical Computer Science, Jg. 1 (1995), S. 313-333
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Proceedings of the 30th conference on Mathematical Foundations of Programming Semantics ( MFPS XXX) : Preface
    Jacobs, B. ; Silva, A. ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 308 (2014), S. 1-2
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Volltext Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Fahrenberg, U. ; Legay, A.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 165-178
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Continuity of Godel@?s System T Definable Functionals via Effectful Forcing : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Escardo, M.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 119-141
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Distributed Probabilistic and Quantum Strategies : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Winskel, G.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 403-425
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Automata-Theoretic Semantics of Idealized Algol with Passive Expressions : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Reddy, U. S.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 325-348
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    A Stream Calculus of Bottomed Sequences for Real Number Computation : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Terayama, K. ; Tsuiki, H.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 383-402
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Monads for Behaviour : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Pirog, M. ; Gibbons, J.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 309-324
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Bicategorical Semantics for Nondeterministic Computation : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Stay, M. ; Vicary, J.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 367-382
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Rational Operational Models : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Milius, S. ; Bonsangue, M. M. ; et al.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 257-282
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Linearization of Automatic Arrays and Weave Specifications : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Sprunger, D.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 349-365
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Quasicontinuous Domains and the Smyth Powerdomain : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Heckmann, R. ; Keimel, K.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 215-232
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    A Categorical Theory of Patches : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Mimram, S. ; Di Giusto, C.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 283-307
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    On Block Structures in Quantum Computation : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Jacobs, B.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 233-255
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Coinductive Predicates and Final Sequences in a Fibration : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Hasuo, I. ; Cho, K. ; et al.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 197-214
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Varieties and Covarieties of Languages (Extended Abstract) : Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX
    Rutten, J. ; Ballester-Bolinches, A. ; et al.
    In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Jg. 298 (2013), S. 7-28
    Online serialPeriodical
    Zugriff:
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -