Katalog der Deutschen Nationalbibliothek

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

4911 - 4920 von 4931

	4911	Analytische Maschinen Chadzelek, Thomas. - München : Utz, Wiss., 1999
	4912	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	4913	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	4914	Die Geschichte der Simulation Reifenrath, Andre, 1999
	4915	Entwicklung eines impulskodierenden neuronalen Netzes für die Segmentierung bewegter Szenen Schott, Ulrich, 1999
	4916	On the design of IEEE compliant floating point units and their quantitative analysis Seidel, Peter-Michael, 1999
	4917	Platten-Scheduling und stochastische Service-Garantien für multimediale Daten-Server Nerjes, Guido, 1999
	4918	Ressourcenadaptierende Raumbeschreibung Blocher, Anselm, 1999
	4919	Tagging and parsing with cascaded Markov models Brants, Thorsten. - Saarbrücken : Univ., Department of Computational Lingustistics and Phonetics, 1999
	4920	Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998