Search Results for Palsberg, Jens.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPalsberg$00252C$002bJens.$0026te$003dILS$0026ps$003d300?2024-10-30T11:50:31ZSemantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1908572024-10-30T11:50:31Z2024-10-30T11:50:31ZAuthor Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905642024-10-30T11:50:31Z2024-10-30T11:50:31ZAuthor Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03237-0">http://dx.doi.org/10.1007/978-3-642-03237-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005282024-10-30T11:50:31Z2024-10-30T11:50:31ZAuthor Dillig, Isil. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73721-8">https://doi.org/10.1007/978-3-319-73721-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042024-10-30T11:50:31Z2024-10-30T11:50:31ZAuthor Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:1885982024-10-30T11:50:31Z2024-10-30T11:50:31ZAuthor Havelund, Klaus. editor. Majumdar, Rupak. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85114-1">http://dx.doi.org/10.1007/978-3-540-85114-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The compiler design handbook optimizations and machine code generationent://SD_ILS/0/SD_ILS:2868732024-10-30T11:50:31Z2024-10-30T11:50:31ZAuthor Srikant, Y. N. Shankar, P. (Priti)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420043839">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>