Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

17 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
    Hermenegildo, Manuel V. ; Morales, José F.
    2023
    Online E-Book
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings
    Singh, Gagandeep ; Urban, Caterina
    2022
    Online E-Book
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
    Podelski, Andreas
    2018
    Online E-Book
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
    Ranzato, Francesco
    2017
    Online E-Book
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
    Rival, Xavier
    2016
    Online E-Book
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    Stevens, Perdita ; Wąsowski, Andrzej
    2016
    Online E-Book
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
    Blazy, Sandrine ; Jensen, Thomas
    2015
    Online E-Book
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    Bonakdarpour, Borzoo ; Smolka, Scott A.
    2014
    Online E-Book
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    Müller-Olm, Markus ; Seidl, Helmut
    2014
    Online E-Book
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
    Logozzo, Francesco ; Fähndrich, Manuel
    2013
    Online E-Book
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Runtime Verification : Second International Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
    Sen, Koushik ; Khurshid, Sarfaz
    2012
    Online E-Book
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    Mine, Antoine ; Schmidt, David
    2012
    Online E-Book
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Proof in VDM: Case Studies
    Bicarregui, Juan C.
    2012
    Online E-Book
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    VHDL’92 : The New Features of the VHDL Hardware Description Language
    Bergé, Jean-Michel ; Fonkoua, Alain ; et al.
    2012
    Online E-Book
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Static Analysis : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
    Yahav, Eran
    2011
    Online E-Book
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Advanced Lectures on Software Engineering : LASER Summer School 2007/2008
    Müller, Peter
    2010
    Online E-Book
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    Yi, Kwangkeun
    2006
    Online E-Book
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -