( en | de | ru )

 

Disambiguierung von "Dragan, Ioan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards the Integration of a HPC Build System in the Cloud Ecosystem.

, , und . CISIS, Volume 611 von Advances in Intelligent Systems and Computing, Seite 916-925. Springer, (2017)

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.

Silvia Dragan

Dragan Griebel

Dragan Gligorievski

Dragan Dinulovic

Dragan Pitzschke

 

Weitere Publikationen von Autoren mit dem selben Namen

SAT solving experiments in Vampire., , , und . Vampire Workshop, Volume 38 von EPiC Series in Computing, Seite 29-32. EasyChair, (2014)Towards the Integration of a HPC Build System in the Cloud Ecosystem., , und . CISIS, Volume 611 von Advances in Intelligent Systems and Computing, Seite 916-925. Springer, (2017)Collecting Facebook data for big data research., und . RoEduNet, Seite 1-3. IEEE, (2017)Preface to SOSeMC 2016., und . ICAC, Seite 342. IEEE Computer Society, (2016)vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification., , , und . SYNASC, Seite 167-174. IEEE Computer Society, (2015)Experimenting with SAT Solvers in Vampire., , , und . MICAI (1), Volume 8856 von Lecture Notes in Computer Science, Seite 431-442. Springer, (2014)Lingva: Generating and Proving Program Properties Using Symbol Elimination., und . Ershov Memorial Conference, Volume 8974 von Lecture Notes in Computer Science, Seite 67-75. Springer, (2014)An Overview of Monitoring Tools for Big Data and Cloud Applications., und . SYNASC, Seite 363-366. IEEE Computer Society, (2015)Architecture of a Scalable Platform for Monitoring Multiple Big Data Frameworks., , und . Scalable Comput. Pract. Exp., 17 (4): 313-321 (2016)Bound Propagation for Arithmetic Reasoning in Vampire., , , und . SYNASC, Seite 169-176. IEEE Computer Society, (2013)