Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten daran, das Probleme zu beheben. Wir bitten Sie die Störung zu entschuldigen.

Die Deutsche Nationalbibliothek ist am Freitag, 1. Mai 2026 an beiden Standorten geschlossen. //
The German National Library will be closed on Friday 1 May 2026 at both locations.

Die Deutsche Nationalbibliothek ist am Donnerstag, 14. Mai 2026 an beiden Standorten geschlossen. // The German National Library will be closed on Thursday 14 May 2026 at both locations.

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