( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Counting Successes: Effects and Transformations for Non-deterministic Programs.

, , , и . A List of Successes That Can Change the World, том 9600 из Lecture Notes in Computer Science, стр. 56-72. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Nick Fandrich

Zur Charakterisierung von amphiphilen Blockcopolymeren aus N-Vinylpyrrolidon und Vinylacetat. Uni Potsdam, (2009)

Gerhard Nick

Gernot Nick

Nick Rischbieth

Nick Bretschneider

 

Другие публикации лиц с тем же именем

Counting Successes: Effects and Transformations for Non-deterministic Programs., , , и . A List of Successes That Can Change the World, том 9600 из Lecture Notes in Computer Science, стр. 56-72. Springer, (2016)Preface., и . ML, том 148 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2005)Diagrammatic Reasoning in Separation Logic., , , и . Diagrams, том 5223 из Lecture Notes in Computer Science, стр. 408-411. Springer, (2008)08061 Executive Summary -- Types, Logics and Semantics for State., , , и . Types, Logics and Semantics for State, том 08061 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)08061 Abstracts Collection -- Types, Logics and Semantics for State., , , и . Types, Logics and Semantics for State, том 08061 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)Simple relational correctness proofs for static analyses and program transformations.. POPL, стр. 14-25. ACM, (2004)Modern Concurrency Abstractions for C\#, , и . ACM Trans. Program. Lang. Syst., 26 (5): 769--804 (сентября 2004)Effect-dependent transformations for concurrent programs., , и . PPDP, стр. 188-201. ACM, (2016)Modern Concurrency Abstractions for C#., , и . ECOOP 2002 - Object-Oriented Programming, том 2374 из Lecture Notes in Computer Science, стр. 415-440. Springer Berlin Heidelberg, (2002)Semantic Equivalence Checking for HHVM Bytecode.. PPDP, стр. 3:1-3:8. ACM, (2018)