Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten daran, das Probleme zu beheben. Wir bitten Sie die Störung zu entschuldigen.
Die Deutsche Nationalbibliothek ist am Freitag, 1. Mai 2026 an beiden Standorten geschlossen. //
The German National Library will be closed on Friday 1 May 2026 at both locations.
Die Deutsche Nationalbibliothek ist am Donnerstag, 14. Mai 2026 an beiden Standorten geschlossen. // The German National Library will be closed on Thursday 14 May 2026 at both locations.
Ergebnis der Suche nach:
"SEKI" and "Working" and "Paper"
im Bestand: Gesamter Bestand
1 - 10 von 52
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
1
A bird's-eye view of LISPLOG
Boley, Harold. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
2
A Decision Procedure for Presburger Arithmetic with Functions and Equality
Krämer, F.-J.. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
3
ARI
Barth, Winfried. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
4
CALDO
Sohns, Harald. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
5
COMTES
Steinbach, Joachim. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
6
Conceptual Dependency Theory
Nökel, Klaus. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
7
Ein Indexierungskonzept für LISPLOG-Datenbasen
Bernardi, Ansgar. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
8
Entwurf und Implementierung einer Interaktionsumgebung für LISPLOG
Meyer, Manfred Andreas. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
9
Extending the WARREN Abstract Machine to Feature Prolog
Forster, Peter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
10
FONE AND FALL
Boley, Harold. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
1 - 10 von 52
Alle Materialarten
Zeitschriften/Serien (1)
Bücher (10)
Online Ressourcen (41)
Alle Kataloge/Sammlungen
Teilbestand nach VGG (2)
Alle Standorte
Frankfurt (52)
Leipzig (50)
Online (frei zugänglich) (5)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration