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

Suchergebnisse

Bibliothekskatalog

Artikel & mehr
58 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

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Publikation

Sprache

Inhaltsanbieter

58 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    New bounds on the edge number of a k‐map graphA preliminary version of this paper appeared in Proceedings of the 10th Annual International Computing and Combinatorics Conference, Lecture Notes in Computer Science, Vol. 3106, pp. 319–328, 2004.
    Chen, Zhi‐Zhong
    In: Journal of Graph Theory, Jg. 55 (2007-08-01), Heft 4, S. 267-290
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 ö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?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 öffnen
    Combining formal verification and conformance testing for validating reactive systems<FN>An early version of this paper appeared as ‘Verification using test generation techniques’ by Vlad Rusu in Proceedings of Formal Methods Europe 2002 (Lecture Notes in Computer Science, vol. 2391), pp. 252–271, © 2002 Springer-Verlag. This revised and expanded version appears here with the permission of Springer-Verlag </FN>
    Rusu, Vlad
    In: Software Testing: Verification & Reliability, Jg. 13 (2003-09-01), Heft 3, S. 157-180
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Parallel static and dynamic multi-constraint graph partitioning<FN>The original version of this article was first published as ‘Schloegel K, Karypis G, Kumar V. Parallel static and dynamic multi-constraint graph partitioning. Euro-Par 2000—Parallel Processing (Lecture Notes in Computer Science, vol. 1900), Bode A, Ludwig T, Karl W, Wismüller R (eds.). Springer, 2000; 296–310’, and is reproduced here by kind permission of the publisher. </FN>
    Schloegel, Kirk ; Karypis, George ; et al.
    In: Concurrency & Computation: Practice & Experience, Jg. 14 (2002-02-15), Heft 3, S. 219-240
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 öffnen
    A callgraph-based search strategy for automated performance diagnosis<FN>The original version of this article was first published as ‘Cain HW, Miller BP, Wylie BJN. A callagraph-based search strategy for automated performance diagnosis. Euro-Par 2000—Parallel Processing (Lecture Notes in Computer Science, vol. 1900), Bode A, Ludwig T, Karl W, Wismüller R (eds.). Springer, 2000; 108–122’, and is reproduced here by kind permission of the publisher. </FN>
    Cain, Harold W. ; Miller, Barton P. ; et al.
    In: Concurrency & Computation: Practice & Experience, Jg. 14 (2002-02-15), Heft 3, S. 203-217
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Implementation and evaluation of a communication intensive application on the EARTH multithreaded system<FN>The original version of this article was first published as ‘Theobald KB, Kumar R, Agrawal G, Heber G, Thulasiram RK, Gao GR. Implementation and evaluation of a communication intensive application on the EARTH multithreaded system. Euro-Par 2000—Parallel Processing (Lecture Notes in Computer Science, vol. 1900), Bode A, Ludwig T, Karl W, Wismüller R (eds.). Springer, 2000; 625–637’, and is reproduced here by kind permission of the publisher. </FN>
    Theobald, Kevin B. ; Kumar, Rishi ; et al.
    In: Concurrency & Computation: Practice & Experience, Jg. 14 (2002-02-15), Heft 3, S. 183-201
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Osaki, S./Nishio, T., Reliability Evaluation of Some Fault-Tolerant Computer Architectures. Lecture Notes in Computer Science 97. Berlin-Heidelberg-New York, Springer-Verlag 1980. VI, 129 S., 46 Abb., DM 18,-. US $ 10.70. ISBN 3-540-10274-4.
    Völz, H.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 61 (1981-12-01), Heft 12, S. 664-665
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Computing Methods in Applied Sciences and Engineering, Teil I. Intern. Symposium, Versailles, 17.-21. 12. 1973. Ed. Lions, J. L./Glowinski, R., Berlin-Heidelberg-New York. Springer-Verlag. 1974, X, 497 S., DM 34,-. (Lecture Notes in Computer Science 10).
    Kluge, R.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 59 (1979-09-01), Heft 9, S. 492-493
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Siekmann, J. H. (Ed.): 8th International Conference on Automated Deduction. Oxford, England, July 27-August 1, 1986, Proceedings. Lecture Notes in Computer Science Vol. 230. Springer-Verlag, Berlin - Heidelberg - New York - Tokyo 1986, IX, 708 pp., DM 96,- ISBN 3-540-16780-3
    Seese, D.
    In: Biometrical Journal, Jg. 30 (1988-04-01), Heft 2, S. 251-252
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Bibel, M., Ph. Jorrand (Eds.): Fundamentals of Artificial Intelligence. An Advanced Course. Lecture Notes in Computer Science Vol. 232. Springer-Verlag, Berlin - Heidelberg - New York - London - Paris - Tokyo: 1986, XII, 313 pp., DM 45,- ISBN 3-540-16782-X
    Seese, D.
    In: Biometrical Journal, Jg. 30 (1988-04-01), Heft 2, S. 250-251
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Zlatev, Z./Wasniewski, J./Schaumburg, K., Y12M. Solution of Large and Sparse Systems of Linear Algebraic Equations. Berlin-Heidelberg-New York, Springer-Verlag 1981. IX, 128 S., DM 18,-. US $ 7.70. ISBN 3-540-10874-2 (Lecture Notes in Computer Science 121)
    Grund, F.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 64 (1984-02-01), Heft 2, S. 135-136
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Hoffmann, C. M., Group-Theoretic Algorithms and Graph Isomorphism. Berlin-Heidelberg-New York, Springer-Verlag 1982. VIII, 311 S., DM 32,80. US $ 14.60. ISBN 3-540-11493-9 (Lecture Notes in Computer Science 136).
    Fischer, Th.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 63 (1983-08-01), Heft 8, S. 395-396
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Constable, R. L. / Johnson, S. D. / Eichenlaub, C. D., An Introduction to the PL/CV2 Programming Logic. Berlin-Heidelberg-New York, Springer-Verlag 1982. X, 292 S., DM 32,80. US $ 14.60. ISBN 3-540-11492-0 (Lecture Notes in Computer Science 135).
    Bachmann, P.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 63 (1983-08-01), Heft 8, S. 397-398
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Engeler, E. (ed.), Logic of Programs. Proceedings, Zürich 1979, Lecture Notes in Computer Science 125. Berlin-Heidelberg-New York, Springer-Verlag 1981. V, 245 S., DM 25,-. US $ 11.70. ISBN 3-540-11160-3.
    Herre, H.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 63 (1983-07-01), Heft 7, S. 335-336
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Diaz, J. / Ramos, I. (eds.), Formalization of Programming Concepts. International Colloquium, Peniscola, Spain, 1981. Lecture Notes in Computer Science 107. Berlin-Heidelberg-New York, Springer-Verlag 1981. VII, 478 S., DM 45,50. US $ 21.70. ISBN 3-540-10699-5
    Hartwig, M.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 62 (1982-09-01), Heft 9, S. 499-500
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Even, S./Kariv, O. (eds.), Automata, Languages and Programming. Eight Colloquium, Acre (Akko), Israel, 1981. Lecture Notes in Computer Science 115. Berlin-Heidelberg-New York, Springer-Verlag 1981. VIII, 552 S., DM 49,-. US $ 22.30. ISBN 3-540-10843-2.
    Issel, W.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 62 (1982-08-01), Heft 8, S. 423-424
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Automata, Languages and Programming, 2nd Colloquium, Univ. of Saarbrücken, 29. 7. - 2. 8. 1974, Hrsg. Loeckx, J., Berlin-Heidelberg-New York. Springer-Verlag. 1974. 619 S., DM 48,-. US $ 19.60. (Lecture Notes in Computer Science, Bd. 14.).
    Bachmann, K. H.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 57 (1977), Heft 1, S. 61-62
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik e. V., Kiel, 5.-7. 3. 1974, Hersg. Schlender, B. / Frielinghaus, W., Berlin-Heidelberg-New York. Springer-Verlag. 1974. VI, 225 S., DM 20,-. US $ 8.20. (Lecture Notes in Computer Science, Band 7.)
    Bachmann, K. H.
    In: ZAMM -- Journal of Applied Mathematics & Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik, Jg. 56 (1976-12-01), Heft 12, S. 565-566
    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 -