( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
mTable: browsing photos and videos on a tabletop system.

, , , , , , и . ACM Multimedia, стр. 1107-1108. ACM, (2008)

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.

Wolfgang Polak

Wolfgang Polak

Carl Polak

Léon Polak

Mitja Polak

 

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

A Genetic Segmentation Algorithm for Image Data Streams and Video., , , , , и . GECCO, стр. 666-673. Morgan Kaufmann, (2000)Theory of compiler specification and verification.. Stanford University, USA, (1980)A practical method of documenting and verifying Ada programs with packages., и . SIGPLAN, стр. 113-122. ACM, (1980)Framework for a Knowledge-Based Programming Environment.. Advanced Programming Environments, том 244 из Lecture Notes in Computer Science, стр. 566-575. Springer, (1986)Programmverification at Stanford: Past, Present Future.. GWAI, том 47 из Informatik-Fachberichte, стр. 256-276. Springer, (1981)Iteration in the software process., , , и . ISPW, стр. 105-108. IEEE Computer Society, (1986)Formal Verification of Ada Programs., , и . Larch, стр. 104-141. Springer, (1992)MediaMetro: browsing multimedia document collections with a 3D city metaphor., , , , и . ACM Multimedia, стр. 213-214. ACM, (2005)Implicit brushing and target snapping: data exploration and sense-making on large displays., , , , и . AVI, стр. 258-261. ACM Press, (2006)Formal methods in practice.. Sci. Comput. Program., 42 (1): 75-85 (2002)