|
1401 |
Program Logics for Ledgers
Melkonian, Orestis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
1402 |
Programming Time-Predictable Processors with Lingua Franca
Mæhlum, Magnus. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
1403 |
Progressively smaller glacier lake outburst floods despite worldwide growth in lake area
Veh, Georg. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
|
|
|
|
1404 |
Projected sea-level contributions from tidewater glaciers are highly sensitive to chosen bedrock topography: a case study at Hansbreen, Svalbard
Möller, Marco. - Berlin : Humboldt-Universität zu Berlin, 2025
|
|
|
|
1405 |
Projekt GEOrg bei den SWM
Röckelein, Nina. - Berlin : KartDok - Repositorium Kartographie Staatsbibliothek zu Berlin - Preußischer Kulturbesitz - Kartenabteilung -, 2025
|
|
|
|
1406 |
Promoting leadership for learning in Nigeria: The interplay of leadership mastery experience and leader self-efficacy
Lüneburg : Medien- und Informationszentrum, Leuphana Universität Lüneburg, 2025
|
|
|
|
1407 |
Promoting the Use of Recycled Plastics: A Taxing Issue
Dove, Andrew. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2025
|
|
|
|
1408 |
Promoting the Use of Recycled Plastics: A Taxing Issue
Dove, Andrew. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2025
|
|
|
|
1409 |
Prompt Engineering zur Generierung von Sprachlerninhalten
Rüdian, Sylvio. - Berlin : Humboldt-Universität zu Berlin, 2025
|
|
|
|
1410 |
Proof Complexity and Its Relations to SAT Solving (Invited Talk)
Atserias, Albert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
Administration
