Search Results for - Narrowed by: Logics and Meanings of Programs. - Information theory. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026ps$003d300? 2024-05-31T21:29:08Z CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503620 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Breugel, Franck. editor.<br/><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:&#160;Electronic Resources<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:503654 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Cassez, Franck. editor.<br/><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:&#160;Electronic Resources<br/> Logics of Specification Languages ent://SD_ILS/0/SD_ILS:502991 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Bj&oslash;rner, Dines. editor.<br/><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:&#160;Electronic Resources<br/> Principles of the Spin Model Checker ent://SD_ILS/0/SD_ILS:502422 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Ben-Ari, Mordechai. author.<br/><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:&#160;Electronic Resources<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:503747 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Mart&iacute;n-Vide, Carlos. editor.<br/><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:&#160;Electronic Resources<br/> Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers ent://SD_ILS/0/SD_ILS:503238 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77419-8">http://dx.doi.org/10.1007/978-3-540-77419-8</a><br/>Format:&#160;Electronic Resources<br/> Decision Procedures An Algorithmic Point of View ent://SD_ILS/0/SD_ILS:502990 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Kroening, Daniel. author.<br/><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:&#160;Electronic Resources<br/> Unfoldings A Partial-Order Approach to Model Checking ent://SD_ILS/0/SD_ILS:503239 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Esparza, Javier. author.<br/><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:&#160;Electronic Resources<br/> Modelling Distributed Systems ent://SD_ILS/0/SD_ILS:512737 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Fokkink, Wan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73938-8">http://dx.doi.org/10.1007/978-3-540-73938-8</a><br/>Format:&#160;Electronic Resources<br/> The Calculus of Computation Decision Procedures with Applications to Verification ent://SD_ILS/0/SD_ILS:512754 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Bradley, Aaron R. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format:&#160;Electronic Resources<br/> Fundamentals of Algebraic Graph Transformation ent://SD_ILS/0/SD_ILS:509860 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Ehrig, Hartmut. author.<br/><a href="http://dx.doi.org/10.1007/3-540-31188-2">http://dx.doi.org/10.1007/3-540-31188-2</a><br/>Format:&#160;Electronic Resources<br/> Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:511280 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Futatsugi, Kokichi. editor.<br/><a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Introduction to Programming ent://SD_ILS/0/SD_ILS:508485 2024-05-31T21:29:08Z 2024-05-31T21:29:08Z by&#160;Mills, Bruce. author.<br/><a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format:&#160;Electronic Resources<br/>