( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Translation of Java Source Code to Eiffel.

, , , и . TOOLS (49), том 6705 из Lecture Notes in Computer Science, стр. 20-35. Springer, (2011)

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.

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)

Martin Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)

Martin Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)

Martin Sanchez

Charakterisierung des Replikationsenzyms ORF904 aus Sulfolobus islandicus. Uni Bayreuth, (2010)
 

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

Automatic Translation of C Source Code to Eiffel, , , , и . CoRR, (2012)Automatic Program Repair by Fixing Contracts., , , и . FASE, том 8411 из Lecture Notes in Computer Science, стр. 246-260. Springer, (2014)Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques., , , и . SEFM, том 7041 из Lecture Notes in Computer Science, стр. 382-398. Springer, (2011)Proof-transforming compilation of programs with abrupt termination., и . SAVCBS, стр. 39-46. ACM, (2007)An experiment on teaching coordination in a globally distributed software engineering class., , , , , , и . CSEE&T, стр. 109-118. IEEE, (2014)A Framework for Execution of Secure Mobile Code based on Static Analysis., , , , и . SCCC, стр. 59-66. IEEE Computer Society, (2004)Really Automatic Scalable Object-Oriented Reengineering., , , и . ECOOP, том 7920 из Lecture Notes in Computer Science, стр. 477-501. Springer, (2013)AutoProof: Auto-Active Functional Verification of Object-Oriented Programs., , , и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 566-580. Springer, (2015)Collaborative Debugging., , , и . ICGSE, стр. 110-119. IEEE Computer Society, (2013)How Specifications Change and Why You Should Care, , , , и . CoRR, (2012)