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=004* or dcs=005* or dcs=006*
im Bestand: Gesamter Bestand

2751 - 2760 von 3331

	2751	Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
	2752	Syntactic and semantic modularisation of modelling languages Grammes, Rüdiger, 2007
	2753	Synthesizing Program Generators for Embedded Software Jung, Michael. - Aachen : Shaker, 2007, 1. Auflage
	2754	System support for spontaneous pervasive computing environments Schiele, Gregor Alexander, 2007
	2755	Systemdesign eines Dualband-Multimode-Wireless LAN-HF-Transceivers Pimingsdorfer, Dieter, 2007
	2756	Tagging and parsing with cascaded Markov models Brants, Thorsten, [2007]
	2757	Tamper resistance of AES Krummel, Volker, 2007
	2758	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	2759	Temporal pattern mining in dynamic environments Lattner, Andreas D., 2007
	2760	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]

2751 - 2760 von 3331

Alle Materialarten > Online Ressourcen (3331)

Alle Kataloge/Sammlungen > Hochschulschriften (3331)

Alle Standorte > Frankfurt (3331)

Aktionen

Administration