Search Results for - Narrowed by: Logics and Meanings of Programs. - Information theory.SirsiDynix Enterprisehttps://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:08ZCONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036202024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036542024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>Logics of Specification Languagesent://SD_ILS/0/SD_ILS:5029912024-05-31T21:29:08Z2024-05-31T21:29:08Zby Bjø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: Electronic Resources<br/>Principles of the Spin Model Checkerent://SD_ILS/0/SD_ILS:5024222024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papersent://SD_ILS/0/SD_ILS:5037472024-05-31T21:29:08Z2024-05-31T21:29:08Zby Martí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: Electronic Resources<br/>Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papersent://SD_ILS/0/SD_ILS:5032382024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:5029902024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>Unfoldings A Partial-Order Approach to Model Checkingent://SD_ILS/0/SD_ILS:5032392024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>Modelling Distributed Systemsent://SD_ILS/0/SD_ILS:5127372024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:5127542024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>Fundamentals of Algebraic Graph Transformationent://SD_ILS/0/SD_ILS:5098602024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5112802024-05-31T21:29:08Z2024-05-31T21:29:08Zby Futatsugi, Kokichi. editor.<br/><a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format: Electronic Resources<br/>Theoretical Introduction to Programmingent://SD_ILS/0/SD_ILS:5084852024-05-31T21:29:08Z2024-05-31T21:29:08Zby 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: Electronic Resources<br/>