Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.

Ergebnis der Suche nach: "SEKI" and "Report"
im Bestand: Gesamter Bestand

1 - 10 von 434

	1	Videoconference-Based Cognitive Behavioral Therapy in Medication-Treated Adults with Attention-Deficit/Hyperactivity Disorder: A Randomized, Assessor-Blinded, Controlled Trial Enthalten in Psychotherapy and psychosomatics Bd. 94, 2025, Nr. 5: 343-357. 15 S.
	2	A Case Study in Distributed Planning for Autonomous Cooperating Agents Breuer, Peter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	3	A Colored Version of the lambda-Calculus Hutter, Dieter. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	4	A Combinator-based Order-sorted Higher-order Unification Algorithm Johann, Patricia. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	5	A Dialogue Manager for the DIALOG Demonstrator Buckley, Mark. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	6	A Mechanization of Strong Kleene Logic for Partial Functions Kerber, Manfred. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	7	A Method to Prove the Positiveness of Polynomials Steinbach, Joachim. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	8	A Proof Representation Berkelhammer, Jessi. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	9	A Reduction Ordering for Higher-Order Terms Avenhaus, Jürgen. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024
	10	A Relational/Functional Language and Its Compilation into the WAM Boley, Harold. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2024