( en | de | ru )

 

Disambiguierung von "Ullrich, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Geschäftsmodelle im Web 2.0 - Erscheinungsformen, Ausgestaltung und Erfolgsfaktoren.

, und . HMD Prax. Wirtsch., (2008)subsequently labeled as volume 45 number 3 by Springer.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sebastian Ullrich

Sebastian Ullrich

Sebastian Ullrich

Sebastian Ullrich

Sebastian Ullrich

 

Weitere Publikationen von Autoren mit dem selben Namen

The Lean 4 Theorem Prover and Programming Language., und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 625-635. Springer, (2021)Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages., und . IJCAR (2), Volume 12167 von Lecture Notes in Computer Science, Seite 167-182. Springer, (2020)Lean: Past, Present, and Future (Invited Talk).. FSCD, Volume 299 von LIPIcs, Seite 3:1-3:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Virtual needle simulation with haptics for regional anaesthesia, , , , , und . Proc. of the IEEE Virtual Reality 2010, Workshop on Medical Virtual Environments, Waltham, MA, USA, March 21, 2010, Seite 1--3. (2010)Verified Construction of Static Single Assignment Form., und . Arch. Formal Proofs, (2016)User integration in social media: an empirical analysis., , und . Int. J. Electron. Bus., 11 (1): 63-84 (2014)Counting immutable beans: reference counting optimized for purely functional programming., und . IFL, Seite 3:1-3:12. ACM, (2019)Interaktive Muskelmodellierung für virtuelle Umgebungen.. Informatiktage, Volume S-2 von LNI, Seite 147-150. GI, (2005)An intersubject variable regional anesthesia simulator with a virtual patient architecture., , , , , , , und . Int. J. Comput. Assist. Radiol. Surg., 4 (6): 561-570 (2009)Geschäftsmodelle im Web 2.0 - Erscheinungsformen, Ausgestaltung und Erfolgsfaktoren., und . HMD Prax. Wirtsch., (2008)subsequently labeled as volume 45 number 3 by Springer.