2015 international conference on electronic design, computer networks & automated verification : (EDCAV 2015) : Shillong, India : 29-30 January 2015 : EDCAV-15 conference : Jan 2015, Shillong, India.

Call No. (NDL): M17-17-754
Bibliographic ID of National Diet Library: 027574623

Material type: 図書

Author: International Conference on Electronic Design, Computer Networks & Automated Verification (1st : 2015 : Meghalaya, India)ほか

Publisher: IEEE

Publication date: [2015]

Material Format: Paper

Capacity, size, etc.: xiii, 181 pages ; 28 cm

NDC: -

View All

Notes on use

Note (General)：: Papers."... organizing its first International Conference in the form of International Conference on Electronic Design, Computer Networks & Automated ...

Other physical details：: illustrations

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9781479962099
Title: 2015 international conference on electronic design, computer networks & automated verification : (EDCAV 2015) : Shillong, India : 29-30 January 2015 : EDCAV-15 conference : Jan 2015, Shillong, India.
Author Heading: International Conference on Electronic Design, Computer Networks & Automated Verification (1st : 2015 : Meghalaya, India)
National Institute of Technology (Meghalaya, India)
Publication, Distribution, etc.: Piscataway, NJ : IEEE (出版)
Publication Date (W3CDTF): 2015
Extent: xiii, 181 pages
Other physical details: illustrations
Size: 28 cm
Place of Publication (Country Code): US
Text Language Code: eng
Genre/Form Terms: Conference papers and proceedings.
Content Type: text
Media Type: unmediated
Carrier Type: volume
Subject Heading: Electronic circuit design--Congresses.
Computer networks--Congresses.
Automatic theorem proving--Congresses.
Automatic theorem proving.
Computer networks.
Electronic circuit design.
LCC: TK7867
NDLC: M17
Target Audience: 一般
Note (General): Papers.
"... organizing its first International Conference in the form of International Conference on Electronic Design, Computer Networks & Automated Verification (EDCAV 2015) during 29-30th January 2015."--Page iii.
IEEE catalog number CFP15A06-POD.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-17-754
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 027574623
http://id.ndl.go.jp/bib/027574623
Cataloging Rule: RDA
Bibliographic Record Category (NDL): 215