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.

Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.

Ergebnis der Suche nach: dcs=005*
im Bestand: Gesamter Bestand

801 - 810 von 1709

	801	Web based project coaching Taranovych, Yuriy, 2011
	802	Werkzeugunterstützung für methodenneutrale Metamodellierung Volz, Bernhard Walter, 2011
	803	Why and how to control cloning in software artifacts Juergens, Elmar, 2011
	804	Zugriffskontrolle in serviceorientierten Architekturen am Beispiel von Geodateninfrastrukturen Herrmann, Jan M., 2011
	805	A data-centric information architecture for power systems Gerdes, Christoph, 2010
	806	A dependable middleware for enhancing the fault tolerance of distributed computations in grid environments Luckow, André. - Aachen : Shaker, 2010
	807	A formal approach to software product families Gruler, Alexander M., 2010
	808	A formal verification environment for use in the certification of safety-related C programs Walter, Dennis, 2010
	809	A formal, declarative approach to data format description Hartle, Michael, 2010
	810	A framework for automated HW/SW co-verification of SystemC designs using timed automata Herber, Paula. - Berlin : Logos, 2010

801 - 810 von 1709

Alle Materialarten > Bücher (1709)

Alle Kataloge/Sammlungen > Hochschulschriften (1709)

Alle Standorte > Leipzig (1709)

Aktionen

Administration