Katalog der Deutschen Nationalbibliothek

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

231 - 240 von 734

	231	First-Order Model Checking on Generalisations of Pushdown Graphs Kartzow, Alexander. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
	232	Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel-, Transitions-Netzen Chong, Dennis, 2011
	233	Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel-, Transitions-Netzen Chong, Dennis, 2011
	234	Fuzzy arithmetical modeling and analysis for mechanical and geotechnical systems with epistemic uncertainties Turrin, Simone. - Uelvesbüll : Der Andere Verl., 2011
	235	Granularity analysis for tutoring mathematical proofs Schiller, Marvin. - [Amsterdam] : IOS Press, 2011
	236	Investigations on the structural properties of Carlson's _4261-relation García Cornejo, Parménides, 2011
	237	Learning description logic knowledge bases from data using methods from formal concept analysis Distel, Felix, 2011
	238	Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis Distel, Felix. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
	239	Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division Lürwer-Brüggemeier, Katharina. - Paderborn : HNI, 2011
	240	Matchings in balanced hypergraphs Scheidweiler, Robert Berthold, 2011