( en | de | ru )

 

Disambiguierung von "Schreiner, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Long-Term Molecular Dynamics Simulations Reveal Flexibility Properties of a Free and TCR-Bound pMHC-I System.

, , und . BIBM, Seite 1295-1302. IEEE, (2020)

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.

Wolfgang Schreiner

Wolfgang Schreiner

Wolfgang Schreiner

Wolfgang Schreiner

Wolfgang Schreiner

 

Weitere Publikationen von Autoren mit dem selben Namen

Implementation Techniques for Mathematical Model Checking.. SYNASC, Seite 12-15. IEEE, (2022)On Formal Specification of Maple Programs., und . AISC/MKM/Calculemus, Volume 7362 von Lecture Notes in Computer Science, Seite 443-447. Springer, (2012)A Para-Functional Programming Interface for a Parallel Computer Algebra Package.. J. Symb. Comput., 21 (4): 593-614 (1996)Concrete Abstractions - A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria. Texts & Monographs in Symbolic Computation Springer, (2023)A Generic Programming Environment for High-Performance Mathematical Libraries., , , und . Generic Programming, Volume 1766 von Lecture Notes in Computer Science, Seite 256-268. Springer, (1998)Validating Mathematical Theorems and Algorithms with RISCAL.. CICM, Volume 11006 von Lecture Notes in Computer Science, Seite 248-254. Springer, (2018)Computer simulation of the coronary circulation: Implications for models and therapeutic Coronary Sinus Intervention.. Simul., 59 (1): 15-23 (1992)ADAM - An Abstract Dataflow Machine and Its Transputer Implementation.. EDMCC, Volume 487 von Lecture Notes in Computer Science, Seite 392-401. Springer, (1991)Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs. ThEdu, Volume 79 von EPTCS, Seite 124-142. (2011)Semantic Querying of Mathematical Web Service Descriptions., und . WS-FM, Volume 4184 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2006)