Zum Hauptinhalt springen
Hochschulbibliothek der TH OWL

Suchergebnisse

Bestand TH OWL
6 Treffer

Suchmaske

Suchtipp für den Bereich Bestand TH OWL: 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

6 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
    edited by Thorsten Altenkirch, Conor McBride
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
    edited by Marino Miculan, Ivan Scagnetto, Furio Honsell
    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    edited by Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
    Berlin Heidelberg: Springer-Verlag GmbH, 2006
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
    edited by Masahito Hasegawa
    Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
    edited by Gilles Dowek
    Cham: Springer International Publishing, 2014
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext
  6. Detailansicht für Treffer 6 öffnen
    Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
    edited by Luke Ong
    Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011
    Online Monographie, Konferenzschrift, Elektronische Ressource
    Zugriff:
    Springer Lecture Notes in Computer Science 1997-2015 (Volltext)
    Volltext

Artikel & mehr

Überregionale Kataloge

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