Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-17 of 17 results for author "IFIP WG 10.5."
VLSI 91 : proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991 / edited by A. Halaas, P.B. Denyer.
- Text
- Amsterdam ; New York : North-Holland, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I328 1991g Off-site Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems : November 3-5, 1994, Salt Lake City, Utah / sponsored by IEEE Computer Society Technical Committee on VLSI, in cooperation with the National Science Foundation [and] IFIP Working Groups 10.2 and 10.5 ; [general co-chairs, Erik Brunvand, Alan Davis].
- Text
- Los Alamitos, California : IEEE Computer Society Press, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text TK7868.A79 I58 1994g Off-site Proceedings of the ASP-DAC'95/CHDL'95/VLSI'95 : Asia and South Pacific Design Automation Conference, IFIP International Conference on Computer Hardware Description Languages and their Applications, IFIP International Conference on Very Large Scale Integration, August 29-September 1, 1995, Makuhari Messe, Chiba, Japan / sponsored by IFIP WG10.5 (former 10.2 and 10.5), IEICE (Institute of Electronics, Information and Communication Engineers), IPSJ (Information Processing Society of Japan), ACM SIGDA, IEEE Circuits and Systems Society, IEEE Computer Society.
- Text
- [Place of publication not identified] : [IEEE], [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .P74 1995g Off-site Proceedings, second International Symposium on Advanced Research in Asynchronous Circuits and Systems : March 18-21, 1996, Aizu-Wakamatsu, Fukushima, Japan / sponsored by IEEE Computer Society Technical Committee on VLSI, IEICE Technical Group on VLSI Design, Telecommunications Advancement Foundation in cooperation with IFIP WG 10.5, University of Aizu.
- Text
- Los Alamitos, California : IEEE Computer Society Press, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text TK7868.A79 I58 1996g Off-site Proceedings, 9th International Symposium on System Synthesis : La Jolla, California, November 6-8, 1996 / co-sponsored by the IEEE Computer Society, ACM SIGDA ; in cooperation with IFIP 10.5 ; corporate support from Quickturn Design Systems, Inc.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 I582 1996g Off-site Proceedings, Tenth International Symposium on System Synthesis : September 17-19, 1997, Antwerp, Belgium / sponsored by IEEE Computer Society, ACM SIGDA ; in cooperation with IFIP WG 10.5.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, [1997], ©1997.
- 1997-1997
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 I582 1997g Off-site VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 / [sponsored by the International Federation for Information Processing and others] ; edited by F. Anceau and E.J. Aas.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole ditributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I328 1983 Off-site 14th Symposium on Integrated Circuits and Systems Design : proceedings : 10-15 September, 2001, Pirenopolis, Brazil / edited by Ricardo Jacobi, Antonio Ferrari and Luigi Carro ; sponsored by SBC--Brazilian Computer Society ; co-sponsored by IFIP WG 10.5--International Federation for Information Processing, SBMicro--Brazilian Microelectronics Society [and others] ; organized by University of Brasilia (UnB).
- Text
- Los Alamitos, California : IEEE Computer Society, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text TK7874 .S526 2001g Off-site ACSD 2003 : Third International Conference on Application of Concurrency to System Design : proceedings : 18-20 June, 2003, Guimarães, Portugal / edited by Johan Lilius, Felice Balarin, Ricardo J. Machado ; co-sponsored by IPIP WG10.5 ... [et al.] ; in cooperation with FME--Formal Methods Europe ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.9.S88 I563 2003g Off-site SBCCI 2003 : 16th Symposium on Integrated Circuits and Systems Design : proceedings : September 8-11, 2003, São Paulo, Brazil / edited by Reinaldo A. Bergamaschi, Wilhelmus Van Noije, and Wolfgang Rosenstiel ; promoted by Brazilian Computer Society--SBC, Brazilian Microelectronics Society--SBMICRO ; co-sponsored by International Federation for Information Processing--IFIP WG10.5 ; in cooperation with ACM Sigda, IEEE Circuits and Systems Society ... [et al.].
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text TK7874 .S526 2003g Off-site Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings / Dominique Borrione, Wolfgang Paul (eds.).
- Text
- Berlin ; New York : Springer, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text TK7874.75 .C453 2005g Off-site CODES+ISSS 2005 : International Conference on Hardware/Software Codesign and System Synthesis : September 18-21, 2005, Jersey City, New Jersey, USA.
- Text
- New York, N.Y. : Association for Computing Machinery, [2005], ©2005.
- 2005-2005
- 1 Item
Available Online
http://portal.acm.org/toc.cfm?id=1084834&coll=portal&dl=ACM&type=proceeding&idx=SERIES549&part=Proceedings&WantType=Proceedings&title=International%20Conference%20on%20Hardware%20Software%20CodesignItem details Format Call Number Item Location Text QA76.9.S88 I31 2005g Off-site VLSI 87 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Vancouver, Canada, 10-12 August 1987 / edited by Carlo H. Séquin.
- Text
- Amsterdam ; New York : North Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I328 1987 Off-site Formal methods for VLSI design : IFIP WG 10.5 lecture notes / edited by Jørgen Staunstrup.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Elsevier Science Pub. Co. [distributor], 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text TK7874 .F65 1990 Off-site VLSI '83 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Trondheim, Norway, 16-19 August 1983 / [sponsored by the International Federation for Information Processing and others] ; edited by F. Anceau and E.J. Aas.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole ditributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I328 1983 Off-site Wafer scale integration : proceedings of the IFIP WG 10.5 Workshop on Wafer Scale Integration, Grenoble, France, 17-19 March 1986 / edited by Gabrièle Saucier, Jacques Trilhe.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I329 1986 Off-site VLSI 87 : VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Vancouver, Canada, 10-12 August 1987 / edited by Carlo H. Séquin.
- Text
- Amsterdam ; New York : North Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text TK7874 .I328 1987 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
