( en | de | ru )

 

Disambiguierung von "Pressburger, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
AMPHION: Automatic Programming for Scientific Subroutine Libraries.

, , , und . ISMIS, Volume 869 von Lecture Notes in Computer Science, Seite 326-335. Springer, (1994)

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.

Hedwig Pressburger

Hans Pressburger

Thomas Thomas

Thomas Baron

Untersuchungen an ungeschädigten und durch Pilzbefall geschädigten Nadelholzbauteilen mit ausgewählten Prüfverfahren. TU Dresden, (2009)

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Automated Synthesis of Data Mining Programs., , und . KDD, Seite 372-376. ACM, (1999)Automated formalization of structured natural language requirements., , , und . Inf. Softw. Technol., (2021)Rapid property specification and checking for model-based formalisms., , , , , , und . International Symposium on Rapid System Prototyping, Seite 121-127. IEEE, (2011)The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained., , , , , , und . RE, Seite 300-310. IEEE, (2020)From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project., , , , , , , , , und . FMAS, Volume 329 von EPTCS, Seite 23-30. (2020)From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif., , , , , , , , , und . NFM, Volume 13903 von Lecture Notes in Computer Science, Seite 353-360. Springer, (2023)Software Assurance Research Infusion: The NASA Experience., , , , und . ISoLA, Seite 18-27. IEEE Computer Society, (2006)AMPHION: Automatic Programming for Scientific Subroutine Libraries., , , und . ISMIS, Volume 869 von Lecture Notes in Computer Science, Seite 326-335. Springer, (1994)Generating Data Analysis Programs from Statistical Models., , und . SAIG, Volume 1924 von Lecture Notes in Computer Science, Seite 212-229. Springer, (2000)From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET., , , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 503-523. Springer, (2021)