Zum Hauptinhalt springen
Bibliothek der HS Gesundheit
Hochschule für Gesundheit University of Applied Sciences

Suchergebnisse

Bibliothekskatalog

Artikel & mehr
3 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"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

3 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formal analysis of some secure procedures for certificate delivery<FNR></FNR><FN>An early version of this paper appeared as ‘Automated analysis of some security mechanisms of SCEP’ by Fabio Martinelli, Marinella Petrocchi and Anna Vaccarelli in Proceedings of the Fifth International Information Security Conference (ISC 2002), (Lecture Notes in Computer Science, vol. 2433), pp. 414–427 [1], Copyright © 2002 Springer-Verlag. This revised and extended version appears here with the permission of Springer-Verlag </FN>
    Martinelli, Fabio ; Petrocchi, Marinella ; et al.
    In: Software Testing: Verification & Reliability, Jg. 16 (2006-03-01), Heft 1, S. 33-59
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Specification and testing of autonomous agents in e-commerce systems<FNR></FNR><FN>Parts of this paper appeared in ‘Specification of autonomous agents in e-commerce systems’ by Ismael Rodríguez, Manuel Núñez and Fernando Rubio and in ‘Testing of autonomous agents described as utility state machines’ by Manuel Núñez, Ismael Rodríguez and Fernando Rubio, Lecture Notes in Computer Science, vol. 3236 (pp. 30–43 and 322–336, respectively) © 2004 Springer-Verlag. This revised and expanded version appears with the permission of Springer-Verlag </FN>
    Núñez, Manuel ; Rodrìguez, Ismael ; et al.
    In: Software Testing: Verification & Reliability, Jg. 15 (2005-12-01), Heft 4, S. 211-233
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Optimizing the distribution of large data sets in theory and practice<FN>The original version of this article was first published as ‘Rauch F, Kurmann C, Stricker TM. Optimizing the distribution of large data sets in theory and practice. Euro-Par 2000—Parallel Processing (Lecture Notes in Computer Science, vol. 1900), Bode A, Ludwig T, Karl W, Wismüller R (eds.). Springer, 2000; 1118–1131’, and is reproduced here by kind permission of the publisher. </FN>
    Rauch, Felix ; Kurmann, Christian ; et al.
    In: Concurrency & Computation: Practice & Experience, Jg. 14 (2002-02-15), Heft 3, S. 165-181
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?

Andere Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -