Katalog der Deutschen Nationalbibliothek

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

1701 - 1710 von 1712

	1701	Lokalitätsoptimierung für Speicherhierarchien und Programmiermodelle des parallelen und verteilten Rechnens Leopold, Claudia, 2002
	1702	Multimedia-Delivery für personalisierbare E-Services Wagner, Matthias. - Norderstedt : Books on Demand GmbH, c 2002
	1703	Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
	1704	Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
	1705	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	1706	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	1707	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	1708	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	1709	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	1710	Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998