Yazar
Beisbart, Claus. editor.
Format:
Electronic Resources
Alıntı:
Simulation Foundations, Methods and Applications,
Yazar
Blanchette, Jasmin Christian. editor.
Format:
Electronic Resources
Alıntı:
foundations to implementation aspects and applications in program verification, security and formalization of
View Other Search Results
Yazar
Feld, Sebastian. editor.
Format:
Electronic Resources
Alıntı:
; quantum gate algorithms; applications of quantum annealing; and foundations and quantum technologies.
Yazar
Xia, Yunni. editor.
Format:
Electronic Resources
Alıntı:
submissions. The papers cover topics in the field of software engineering foundations and applications with a
Yazar
Cerrito, Serenella. editor.
Format:
Electronic Resources
Alıntı:
foundations, implementation techniques, systems development and applications. The papers are organized in the
Yazar
Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
Format:
Electronic Resources
Alıntı:
Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing
Yazar
Hildebrandt, Thomas. editor.
Format:
Electronic Resources
Alıntı:
the formal foundations of complex systems: the WS-FM:FASOCC 2014 and WS-FM/BEAT 2015 workshops. The 11
Yazar
Fontaine, Pascal. editor.
Format:
Electronic Resources
Alıntı:
of research in all aspects of automated deduction, including foundations, applications
Yazar
van Eekelen, Marko. editor.
Format:
Electronic Resources
Alıntı:
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015
Yazar
Dal Lago, Ugo. editor.
Format:
Electronic Resources
Alıntı:
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013
Arama Sonuçlarını Sınırlandır
Daraltılmış: