Search Results for -- ANSİKLOPEDİLER. - Narrowed by: 2008 - Information theory. - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092008$0025092008$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-22T22:16:07Z
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:187055
2024-08-22T22:16:07Z
2024-08-22T22:16:07Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74105-3">http://dx.doi.org/10.1007/978-3-540-74105-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics of Specification Languages
ent://SD_ILS/0/SD_ILS:187056
2024-08-22T22:16:07Z
2024-08-22T22:16:07Z
Author Bjørner, Dines. editor. Henson, Martin C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74107-7">http://dx.doi.org/10.1007/978-3-540-74107-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of the Spin Model Checker
ent://SD_ILS/0/SD_ILS:175556
2024-08-22T22:16:07Z
2024-08-22T22:16:07Z
Author Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-770-1">http://dx.doi.org/10.1007/978-1-84628-770-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unfoldings A Partial-Order Approach to Model Checking
ent://SD_ILS/0/SD_ILS:187868
2024-08-22T22:16:07Z
2024-08-22T22:16:07Z
Author Esparza, Javier. author. Heljanko, Keijo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77426-6">http://dx.doi.org/10.1007/978-3-540-77426-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188677
2024-08-22T22:16:07Z
2024-08-22T22:16:07Z
Author Breugel, Franck. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85361-9">http://dx.doi.org/10.1007/978-3-540-85361-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188772
2024-08-22T22:16:07Z
2024-08-22T22:16:07Z
Author Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
ent://SD_ILS/0/SD_ILS:189027
2024-08-22T22:16:07Z
2024-08-22T22:16:07Z
Author Martín-Vide, Carlos. editor. Otto, Friedrich. editor. Fernau, Henning. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88282-4">http://dx.doi.org/10.1007/978-3-540-88282-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>