Campusbibliothek

Ihre Suche erzielte 390 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
61.
MILEF - SEMILET user manual Eberhard Böhm. Gesellschaft für Mathematik und Datenverarbeitung mbH. [Verantw. für dieses H.: Heinrich Theodor Vierhaus] von Reihen: ; 88000 | Gesellschaft für Mathematik und Datenverarbeitung Arbeitspapiere der GMD ; 880 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD 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) St Augustin GMD Arbeitspapier Nr. 880.
Vormerken Zum Korb hinzufügen
62.
Building a configurable database application for structured documents Klemens Böhm von Reihen: ; 942 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 942 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD, Forschungszentrum Informationstechnik GmbH 1995
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) St Augustin GMD Arbeitspapier Nr. 942.
Vormerken Zum Korb hinzufügen
63.
Extending the scope of document handling the design of an OODBMS application framework for SGML document storage Klemens Böhm; Karl Aberer; Christoph Hüser von Reihen: ; 81100 | Gesellschaft für Mathematik und Datenverarbeitung Arbeitspapiere der GMD ; 811 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD 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) St Augustin GMD Arbeitspapier Nr. 811.
Vormerken Zum Korb hinzufügen
64.
An efficient parallel eigensolver for dense hermitian matrices Franz Brakhagen; Paul G. Lauwers von Reihen: ; 1008 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1008 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Forschungszentrum Informationstechnik 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) St Augustin GMD Arbeitspapier Nr. 1008.
Vormerken Zum Korb hinzufügen
65.
Lattice based enforcement of access control policies Ciarán Bryce. GMD-Forschungszentrum Informationstechnik GmbH. [Verantwortl. für dieses H.: Liliane Peters] von Reihen: ; 1020 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1020 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Publ.-Vertrieb 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) St Augustin GMD Arbeitspapier Nr. 1020.
Vormerken Zum Korb hinzufügen
66.
The Skippy security engineering framework Ciarán Bryce. GMD-Forschungszentrum Informationstechnik GmbH. [Verantw. für dieses H.: Liliane Peters] von Reihen: ; 1060 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1060 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Publ.-Vertrieb 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) St Augustin GMD Arbeitspapier Nr. 1060.
Vormerken Zum Korb hinzufügen
67.
Klima- und Wettersimulation auf massiv parallelen Rechnern ein Durchbruch Gesellschaft für Mathematik und Datenverarbeitung mbH. Reinhard Budich ... von Reihen: ; 79600 | Gesellschaft für Mathematik und Datenverarbeitung Arbeitspapiere der GMD ; 796 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin GMD 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) St Augustin GMD Arbeitspapier Nr. 796.
Vormerken Zum Korb hinzufügen
68.
Concept for an extended type checker for the Z specification language Jochen Burghardt von Reihen: ; 995 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 995 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Forschungszentrum Informationstechnik 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) St Augustin GMD Arbeitspapier Nr. 995.
Vormerken Zum Korb hinzufügen
69.
Regular substitution sets a means of controlling E-unification Jochen Burghardt. GMD-Forschungszentrum Informationstechnik GmbH. [Verantw. für dieses H.: Stefan Jähnichen] von Reihen: ; 926 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 926 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Forschungszentrum Informationstechnik 1995
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) St Augustin GMD Arbeitspapier Nr. 926.
Vormerken Zum Korb hinzufügen
70.
Formale Entwicklung einer Steurung für eine Fertigungszelle mit SYSYFOS Jochen Burghardt von Reihen: ; 996 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 996 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin GMD-Forschungszentrum Informationstechnik 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) St Augustin GMD Arbeitspapier Nr. 996.
Vormerken Zum Korb hinzufügen
71.
Tool support for the formal specification method Z - A survey Jochen Burghardt; Robert Gabriel. GMD-Forschungszentrum Informationstechnik GmbH. [Verantw. für dieses H.: Peter Behr] von Reihen: ; 1024 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1024 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Publ.-Vertrieb 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) St Augustin GMD Arbeitspapier Nr. 1024.
Vormerken Zum Korb hinzufügen
72.
Implementing anti-unification modulo equational theory Jochen Burghardt; Birgit Heinz von Reihen: ; 1006 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1006 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Forschungszentrum Informationstechnik 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) St Augustin GMD Arbeitspapier Nr. 1006.
Vormerken Zum Korb hinzufügen
73.
CSCW and the web proceedings of the 5th ERCIM/W4G Workshop, Sankt Augustin, February 1996 Uwe Busbach ... (eds.) von Reihen: ERCIM/W4G Workshop ; 5 | ; 984 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 984 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Forschungszentrum Informationstechnik 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) St Augustin GMD Arbeitspapier Nr. 984.
Vormerken Zum Korb hinzufügen
74.
Portable programming with the PARMACS message-passing library Gesellschaft für Mathematik und Datenverarbeitung. Robin Calkin ... [Verantw. für dieses H.: Ulrich Trottenberg] von Reihen: ; 83300 | Gesellschaft für Mathematik und Datenverarbeitung Arbeitspapiere der GMD ; 833 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD 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) St Augustin GMD Arbeitspapier Nr. 833.
Vormerken Zum Korb hinzufügen
75.
The shallow water test cases for a global model with documentation of the results Kläre Cassirer ... von Reihen: ; 999 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 999 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD 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) St Augustin GMD Arbeitspapier Nr. 999.
Vormerken Zum Korb hinzufügen
76.
Efficient querying on genomic databases by using metric space indexing technology Weimin Chen; Karl Aberer. GMD-Forschungszentrum Informationstechnik GmbH. [Verantw. für dieses H. Ralf Steinmetz] von Reihen: ; 1056 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1056 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Publ.-Vertrieb 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) St Augustin GMD Arbeitspapier Nr. 1056.
Vormerken Zum Korb hinzufügen
77.
Efficient multiple dispatching using nested transition-arrays Weimin Chen, Karl Aberer von Reihen: ; 90600 | Gesellschaft für Mathematik und Datenverarbeitung Arbeitspapiere der GMD ; 906 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD 1995
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) St Augustin GMD Arbeitspapier Nr. 906.
Vormerken Zum Korb hinzufügen
78.
Efficient algorithm for determining the optimal execution strategy for path queries in OODBS Weimin Chen, Karl Aberer, Erich J. Neuhold von Reihen: ; 90700 | Gesellschaft für Mathematik und Datenverarbeitung Arbeitspapiere der GMD ; 907 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD 1995
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) St Augustin GMD Arbeitspapier Nr. 907.
Vormerken Zum Korb hinzufügen
79.
Reader on artificial intelligence 1995/96 Thomas Christaller (ed.). GMD-Forschungszentrum Informationstechnik GmbH von Reihen: ; 1010 | GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1010 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin GMD-Publ.-Vertrieb 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) St Augustin GMD Arbeitspapier Nr. 1010.
Vormerken Zum Korb hinzufügen
80.
Überlegungen zur semantischen Validierung der objektorientierten Analyse Constanze Clauser. Gesellschaft für Mathematik und Datenverarbeitung mbH. [Verantw. für dieses H. : Heinrich Theodor Vierhaus] von Reihen: ; 88200 | Gesellschaft für Mathematik und Datenverarbeitung Arbeitspapiere der GMD ; 882 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin GMD 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) St Augustin GMD Arbeitspapier Nr. 882.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha