Search Results for - Narrowed by: 2005 - Mathematical Logic and Formal Languages. - Programming Techniques. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300? 2024-09-26T03:57:10Z Abstraction, Refinement and Proof for Probabilistic Systems ent://SD_ILS/0/SD_ILS:504566 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;McIver, Annabelle. author.<br/><a href="http://dx.doi.org/10.1007/b138392">http://dx.doi.org/10.1007/b138392</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510357 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Sagiv, Mooly. editor.<br/><a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format:&#160;Electronic Resources<br/> Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 &ndash; 28, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510134 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Etalle, Sandro. editor.<br/><a href="http://dx.doi.org/10.1007/b137785">http://dx.doi.org/10.1007/b137785</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510106 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Sutcliffe, Geoff. editor.<br/><a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format:&#160;Electronic Resources<br/> Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510342 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Hankin, Chris. editor.<br/><a href="http://dx.doi.org/10.1007/11547662">http://dx.doi.org/10.1007/11547662</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510551 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Baader, Franz. editor.<br/><a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format:&#160;Electronic Resources<br/> Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510158 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Gramlich, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/11559306">http://dx.doi.org/10.1007/11559306</a><br/>Format:&#160;Electronic Resources<br/> Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510205 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Beckert, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/11554554">http://dx.doi.org/10.1007/11554554</a><br/>Format:&#160;Electronic Resources<br/> Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510380 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Urzyczyn, Paweł. editor.<br/><a href="http://dx.doi.org/10.1007/b135690">http://dx.doi.org/10.1007/b135690</a><br/>Format:&#160;Electronic Resources<br/> Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510210 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Baral, Chitta. editor.<br/><a href="http://dx.doi.org/10.1007/11546207">http://dx.doi.org/10.1007/11546207</a><br/>Format:&#160;Electronic Resources<br/> Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays ent://SD_ILS/0/SD_ILS:504484 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Gokhale, Maya. author.<br/><a href="http://dx.doi.org/10.1007/b136834">http://dx.doi.org/10.1007/b136834</a><br/>Format:&#160;Electronic Resources<br/> Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:510300 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Christiansen, Henning. editor.<br/><a href="http://dx.doi.org/10.1007/b136253">http://dx.doi.org/10.1007/b136253</a><br/>Format:&#160;Electronic Resources<br/> Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510318 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Gabbrielli, Maurizio. editor.<br/><a href="http://dx.doi.org/10.1007/11562931">http://dx.doi.org/10.1007/11562931</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510523 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Yi, Kwangkeun. editor.<br/><a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format:&#160;Electronic Resources<br/> FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510147 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format:&#160;Electronic Resources<br/> Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510413 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Beek, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format:&#160;Electronic Resources<br/> Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510234 2024-09-26T03:57:10Z 2024-09-26T03:57:10Z by&#160;Kramer, Stefan. editor.<br/><a href="http://dx.doi.org/10.1007/11536314">http://dx.doi.org/10.1007/11536314</a><br/>Format:&#160;Electronic Resources<br/>