Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.

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

2421 - 2430 von 2997

	2421	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	2422	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	2423	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	2424	Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
	2425	Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]
	2426	Tamper resistance of AES Krummel, Volker, 2007
	2427	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2428	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	2429	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	2430	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]

2421 - 2430 von 2997

Alle Materialarten

Online Ressourcen (2997)

Alle Kataloge/Sammlungen > Hochschulschriften (2997)

Alle Standorte > Online (frei zugänglich) (2997)

Aktionen

Administration