Katalog der Deutschen Nationalbibliothek

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

1731 - 1740 von 1791

	1731	Weighted tree automata and weighted logics Droste, Manfred. - Dresden : TU, Fak. Informatik, 2005
	1732	What graphs can be efficiently represented by BDDs? Dong, C.. - Halle : Univ., Fachbereich Mathematik und Informatik, 2005
	1733	A stochastic extension of the logic PDL Kuntz, Matthias. - Neubiberg : Univ. of the Federal Armed Forces, Dep. of Computer Science, 2004
	1734	Algebra und Diskrete Mathematik 1 Lau, Dietlinde. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
	1735	An extremal property of the reuleaux triangle and the inner distance of graphs Hering, Franz. - Dortmund : Univ., Fachbereich Statistik, 2004
	1736	Boundary labeling Karlsruhe : Univ., Fak. für Informatik, Bibl., 2004
	1737	Circle planarity of level graphs Bachmaier, Christian, 2004
	1738	Counting principles of algebraic combinatorics with an emphasis on topological enumeration Hofmeister, Michael, 2004
	1739	From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, 2004
	1740	George Spencer Brown Wiesbaden : VS Verlag für Sozialwissenschaften, 2004