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

Suchergebnisse

Bibliothekskatalog

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

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Verlag

Publikation

Sprache

Geographischer Bezug

Inhaltsanbieter

328 Treffer

Sortierung: 
  1. Detailansicht für Treffer 61 öffnen
    On asynchrony in name-passing calculi<fnr rid="fn1"><fn id="fn1">An extended abstract of this paper appeared in the Proceedings of the 25th International Colloquium on Automata, Languages and Programming, July 1998, <e1>Springer-Verlag Lecture Notes in Computer Science</e1> <e2>1443</e2>.</fn>
    MERRO, MASSIMO ; SANGIORGI, DAVIDE
    In: Mathematical Structures in Computer Science, Jg. 14 (2004-10-01), Heft 5, S. 715-767
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 62 öffnen
    Reading on cognitive ergonomics mind and computers, Lecture Notes in Computer Science, vol. 178
    Bontaş, Gabriel
    In: Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, Jg. 31 (1987), Heft 4, S. 373
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  3. Detailansicht für Treffer 63 öffnen
    Transformation techniques for context-sensitive rewrite systems<fnr rid="fn1"><fn id="fn1">A preliminary version of this paper appeared in the <e1>Proceedings of the 10th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 1631</e1>, pp. 271–285, 1999.</fn>
    GIESL, JÜRGEN ; MIDDELDORP, AART
    In: Journal of Functional Programming, Jg. 14 (2004-07-01), Heft 4, S. 379-427
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 64 öffnen
    Methods and Tools for Computer Integrated Manufacturing lecture notes in computer science — 168
    Bontaş, Gabriel
    In: Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, Jg. 29 (1985), Heft 4, S. 379
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  5. Detailansicht für Treffer 65 öffnen
    Types for Proofs and Programs - nternational Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science, Vol. 1956)
    Coquand, Thierry [Ed.] ; Dybjer, Peter [Ed.] ; et al.
    2000
    Online unknown
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  6. Detailansicht für Treffer 66 öffnen
    Parallel static and dynamic multi-constraint graph partitioning<FN ID="fn1">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: Practice and Experience, Jg. 14 (2002-03-01), Heft 3, S. 219-240
    Online serialPeriodical
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  7. Detailansicht für Treffer 67 öffnen
    Axiomatising the Logic of Computer Programming, Lecture Notes in Computer Science, 130 Robert Goldblatt
    Mărghidan, Dorin
    In: Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, Jg. 28 (1984), Heft 2, S. 187
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  8. Detailansicht für Treffer 68 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Siehe Detailanzeige für Volltext
  9. Detailansicht für Treffer 69 öffnen
    Implementation and evaluation of a communication intensive application on the EARTH multithreaded system<FN ID="fn1">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: Practice and Experience, Jg. 14 (2002-03-01), Heft 3, S. 183-201
    Online serialPeriodical
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  10. Detailansicht für Treffer 70 öffnen
    Computer Aided Design Modelling, System, Engineering CAD — Systems, CREST Advanced Course, Darmstadt, 1980 Lecture Notes in Computer Science 89 J. Encarnacao
    Jalobeanu, M.
    In: Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, Jg. 28 (1984), Heft 3, S. 283
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  11. Detailansicht für Treffer 71 öffnen
    Optimizing the distribution of large data sets in theory and practice<FN ID="fn1">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: Practice and Experience, Jg. 14 (2002-03-01), Heft 3, S. 165-181
    Online serialPeriodical
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  12. Detailansicht für Treffer 72 öffnen
    How to Multiply Matrices Faster. Lecture Notes in Computer Science, 179 Victor Pan
    Probert, Robert L.
    In: American Scientist, Jg. 74 (1986-11-01), Heft 6, S. 682
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  13. Detailansicht für Treffer 73 öffnen
    A callgraph-based search strategy for automated performance diagnosis<FN ID="fn1">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: Practice and Experience, Jg. 14 (2002-03-01), Heft 3, S. 203-217
    Online serialPeriodical
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  14. Detailansicht für Treffer 74 öffnen
    Conpar 81 , Proceedings of the conference on analysing problem classes and programming for parallel computing, Nürnberg, Lecture Notes in Computer Science 111 Wolfgang Händler
    ZIMAND, MARIUS
    In: Bulletin mathématique de la Société des Sciences Mathématiques de Roumanie, Jg. 36 (1992), Heft 1, S. 94
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  15. Detailansicht für Treffer 75 öffnen
    Online real-time preemptive scheduling of jobs with deadlines on multiple machines<FNR HREF="fn1"></FNR> <FN ID="fn1">A preliminary version of this paper appeared in the Third International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), Lecture Notes in Computer Science (LNCS) 1913, Springer, September 2000, pp. 96–107.</FN>
    Gupta, Bhaskar Das ; Palis, Michael A.
    In: Journal of Scheduling, Jg. 4 (2001-11-01), Heft 6, S. 297-312
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  16. Detailansicht für Treffer 76 öffnen
    P — Functions and Boolean matrix factorization a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms, Lecture Notes in Computer Science vol. 175 Andre Thayse
    Rudeanu, S.
    In: Bulletin mathématique de la Société des Sciences Mathématiques de Roumanie, Jg. 35 (1991), Heft 1/2, S. 191
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  17. Detailansicht für Treffer 77 öffnen
    Types for proofs and programs: selected papers; International workshop TYPES ´94; Båstad, Sweden, June 6 -10, 1994 (Lecture Notes in Computer Science; Vol 996)
    Dybjer, Peter [Ed.] ; Nordström, Bengt [Ed.] ; et al.
    1995
    Online unknown
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  18. Detailansicht für Treffer 78 öffnen
    Advances in Perti Nets 1987 Lecture Notes in Computer Science 266 Grzegorg Rozenberg
    Gheorghe, Marian
    In: Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, Jg. 33 (1989), Heft 2, S. 192
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  19. Detailansicht für Treffer 79 öffnen
    Lecture Notes in Artificial Intelligence 1416. Subseries of Lecture Notes in Computer Science. Tasks and Methods in Applied Artificial Intelligence
    In: Kybernetes, Jg. 28 (1999-12-01), Heft 9, S. 1084-1094
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  20. Detailansicht für Treffer 80 öffnen
    Computation Theory and Logic. Lecture Notes in Computer Science Vol. 270 E. Börger
    Calude, Cristian
    In: Bulletin mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie, Jg. 32 (1988), Heft 4, S. 381
    Online review
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?

Andere Kataloge

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