Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.

Ergebnis der Suche nach: "107905582"
im Bestand: Gesamter Bestand

41 - 50 von 186

	41	Multi-amalgamation of rules with application conditions in M-adhesive categories Golas, Ulrike. - Berlin : Technische Universität Berlin, 2014
	42	Analysis of hypergraph transformation systems in AGG based on M-functors Maximova, Maria. - Berlin : TU, Professoren der Fak. IV, 2013
	43	Graph transformations Berlin : Springer, 2012
	44	Graph Transformations Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	45	Transfer of local confluence and termination between Petri net and graph transformation systems based on M-functors: extended version Maximova, Maria. - Berlin : TU, Professoren der Fak. IV, 2012
	46	A formal resolution strategy for operation-based conflicts in model versioning using graph modifications Ehrig, Hartmut. - Berlin : TU, Professoren der Fak. IV, 2011
	47	Functors between M-adhesive categories applied to Petri net and graph transformation systems Maximova, Maria. - Berlin : TU, Professoren der Fak. IV, 2011
	48	Verification of Architectural Refactorings: Rule Extraction and Tool Support Bisztray, Dénes. - Berlin : Technische Universität Berlin, 2011
	49	Efficient process analysis of transformation systems based on Petri nets Berlin : TU, Professoren der Fak. IV, 2010
	50	Formal analysis and verification of self-healing systems: long version Berlin : TU, Professoren der Fak. IV, 2010