Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

41 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Types for proofs and programs: International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers
    Paulin-Mohring, Christine, 1962- ; Giménez, Eduardo, 1967-
    1998
    Buch
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Theorem proving in higher order logics: 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
    Gunter, Elsa L. ; Felty, Amy.
    1997
    Buch
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 ö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?
  4. Detailansicht für Treffer 4 öffnen
    A Foundational Proof Framework for Cryptography.
    Petcher, Adamhor. ; Harvard University. Graduate School of Arts and Sciences. Thesis. ; et al.
    2015
    Buch
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 ö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?
  6. Detailansicht für Treffer 6 ö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?
  7. Detailansicht für Treffer 7 ö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?
  8. Detailansicht für Treffer 8 öffnen
    Types for proofs and programs: international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers : TYPES 2003
    Berardi, Stefano. ; Coppo, Mario. ; et al.
    2004
    Buch
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Theorem proving in higher order logics: 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
    Basin, David. ; Wolff, Burkhart, 1962-
    2003
    Buch
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Theorem proving in higher order logics: 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings
    Boulton, Richard J., 1967- ; Jackson, Paul B., 1962-
    2001
    Buch
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Theorem proving in higher order logics: 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
    Aagaard, Mark, 1966- ; Harrison, J. (John), 1966-
    2000
    Buch
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
    Khosravi, Ramtin [Ed.]. ; Kouchnarenko, Olga [Ed.].
    2017
    Buch
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
    Nagoya, Fumiko [Ed.]. ; Tian, Cong [Ed.]. ; et al.
    2017
    Buch
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 ö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?
  15. Detailansicht für Treffer 15 öffnen
    Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    Franke, Björn [Ed.].
    2015
    Buch
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Language Production, Cognition, and the Lexicon
    Gala, Núria [Ed.]. ; Bel-Enguix, Gemma [Ed.]. ; et al.
    2015
    Buch
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World
    Brezillon, Patrick [Ed.]. ; González, Avelino J. [Ed.].
    2014
    Buch
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 ö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?
  19. Detailansicht für Treffer 19 öffnen
    Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings
    Hernandez, Nathalie [Ed.]. ; Croitoru, Madalina [Ed.]. ; et al.
    2014
    Buch
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Shao, Zhong [Ed.].
    2014
    Buch
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -