Search Results for - Narrowed by: English - Mathematical Logic and Formal Languages.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300?2024-06-14T11:30:01ZTheoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20840792024-06-14T11:30:01Z2024-06-14T11:30:01Zby Li, Lian. editor.<br/><a href="https://doi.org/10.1007/978-981-13-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format: Electronic Resources<br/>New Frontiers in Artificial Intelligence JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860412024-06-14T11:30:01Z2024-06-14T11:30:01Zby Arai, Sachiyo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93794-6">https://doi.org/10.1007/978-3-319-93794-6</a><br/>Format: Electronic Resources<br/>Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthdayent://SD_ILS/0/SD_ILS:20843022024-06-14T11:30:01Z2024-06-14T11:30:01Zby Müller, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98047-8">https://doi.org/10.1007/978-3-319-98047-8</a><br/>Format: Electronic Resources<br/>Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850302024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cox, Michael T. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851412024-06-14T11:30:01Z2024-06-14T11:30:01Zby Češka, Milan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99429-1">https://doi.org/10.1007/978-3-319-99429-1</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851422024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fleuriot, Jacques. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99957-9">https://doi.org/10.1007/978-3-319-99957-9</a><br/>Format: Electronic Resources<br/>Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851432024-06-14T11:30:01Z2024-06-14T11:30:01Zby Villavicencio, Aline. editor. (orcid)0000-0002-3731-9168<br/><a href="https://doi.org/10.1007/978-3-319-99722-3">https://doi.org/10.1007/978-3-319-99722-3</a><br/>Format: Electronic Resources<br/>Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20851472024-06-14T11:30:01Z2024-06-14T11:30:01Zby d’Amato, Claudia. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00338-8">https://doi.org/10.1007/978-3-030-00338-8</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850572024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678<br/><a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format: Electronic Resources<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853572024-06-14T11:30:01Z2024-06-14T11:30:01Zby Rusu, Vlad. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853662024-06-14T11:30:01Z2024-06-14T11:30:01Zby Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724<br/><a href="https://doi.org/10.1007/978-3-030-00847-5">https://doi.org/10.1007/978-3-030-00847-5</a><br/>Format: Electronic Resources<br/>Lifelong Technology-Enhanced Learning 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853752024-06-14T11:30:01Z2024-06-14T11:30:01Zby Pammer-Schindler, Viktoria. editor. (orcid)0000-0001-7061-8947<br/><a href="https://doi.org/10.1007/978-3-319-98572-5">https://doi.org/10.1007/978-3-319-98572-5</a><br/>Format: Electronic Resources<br/>Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20855862024-06-14T11:30:01Z2024-06-14T11:30:01Zby Foret, Annie. editor.<br/><a href="https://doi.org/10.1007/978-3-662-56343-4">https://doi.org/10.1007/978-3-662-56343-4</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853062024-06-14T11:30:01Z2024-06-14T11:30:01Zby Rabe, Florian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96812-4">https://doi.org/10.1007/978-3-319-96812-4</a><br/>Format: Electronic Resources<br/>Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850262024-06-14T11:30:01Z2024-06-14T11:30:01Zby Foret, Annie. editor.<br/><a href="https://doi.org/10.1007/978-3-662-57784-4">https://doi.org/10.1007/978-3-662-57784-4</a><br/>Format: Electronic Resources<br/>Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854772024-06-14T11:30:01Z2024-06-14T11:30:01Zby Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481<br/><a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856842024-06-14T11:30:01Z2024-06-14T11:30:01Zby R. Luaces, Miguel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90053-7">https://doi.org/10.1007/978-3-319-90053-7</a><br/>Format: Electronic Resources<br/>It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbabent://SD_ILS/0/SD_ILS:20857712024-06-14T11:30:01Z2024-06-14T11:30:01Zby de Boer, Frank. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90089-6">https://doi.org/10.1007/978-3-319-90089-6</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860292024-06-14T11:30:01Z2024-06-14T11:30:01Zby Lachiche, Nicolas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78090-0">https://doi.org/10.1007/978-3-319-78090-0</a><br/>Format: Electronic Resources<br/>Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Sizeent://SD_ILS/0/SD_ILS:20842322024-06-14T11:30:01Z2024-06-14T11:30:01Zby Schlechta, Karl. author.<br/><a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Electronic Resources<br/>Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20842612024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001<br/><a href="https://doi.org/10.1007/978-3-030-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854622024-06-14T11:30:01Z2024-06-14T11:30:01Zby Feng, Xinyu. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99933-3">https://doi.org/10.1007/978-3-319-99933-3</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852092024-06-14T11:30:01Z2024-06-14T11:30:01Zby Massoni, Tiago. editor. (orcid)0000-0002-9423-7556<br/><a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format: Electronic Resources<br/>Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852102024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ichise, Ryutaro. editor.<br/><a href="https://doi.org/10.1007/978-3-030-04284-4">https://doi.org/10.1007/978-3-030-04284-4</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859542024-06-14T11:30:01Z2024-06-14T11:30:01Zby Moss, Lawrence S. editor.<br/><a href="https://doi.org/10.1007/978-3-662-57669-4">https://doi.org/10.1007/978-3-662-57669-4</a><br/>Format: Electronic Resources<br/>Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850592024-06-14T11:30:01Z2024-06-14T11:30:01Zby Torra, Vicenç. editor. (orcid)0000-0002-0368-8037<br/><a href="https://doi.org/10.1007/978-3-030-00202-2">https://doi.org/10.1007/978-3-030-00202-2</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853362024-06-14T11:30:01Z2024-06-14T11:30:01Zby Furia, Carlo A. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format: Electronic Resources<br/>Rough Sets International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853452024-06-14T11:30:01Z2024-06-14T11:30:01Zby Nguyen, Hung Son. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99368-3">https://doi.org/10.1007/978-3-319-99368-3</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853552024-06-14T11:30:01Z2024-06-14T11:30:01Zby El Fallah-Seghrouchni, Amal. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91899-0">https://doi.org/10.1007/978-3-319-91899-0</a><br/>Format: Electronic Resources<br/>Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853562024-06-14T11:30:01Z2024-06-14T11:30:01Zby Benzmüller, Christoph. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99906-7">https://doi.org/10.1007/978-3-319-99906-7</a><br/>Format: Electronic Resources<br/>Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856422024-06-14T11:30:01Z2024-06-14T11:30:01Zby Croitoru, Madalina. editor.<br/><a href="https://doi.org/10.1007/978-3-319-78102-0">https://doi.org/10.1007/978-3-319-78102-0</a><br/>Format: Electronic Resources<br/>Data Analytics and Management in Data Intensive Domains XIX International Conference, DAMDID/RCDL 2017, Moscow, Russia, October 10–13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20849882024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kalinichenko, Leonid. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96553-6">https://doi.org/10.1007/978-3-319-96553-6</a><br/>Format: Electronic Resources<br/>The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851162024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gangemi, Aldo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93417-4">https://doi.org/10.1007/978-3-319-93417-4</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20856642024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ferrarotti, Flavio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-90050-6">https://doi.org/10.1007/978-3-319-90050-6</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852962024-06-14T11:30:01Z2024-06-14T11:30:01Zby Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012<br/><a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854212024-06-14T11:30:01Z2024-06-14T11:30:01Zby Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175<br/><a href="https://doi.org/10.1007/978-3-030-02146-7">https://doi.org/10.1007/978-3-030-02146-7</a><br/>Format: Electronic Resources<br/>Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedingsent://SD_ILS/0/SD_ILS:20861022024-06-14T11:30:01Z2024-06-14T11:30:01Zby Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017<br/><a href="https://doi.org/10.1007/978-3-319-73579-5">https://doi.org/10.1007/978-3-319-73579-5</a><br/>Format: Electronic Resources<br/>Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20842902024-06-14T11:30:01Z2024-06-14T11:30:01Zby Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243<br/><a href="https://doi.org/10.1007/978-3-319-78658-2">https://doi.org/10.1007/978-3-319-78658-2</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20842912024-06-14T11:30:01Z2024-06-14T11:30:01Zby Medina, Jesús. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91473-2">https://doi.org/10.1007/978-3-319-91473-2</a><br/>Format: Electronic Resources<br/>An Introduction to the Technique of Formative Processes in Set Theoryent://SD_ILS/0/SD_ILS:20847622024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cantone, Domenico. author.<br/><a href="https://doi.org/10.1007/978-3-319-74778-1">https://doi.org/10.1007/978-3-319-74778-1</a><br/>Format: Electronic Resources<br/>AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851522024-06-14T11:30:01Z2024-06-14T11:30:01Zby Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849<br/><a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format: Electronic Resources<br/>Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851642024-06-14T11:30:01Z2024-06-14T11:30:01Zby Abdelwahed, El Hassan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00856-7">https://doi.org/10.1007/978-3-030-00856-7</a><br/>Format: Electronic Resources<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:20842152024-06-14T11:30:01Z2024-06-14T11:30:01Zby Platzer, André. author.<br/><a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Electronic Resources<br/>Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850702024-06-14T11:30:01Z2024-06-14T11:30:01Zby Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794<br/><a href="https://doi.org/10.1007/978-3-030-01713-2">https://doi.org/10.1007/978-3-030-01713-2</a><br/>Format: Electronic Resources<br/>Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850742024-06-14T11:30:01Z2024-06-14T11:30:01Zby Colombo, Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Electronic Resources<br/>Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20855332024-06-14T11:30:01Z2024-06-14T11:30:01Zby Castro, Félix. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02840-4">https://doi.org/10.1007/978-3-030-02840-4</a><br/>Format: Electronic Resources<br/>Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20855342024-06-14T11:30:01Z2024-06-14T11:30:01Zby Castro, Félix. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02837-4">https://doi.org/10.1007/978-3-030-02837-4</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852682024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hooker, John. editor. (orcid)0000-0003-3169-1871<br/><a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20852702024-06-14T11:30:01Z2024-06-14T11:30:01Zby Jansen, David N. editor. (orcid)0000-0002-6636-3301<br/><a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855392024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965<br/><a href="https://doi.org/10.1007/978-3-030-03840-3">https://doi.org/10.1007/978-3-030-03840-3</a><br/>Format: Electronic Resources<br/>Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855442024-06-14T11:30:01Z2024-06-14T11:30:01Zby Mondal, Anirban. editor.<br/><a href="https://doi.org/10.1007/978-3-030-04780-1">https://doi.org/10.1007/978-3-030-04780-1</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853612024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ciucci, Davide. editor. (orcid)0000-0002-8083-7809<br/><a href="https://doi.org/10.1007/978-3-030-00461-3">https://doi.org/10.1007/978-3-030-00461-3</a><br/>Format: Electronic Resources<br/>Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855702024-06-14T11:30:01Z2024-06-14T11:30:01Zby Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X<br/><a href="https://doi.org/10.1007/978-3-319-92402-1">https://doi.org/10.1007/978-3-319-92402-1</a><br/>Format: Electronic Resources<br/>Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20854552024-06-14T11:30:01Z2024-06-14T11:30:01Zby Garrigós, Irene. editor.<br/><a href="https://doi.org/10.1007/978-3-319-74433-9">https://doi.org/10.1007/978-3-319-74433-9</a><br/>Format: Electronic Resources<br/>Modeling Companion for Software Practitionersent://SD_ILS/0/SD_ILS:20850012024-06-14T11:30:01Z2024-06-14T11:30:01Zby Börger, Egon. author.<br/><a href="https://doi.org/10.1007/978-3-662-56641-1">https://doi.org/10.1007/978-3-662-56641-1</a><br/>Format: Electronic Resources<br/>Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855772024-06-14T11:30:01Z2024-06-14T11:30:01Zby Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><a href="https://doi.org/10.1007/978-3-319-73305-0">https://doi.org/10.1007/978-3-319-73305-0</a><br/>Format: Electronic Resources<br/>The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20853742024-06-14T11:30:01Z2024-06-14T11:30:01Zby Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294<br/><a href="https://doi.org/10.1007/978-3-030-00668-6">https://doi.org/10.1007/978-3-030-00668-6</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855832024-06-14T11:30:01Z2024-06-14T11:30:01Zby McIver, Annabelle. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format: Electronic Resources<br/>The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20855112024-06-14T11:30:01Z2024-06-14T11:30:01Zby Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294<br/><a href="https://doi.org/10.1007/978-3-030-00671-6">https://doi.org/10.1007/978-3-030-00671-6</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855192024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fischer, Bernd. editor. (orcid)0000-0002-1815-218X<br/><a href="https://doi.org/10.1007/978-3-030-02508-3">https://doi.org/10.1007/978-3-030-02508-3</a><br/>Format: Electronic Resources<br/>Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20855212024-06-14T11:30:01Z2024-06-14T11:30:01Zby Stoyanov, Danail. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02628-8">https://doi.org/10.1007/978-3-030-02628-8</a><br/>Format: Electronic Resources<br/>Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851172024-06-14T11:30:01Z2024-06-14T11:30:01Zby Smith, Ian F. C. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91638-5">https://doi.org/10.1007/978-3-319-91638-5</a><br/>Format: Electronic Resources<br/>Nonsymmetric Operads in Combinatoricsent://SD_ILS/0/SD_ILS:20840532024-06-14T11:30:01Z2024-06-14T11:30:01Zby Giraudo, Samuele. author.<br/><a href="https://doi.org/10.1007/978-3-030-02074-3">https://doi.org/10.1007/978-3-030-02074-3</a><br/>Format: Electronic Resources<br/>Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:20842312024-06-14T11:30:01Z2024-06-14T11:30:01Zby Schlechta, Karl. author.<br/><a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Electronic Resources<br/>Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networksent://SD_ILS/0/SD_ILS:20841552024-06-14T11:30:01Z2024-06-14T11:30:01Zby Usman, Muhammad. author.<br/><a href="https://doi.org/10.1007/978-981-10-7467-7">https://doi.org/10.1007/978-981-10-7467-7</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:20842752024-06-14T11:30:01Z2024-06-14T11:30:01Zby Medina, Jesús. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91479-4">https://doi.org/10.1007/978-3-319-91479-4</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851282024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829<br/><a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851302024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chockler, Hana. editor. (orcid)0000-0003-1219-0713<br/><a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format: Electronic Resources<br/>Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851382024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hartmann, Sven. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98812-2">https://doi.org/10.1007/978-3-319-98812-2</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851582024-06-14T11:30:01Z2024-06-14T11:30:01Zby Lahiri, Shuvendu K. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850472024-06-14T11:30:01Z2024-06-14T11:30:01Zby Butler, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format: Electronic Resources<br/>Chinese Lexical Semantics 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856392024-06-14T11:30:01Z2024-06-14T11:30:01Zby Wu, Yunfang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-73573-3">https://doi.org/10.1007/978-3-319-73573-3</a><br/>Format: Electronic Resources<br/>Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20843532024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chiabert, Paolo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-01614-2">https://doi.org/10.1007/978-3-030-01614-2</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20843872024-06-14T11:30:01Z2024-06-14T11:30:01Zby Medina, Jesús. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91476-3">https://doi.org/10.1007/978-3-319-91476-3</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20861132024-06-14T11:30:01Z2024-06-14T11:30:01Zby Avigad, Jeremy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94821-8">https://doi.org/10.1007/978-3-319-94821-8</a><br/>Format: Electronic Resources<br/>Modelling and Verification of Secure Examsent://SD_ILS/0/SD_ILS:20846812024-06-14T11:30:01Z2024-06-14T11:30:01Zby Giustolisi, Rosario. author.<br/><a href="https://doi.org/10.1007/978-3-319-67107-9">https://doi.org/10.1007/978-3-319-67107-9</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850432024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hoshi, Mizuho. editor.<br/><a href="https://doi.org/10.1007/978-3-319-98654-8">https://doi.org/10.1007/978-3-319-98654-8</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850462024-06-14T11:30:01Z2024-06-14T11:30:01Zby Artemov, Sergei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72056-2">https://doi.org/10.1007/978-3-319-72056-2</a><br/>Format: Electronic Resources<br/>Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848812024-06-14T11:30:01Z2024-06-14T11:30:01Zby Filipe, Joaquim. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94809-6">https://doi.org/10.1007/978-3-319-94809-6</a><br/>Format: Electronic Resources<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:20855782024-06-14T11:30:01Z2024-06-14T11:30:01Zby Dillig, Isil. editor.<br/><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/>Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851192024-06-14T11:30:01Z2024-06-14T11:30:01Zby van den Herik, Jaap. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93581-2">https://doi.org/10.1007/978-3-319-93581-2</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20851232024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chockler, Hana. editor. (orcid)0000-0003-1219-0713<br/><a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format: Electronic Resources<br/>Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854752024-06-14T11:30:01Z2024-06-14T11:30:01Zby Méndez, Eva. editor. (orcid)0000-0002-5337-4722<br/><a href="https://doi.org/10.1007/978-3-030-00066-0">https://doi.org/10.1007/978-3-030-00066-0</a><br/>Format: Electronic Resources<br/>The Semantic Web: ESWC 2018 Satellite Events ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20851762024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684<br/><a href="https://doi.org/10.1007/978-3-319-98192-5">https://doi.org/10.1007/978-3-319-98192-5</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851792024-06-14T11:30:01Z2024-06-14T11:30:01Zby Desharnais, Jules. editor. (orcid)0000-0002-4780-2698<br/><a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851802024-06-14T11:30:01Z2024-06-14T11:30:01Zby Sun, Jing. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858492024-06-14T11:30:01Z2024-06-14T11:30:01Zby Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303<br/><a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Electronic Resources<br/>Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20861332024-06-14T11:30:01Z2024-06-14T11:30:01Zby Galmiche, Didier. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94205-6">https://doi.org/10.1007/978-3-319-94205-6</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858632024-06-14T11:30:01Z2024-06-14T11:30:01Zby Baetens, Jan M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92675-9">https://doi.org/10.1007/978-3-319-92675-9</a><br/>Format: Electronic Resources<br/>Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858702024-06-14T11:30:01Z2024-06-14T11:30:01Zby Vetulani, Zygmunt. editor.<br/><a href="https://doi.org/10.1007/978-3-319-93782-3">https://doi.org/10.1007/978-3-319-93782-3</a><br/>Format: Electronic Resources<br/>Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858712024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gallardo, María del Mar. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format: Electronic Resources<br/>Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20858802024-06-14T11:30:01Z2024-06-14T11:30:01Zby Lambers, Leen. editor. (orcid)0000-0001-6937-5167<br/><a href="https://doi.org/10.1007/978-3-319-92991-0">https://doi.org/10.1007/978-3-319-92991-0</a><br/>Format: Electronic Resources<br/>On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20854922024-06-14T11:30:01Z2024-06-14T11:30:01Zby Panetto, Hervé. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02671-4">https://doi.org/10.1007/978-3-030-02671-4</a><br/>Format: Electronic Resources<br/>Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859132024-06-14T11:30:01Z2024-06-14T11:30:01Zby Dubois, Catherine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format: Electronic Resources<br/>Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20857732024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chapman, Peter. editor. (orcid)0000-0002-5524-5780<br/><a href="https://doi.org/10.1007/978-3-319-91376-6">https://doi.org/10.1007/978-3-319-91376-6</a><br/>Format: Electronic Resources<br/>MATLAB deep learning : with machine learning, neural networks and artificial intelligenceent://SD_ILS/0/SD_ILS:23135102024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kim, Phil, author.<br/><a href="https://learning.oreilly.com/library/view/~/9781484228456/?ar">https://learning.oreilly.com/library/view/~/9781484228456/?ar</a>
<a href="https://go.oreilly.com/library-access/library/view/-/9781484228456/?ar">https://go.oreilly.com/library-access/library/view/-/9781484228456/?ar</a>
<a href="https://learning.oreilly.com/library/view/~/9781484228456">https://learning.oreilly.com/library/view/~/9781484228456</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20840842024-06-14T11:30:01Z2024-06-14T11:30:01Zby Yakovyna, Vitaliy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861252024-06-14T11:30:01Z2024-06-14T11:30:01Zby Larsen, Kim Guldstrand. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45994-3">https://doi.org/10.1007/978-3-319-45994-3</a><br/>Format: Electronic Resources<br/>Probability Logics Probability-Based Formalization of Uncertain Reasoningent://SD_ILS/0/SD_ILS:20848222024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ognjanović, Zoran. author.<br/><a href="https://doi.org/10.1007/978-3-319-47012-2">https://doi.org/10.1007/978-3-319-47012-2</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20855552024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gyssens, Marc. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30024-5">https://doi.org/10.1007/978-3-319-30024-5</a><br/>Format: Electronic Resources<br/>Rewriting 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-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852852024-06-14T11:30:01Z2024-06-14T11:30:01Zby Brlek, Srečko. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:20858452024-06-14T11:30:01Z2024-06-14T11:30:01Zby Lindley, Sam. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861602024-06-14T11:30:01Z2024-06-14T11:30:01Zby Amblard, Maxime. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53826-5">https://doi.org/10.1007/978-3-662-53826-5</a><br/>Format: Electronic Resources<br/>Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20856952024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hajiaghayi, Mohammad Taghi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28678-5">https://doi.org/10.1007/978-3-319-28678-5</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20856962024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chaudhuri, Swarat. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20857002024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chaudhuri, Swarat. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41528-4">https://doi.org/10.1007/978-3-319-41528-4</a><br/>Format: Electronic Resources<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:20859592024-06-14T11:30:01Z2024-06-14T11:30:01Zby Probst, Christian W. editor.<br/><a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859782024-06-14T11:30:01Z2024-06-14T11:30:01Zby Blanchette, Jasmin Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857692024-06-14T11:30:01Z2024-06-14T11:30:01Zby Jacobs, Bart. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859172024-06-14T11:30:01Z2024-06-14T11:30:01Zby Rueher, Michel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44953-1">https://doi.org/10.1007/978-3-319-44953-1</a><br/>Format: Electronic Resources<br/>Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860002024-06-14T11:30:01Z2024-06-14T11:30:01Zby Milazzo, Paolo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarizationent://SD_ILS/0/SD_ILS:20846352024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hudec, Miroslav. author.<br/><a href="https://doi.org/10.1007/978-3-319-42518-4">https://doi.org/10.1007/978-3-319-42518-4</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20846362024-06-14T11:30:01Z2024-06-14T11:30:01Zby Carvalho, Joao Paulo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40596-4">https://doi.org/10.1007/978-3-319-40596-4</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859472024-06-14T11:30:01Z2024-06-14T11:30:01Zby Dediu, Adrian-Horia. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30000-9">https://doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859492024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cook, Matthew. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859572024-06-14T11:30:01Z2024-06-14T11:30:01Zby Inoue, Katsumi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40566-7">https://doi.org/10.1007/978-3-319-40566-7</a><br/>Format: Electronic Resources<br/>FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859582024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fitzgerald, John. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48989-6">https://doi.org/10.1007/978-3-319-48989-6</a><br/>Format: Electronic Resources<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859082024-06-14T11:30:01Z2024-06-14T11:30:01Zby Aichernig, Bernhard K. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Electronic Resources<br/>Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859702024-06-14T11:30:01Z2024-06-14T11:30:01Zby Rovatsos, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33509-4">https://doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Electronic Resources<br/>Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20857772024-06-14T11:30:01Z2024-06-14T11:30:01Zby Artemov, Sergei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-27683-0">https://doi.org/10.1007/978-3-319-27683-0</a><br/>Format: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857792024-06-14T11:30:01Z2024-06-14T11:30:01Zby Butler, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20857192024-06-14T11:30:01Z2024-06-14T11:30:01Zby Serrano, Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39110-6">https://doi.org/10.1007/978-3-319-39110-6</a><br/>Format: Electronic Resources<br/>NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857982024-06-14T11:30:01Z2024-06-14T11:30:01Zby Rayadurgam, Sanjai. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18–19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20858192024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gurfinkel, Arie. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20850652024-06-14T11:30:01Z2024-06-14T11:30:01Zby Blesa, Maria J. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39636-1">https://doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856282024-06-14T11:30:01Z2024-06-14T11:30:01Zby Sampaio, Augusto. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46750-4">https://doi.org/10.1007/978-3-319-46750-4</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857272024-06-14T11:30:01Z2024-06-14T11:30:01Zby Bertogna, Marko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20854362024-06-14T11:30:01Z2024-06-14T11:30:01Zby Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46520-3">https://doi.org/10.1007/978-3-319-46520-3</a><br/>Format: Electronic Resources<br/>Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20855622024-06-14T11:30:01Z2024-06-14T11:30:01Zby Bloem, Roderick. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Deductive Software Verification – The KeY Book From Theory to Practiceent://SD_ILS/0/SD_ILS:20855652024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ahrendt, Wolfgang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Electronic Resources<br/>Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857502024-06-14T11:30:01Z2024-06-14T11:30:01Zby Král, Pavel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45925-7">https://doi.org/10.1007/978-3-319-45925-7</a><br/>Format: Electronic Resources<br/>Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856622024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ortiz, Magdalena. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45276-0">https://doi.org/10.1007/978-3-319-45276-0</a><br/>Format: Electronic Resources<br/>Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20859272024-06-14T11:30:01Z2024-06-14T11:30:01Zby Yung, Moti. editor.<br/><a href="https://doi.org/10.1007/978-3-319-31550-8">https://doi.org/10.1007/978-3-319-31550-8</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedingsent://SD_ILS/0/SD_ILS:20861552024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cornélio, Márcio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20858172024-06-14T11:30:01Z2024-06-14T11:30:01Zby Jobstmann, Barbara. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20860462024-06-14T11:30:01Z2024-06-14T11:30:01Zby Karydis, Ioannis. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20860692024-06-14T11:30:01Z2024-06-14T11:30:01Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860802024-06-14T11:30:01Z2024-06-14T11:30:01Zby Olivetti, Nicola. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Computational Processing of the Portuguese Language 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861062024-06-14T11:30:01Z2024-06-14T11:30:01Zby Silva, João. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41552-9">https://doi.org/10.1007/978-3-319-41552-9</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861082024-06-14T11:30:01Z2024-06-14T11:30:01Zby Michael, Loizos. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Electronic Resources<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:20841752024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fajstrup, Lisbeth. author.<br/><a href="https://doi.org/10.1007/978-3-319-15398-8">https://doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Electronic Resources<br/>A New Perspective on Nonmonotonic Logicsent://SD_ILS/0/SD_ILS:20843942024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gabbay, Dov M. author.<br/><a href="https://doi.org/10.1007/978-3-319-46817-4">https://doi.org/10.1007/978-3-319-46817-4</a><br/>Format: Electronic Resources<br/>Subjective Logic A Formalism for Reasoning Under Uncertaintyent://SD_ILS/0/SD_ILS:20849502024-06-14T11:30:01Z2024-06-14T11:30:01Zby Jøsang, Audun. author.<br/><a href="https://doi.org/10.1007/978-3-319-42337-1">https://doi.org/10.1007/978-3-319-42337-1</a><br/>Format: Electronic Resources<br/>Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20855272024-06-14T11:30:01Z2024-06-14T11:30:01Zby Qi, Guilin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-31676-5">https://doi.org/10.1007/978-3-319-31676-5</a><br/>Format: Electronic Resources<br/>Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852592024-06-14T11:30:01Z2024-06-14T11:30:01Zby Li, Yuan-Fang. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50112-3">https://doi.org/10.1007/978-3-319-50112-3</a><br/>Format: Electronic Resources<br/>Transactions on Rough Sets XXent://SD_ILS/0/SD_ILS:20855452024-06-14T11:30:01Z2024-06-14T11:30:01Zby Peters, James F. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53611-7">https://doi.org/10.1007/978-3-662-53611-7</a><br/>Format: Electronic Resources<br/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857392024-06-14T11:30:01Z2024-06-14T11:30:01Zby Rival, Xavier. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53413-7">https://doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857412024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ábrahám, Erika. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33693-0">https://doi.org/10.1007/978-3-319-33693-0</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20855482024-06-14T11:30:01Z2024-06-14T11:30:01Zby Stevens, Perdita. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49665-7">https://doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20850922024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fränzle, Martin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47677-3">https://doi.org/10.1007/978-3-319-47677-3</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-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20855752024-06-14T11:30:01Z2024-06-14T11:30:01Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20851752024-06-14T11:30:01Z2024-06-14T11:30:01Zby Dinh, Thang N. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42634-1">https://doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20853972024-06-14T11:30:01Z2024-06-14T11:30:01Zby Lipták, Zsuzsanna. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29516-9">https://doi.org/10.1007/978-3-319-29516-9</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20858552024-06-14T11:30:01Z2024-06-14T11:30:01Zby Blazy, Sandrine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859502024-06-14T11:30:01Z2024-06-14T11:30:01Zby De Nicola, Rocco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856252024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chechik, Marsha. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49674-9">https://doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20862002024-06-14T11:30:01Z2024-06-14T11:30:01Zby Alferes, Jose Julio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42019-6">https://doi.org/10.1007/978-3-319-42019-6</a><br/>Format: Electronic Resources<br/>PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20862012024-06-14T11:30:01Z2024-06-14T11:30:01Zby Baldoni, Matteo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44832-9">https://doi.org/10.1007/978-3-319-44832-9</a><br/>Format: Electronic Resources<br/>Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859612024-06-14T11:30:01Z2024-06-14T11:30:01Zby Mäkinen, Veli. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44543-4">https://doi.org/10.1007/978-3-319-44543-4</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20862072024-06-14T11:30:01Z2024-06-14T11:30:01Zby Skavhaug, Amund. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45480-1">https://doi.org/10.1007/978-3-319-45480-1</a><br/>Format: Electronic Resources<br/>Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papersent://SD_ILS/0/SD_ILS:20852222024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ganty, Pierre. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28766-9">https://doi.org/10.1007/978-3-319-28766-9</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857862024-06-14T11:30:01Z2024-06-14T11:30:01Zby Braga, Christiano. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Natural Language Processing and Information Systems 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857872024-06-14T11:30:01Z2024-06-14T11:30:01Zby Métais, Elisabeth. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41754-7">https://doi.org/10.1007/978-3-319-41754-7</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857892024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kulikov, Alexander S. editor.<br/><a href="https://doi.org/10.1007/978-3-319-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858672024-06-14T11:30:01Z2024-06-14T11:30:01Zby Echahed, Rachid. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40530-8">https://doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:20861692024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ábrahám, Erika. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856182024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ribeiro, Leila. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860112024-06-14T11:30:01Z2024-06-14T11:30:01Zby Igarashi, Atsushi. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858032024-06-14T11:30:01Z2024-06-14T11:30:01Zby Han, Yo-Sub. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40946-7">https://doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20858092024-06-14T11:30:01Z2024-06-14T11:30:01Zby Väänänen, Jouko. editor.<br/><a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII Selected Papers from FDSE 2014ent://SD_ILS/0/SD_ILS:20858102024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hameurlain, Abdelkader. editor.<br/><a href="https://doi.org/10.1007/978-3-662-49175-1">https://doi.org/10.1007/978-3-662-49175-1</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858132024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ogata, Kazuhiro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47846-3">https://doi.org/10.1007/978-3-319-47846-3</a><br/>Format: Electronic Resources<br/>Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860492024-06-14T11:30:01Z2024-06-14T11:30:01Zby Beckmann, Arnold. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format: Electronic Resources<br/>Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papersent://SD_ILS/0/SD_ILS:20860512024-06-14T11:30:01Z2024-06-14T11:30:01Zby Baldoni, Matteo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format: Electronic Resources<br/>KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20851352024-06-14T11:30:01Z2024-06-14T11:30:01Zby Friedrich, Gerhard. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46073-4">https://doi.org/10.1007/978-3-319-46073-4</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20850382024-06-14T11:30:01Z2024-06-14T11:30:01Zby Albert, Elvira. editor.<br/><a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852322024-06-14T11:30:01Z2024-06-14T11:30:01Zby Bošnački, Dragan. editor.<br/><a href="https://doi.org/10.1007/978-3-319-32582-8">https://doi.org/10.1007/978-3-319-32582-8</a><br/>Format: Electronic Resources<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20852342024-06-14T11:30:01Z2024-06-14T11:30:01Zby Lecomte, Thierry. editor.<br/><a href="https://doi.org/10.1007/978-3-319-33951-1">https://doi.org/10.1007/978-3-319-33951-1</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20850672024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hasuo, Ichiro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40370-0">https://doi.org/10.1007/978-3-319-40370-0</a><br/>Format: Electronic Resources<br/>Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20849052024-06-14T11:30:01Z2024-06-14T11:30:01Zby Carvalho, Joao Paulo. editor.<br/><a href="https://doi.org/10.1007/978-3-319-40581-0">https://doi.org/10.1007/978-3-319-40581-0</a><br/>Format: Electronic Resources<br/>Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lecturesent://SD_ILS/0/SD_ILS:20855462024-06-14T11:30:01Z2024-06-14T11:30:01Zby Bernardo, Marco. editor.<br/><a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20857332024-06-14T11:30:01Z2024-06-14T11:30:01Zby Schockaert, Steven. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45856-4">https://doi.org/10.1007/978-3-319-45856-4</a><br/>Format: Electronic Resources<br/>Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20850992024-06-14T11:30:01Z2024-06-14T11:30:01Zby Renda, M. Elena. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43949-5">https://doi.org/10.1007/978-3-319-43949-5</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:20843852024-06-14T11:30:01Z2024-06-14T11:30:01Zby Lamprecht, Anna-Lena. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:20850172024-06-14T11:30:01Z2024-06-14T11:30:01Zby Skrzypczak, Michał. author.<br/><a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20856682024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kiselyov, Oleg. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format: Electronic Resources<br/>Chinese Lexical Semantics 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20861282024-06-14T11:30:01Z2024-06-14T11:30:01Zby Dong, Minghui. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49508-8">https://doi.org/10.1007/978-3-319-49508-8</a><br/>Format: Electronic Resources<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:20861292024-06-14T11:30:01Z2024-06-14T11:30:01Zby Foret, Annie. editor.<br/><a href="https://doi.org/10.1007/978-3-662-53042-9">https://doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859302024-06-14T11:30:01Z2024-06-14T11:30:01Zby ter Beek, Maurice H. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858752024-06-14T11:30:01Z2024-06-14T11:30:01Zby Castor, Fernando. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45279-1">https://doi.org/10.1007/978-3-319-45279-1</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:20858862024-06-14T11:30:01Z2024-06-14T11:30:01Zby Liu, Shaoying. editor.<br/><a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858982024-06-14T11:30:01Z2024-06-14T11:30:01Zby Crnkovic, Ivica. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20858992024-06-14T11:30:01Z2024-06-14T11:30:01Zby Amos, Martyn. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41312-9">https://doi.org/10.1007/978-3-319-41312-9</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859072024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kohlhase, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:20859892024-06-14T11:30:01Z2024-06-14T11:30:01Zby Câmpeanu, Cezar. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41114-9">https://doi.org/10.1007/978-3-319-41114-9</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20859942024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fränzle, Martin. editor.<br/><a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>AI*IA 2016 Advances in Artificial Intelligence XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:20860082024-06-14T11:30:01Z2024-06-14T11:30:01Zby Adorni, Giovanni. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49130-1">https://doi.org/10.1007/978-3-319-49130-1</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:20857232024-06-14T11:30:01Z2024-06-14T11:30:01Zby Mazzara, Manuel. editor.<br/><a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Rough Sets and Knowledge Technology Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5035512024-06-14T11:30:01Z2024-06-14T11:30:01Zby Wang, Guoyin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79721-0">http://dx.doi.org/10.1007/978-3-540-79721-0</a><br/>Format: Electronic Resources<br/>Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035892024-06-14T11:30:01Z2024-06-14T11:30:01Zby Horimoto, Katsuhisa. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85101-1">http://dx.doi.org/10.1007/978-3-540-85101-1</a><br/>Format: Electronic Resources<br/>MICAI 2008: Advances in Artificial Intelligence 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5037682024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88636-5">http://dx.doi.org/10.1007/978-3-540-88636-5</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036682024-06-14T11:30:01Z2024-06-14T11:30:01Zby Železný, Filip. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85928-4">http://dx.doi.org/10.1007/978-3-540-85928-4</a><br/>Format: Electronic Resources<br/>Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5037902024-06-14T11:30:01Z2024-06-14T11:30:01Zby Schürr, Andy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89020-1">http://dx.doi.org/10.1007/978-3-540-89020-1</a><br/>Format: Electronic Resources<br/>Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5036932024-06-14T11:30:01Z2024-06-14T11:30:01Zby Daelemans, Walter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87479-9">http://dx.doi.org/10.1007/978-3-540-87479-9</a><br/>Format: Electronic Resources<br/>Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5036942024-06-14T11:30:01Z2024-06-14T11:30:01Zby Daelemans, Walter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87481-2">http://dx.doi.org/10.1007/978-3-540-87481-2</a><br/>Format: Electronic Resources<br/>Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036962024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kaminski, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87531-4">http://dx.doi.org/10.1007/978-3-540-87531-4</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037202024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hölldobler, Steffen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87803-2">http://dx.doi.org/10.1007/978-3-540-87803-2</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5035502024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kleine Büning, Hans. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037342024-06-14T11:30:01Z2024-06-14T11:30:01Zby Greco, Sergio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87993-0">http://dx.doi.org/10.1007/978-3-540-87993-0</a><br/>Format: Electronic Resources<br/>Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5037352024-06-14T11:30:01Z2024-06-14T11:30:01Zby Clark, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88009-7">http://dx.doi.org/10.1007/978-3-540-88009-7</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036522024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fitzgerald, John S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85762-4">http://dx.doi.org/10.1007/978-3-540-85762-4</a><br/>Format: Electronic Resources<br/>KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036582024-06-14T11:30:01Z2024-06-14T11:30:01Zby Dengel, Andreas R. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85845-4">http://dx.doi.org/10.1007/978-3-540-85845-4</a><br/>Format: Electronic Resources<br/>Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037022024-06-14T11:30:01Z2024-06-14T11:30:01Zby Börger, Egon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87603-8">http://dx.doi.org/10.1007/978-3-540-87603-8</a><br/>Format: Electronic Resources<br/>AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038082024-06-14T11:30:01Z2024-06-14T11:30:01Zby Wobcke, Wayne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89378-3">http://dx.doi.org/10.1007/978-3-540-89378-3</a><br/>Format: Electronic Resources<br/>Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028222024-06-14T11:30:01Z2024-06-14T11:30:01Zby Eklund, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70596-3">http://dx.doi.org/10.1007/978-3-540-70596-3</a><br/>Format: Electronic Resources<br/>25 Years of Model Checking History, Achievements, Perspectivesent://SD_ILS/0/SD_ILS:5027812024-06-14T11:30:01Z2024-06-14T11:30:01Zby Grumberg, Orna. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format: Electronic Resources<br/>Natural Language and Information Systems 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027822024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kapetanios, Epaminondas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69858-6">http://dx.doi.org/10.1007/978-3-540-69858-6</a><br/>Format: Electronic Resources<br/>Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027902024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hodges, Wilfrid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69937-8">http://dx.doi.org/10.1007/978-3-540-69937-8</a><br/>Format: Electronic Resources<br/>Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5027982024-06-14T11:30:01Z2024-06-14T11:30:01Zby Meyden, Ron. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70525-3">http://dx.doi.org/10.1007/978-3-540-70525-3</a><br/>Format: Electronic Resources<br/>Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028042024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gupta, Aarti. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70545-1">http://dx.doi.org/10.1007/978-3-540-70545-1</a><br/>Format: Electronic Resources<br/>Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033282024-06-14T11:30:01Z2024-06-14T11:30:01Zby Medina, Raoul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format: Electronic Resources<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:5029902024-06-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Logics of Specification Languagesent://SD_ILS/0/SD_ILS:5029912024-06-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036742024-06-14T11:30:01Z2024-06-14T11:30:01Zby Huang, De-Shuang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85984-0">http://dx.doi.org/10.1007/978-3-540-85984-0</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038042024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ramalingam, G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format: Electronic Resources<br/>Mathematical Linguisticsent://SD_ILS/0/SD_ILS:5024492024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kornai, András. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-986-6">http://dx.doi.org/10.1007/978-1-84628-986-6</a><br/>Format: Electronic Resources<br/>Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028422024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ibarra, Oscar H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70844-5">http://dx.doi.org/10.1007/978-3-540-70844-5</a><br/>Format: Electronic Resources<br/>Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034312024-06-14T11:30:01Z2024-06-14T11:30:01Zby Hendren, Laurie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78791-4">http://dx.doi.org/10.1007/978-3-540-78791-4</a><br/>Format: Electronic Resources<br/>Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028562024-06-14T11:30:01Z2024-06-14T11:30:01Zby Mohamed, Otmane Ait. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71067-7">http://dx.doi.org/10.1007/978-3-540-71067-7</a><br/>Format: Electronic Resources<br/>Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028572024-06-14T11:30:01Z2024-06-14T11:30:01Zby Armando, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71070-7">http://dx.doi.org/10.1007/978-3-540-71070-7</a><br/>Format: Electronic Resources<br/>Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034472024-06-14T11:30:01Z2024-06-14T11:30:01Zby Berghammer, Rudolf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78913-0">http://dx.doi.org/10.1007/978-3-540-78913-0</a><br/>Format: Electronic Resources<br/>Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037462024-06-14T11:30:01Z2024-06-14T11:30:01Zby Torra, Vicenç. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88269-5">http://dx.doi.org/10.1007/978-3-540-88269-5</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-06-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Transactions on Rough Sets IXent://SD_ILS/0/SD_ILS:5038402024-06-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5027172024-06-14T11:30:01Z2024-06-14T11:30:01Zby Alpuente, María. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Electronic Resources<br/>FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5026332024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cuellar, Jorge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68237-0">http://dx.doi.org/10.1007/978-3-540-68237-0</a><br/>Format: Electronic Resources<br/>Robustness and Usability in Modern Design Flowsent://SD_ILS/0/SD_ILS:5020912024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fey, Görschwin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6536-1">http://dx.doi.org/10.1007/978-1-4020-6536-1</a><br/>Format: Electronic Resources<br/>Temporal Logic and State Systemsent://SD_ILS/0/SD_ILS:5026632024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kröger, Fred. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68635-4">http://dx.doi.org/10.1007/978-3-540-68635-4</a><br/>Format: Electronic Resources<br/>Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:5026672024-06-14T11:30:01Z2024-06-14T11:30:01Zby Degano, Pierpaolo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68679-8">http://dx.doi.org/10.1007/978-3-540-68679-8</a><br/>Format: Electronic Resources<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034212024-06-14T11:30:01Z2024-06-14T11:30:01Zby Drossopoulou, Sophia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Electronic Resources<br/>Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033272024-06-14T11:30:01Z2024-06-14T11:30:01Zby Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78135-6">http://dx.doi.org/10.1007/978-3-540-78135-6</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5033732024-06-14T11:30:01Z2024-06-14T11:30:01Zby Blockeel, Hendrik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78469-2">http://dx.doi.org/10.1007/978-3-540-78469-2</a><br/>Format: Electronic Resources<br/>Institution-independent Model Theoryent://SD_ILS/0/SD_ILS:5039202024-06-14T11:30:01Z2024-06-14T11:30:01Zby Diaconescu, Răzvan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-7643-8708-2">http://dx.doi.org/10.1007/978-3-7643-8708-2</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5033822024-06-14T11:30:01Z2024-06-14T11:30:01Zby Amadio, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78499-9">http://dx.doi.org/10.1007/978-3-540-78499-9</a><br/>Format: Electronic Resources<br/>Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systemsent://SD_ILS/0/SD_ILS:5021442024-06-14T11:30:01Z2024-06-14T11:30:01Zby Carnielli, Walter. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-6782-2">http://dx.doi.org/10.1007/978-1-4020-6782-2</a><br/>Format: Electronic Resources<br/>Probabilistic Inductive Logic Programming Theory and Applicationsent://SD_ILS/0/SD_ILS:5034092024-06-14T11:30:01Z2024-06-14T11:30:01Zby Raedt, Luc. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78652-8">http://dx.doi.org/10.1007/978-3-540-78652-8</a><br/>Format: Electronic Resources<br/>Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthdayent://SD_ILS/0/SD_ILS:5033262024-06-14T11:30:01Z2024-06-14T11:30:01Zby Avron, Arnon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78127-1">http://dx.doi.org/10.1007/978-3-540-78127-1</a><br/>Format: Electronic Resources<br/>Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5037552024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chan, Chien-Chung. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88425-5">http://dx.doi.org/10.1007/978-3-540-88425-5</a><br/>Format: Electronic Resources<br/>Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5038122024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cervesato, Iliano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>Ingredients for Successful System Level Design Methodologyent://SD_ILS/0/SD_ILS:5022772024-06-14T11:30:01Z2024-06-14T11:30:01Zby Patel, Hiren D. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-8472-0">http://dx.doi.org/10.1007/978-1-4020-8472-0</a><br/>Format: Electronic Resources<br/>Algorithms in Invariant Theoryent://SD_ILS/0/SD_ILS:5025692024-06-14T11:30:01Z2024-06-14T11:30:01Zby Sturmfels, Bernd. author.<br/><a href="http://dx.doi.org/10.1007/978-3-211-77417-5">http://dx.doi.org/10.1007/978-3-211-77417-5</a><br/>Format: Electronic Resources<br/>Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5028192024-06-14T11:30:01Z2024-06-14T11:30:01Zby Voronkov, Andrei. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70590-1">http://dx.doi.org/10.1007/978-3-540-70590-1</a><br/>Format: Electronic Resources<br/>Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5028212024-06-14T11:30:01Z2024-06-14T11:30:01Zby Audebaud, Philippe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70594-9">http://dx.doi.org/10.1007/978-3-540-70594-9</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5027652024-06-14T11:30:01Z2024-06-14T11:30:01Zby Rutkowski, Leszek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69731-2">http://dx.doi.org/10.1007/978-3-540-69731-2</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5034272024-06-14T11:30:01Z2024-06-14T11:30:01Zby King, Andy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78769-3">http://dx.doi.org/10.1007/978-3-540-78769-3</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-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:5038372024-06-14T11:30:01Z2024-06-14T11:30:01Zby Fages, François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format: Electronic Resources<br/>Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedingsent://SD_ILS/0/SD_ILS:5038472024-06-14T11:30:01Z2024-06-14T11:30:01Zby Garcia de la Banda, Maria. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89982-2">http://dx.doi.org/10.1007/978-3-540-89982-2</a><br/>Format: Electronic Resources<br/>Logic for Computer Scientistsent://SD_ILS/0/SD_ILS:5020382024-06-14T11:30:01Z2024-06-14T11:30:01Zby Schöning, Uwe. author.<br/><a href="http://dx.doi.org/10.1007/978-0-8176-4763-6">http://dx.doi.org/10.1007/978-0-8176-4763-6</a><br/>Format: Electronic Resources<br/>Line Drawing Interpretationent://SD_ILS/0/SD_ILS:5025272024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cooper, Martin. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-229-6">http://dx.doi.org/10.1007/978-1-84800-229-6</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-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036312024-06-14T11:30:01Z2024-06-14T11:30:01Zby Althoff, Klaus-Dieter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85502-6">http://dx.doi.org/10.1007/978-3-540-85502-6</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-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037422024-06-14T11:30:01Z2024-06-14T11:30:01Zby Zaverucha, Gerson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88190-2">http://dx.doi.org/10.1007/978-3-540-88190-2</a><br/>Format: Electronic Resources<br/>Advances in Geometric Modeling and Processing 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5035002024-06-14T11:30:01Z2024-06-14T11:30:01Zby Chen, Falai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79246-8">http://dx.doi.org/10.1007/978-3-540-79246-8</a><br/>Format: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5037822024-06-14T11:30:01Z2024-06-14T11:30:01Zby Sadri, Fariba. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88833-8">http://dx.doi.org/10.1007/978-3-540-88833-8</a><br/>Format: Electronic Resources<br/>Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034562024-06-14T11:30:01Z2024-06-14T11:30:01Zby Garrigue, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78969-7">http://dx.doi.org/10.1007/978-3-540-78969-7</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-14T11:30:01Z2024-06-14T11:30:01Zby 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/>A Concise Introduction to Languages and Machinesent://SD_ILS/0/SD_ILS:5024942024-06-14T11:30:01Z2024-06-14T11:30:01Zby Parkes, Alan P. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84800-121-3">http://dx.doi.org/10.1007/978-1-84800-121-3</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-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5035652024-06-14T11:30:01Z2024-06-14T11:30:01Zby Meseguer, José. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79980-1">http://dx.doi.org/10.1007/978-3-540-79980-1</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036552024-06-14T11:30:01Z2024-06-14T11:30:01Zby Ito, Masami. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85780-8">http://dx.doi.org/10.1007/978-3-540-85780-8</a><br/>Format: Electronic Resources<br/>Transactions on Rough Sets VIIIent://SD_ILS/0/SD_ILS:5035792024-06-14T11:30:01Z2024-06-14T11:30:01Zby 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/>Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5037772024-06-14T11:30:01Z2024-06-14T11:30:01Zby Baek, Joonsang. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88733-1">http://dx.doi.org/10.1007/978-3-540-88733-1</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5036722024-06-14T11:30:01Z2024-06-14T11:30:01Zby Stuckey, Peter J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85958-1">http://dx.doi.org/10.1007/978-3-540-85958-1</a><br/>Format: Electronic Resources<br/>Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036732024-06-14T11:30:01Z2024-06-14T11:30:01Zby Teixeira, António. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85980-2">http://dx.doi.org/10.1007/978-3-540-85980-2</a><br/>Format: Electronic Resources<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:5024272024-06-14T11:30:01Z2024-06-14T11:30:01Zby Makinson, David. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-845-6">http://dx.doi.org/10.1007/978-1-84628-845-6</a><br/>Format: Electronic Resources<br/>Constraint Handling Rules Current Research Topicsent://SD_ILS/0/SD_ILS:5038602024-06-14T11:30:01Z2024-06-14T11:30:01Zby Schrijvers, Tom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-92243-8">http://dx.doi.org/10.1007/978-3-540-92243-8</a><br/>Format: Electronic Resources<br/>Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papersent://SD_ILS/0/SD_ILS:5026152024-06-14T11:30:01Z2024-06-14T11:30:01Zby Miculan, Marino. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68103-8">http://dx.doi.org/10.1007/978-3-540-68103-8</a><br/>Format: Electronic Resources<br/>Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedingsent://SD_ILS/0/SD_ILS:5036162024-06-14T11:30:01Z2024-06-14T11:30:01Zby Nordström, Bengt. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85287-2">http://dx.doi.org/10.1007/978-3-540-85287-2</a><br/>Format: Electronic Resources<br/>Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126742024-06-14T11:30:01Z2024-06-14T11:30:01Zby Kryszkiewicz, Marzena. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73451-2">http://dx.doi.org/10.1007/978-3-540-73451-2</a><br/>Format: Electronic Resources<br/>Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papersent://SD_ILS/0/SD_ILS:5128762024-06-14T11:30:01Z2024-06-14T11:30:01Zby Cate, Balder D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75144-1">http://dx.doi.org/10.1007/978-3-540-75144-1</a><br/>Format: Electronic Resources<br/>Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdaysent://SD_ILS/0/SD_ILS:5128862024-06-14T11:30:01Z2024-06-14T11:30:01Zby Jones, Cliff B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75221-9">http://dx.doi.org/10.1007/978-3-540-75221-9</a><br/>Format: Electronic Resources<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128912024-06-14T11:30:01Z2024-06-14T11:30:01Zby Mellouli, Khaled. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75256-1">http://dx.doi.org/10.1007/978-3-540-75256-1</a><br/>Format: Electronic Resources<br/>Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5129032024-06-14T11:30:01Z2024-06-14T11:30:01Zby Prade, Henri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75410-7">http://dx.doi.org/10.1007/978-3-540-75410-7</a><br/>Format: Electronic Resources<br/>Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leinoent://SD_ILS/0/SD_ILS:5121342024-06-14T11:30:01Z2024-06-14T11:30:01Zby Beckert, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69061-0">http://dx.doi.org/10.1007/978-3-540-69061-0</a><br/>Format: Electronic Resources<br/>Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126202024-06-14T11:30:01Z2024-06-14T11:30:01Zby Rocca, Simona Ronchi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73228-0">http://dx.doi.org/10.1007/978-3-540-73228-0</a><br/>Format: Electronic Resources<br/>Formal Correctness of Security Protocols With 62 Figures and 4 Tablesent://SD_ILS/0/SD_ILS:5120522024-06-14T11:30:01Z2024-06-14T11:30:01Zby Bella, Giampaolo. author.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68136-6">http://dx.doi.org/10.1007/978-3-540-68136-6</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:5123362024-06-14T11:30:01Z2024-06-14T11:30:01Zby Puebla, Germán. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71410-1">http://dx.doi.org/10.1007/978-3-540-71410-1</a><br/>Format: Electronic Resources<br/>Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papersent://SD_ILS/0/SD_ILS:5123372024-06-14T11:30:01Z2024-06-14T11:30:01Zby Branco, António. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71412-5">http://dx.doi.org/10.1007/978-3-540-71412-5</a><br/>Format: Electronic Resources<br/>Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125352024-06-14T11:30:01Z2024-06-14T11:30:01Zby Marques-Silva, João. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format: Electronic Resources<br/>Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5127302024-06-14T11:30:01Z2024-06-14T11:30:01Zby Mossakowski, Till. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73859-6">http://dx.doi.org/10.1007/978-3-540-73859-6</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-14T11:30:01Z2024-06-14T11:30:01Zby 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/>AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128312024-06-14T11:30:01Z2024-06-14T11:30:01Zby Basili, Roberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74782-6">http://dx.doi.org/10.1007/978-3-540-74782-6</a><br/>Format: Electronic Resources<br/>Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5124902024-06-14T11:30:01Z2024-06-14T11:30:01Zby An, Aijun. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-72530-5">http://dx.doi.org/10.1007/978-3-540-72530-5</a><br/>Format: Electronic Resources<br/>Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5126562024-06-14T11:30:01Z2024-06-14T11:30:01Zby Masulli, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73400-0">http://dx.doi.org/10.1007/978-3-540-73400-0</a><br/>Format: Electronic Resources<br/>Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthdayent://SD_ILS/0/SD_ILS:5129462024-06-14T11:30:01Z2024-06-14T11:30:01Zby Aguzzoli, Stefano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75939-3">http://dx.doi.org/10.1007/978-3-540-75939-3</a><br/>Format: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5128982024-06-14T11:30:01Z2024-06-14T11:30:01Zby Jones, Cliff B. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75292-9">http://dx.doi.org/10.1007/978-3-540-75292-9</a><br/>Format: Electronic Resources<br/>