Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 4319 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
81.
Konzeption einer deklarativen Wissensbasis über recyclingrelevante Materialien Harold Boley; Ulrich Buhrmann; Christof Kremer von Reihen: ; 93,3 | Deutsches Forschungszentrum für Künstliche Intelligenz Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz ; 93,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Kaiserslautern [u.a.] 1993
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 TM-93-03.
Vormerken Zum Korb hinzufügen
82.
Algebraische Theorie der Differentiale R. W. Berger von Reihen: Universität des Saarlandes Annales Universitatis Saraviensis / Series mathematicae ; 5,2
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken Fachbereich Mathematik d. Univ. d. Saarlandes 1994
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AUS 5:2 2.Ex, ...
Vormerken Zum Korb hinzufügen
83.
Evolution equations solutions for irregular evolution problems via generalized solutions and generalized initial values; applications to periodic shocks models G. Lumer von Reihen: Universität des Saarlandes Annales Universitatis Saraviensis / Series mathematicae ; 5,1
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Mathematik d. Univ. d. Saarlandes 1994
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AUS 5:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
84.
Various notions of associated prime ideals R. W. Berger von Reihen: ; 5,3 | Universität des Saarlandes Annales Universitatis Saraviensis / Series mathematicae ; 5,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Mathematik d. Univ. d. Saarlandes 1994
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) AUS 5:3, ...
Vormerken Zum Korb hinzufügen
85.
Potential theory on infinite networks Paolo M. Soardi von Reihen: ; 159000 | Lecture notes in mathematics ; 1590
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
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 1590.
Vormerken Zum Korb hinzufügen
86.
Finsler metrics - a global approach with applications to geometric function theory Marco Abate; Giorgio Patrizio von Reihen: ; 159100 | Lecture notes in mathematics ; 1591
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
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 1591.
Vormerken Zum Korb hinzufügen
87.
LEDA manual version 3.0 Stefan Näher von Reihen: ; 93,109 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 93,109 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Inst. für Informatik 1993
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) MPI-I-93-109, ...
Vormerken Zum Korb hinzufügen
88.
Asymptotic approximations for probability integrals Karl Wilhelm Breitung von Reihen: ; 159200 | Lecture notes in mathematics ; 1592
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
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 1592.
Vormerken Zum Korb hinzufügen
89.
Topics in the theory of Riemann surfaces Robert D. M. Accola von Reihen: ; 159500 | Lecture notes in mathematics ; 1595
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
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 1595.
Vormerken Zum Korb hinzufügen
90.
Stochastic ordering and dependence in applied probability R. Szekli von Reihen: ; 9700 | Lecture notes in statistics ; 97
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York Berlin Heidelberg [u.a.] Springer 1995
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) LNS 97.
Vormerken Zum Korb hinzufügen
91.
Classical vs non-classical logics the universality of classical logic Dov M. Gabbay von Reihen: ; 93,230 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 93,230 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Max-Planck-Institut für Informatik 1993
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) MPI-I-93-230.
Vormerken Zum Korb hinzufügen
92.
A transformational approach to the design of communicating systems Stephan Rössig von Reihen: ; 199404 | Carl von Ossietzky Universität Oldenburg Berichte aus dem Fachbereich Informatik / Carl-v.-Ossietzky-Universität Oldenburg ; 199404 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Oldenburg Carl-v.-Ossietzky-Univ. 1994
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 1994
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) RÖS st 1994:1 1.Ex.
Vormerken Zum Korb hinzufügen
93.
Higher-order order-sorted resolution Michael Kohlhase von Reihen: ; 94,1 | SEKI-Report ; 1994001
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Informatik, Univ. des Saarlandes 1994
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-1994-01.
Vormerken Zum Korb hinzufügen
94.
The application of goal-oriented heuristics for proving equational theorems via the unfailing Knuth-Bendix completion procedure a case study: lattice ordered groups Matthias Fuchs von Reihen: ; 94,2 | SEKI-Report ; 1994002
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. 1994
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-1994-02.
Vormerken Zum Korb hinzufügen
95.
An alternative for handling AC Matthias Fuchs von Reihen: ; 94,3 | SEKI-Report ; 1994003
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. 1994
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-1994-03.
Vormerken Zum Korb hinzufügen
96.
Goal oriented equational theorem proving using team work Jörg Denzinger; Matthias Fuchs von Reihen: ; 94,4 | SEKI-Report ; 1994004
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. 1994
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-1994-04.
Vormerken Zum Korb hinzufügen
97.
Analysis and representation of equational proofs generated by a distributed completion based proof system Jörg Denzinger; Stephan Schulz von Reihen: ; 94,5 | SEKI-Report ; 1994005
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Fachbereich Informatik, Univ. 1994
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-1994-05.
Vormerken Zum Korb hinzufügen
98.
An application of Klop's counterexample to a higher-order rewrite system Dan Nesmith von Reihen: ; 94,6 | SEKI-Report ; 1994006
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Informatik, Univ. des Saarlandes 1994
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-1994-06.
Vormerken Zum Korb hinzufügen
99.
Human oriented proof presentation a reconstructive approach Xiaorong Huang von Reihen: ; 94,7 | SEKI-Report ; 1994007
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Informatik, Univ. des Saarlandes 1994
Hochschulschriftenvermerk: Zugl.: Saarbrücken, Univ. des Saarlandes, Diss., 1994
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-1994-07.
Vormerken Zum Korb hinzufügen
100.
Planning mathematical proofs with methods Universität des Saarlandes, Fachbereich Informatik. Xiaorong Huang ... von Reihen: ; 94,8 | SEKI-Report ; 1994008
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Informatik, Univ. des Saarlandes 1994
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-1994-08.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha