Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Der Multimedia-Zeitschriftenlesesaal und der Kartenlesesaal in Leipzig sind vom 30.10. bis 03.11. geschlossen. // The multimedia/periodical reading room and the map reading room in Leipzig are closed from 30.10 to 03.11.

Leipzig: Freitag, 31. Oktober 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // Friday, 31 October 2025: The German National Library in Leipzig will be closed. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.

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

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

100001 - 100010 von 1145187

	100001	Verification of Data-Value-Aware Process Models Ordoni, Elaheh. - Karlsruhe : KIT-Bibliothek, 2025
	100002	Verification of forward simulations with thread-local, step-local proof obligations Schellhorn, Gerhard. - Augsburg : Universität Augsburg, 2025
	100003	Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers Karimov, Toghrul. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100004	Verification of the CVM Algorithm with a Functional Probabilistic Invariant Karayel, Emin. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100005	Verifizierung und Optimierung von Messverfahren zur Bestimmung der Verlustleistung in Batteriezellen von Speichersystemen Bargmann, Till. - Leipzig : Hochschule für Technik, Wirtschaft und Kultur, 2025
	100006	Verifying an Efficient Algorithm for Computing Bernoulli Numbers Eberl, Manuel. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100007	Verifying Datalog Reasoning with Lean Tantow, Johannes. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100008	Verifying Quantum Based Systems : What do we have to change? Schmitt, Anna. - Darmstadt : Universitäts- und Landesbibliothek, 2025
	100009	Verifying Smart Contract Transformations Using Bisimulations McIlwaine, Kegan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100010	Verkalkung und Twinkling-Phänomen von Hyaluronsäure/Dextranomergel-Depots nach Ostiumunterspritzung bei vesikuoreteralem Reflux – Ein potenzieller Pitfall zum Konkrement? Abspacher, Lara Julie. - München : Universitätsbibliothek der TU München, 2025

100001 - 100010 von 1145187

Alle Materialarten

Alle Kataloge/Sammlungen

Alle Standorte > Online (frei zugänglich) (1145187)

Aktionen

Administration