Katalog der Deutschen Nationalbibliothek

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

6001 - 6010 von 6016

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