Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

53 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    True bugs (Heteroptera) of the neotropics
    Panizzi, Antonio Ricardo, [Ed.]. ; Grazia, Jocelia, [Ed.].
    2015
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Cooperative Bug Isolation : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition. Programming and Software Engineering /
    Liblit, Benhor
    2007
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Formal verification of structurally complex multipliers
    Mahzoon, Alirezahor ; Grosse, Daniel,hor. ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Formal methods for the analysis of biomedical ontologies
    Zhang, Guo-Qianghor ; Abeysinghe, Rashmie,hor. ; et al.
    2022
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    SystemVerilog assertions and functional coverage : guide to language, methodology and applications /
    Mehta, Ashok Bhor
    2016
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    IP cores design from specifications to production : modeling, verification, optimization, and protection /
    Mohamed, Khaled Salahhor
    2015
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Debug Automation from Pre-Silicon to Post-Silicon
    Dehbashi, Mehdihor ; Fey, Gorschwin,hor.
    2014
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    SystemVerilog assertions and functional coverage : guide to language, methodology and applications /
    Mehta, Ashok B
    2013
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Encyclopedia of South American aquatic insects : Hemiptera - Heteroptera : illustrated keys to known families, genera, and species in South America /
    Heckman, Charles W
    2011
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Tests and Proofs : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings. Programming and Software Engineering /
    Dubois, Catherine, [Ed.].
    2009
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings. Programming and Software Engineering /
    Beckert, Bernhard, [Ed.]. ; Hahnle, Reiner, [Ed.].
    2008
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers. Programming and Software Engineering /
    Meyer, Bertrand, [Ed.]. ; Gurevich, Yuri, [Ed.].
    2007
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings /
    Hermenegildo, Manuel V., [Ed.]. ; Morales, Jose F., [Ed.].
    2023
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Envenomations caused by animals : a dermatologic guide to clinical recognition and treatment /
    Haddad Junior, Vidalhor
    2023
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Concise guide to software verification : from model checking to annotation checking /
    Huisman, Mariekehor ; Wijs, Anton,hor.
    2023
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Understanding cybersecurity management in decentralized finance : challenges, strategies, and trends /
    Kaur, Gurdiphor ; Lashkari, Arash Habibi,hor. ; et al.
    2023
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Product-Focused Software Process Improvement : 23rd International Conference, PROFES 2022, Jyvaskyla, Finland, November 21-23, 2022, Proceedings /
    Taibi, Davide, [Ed.]. ; Kuhrmann, Marco, [Ed.]. ; et al.
    2022
    Online E-Book
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Automated Verification of Concurrent Search Structures
    Siddharth, Krishna|Nisarg, Patel|Dennis, Shasha|Thomas, Wies
    2022
    Online E-Book
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Code Clone Analysis : Research, Tools, and Practices /
    Inoue, Katsuro, [Ed.]. ; Roy, Chanchal K., [Ed.].
    2021
    Online E-Book
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Software Sustainability
    Calero, Coral, [Ed.]. ; Moraga, Mª Angeles, [Ed.]. ; et al.
    2021
    Online E-Book
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -