Channels Computer hardware description languages and their applications. Proc. of the IFIP WG 10.2 ninth int. symp. on ... Washington, D.C., USA, 19-21 June, 1989 /
Computer hardware description languages and their applications : Konf. Proc. of the IFIP WG 10.2 8th international conferens, Amsterdam, Netherlands, 27.- 29. apr. 1987 /
Hardware description languages /
Computer hardware description languages and their application : Proceedings of the IFIP WG 10.2 6th international symposium. Pittsburg, USA 23.- 25. May 1983 /
VHDL:hardware description and design /
Hardware description languages and their applications
Geometric Modelling for CAD Applications IFIP WG 5 : 2 Working Conference : Konf. Rensselaerville. NY,USA. 12.-16.5.1986
Mathematical foundations of computer science 1977. Proc.. 6th symp. : Konf. Tatranská Lomnica, 5.- 9. Sept. 1977 /
Preprints IFAC/IFIP/IMACS : Int.symp.on theory of robots : Konf. Vienna, Austria, 3.- 5. Dec. 1986
Databases for production management. Proc. of the IFIP TC5/WG 5.7 working conf. on design, implementation and operations of... Barcelona, Spain, 10-12 May, 1989 /
Distributed processing. Proc. of the IFIP WG 10.3working conf. on ... Amsterdam, The Netherlands, 5-7 October, 1987 : Obs. Part 1.: 1 - 236 s.. Part 2.: 237 - 641 s /
Declarative systems. Proc. of the IFIP TC/WG 10.1 workshop on concepts and characteristics of declarative systems. Budapest, Hungary, 16-20 October, 1988 /
From HDL descriptions to guaranteed correct circuit designs : Proc. of the IFIP WG 10.2 working conference : Konf. Grenoble, France, 9.- 11. Sept. 1986 /
Distributed algorithms. 3rd int. workshop, Nice, France, September 26-28, 1989. Proc /
Symbol manipulation languages and techniques. Proc. of the IFIP working conference ... /
Database and expert systems applications. Proc. of the int. conf. in Vienna, Austria, 1990 /
Computer security in the age of information. Proc. of the fifth int. conf. on computer security, IFIP/Sec '88. Gold Coast, Queensland, Australia, 19-21 May, 1988 /
DC/DC měniče
Protocols for High-Speed Networks. Selected and Revised Papers from the IFIP WG 6.1/WG 6.4 Intern. Workshop on Protocols for High Speed Networks,Zurich,9.11May 1989
Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
Annual Report of the Executive Board for the Financial Year Ended April 30, 1995 Washington D.C.
Artificial intelligence in databases and information systems (DS-3). Proc. of the IFIP TC2/TC8/WG 2.6/WG 8.1 working conf. on the role of .... Guangzhou, PR China, 4-8 July, 1988. Ed. by R.A. Meersman.
IFIP Series
IFIP Series
IFIP Series