Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 4319 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
121.
Broadband network traffic performance evaluation and design of broadband multiservice networks; final report of action COST 242 James Roberts ... (ed.) von Reihen: ; 115500 | Lecture notes in computer science ; 1155
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1996
Weitere Titel:
  • Broadband network teletraffic
  • Broadband network teletraffic
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 1155.
Vormerken Zum Korb hinzufügen
122.
Adaptation of declaratively represented methods in proof planning Xiaorong Huang; Manfred Kerber; Lassaad Cheikhrouhou von Reihen: ; 95,12 | SEKI-Report ; 1995012
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 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) SEKI SR-1995-12.
Vormerken Zum Korb hinzufügen
123.
Confluence without termination via parallel critical pairs Bernhard Gramlich von Reihen: ; 95,13 | SEKI-Report ; 1995013
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 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) SEKI SR-1995-13.
Vormerken Zum Korb hinzufügen
124.
Theorem proving in hierarchical clausal specifications Jürgen Avenhaus; Klaus Maldener von Reihen: ; 95,14 | SEKI-Report ; 1995014
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 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) SEKI SR-1995-14.
Vormerken Zum Korb hinzufügen
125.
Über zyklische Erweiterungen p-ten Grades von Körpern, die die p-ten Einheitswurzeln nicht enthalten E. Lamprecht von Reihen: Universität des Saarlandes Annales Universitatis Saraviensis / Series mathematicae ; 7,3
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken Fachbereich Mathematik, Univ. des Saarlandes 1996
Weitere Titel:
  • rho roh-ten
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 7:3 2.Ex, ...
Vormerken Zum Korb hinzufügen
126.
Topics in topology Stevo Todorcevic von Reihen: ; 165200 | Lecture notes in mathematics ; 1652
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1997
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 1652.
Vormerken Zum Korb hinzufügen
127.
Island planning and refinement Erica Melis von Reihen: ; 96,10 | SEKI-Report ; 1996010
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1996
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-1996-10.
Vormerken Zum Korb hinzufügen
128.
Conditional equational specifications of data types with partial operations for inductive theorem proving Ulrich Kühler; Claus-Peter Wirth von Reihen: ; 96,11 | SEKI-Report ; 1996011
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Univ., Fachbereich Informatik 1996
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-1996-11.
Vormerken Zum Korb hinzufügen
129.
Analogy in verification of state-based specifications first results Erica Melis; Claus Sengler von Reihen: ; 96,13 | SEKI-Report ; 1996013
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ., Fachbereich Informatik 1996
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-1996-13.
Vormerken Zum Korb hinzufügen
130.
Resolution is a decision procedure for many propositional modal logics Renate A. Schmidt. [Max-Planck-Institut für Informatik] von Reihen: ; 97,2,2 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,2,2 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 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) MPI-I-97-2-002.
Vormerken Zum Korb hinzufügen
131.
Bicriteria job sequencing with release dates Yaoguang Wang von Reihen: ; 97,1,5 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,1,5 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 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) MPI-I-97-1-005.
Vormerken Zum Korb hinzufügen
132.
On evaluating decision procedures for modal logic Ullrich Hustadt; Renate A. Schmidt. [Max-Planck-Institut für Informatik] von Reihen: ; 97,2,3 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,2,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 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) MPI-I-97-2-003.
Vormerken Zum Korb hinzufügen
133.
Restricted 2-factor polytopes William H. Cunningham; Yaoguang Wang von Reihen: ; 97,1,6 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,1,6 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 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) MPI-I-97-1-006.
Vormerken Zum Korb hinzufügen
134.
New contact measures for the protein docking problem Hans-Peter Lenhof. [Max-Planck-Institut für Informatik] von Reihen: ; 97,1,4 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,1,4 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 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) MPI-I-97-1-004.
Vormerken Zum Korb hinzufügen
135.
Parallel algorithms for MDF-simulations of synthetic polymers [Max-Planck-Institut für Informatik]. Bernd Jung ... von Reihen: ; 97,1,3 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 97,1,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI 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) MPI-I-97-1-003.
Vormerken Zum Korb hinzufügen
136.
Lower bounds for row minima searching Philip G. Bradford; Knut Reinert. [Max-Planck-Institut für Informatik] von Reihen: ; 96,1,29 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 96,1,29 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1996
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-96-1-029.
Vormerken Zum Korb hinzufügen
137.
On the complexity of computing evolutionary trees [Max-Planck-Institut für Informatik]. Leszek Ga̧sieniec ... von Reihen: ; 96,1,31 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 96,1,31 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1996
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-96-1-031.
Vormerken Zum Korb hinzufügen
138.
On the decision complexity of the bounded theories of trees Sergei Vorobyov von Reihen: ; 19962008 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 19962008 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Saarbrücken Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation 1996
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-96-2-008.
Vormerken Zum Korb hinzufügen
139.
A technique for adding range restrictions to generalized searching problems Prosenjit Gupta ; Ravi Janardan ; Michiel Smid von Reihen: ; 19961017 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 19961017 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Saarbrücken Max-Planck-Inst. für Informatik, Bibliothek & Dokumentation 1996
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-96-1-017.
Vormerken Zum Korb hinzufügen
140.
Natural deduction for non-classical logics David Basin; Seán Matthews; Luca Viganò. [Max-Planck-Institut für Informatik] von Reihen: ; 96,2,6 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 96,2,6 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 1996
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-96-2-006.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha