Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

Der Aufruf von archivierten Webseiten ist aktuell nicht möglich. Wir arbeiten an einer Lösung.

Am Donnerstag, 17.09.2026, öffnet die Deutsche Nationalbibliothek wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr.

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