Katalog der Deutschen Nationalbibliothek

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

151 - 160 von 296

	151	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008
	152	Die Berechnungsstärke von Forgetting-Automaten Glöckler, Jens, 2008
	153	Disturbed diffusive processes for solving partitioning problems on graphs Meyerhenke, Henning, 2008
	154	Dynamics and evolution of random Boolean networks Mihaljev, Tamara, 2008
	155	Edge search in graphs using incidence tests Gerzen, Tatjana, 2008
	156	Efficient symbolic analysis of bounded Petri nets using interval decision diagrams Tovchigrechko, Alexey A., 2008
	157	Eine Verallgemeinerung der lokalen Gross-Zagier-Formeln von Zhang Maurischat, Kathrin, 2008
	158	Enumeration of generalized polyominoes Koch, Matthias. - [Bayreuth] : [Univ.-Bibliothek], [2008]
	159	Hamiltonian cycles in certain graphs and out-arc pancyclic vertices in tournaments Feng, Jinfeng, 2008
	160	Identifying dependencies among delays Conte, Carla, 2008