Katalog der Deutschen Nationalbibliothek

Ihr Suchergebnis enthält zu viele Treffer. Bitte schränken Sie Ihre Suche weiter ein.

Ergebnis der Suche nach: cod="rb"
im Bestand: Gesamter Bestand

100001 - 100010 von 1023720

	100001	A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows Abdulaziz, Mohammad. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100002	A Formal Proof of R(4,5)=25 Gauthier, Thibault. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100003	A Formalization of the General Theory of Quaternions de Lima, Thaynara Arielly. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100004	A Formalization of the Lévy-Prokhorov Metric in Isabelle/HOL Hirata, Michikazu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100005	A forming limit framework accounting for various failure mechanisms Shen, Fuhui. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
	100006	A Framework for Assessing Inconsistency in Disjunctive Temporal Problems Condotta, Jean-François. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
	100007	A framework for automated landslide dating utilizing SAR-Derived Parameters Time-Series, An Enhanced Transformer Model, and Dynamic Thresholding Wang, Wandi. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2024
	100008	A framework for automated scalable designation of viral pathogen lineages from genomic data McBroome, Jakob. - Freiburg : Universität, 2024
	100009	A framework for explainable root cause analysis in manufacturing systems : explainable Artificial Intelligence for shopfloor workers Kiefer, Daniel. - Reutlingen : Hochschule Reutlingen, 2024
	100010	A framework for identifying domain knowledge to be included in data driven fault diagnostics Sarode, Rohan Sunil. - Ingolstadt : Technische Hochschule Ingolstadt, 2024

100001 - 100010 von 1023720

Alle Materialarten > Online Ressourcen (1023720)

Alle Kataloge/Sammlungen

Alle Standorte > Leipzig (1023720)

Aktionen