Search Results for Logic design - Narrowed by: Peled, Doron A. editor. - Electronic Library - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dAUTHOR$002509Author$002509Peled$00252C$002bDoron$002bA.$002beditor.$002509Peled$00252C$002bDoron$002bA.$002beditor.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-08-22T06:16:33Z
Time for Verification Essays in Memory of Amir Pnueli
ent://SD_ILS/0/SD_ILS:192436
2024-08-22T06:16:33Z
2024-08-22T06:16:33Z
Author Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13754-9">http://dx.doi.org/10.1007/978-3-642-13754-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189683
2024-08-22T06:16:33Z
2024-08-22T06:16:33Z
Author Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00431-5">http://dx.doi.org/10.1007/978-3-642-00431-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
ent://SD_ILS/0/SD_ILS:191028
2024-08-22T06:16:33Z
2024-08-22T06:16:33Z
Author Bensalem, Saddek. editor. Peled, Doron A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04694-0">http://dx.doi.org/10.1007/978-3-642-04694-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188048
2024-08-22T06:16:33Z
2024-08-22T06:16:33Z
Author Logozzo, Francesco. editor. Peled, Doron A. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78163-9">http://dx.doi.org/10.1007/978-3-540-78163-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183041
2024-08-22T06:16:33Z
2024-08-22T06:16:33Z
Author Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>