Search Results for - Narrowed by: 2005 - Logics and Meanings of Programs. - Mathematical Logic and Formal Languages. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300? 2024-06-16T06:53:26Z Abstraction, Refinement and Proof for Probabilistic Systems ent://SD_ILS/0/SD_ILS:504566 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> Inconsistency Tolerance ent://SD_ILS/0/SD_ILS:509769 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Bertossi, Leopoldo. editor.<br/><a href="http://dx.doi.org/10.1007/b104925">http://dx.doi.org/10.1007/b104925</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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> 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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510245 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/b107116">http://dx.doi.org/10.1007/b107116</a><br/>Format:&#160;Electronic Resources<br/> Automated Deduction &ndash; CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510247 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Nieuwenhuis, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/11532231">http://dx.doi.org/10.1007/11532231</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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510469 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Montoyo, Andr&eacute;s. editor.<br/><a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510204 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Hurd, Joe. editor.<br/><a href="http://dx.doi.org/10.1007/11541868">http://dx.doi.org/10.1007/11541868</a><br/>Format:&#160;Electronic Resources<br/> A Theory of Distributed Objects Asynchrony &mdash; Mobility &mdash; Groups &mdash; Components ent://SD_ILS/0/SD_ILS:509162 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Caromel, Denis. author.<br/><a href="http://dx.doi.org/10.1007/b138812">http://dx.doi.org/10.1007/b138812</a><br/>Format:&#160;Electronic Resources<br/> Complexity Theory Exploring the Limits of Efficient Algorithms ent://SD_ILS/0/SD_ILS:509240 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Wegener, Ingo. author.<br/><a href="http://dx.doi.org/10.1007/3-540-27477-4">http://dx.doi.org/10.1007/3-540-27477-4</a><br/>Format:&#160;Electronic Resources<br/> Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:510330 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Fiadeiro, Jos&eacute; Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> 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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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 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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings ent://SD_ILS/0/SD_ILS:509733 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Calude, Cristian S. editor.<br/><a href="http://dx.doi.org/10.1007/b103739">http://dx.doi.org/10.1007/b103739</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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510259 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Fiadeiro, Jos&eacute; Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format:&#160;Electronic Resources<br/> Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510396 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Giesl, J&uuml;rgen. editor.<br/><a href="http://dx.doi.org/10.1007/b135673">http://dx.doi.org/10.1007/b135673</a><br/>Format:&#160;Electronic Resources<br/> Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510404 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Jermann, Christophe. editor.<br/><a href="http://dx.doi.org/10.1007/b136292">http://dx.doi.org/10.1007/b136292</a><br/>Format:&#160;Electronic Resources<br/> Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510280 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Ong, Luke. editor.<br/><a href="http://dx.doi.org/10.1007/11538363">http://dx.doi.org/10.1007/11538363</a><br/>Format:&#160;Electronic Resources<br/> Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510133 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Felice, Clelia. editor.<br/><a href="http://dx.doi.org/10.1007/b137735">http://dx.doi.org/10.1007/b137735</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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510137 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Etessami, Kousha. editor.<br/><a href="http://dx.doi.org/10.1007/b138445">http://dx.doi.org/10.1007/b138445</a><br/>Format:&#160;Electronic Resources<br/> Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510217 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Margenstern, Maurice. editor.<br/><a href="http://dx.doi.org/10.1007/b106980">http://dx.doi.org/10.1007/b106980</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:510230 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Kreowski, Hans-J&ouml;rg. editor.<br/><a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format:&#160;Electronic Resources<br/> Compiler Construction 14th International Conference, CC 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:510355 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Bodik, Rastislav. editor.<br/><a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format:&#160;Electronic Resources<br/> ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510373 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Treharne, Helen. editor.<br/><a href="http://dx.doi.org/10.1007/b135596">http://dx.doi.org/10.1007/b135596</a><br/>Format:&#160;Electronic Resources<br/> Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:510528 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Faltings, Boi V. editor.<br/><a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format:&#160;Electronic Resources<br/> Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510265 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Zucker, Jean-Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/11527862">http://dx.doi.org/10.1007/11527862</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510389 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Coppo, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/11560586">http://dx.doi.org/10.1007/11560586</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Systems Theory &ndash; EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 &ndash; 11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510212 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Moreno D&iacute;az, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/11556985">http://dx.doi.org/10.1007/11556985</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-06-16T06:53:26Z 2024-06-16T06:53:26Z 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/> Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 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:510352 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Sassone, Vladimiro. editor.<br/><a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Aspects of Computing &ndash; ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510433 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Hung, Dang. editor.<br/><a href="http://dx.doi.org/10.1007/11560647">http://dx.doi.org/10.1007/11560647</a><br/>Format:&#160;Electronic Resources<br/> Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:510651 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Middeldorp, Aart. editor.<br/><a href="http://dx.doi.org/10.1007/11601548">http://dx.doi.org/10.1007/11601548</a><br/>Format:&#160;Electronic Resources<br/> Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr&uuml;cken, Germany, October 3-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510393 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Borrione, Dominique. editor.<br/><a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format:&#160;Electronic Resources<br/> FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510645 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Sarukkai, Sundar. editor.<br/><a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format:&#160;Electronic Resources<br/> FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings ent://SD_ILS/0/SD_ILS:509725 2024-06-16T06:53:26Z 2024-06-16T06:53:26Z by&#160;Lodaya, Kamal. editor.<br/><a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format:&#160;Electronic Resources<br/>