Campusbibliothek

Ihre Suche erzielte 38 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Systems of reductions B. Benninghofen; S. Kemmerich; M. M. Richter von Reihen: ; 27700 | Lecture notes in computer science ; 277
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1987
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 277.
Vormerken Zum Korb hinzufügen
2.
Rewriting techniques and applications 4th international conference, RTA-91, Como, Italy, April 10 - 12, 1991 ; proceedings Ronald V. Book (ed.) von Reihen: ; 48800 | Lecture notes in computer science ; 488
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1991
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 488.
Vormerken Zum Korb hinzufügen
3.
Canonical equational proofs Leo Bachmair von Reihen: ; 100 | Progress in theoretical computer science ; 1
Auflage: 1. pr.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston Berlin [Stuttgart] [u.a.] Birkhäuser 1991
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BACh l 1991:1 2.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
4.
Word equations and related topics proceedings 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1 - 3, 1990. K. U. Schulz (ed.) von Reihen: ; 57200 | Lecture notes in computer science ; 572
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1992
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 572.
Vormerken Zum Korb hinzufügen
5.
Rewriting techniques and applications 6th international conference, Kaiserslautern, Germany, April 5-7, 1995 ; proceedings RTA-95. Jieh Hsiang (ed.) von Reihen: ; 91400 | Lecture notes in computer science ; 914
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1995
Weitere Titel:
  • RTA '95
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 914.
Vormerken Zum Korb hinzufügen
6.
Rewriting techniques and applications 7th international conference, New Brunswick, NJ, USA, July 27 - 30, 1996 ; proceedings RTA-96. Harald Ganzinger (ed.) von Reihen: ; 110300 | Lecture notes in computer science ; 1103
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 1996
Weitere Titel:
  • RTA-96
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 1103.
Vormerken Zum Korb hinzufügen
7.
Rewriting techniques and applications 8th international conference ; proceedings RTA-97, Sitges, Spain, June 2 - 5, 1997. Hubert Comon (ed.) von Reihen: ; 123200 | Lecture notes in computer science ; 1232
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1997
Weitere Titel:
  • RTA-97
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 1232.
Vormerken Zum Korb hinzufügen
8.
Artificial intelligence and symbolic computation International Conference AISC '98, Plattsburgh, New York, USA, September 16 - 18, 1998; proceedings Jacques Calmet ... von Reihen: ; 1476 | Lecture notes in computer science ; 1476
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Weitere Titel:
  • AISC'98
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 1476.
Vormerken Zum Korb hinzufügen
9.
Rewriting techniques and applications 10th International Conference ; RTA-99, Trento, Italy, July 2 - 4, 1999 ; proceedings Paliath Narendran ... (eds.) von Reihen: ; 163100 | Lecture notes in computer science ; 1631
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • RTA-99
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 1631.
Vormerken Zum Korb hinzufügen
10.
Rewriting techniques and applications 11th international conference, RTA 2000, Norwich, UK, July 10 - 12, 2000 ; proceedings Leo Bachmair (ed.) von Reihen: ; 183300 | Lecture notes in computer science ; 1833
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Weitere Titel:
  • RTA 2000
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 1833.
Vormerken Zum Korb hinzufügen
11.
Types for proofs and programs selected papers International Workshop, TYPES'99, Lökeberg, Sweden, June 12 - 16, 1999. Thierry Coquand ... (ed.) von Reihen: ; 195600 | Lecture notes in computer science ; 1956
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Weitere Titel:
  • TYPES'99
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 1956.
Vormerken Zum Korb hinzufügen
12.
Rewriting techniques and applications 12th international conference, Utrecht, The Netherlands, May 22 - 24, 2001 ; proceedings RTA 2001. Aart Middeldorp (ed.) von Reihen: ; 205100 | Lecture notes in computer science ; 2051
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • RTA 2001
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 2051.
Vormerken Zum Korb hinzufügen
13.
Types for proofs and programs international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers ; [selection of papers presented at the first annual workshop of the TYPES Working Group] Paul Callaghan ... (ed.) von Reihen: ; 227700 | Lecture notes in computer science ; 2277
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • Types 2000
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 2277.
Vormerken Zum Korb hinzufügen
14.
Rewriting techniques and applications 13th international conference ; proceedings RTA 2002, Copenhagen, Denmark, July 22-24, 2002. Sophie Tison (ed.) von Reihen: ; 237800 | Lecture notes in computer science ; 2378
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • RTA 2002
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 2378.
Vormerken Zum Korb hinzufügen
15.
Substitutions in dynamics, arithmetics, and combinatorics N. Pytheas Fogg von Reihen: ; 179400 | Lecture notes in mathematics ; 1794
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer c2002
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) LNM 1794.
Vormerken Zum Korb hinzufügen
16.
17.
Rewriting techniques and applications 14th international conference, Valencia, Spain, June 9 - 11, 2003 ; proceedings RTA 2003. Robert Nieuwenhuis (ed.) von Reihen: ; 270600 | Lecture notes in computer science ; 2706
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg Springer 2003
Weitere Titel:
  • RTA 2003
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 2706.
Vormerken Zum Korb hinzufügen
18.
Rewriting Techniques and Applications 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004; proceedings Vincent van Oostrom (ed.) von Reihen: ; 3091 | Lecture notes in computer science ; 3091
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11011743
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 3091.
Vormerken Zum Korb hinzufügen
19.
Term rewriting and applications 16th international conference, RTA 2005, Nara, Japan, April 19 - 21, 2005 ; proceedings Jürgen Giesl (ed.) von Reihen: ; 346700 | Lecture notes in computer science ; 3467
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11416999
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 3467.
Vormerken Zum Korb hinzufügen
20.
Processes, terms and cycles: steps on the road to infinity essays dedicated to Jan Willem Klop on the occasion of his 60th birthday Aart Middeldorp ... (eds.) von Reihen: Festschrift | ; 3838 | Lecture notes in computer science ; 3838
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11601548
Verlag: Berlin [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 3838.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha