Katalog der Deutschen Nationalbibliothek

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

6061 - 6070 von 6077

	6061	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	6062	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	6063	Die Geschichte der Simulation Reifenrath, Andre, 1999
	6064	Empirische Diskursanalyse nach Foucault Fricke, Matthias, 1999
	6065	Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
	6066	On the design of IEEE compliant floating point units and their quantitative analysis Seidel, Peter-Michael, 1999
	6067	Platten-Scheduling und stochastische Service-Garantien für multimediale Daten-Server Nerjes, Guido, 1999
	6068	Ressourcenadaptierende Raumbeschreibung Blocher, Anselm, 1999
	6069	Tagging and parsing with cascaded Markov models Brants, Thorsten. - Saarbrücken : Univ., Department of Computational Lingustistics and Phonetics, 1999
	6070	Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998