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

10511 - 10520 von 10718

	10511	Bounded model checking of pointer programs Charatonik, Witold. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005
	10512	Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
	10513	Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
	10514	C++ Schumann, Hans-Georg. - Osnabrück : KnowWare, 2005, 1. Ausg., 1. Aufl.
	10515	Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
	10516	Compositions of tree series transformations Maletti, Andreas. - Dresden : TU, Fak. Informatik, 2005
	10517	COMRADE Kasprzyk, Nico, 2005
	10518	Control software for reconfigurable coprocessors Hinkelbein, Christian, 2005
	10519	Das Praxisbuch T-Mobile SDA II Gievers, Rainer. - Borgentreich, [Am Bahnhof 10] : R. Gievers, 2005
	10520	Das Satis-Projekt Gerull, Konrad. - Aachen : Pro Retina, 2005, Stand: Oktober 2005

10511 - 10520 von 10718

Alle Materialarten > Bücher (10718)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (10718)

Aktionen

Administration