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

2951 - 2956 von 2956

	2951	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	2952	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	2953	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	2954	Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998
	2955	Polymorphic type interference for object oriented programming languages Hense, Andreas V.. - Saarbrücken : Pirrot, 1994
	2956	POCO, ein portables System zur Generierung portabler Compiler Eulenstein, Michael, 1983