( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.

. IFM, том 1945 из Lecture Notes in Computer Science, стр. 277-296. Springer, (2000)

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

 

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

Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems., , , , и . Sensors, 16 (11): 1810 (2016)The Ethics of Safety-Critical Systems.. Commun. ACM, 43 (4): 91-97 (2000)Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net., и . Rigorous Methods for Software Construction and Analysis, том 5115 из Lecture Notes in Computer Science, стр. 219-233. Springer, (2009)Editorial., , , и . Formal Asp. Comput., 25 (3): 343 (2013)Annotated Z bibliography., , и . Inf. Softw. Technol., 37 (5-6): 317-332 (1995)Turing's legacy., и . The Turing Guide, Oxford University Press, (2017)Microprocessor interfacing and communication using the Intel SDK-85: Borivoje Furht and Himanshu Parikh Prentice-Hall Reston, Englewood Cliffs, NJ, USA (April 1986) £31.00 pp 499., и . Microprocess. Microsystems, 10 (9): 513 (1986)A user-friendly interface adapter.. Microprocess. Microsystems, 9 (9): 432-439 (1985)Algorithms, software and hardware of parallel computers: J Mikloško and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395.. Microprocess. Microsystems, 9 (3): 138-139 (1985)Software/hardware integration on microprocessors.. Microprocess. Microsystems, 9 (1): 8-14 (1985)