Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - Models and Principles.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dSUBJECT$002509Subject$002509Models$002band$002bPrinciples.$002509Models$002band$002bPrinciples.$0026ps$003d300$0026isd$003dtrue?2024-06-21T09:24:17ZRewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857572024-06-21T09:24:17Z2024-06-21T09:24:17Zby Lucanu, Dorel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:20850942024-06-21T09:24:17Z2024-06-21T09:24:17Zby Torra, Vicenç. author.<br/><a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Electronic Resources<br/>Learning Classifier Systems 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5037392024-06-21T09:24:17Z2024-06-21T09:24:17Zby Bacardit, Jaume. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88138-4">http://dx.doi.org/10.1007/978-3-540-88138-4</a><br/>Format: Electronic Resources<br/>Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papersent://SD_ILS/0/SD_ILS:5038352024-06-21T09:24:17Z2024-06-21T09:24:17Zby Paech, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89778-1">http://dx.doi.org/10.1007/978-3-540-89778-1</a><br/>Format: Electronic Resources<br/>Transactions on Rough Sets IXent://SD_ILS/0/SD_ILS:5038402024-06-21T09:24:17Z2024-06-21T09:24:17Zby Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89876-4">http://dx.doi.org/10.1007/978-3-540-89876-4</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037232024-06-21T09:24:17Z2024-06-21T09:24:17Zby Shankar, Natarajan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87873-5">http://dx.doi.org/10.1007/978-3-540-87873-5</a><br/>Format: Electronic Resources<br/>Transactions on Rough Sets VIIIent://SD_ILS/0/SD_ILS:5035792024-06-21T09:24:17Z2024-06-21T09:24:17Zby Peters, James F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85064-9">http://dx.doi.org/10.1007/978-3-540-85064-9</a><br/>Format: Electronic Resources<br/>Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lecturesent://SD_ILS/0/SD_ILS:5037382024-06-21T09:24:17Z2024-06-21T09:24:17Zby Horváth, Zoltán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88059-2">http://dx.doi.org/10.1007/978-3-540-88059-2</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037442024-06-21T09:24:17Z2024-06-21T09:24:17Zby Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88194-0">http://dx.doi.org/10.1007/978-3-540-88194-0</a><br/>Format: Electronic Resources<br/>Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129252024-06-21T09:24:17Z2024-06-21T09:24:17Zby Parent, Christine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75563-0">http://dx.doi.org/10.1007/978-3-540-75563-0</a><br/>Format: Electronic Resources<br/>Active Conceptual Modeling of Learning Next Generation Learning-Base System Developmentent://SD_ILS/0/SD_ILS:5130412024-06-21T09:24:17Z2024-06-21T09:24:17Zby Chen, Peter P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77503-4">http://dx.doi.org/10.1007/978-3-540-77503-4</a><br/>Format: Electronic Resources<br/>Modern Formal Methods and Applicationsent://SD_ILS/0/SD_ILS:5067912024-06-21T09:24:17Z2024-06-21T09:24:17Zby Gabbar, Hossam A. editor.<br/><a href="http://dx.doi.org/10.1007/1-4020-4223-X">http://dx.doi.org/10.1007/1-4020-4223-X</a><br/>Format: Electronic Resources<br/>Decision Theory and Multi-Agent Planningent://SD_ILS/0/SD_ILS:5087852024-06-21T09:24:17Z2024-06-21T09:24:17Zby Riccia, Giacomo. editor.<br/><a href="http://dx.doi.org/10.1007/3-211-38167-8">http://dx.doi.org/10.1007/3-211-38167-8</a><br/>Format: Electronic Resources<br/>Fundamentals of Algebraic Graph Transformationent://SD_ILS/0/SD_ILS:5098602024-06-21T09:24:17Z2024-06-21T09:24:17Zby 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/>Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5118322024-06-21T09:24:17Z2024-06-21T09:24:17Zby Embley, David W. editor.<br/><a href="http://dx.doi.org/10.1007/11901181">http://dx.doi.org/10.1007/11901181</a><br/>Format: Electronic Resources<br/>Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104292024-06-21T09:24:17Z2024-06-21T09:24:17Zby Delcambre, Lois. editor.<br/><a href="http://dx.doi.org/10.1007/11568322">http://dx.doi.org/10.1007/11568322</a><br/>Format: Electronic Resources<br/>