Campusbibliothek

Ihre Suche erzielte 9 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Guiding equational proofs by attribute functions Jürgen Cleve; Dieter Hutter von Reihen: ; 93,15 | SEKI-Report ; 1993015
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1993
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEKI SR-1993-15.
Vormerken Zum Korb hinzufügen
2.
A colored version of the λ-calculus Dieter Hutter; Michael Kohlhase von Reihen: ; 95,5 | SEKI-Report ; 95,5
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1995
Weitere Titel:
  • A coloured version of the λ-calculus
  • A coloured version of the lambda-calculus
  • A colored version of the lambda-calculus
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEKI SR-1995-05.
Vormerken Zum Korb hinzufügen
3.
Applied formal methods - FM trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 - 9, 1998 ; proceedings Dieter Hutter ... (ed.) von Reihen: ; 164100 | Lecture notes in computer science ; 1641
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1641.
Vormerken Zum Korb hinzufügen
4.
Towards a framework to integrate proof search paradigms S. Autexier; C. Benzmüller; D. Hutter. [Universität des Saarlandes, Fachbereich Informatik] von Reihen: ; 2003002 | SEKI-Report ; 2003,2
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 2003
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SEKI SR-2003-02.
Vormerken Zum Korb hinzufügen
5.
Security in pervasive computing first international conference, Boppard, Germany, March 12-14, 2003 ; revised papers Dieter Hutter ... (ed.) von Reihen: ; 280200 | Lecture notes in computer science ; 2802
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2802.
Vormerken Zum Korb hinzufügen
6.
Mechanizing mathematical reasoning essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday Dieter Hutter; Werner Stephan (eds.) von Reihen: Festschrift | ; 2605 | Lecture notes in computer science ; 2605
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11399056
Verlag: Berlin Heidelberg [u.a.] Springer 2005
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS LNAI 2605.
Vormerken Zum Korb hinzufügen
7.
Security in pervasive computing second international conference, SPC 2005, Boppard, Germany, April 6 - 8, 2005 ; proceedings Dieter Hutter ... (eds.) von Reihen: ; 345000 | Lecture notes in computer science ; 3450
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11414360
Verlag: Berlin Heidelberg [u.a.] Springer 2005
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3450.
Vormerken Zum Korb hinzufügen
8.
Using rippling to prove the termination of algorithms Dieter Hutter von Reihen: ; 199703 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199703 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Saarbrücken DFKI 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-97-03.
Vormerken Zum Korb hinzufügen
9.
Parameterized abstractions used for proof-planning Serge Autexier; Dieter Hutter von Reihen: ; 199704 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 199704 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Saarbrücken DFKI 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Saarbrücken DFKI RR-97-04.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha