Search Results for - Narrowed by: Logic design. - Majumdar, Rupak. editor.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dAUTHOR$002509Yazar$002509Majumdar$00252C$002bRupak.$002beditor.$002509Majumdar$00252C$002bRupak.$002beditor.$0026ps$003d300?
2024-06-07T21:23:03Z
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:224651
2024-06-07T21:23:03Z
2024-06-07T21:23:03Z
Yazar Majumdar, Rupak. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:221422
2024-06-07T21:23:03Z
2024-06-07T21:23:03Z
Yazar Majumdar, Rupak. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>