Katalog der Deutschen Nationalbibliothek

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

1691 - 1700 von 1700

	1691	Parallelism constraints in underspecified semantics Erk, Katrin. - Saarbrücken : German Research Center for Artificial Intelligence, 2002
	1692	Adaptive Suchverfahren Schulz, Frank. - Aachen : Shaker, 2000, Als Ms. gedr.
	1693	Analyzing demand in non-strict functional programming languages Schütz, Marko, 2000
	1694	Ein Berechnungsmodell für situatives Agieren Weiser, Thomas, 2000
	1695	Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic Choice Kutzner, Arne, 2000
	1696	Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme Kauer, Stefan, 1999
	1697	Complexity of certificates, heuristics, and counting types, with applications to cryptography and circuit theory Rothe, Jörg, 1999
	1698	Design and implementation of the parallel functional language Eden Breitinger, Silvia, 1998
	1699	Polymorphic type interference for object oriented programming languages Hense, Andreas V.. - Saarbrücken : Pirrot, 1994
	1700	POCO, ein portables System zur Generierung portabler Compiler Eulenstein, Michael, 1983