Katalog der Deutschen Nationalbibliothek

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

1631 - 1640 von 1705

	1631	Quantifier elimination over real closed fields in the context of applied description logics Schultz, Claudia. - Hamburg : Univ., Bibl. des Fachbereichs Informatik, 2005
	1632	Realization and counting problems for planar structures Ribó Mor, Ares, 2005
	1633	Realization and counting problems for planar structures Ribó Mor, Ares, 2005
	1634	Reguläre Häufigkeitsberechnungen Austinat, Holger, 2005
	1635	Saturation based decision procedures for extensions of the guarded fragment Kazakov, Yevgeny, 2005
	1636	Spectral partitioning of random graphs with given expected degrees Coja-Oghlan, Amin. - Chemnitz : TU, Fak. für Informatik, 2005
	1637	Structure and linear time recognition of 4 leaf powers Brandstädt, Andreas. - Rostock : Univ., Fachbereich Informatik, 2005
	1638	The additivity of the two-dimensional Miller ideal Thiele, Sonja, 2005
	1639	The additivity of the two-dimensional Miller ideal Thiele, Sonja, 2005
	1640	The defect of language tables Brandt, Ulrike. - Darmstadt : Techn. Univ., Fachbereich Informatik, 2005