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 1145185

	100001	Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers Karimov, Toghrul. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100002	Verification of the CVM Algorithm with a Functional Probabilistic Invariant Karayel, Emin. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100003	Verifizierung und Optimierung von Messverfahren zur Bestimmung der Verlustleistung in Batteriezellen von Speichersystemen Bargmann, Till. - Leipzig : Hochschule für Technik, Wirtschaft und Kultur, 2025
	100004	Verifying an Efficient Algorithm for Computing Bernoulli Numbers Eberl, Manuel. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100005	Verifying Datalog Reasoning with Lean Tantow, Johannes. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100006	Verifying Quantum Based Systems : What do we have to change? Schmitt, Anna. - Darmstadt : Universitäts- und Landesbibliothek, 2025
	100007	Verifying Smart Contract Transformations Using Bisimulations McIlwaine, Kegan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
	100008	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
	100009	Verkehrliche Maßnahmen aus historischen OSM-Daten identifizieren Metzler, Simon. - Berlin : KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -, 2025
	100010	Verkehrsberuhigung und Einzelhandel: Dann wird’s laut Bauer, Uta. - Berlin : Deutsches Institut für Urbanistik, 2025

100001 - 100010 von 1145185

Alle Materialarten

Alle Kataloge/Sammlungen

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

Aktionen

Administration