Katalog der Deutschen Nationalbibliothek

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. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations.

Ergebnis der Suche nach: dcs=0*
im Bestand: Gesamter Bestand

20091 - 20100 von 21830

	20091	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	20092	Synchronizing internet protocol security (SIPSec) New York, NY : Springer, 2007
	20093	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	20094	Synthesizing Program Generators for Embedded Software Jung, Michael. - Aachen : Shaker, 2007, 1. Auflage
	20095	System analysis Berlin : Springer, 2007
	20096	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	20097	Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
	20098	Systems Modeling and Simulation Tokyo : Springer Japan, 2007
	20099	Tätigkeitsbericht der Hessischen Staatsarchive Wiesbaden : Hessisches Hauptstaatsarchiv
	20100	Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]