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
?
Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.
Ergebnis der Suche nach:
dcs=00*
im Bestand: Gesamter Bestand
8561 - 8570 von 8599
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
8561
Werkzeug Objekt
Runge, Wolfgang. - Flensburg : Zentrale Hochschulbibliothek Flensburg, 2001
8562
A uniform constraint-based framework for the verification of infinite state systems
Mukhopadhyay, Supratik, 2000
8563
Adaptive Suchverfahren
Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
8564
Analyzing demand in non-strict functional programming languages
Schütz, Marko, 2000
8565
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung
Willett, Daniel, 2000
8566
Beiträge zur statistischen Modellierung und effizienten Dekodierung in der automatischen Spracherkennung
Willett, Daniel, 2000
8567
Case retrieval nets as a model for building flexible information systems
Lenz, Mario. - Berlin : Akad. Verl.-Ges. Aka, 2000
8568
Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
8569
Ein Berechnungsmodell für situatives Agieren
Weiser, Thomas, 2000
8570
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice
Kutzner, Arne, 2000
8561 - 8570 von 8599
Alle Materialarten
Bücher (4943)
Online Ressourcen (3624)
Elektronische Datenträger (21)
Ausgaben/Hefte (2)
Mikroformen (11)
Alle Kataloge/Sammlungen
>
Hochschulschriften (8599)
Alle Standorte
Frankfurt (8553)
Leipzig (8571)
Online (frei zugänglich) (3145)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration