( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Visual Representation of Configuration in Reconfigurable Computing.

, и . Electr. Notes Theor. Comput. Sci., (2004)

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.

Bowen Yan

Bowen Lu

Tina Bowenkamp

Catherine Bowen

Alfred Bowen Badger

 

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

A shallow embedding of Z in HOL., и . Inf. Softw. Technol., 37 (5-6): 269-276 (1995)Reviews., , и . IEEE Ann. Hist. Comput., 28 (2): 77-80 (2006)Z Logic and its Consequences., , и . Comput. Artif. Intell., 22 (3-4): 381-415 (2003)Egon Börger and Alexander Raschke: Modeling companion for software practitioners - Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http: //dx.doi.org/10.1007/978-3-662-56641-1.. Formal Aspects Comput., 30 (6): 761-762 (2018)Specification, Verification and Prototyping of an Optimized Compiler., и . Formal Aspects Comput., 6 (6): 643-658 (1994)Seven More Myths of Formal Methods., и . FME, том 873 из Lecture Notes in Computer Science, стр. 105-117. Springer, (1994)A Practical Encrypted Microprocessor., , , и . SECRYPT, стр. 239-250. SciTePress, (2016)From Programs to Object Code using Logic and Logic Programming.. Code Generation, стр. 173-192. Springer, (1991)The Impact of Alan Turing: Formal Methods and Beyond.. SETSS, том 11430 из Lecture Notes in Computer Science, стр. 202-235. Springer, (2018)Formal Methods., , и . Encyclopedia of Software Engineering, Taylor & Francis, (2010)