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=005*
im Bestand: Gesamter Bestand

7361 - 7370 von 7934

	7361	Temporal assertions for sequential and concurrent programs Stolz, Volker. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	7362	Temporal verification with transition invariants Rybalchenko, Andrey, [2007]
	7363	Term rewriting and applications Berlin : Springer, 2007
	7364	Testing of software and communicating systems Berlin : Springer, 2007
	7365	Tests and proofs Berlin : Springer, 2007
	7366	The Calculus of Computation Bradley, Aaron R.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
	7367	The DP framework for proving termination of term rewriting Thiemann, René. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2007, [Online-Ausg.]
	7368	The feature architecture mapping method for feature oriented development of software product lines Sochos, Periklis, 2007
	7369	The Kiel Esterel processor Li, Xin, 2007
	7370	The role of features and aspects in software development Apel, Sven, 2007

7361 - 7370 von 7934

Alle Materialarten > Online Ressourcen (7934)

Alle Kataloge/Sammlungen

Hochschulschriften (1235)

Alle Standorte > Frankfurt (7934)

Aktionen

Administration