Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K. | 名古屋工業大学図書館蔵書検索（名工大OPAC）

>> Google Books

Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K.

フォーマット:

図書

責任表示:

editors, George J. Milne and P.A. Subramanyam

出版情報:

Amsterdam ; Tokyo : North Holland, 1986

形態:

ix, 213 p. ; 25 cm

著者名:

書誌ID:

BA00198783

ISBN:

9780444700261 [0444700269]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

主題:	Integrated circuits--Very large scale integration--Design and construction--Congresses
分類・件名:	LCC : TK7874 DDC : 621.395 LCSH : Integrated circuits -- Very large scale integration -- Design and construction -- Congresses
LCCN:	86008836

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 VLSI 91 : proceedings of the IFIP TC10/WG10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991 IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Halaas, Arne, 1943-, Denyer, P. B. (Peter … North-Holland	7 図書 Defect and fault tolerance in VLSI systems International Workshop on Defect and Fault Tolerance in VLSI Systems, Koren, Israel, Stapper, C. H. Plenum Press
2 図書 Design methodologies for VLSI and computer architecture : proceedings of the IFIP TC10 Working Conference on Design Methodologies for VLSI and Computer … IFIP TC10 Working Conference on Design Methodologies for VLSI and Computer Architecture, Edwards, D. A. (Doug A.), IFIP … North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.	8 電子ブック Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings Etessami, Kousha, Rajamani, Sriram K., SpringerLink (Online service) Springer-Verlag GmbH.
3 図書 Advanced research in VLSI : proceedings of the 1991 University of California/Santa Cruz conference Séquin, Carlo H., Conference on Advanced Research in VLSI MIT Press	9 図書 Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., … North-Holland, Distributed for the U.S. and Canada, Elsevier Science Pub. Co.
4 図書 Logic and architecture synthesis : proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Paris, France, 30 May-1 June 1990 IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Michel, Petra, Saucier, Gabrielle North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.	10 図書 Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., … North-Holland, Distributed in the U.S. and Canada, Elsevier Science Pub. Co.
5 図書 Databases in telecommunications : International Workshop Co-located with VLDB-99, Edinburgh, Scotland, UK, September 6th, 1999 : proceedings International Conference on Very Large Data Bases, Jonker, Willem, 1962- Springer	11 図書 Design Gawthrop, P. J., 1952- Research Studies Press, Wiley
6 図書 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings Advanced Research Working Conference on Correct Hardware Design Methodologies, Milne, George J., 1952-, Pierre, Laurence Springer-Verlag	12 図書 Formal methods for VLSI design : IFIP WG 10.5 lecture notes Staunstrup, J. (Jørgen), 1952-, IFIP WG 10.5 North-Holland, Elsevier Science Pub. Co. [distributor]