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

1231 - 1235 von 1235

	1231	Methoden- und Werkzeugunterstützung für evolutionäre, objektorientierte Software-Projekte Sarferaz, Siar, 2003
	1232	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	1233	Workflow- und Prozeßsynchronisation mit Interaktionsausdrücken und -graphen Heinlein, Christian, 2000, [Online-Ausg.]
	1234	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	1235	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999

1231 - 1235 von 1235

Alle Materialarten > Online Ressourcen (1235)

Alle Kataloge/Sammlungen > Hochschulschriften (1235)

Alle Standorte > Frankfurt (1235)

Aktionen

Administration