Search Results for Computer science. - Narrowed by: Eekelen, Marko. editor. - English - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509Eekelen$00252C$002bMarko.$002beditor.$002509Eekelen$00252C$002bMarko.$002beditor.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-09-06T09:23:56Z
Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197226
2024-09-06T09:23:56Z
2024-09-06T09:23:56Z
Author Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195162
2024-09-06T09:23:56Z
2024-09-06T09:23:56Z
Author Eekelen, Marko. editor. Geuvers, Herman. editor. Schmaltz, Julien. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22863-6">http://dx.doi.org/10.1007/978-3-642-22863-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192935
2024-09-06T09:23:56Z
2024-09-06T09:23:56Z
Author Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15331-0">http://dx.doi.org/10.1007/978-3-642-15331-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>