CiNii

Articles, Data
Books

Login
Japanese

Book & Journal
Author
Content

Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

【Created on October 31, 2023】Integration of CiNii Books into CiNii Research
【Updated on April 2, 2025】Deletion of data provided by Nielsen Book Services UK

Srivas, Mandayam

ID:DA10301772

Search authors sharing the same name

Search Results1-1 of 1

Select all：

1

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings

Mandayam Srivas, Albert Camilleri (eds.)

Springer c1996 Lecture notes in computer science 1166

Available at 50 libraries

Search this author

VIAF
KAKEN — Researchers
J-GLOBAL
researchmap
Google Scholar
Google
Yahoo! JAPAN

Related Authors

FMCAD (Conference)
Camilleri, Albert

Smart Phone

|

PC

About CiNii

Help

News
- Updates
- RSS
- Twitter

NII Scholarly Services
- KAKEN
- IRDB
- NII-REO