Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Teilbestand nach VGG

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Dienstag, 17. Juni 2025: Die Deutsche Nationalbibliothek ist wegen eines Beschäftigtentreffens an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 in Frankfurt sind geschlossen. // Tuesday, 17 June 2025: The German National Library will be closed at both locations due to a staff meeting. The exhibitions of the German Museum of Books and Writing in Leipzig will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933-1945 in Frankfurt will be closed.

Ergebnis der Suche nach: "12142622X"
im Bestand: Gesamter Bestand

1 - 10 von 15

	1	Subtyping and overloading in a functional programming language Plümicke, Martin. - Tübingen : WSI, 1994
	2	2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen (2 : 1992 : Oberjoch). - Tübingen : WSI, 1992
	3	Gibt es Software-Engineering? Klaeren, Herbert. - Tübingen : WSI, 1992
	4	Vom Problem zum Programm Klaeren, Herbert. - Stuttgart : Teubner, 1991, 2., neubearb. und erw. Aufl.
	5	Vom Problem zum Programm Klaeren, Herbert. - Stuttgart : Teubner, 1990
	6	A clean Modula-2 interface to abstract data types Klaeren, Herbert. - Tübingen : WSI, 1989
	7	A new implementation technique for recursive function definitions Klaeren, Herbert. - Aachen : RWTH, Fachgruppe Informatik, 1987
	8	Algebraische Spezifikation Klaeren, Herbert. - Berlin : Springer, 1983
	9	A constructive method for abstract algebraic software specification Klaeren, Herbert. - Aachen : RWTH, 1982
	10	Einführung in die abstrakte Software-Spezifikation Klaeren, Herbert. - Aachen : RWTH, 1982