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

Suchergebnisse

Bibliothekskatalog

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

Verlag

Publikation

Sprache

Inhaltsanbieter

82 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    South African research contributions to Lecture Notes in Computer Science, 1973–2022
    Naudé, Filistéa ; Kroeze, Jan H.
    In: South African Journal of Science, Jg. 120 (2024), Heft 1/2
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Volltext über EZB
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    South African research contributions to Lecture Notes in Computer Science, 1973-2022.
    Naudé, Filistéa ; Kroeze, Jan H.
    In: South African Journal of Science, Jg. 120 (2024), Heft 1/2, S. 27-40
    Online academicJournal
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    矩阵的半张量积在进化博弈论中的应用
    邢海云
    In: 聊城大学学报：自然科学版 / Journal of Liaocheng University：Natural Science Edition, Jg. 29 (2016), Heft 1, S. 1
    Online academicJournal
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Lecture notes in computer science: research on hybrid grid algorithm of voronoi diagram
    Binjun, Wang ; Qiushi, Wang ; et al.
    In: ITM Web of Conferences, Jg. 17 (2018), S. 03005
    Online academicJournal
    Zugriff:
    View record in DOAJ (Volltext)
    Volltext über EZB
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Lecture Notes in Artificial Intelligence 1415. Subseries of Lecture Notes in Computer Science. Methodology and Tools in Knowledge‐Based Systems
    Harwood, C.J.
    In: Kybernetes, Jg. 28 (1999-12-01), Heft 9, S. 1084-1094
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Lecture Notes in Artificial Intelligence 1416. Subseries of Lecture Notes in Computer Science. Tasks and Methods in Applied Artificial Intelligence
    Harwood, C.J.
    In: Kybernetes, Jg. 28 (1999-12-01), Heft 9, S. 1084-1094
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Freek Wiedijk (Ed.), The Seventeen Provers of the World; Springer, Series: Lecture Notes in Computer Science, Vol. 3600, 2006, XVI, 159 pp., Softcover ISBN: 978-3-540-30704-4, dimensions (in inches): 9.3 x 6.1 x 0.5 , US $39.95
    Kahle, Reinhard
    In: Studia Logica, Jg. 87 (2007-12-01), Heft 2-3, S. 369-374
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    文献紹介 Seligman, J., Liu, F. and Girard, P.: Logic in the community (コミュニティにおける論理 : Facebook Logic), Proc. 4th Indian Conference on Logic and its Applications, Lecture Notes in Computer Science, Vol.6521, pp.178-188 (2011)
    In: 人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence : AI, Jg. 26 (2011-11-01), Heft 6, S. 703-707
    Online academicJournal
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Lecture Notes in Computer Science 1205
    In: Industrial Robot: An International Journal, Jg. 26 (1999-08-01), Heft 6
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Seligman,J., Liu,F. and Girard,P.:Logic in the community(コミュニティにおける論理:Facebook Logic), Proc.4th Indian Conference on Logic and Its Applications, Lecture Notes in Computer Science, Vol.6521,pp.178-188 (2011)
    勝彦, 佐野
    In: 人工知能, Jg. 26 (2011-11-01), Heft 6, S. 703
    Online academicJournal
    Zugriff:
    Volltext über EZB
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Siehe Detailanzeige für Volltext
  12. Detailansicht für Treffer 12 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  13. Detailansicht für Treffer 13 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  14. Detailansicht für Treffer 14 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  15. Detailansicht für Treffer 15 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    Online academicJournal
    Siehe Detailanzeige für Volltext
  16. Detailansicht für Treffer 16 ö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?
  17. Detailansicht für Treffer 17 ö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?
  18. Detailansicht für Treffer 18 ö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?
  19. Detailansicht für Treffer 19 ö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?
  20. Detailansicht für Treffer 20 ö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?

Andere Kataloge

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