Search Results for -- AMERİKAN EDEBİYATI -- 20. YÜZYIL -- TARİHÇE VE ELEŞTİRME. - Narrowed by: Peled, Doron A. editor. - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bAMER$0025C4$0025B0KAN$002bEDEB$0025C4$0025B0YATI$002b--$002b20.$002bY$0025C3$00259CZYIL$002b--$002bTAR$0025C4$0025B0H$0025C3$002587E$002bVE$002bELE$0025C5$00259ET$0025C4$0025B0RME.$0026qf$003dAUTHOR$002509Author$002509Peled$00252C$002bDoron$002bA.$002beditor.$002509Peled$00252C$002bDoron$002bA.$002beditor.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-09-10T01:11:12Z
Time for Verification Essays in Memory of Amir Pnueli
ent://SD_ILS/0/SD_ILS:192436
2024-09-10T01:11:12Z
2024-09-10T01:11:12Z
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-09-10T01:11:12Z
2024-09-10T01:11:12Z
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-09-10T01:11:12Z
2024-09-10T01:11:12Z
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-09-10T01:11:12Z
2024-09-10T01:11:12Z
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-09-10T01:11:12Z
2024-09-10T01:11:12Z
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/>