„iOS“

Suchergebnisse

4.926 Treffer

• On an Invariance Problem for Parameterized Concurrent Systems
  Bozga, Marius ; Bueri, Lucas ; Iosif, Radu 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment
  Echenim, Mnacho ; Iosif, Radu ; Peltier, Nicolas 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• D ioscorea bulbifera seed peel chars as electrocatalysts for hydrogen evolution reactions—experimental and theoretical investigations
  Unoka, Edith C. ; Iyasele, J. U. ; Uwidia, I. E. ; Nnaji, Precious C. ; Lobb, Kevin ; Nnaji, Nnaemeka
• Waves on mazes
  Bena, Iosif ; Dulac, Raphaël ; Houppe, Anthony ; Toulikas, Dimitrios ; Warner, Nicholas P.
• Buraddorando
  Snyder, Timothy 2022 Chikuma Shobō
• Buraddorando
  Snyder, Timothy 2023 Chikuma Shobō
• Say my name
  Eden, Francis 2025 LEAF
• Iossif Bak oral history (interview code: 648)
  Bak, Iossif ; Chabelski, Adelle 1995 USC Shoah Foundation
• Brustbild nach links in ovalem Medaillon – Radierung
  Hauber, Joseph ; Halm, Felix 2025 Deutsche Nationalbibliothek
• Iosif Saksonov oral history (interview code: 2887)
  Saksonov, Iosif ; Feldman, Anna 1995 USC Shoah Foundation
• Comparative Southeast European studies
  2025 de Gruyter Oldenbourg
• Brief Announcement: On Self-Adjusting Skip List Networks
  Avin, Chen ; Salem, Iosif ; Schmid, Stefan 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dependent Sums and Dependent Products in Bishop’s Set Theory
  Petrakis, Iosif 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Implications of CYP1B1 in the treatment and prognosis of breast cancer
  Stipp, Maria Carolina ; Nardin, Jeanine Marie ; Casali-da-Rocha, José Claudio ; Ioshii, Sérgio ; Acco, Alexandra
• Zeitungslektüre im Gebirge. Original-Vorlage für die Meggendorfer Blätter Nr. 1864 von 1926 – Gouache über Tusche
  Mauder, Josef 2025 Deutsche Nationalbibliothek
• Night shift
  Crown, Annie ; Hengesbach, Bettina 2025 cbt
• Non‐van der Waals 2D Materials for Electrochemical Energy Storage
  Tantis, Iosif ; Talande, Smita ; Tzitzios, Vasileios ; Basina, Georgia ; Shrivastav, Vishal ; Bakandritsos, Aristides ; Zboril, Radek
• Covalently Interlinked Graphene Sheets with Sulfur‐Chains Enable Superior Lithium–Sulfur Battery Cathodes at Full‐Mass Level
  Tantis, Iosif ; Bakandritsos, Aristides ; Zaoralová, Dagmar ; Medveď, Miroslav ; Jakubec, Petr ; Havláková, Jana ; Zbořil, Radek ; Otyepka, Michal
• Towards More Flexible and Automated Communication Networks (Dagstuhl Seminar 22471)
  Hecker, Artur ; Schmid, Stefan ; Schulzrinne, Henning ; Hügerich, Lily ; Laki, Sándor ; Salem, Iosif
• Serverless Computing (Dagstuhl Seminar 21201)
  Abad, Cristina ; Foster, Ian T. ; Herbst, Nikolas ; Iosup, Alexandru