Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Art der Quelle

Schlagwort

Verlag

Sprache

14 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
    Zhang, Xingyuan [Ed.]. ; Urban, Christian [Ed.].
    2015
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
    Klein, Gerwin [Ed.]. ; Gamboa, Ruben [Ed.].
    2014
    Buch
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
    Gonthier, Georges [Ed.]. ; Norrish, Michael [Ed.].
    2013
    Buch
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
    Blazy, Sandrine [Ed.]. ; Pichardie, David [Ed.]. ; et al.
    2013
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
    Musatov, Daniil V. [Ed.]. ; Beklemishev, Lev D. [Ed.].
    2015
    Buch
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings
    Merz, Stephan [Ed.]. ; Pang, Jun [Ed.].
    2014
    Buch
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
    Groves, Lindsay [Ed.]. ; Sun, Jing [Ed.].
    2013
    Buch
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
    Ida, Tetsuo [Ed.]. ; Fleuriot, Jacques [Ed.].
    2013
    Buch
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Automated Reasoning with Analytic Tableaux and Related Methods: 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings
    Galmiche, Didier [Ed.]. ; Larchey-Wendling, Dominique [Ed.].
    2013
    Buch
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
    Meyer-Stabley, Bertrand. ; Nordio, Martin.
    2012
    Buch
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
    Hawblitzel, Chris. ; Miller, Dale.
    2012
    Buch
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers
    Moreno-Díaz, Roberto [Ed.]. ; Luis Freire, José [Ed.]. ; et al.
    2001
    Buch
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings
    Jifeng, He [Ed.]. ; Sato, Masahiko [Ed.].
    2000
    Buch
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings
    Thiagarajan, P. S. [Ed.]. ; Yap, Roland [Ed.].
    1999
    Buch
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -