Search Results for - Narrowed by: Mathematical logic. - Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300? 2024-05-09T09:17:25Z Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427802 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834<br/><a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format:&#160;Electronic Resources<br/> Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428014 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Guan, Nan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Aspects of Computing &ndash; ICTAC 2019 16th International Colloquium, Hammamet, Tunisia, October 31 &ndash; November 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427824 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446<br/><a href="https://doi.org/10.1007/978-3-030-32505-3">https://doi.org/10.1007/978-3-030-32505-3</a><br/>Format:&#160;Electronic Resources<br/> Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:427710 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format:&#160;Electronic Resources<br/> Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427905 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bernardi, Raffaella. editor.<br/><a href="https://doi.org/10.1007/978-3-662-59648-7">https://doi.org/10.1007/978-3-662-59648-7</a><br/>Format:&#160;Electronic Resources<br/> Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428204 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Parker, David. editor. (orcid)0000-0003-4137-8862<br/><a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format:&#160;Electronic Resources<br/> Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:427743 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623<br/><a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format:&#160;Electronic Resources<br/> Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7&ndash;12, 2018, Tutorial Lectures ent://SD_ILS/0/SD_ILS:428413 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format:&#160;Electronic Resources<br/> Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428159 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Iemhoff, Rosalie. editor.<br/><a href="https://doi.org/10.1007/978-3-662-59533-6">https://doi.org/10.1007/978-3-662-59533-6</a><br/>Format:&#160;Electronic Resources<br/> Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:427864 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Lutz, Carsten. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format:&#160;Electronic Resources<br/> Automated Deduction &ndash; CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428186 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Fontaine, Pascal. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428190 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Andr&eacute;, &Eacute;tienne. editor. (orcid)0000-0001-8473-9555<br/><a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428271 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792<br/><a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format:&#160;Electronic Resources<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428950 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Biondi, Fabrizio. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format:&#160;Electronic Resources<br/> Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429095 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Hutton, Graham. editor. (orcid)0000-0001-9584-5150<br/><a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format:&#160;Electronic Resources<br/> From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday ent://SD_ILS/0/SD_ILS:427702 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367<br/><a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428104 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429103 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Chen, Yu-Fang. editor.<br/><a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format:&#160;Electronic Resources<br/> Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429044 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Hofman, Piotrek. editor.<br/><a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format:&#160;Electronic Resources<br/> Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429045 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Fodor, Paul. editor. (orcid)0000-0002-2978-676X<br/><a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format:&#160;Electronic Resources<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428972 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Collart-Dutilleul, Simon. editor.<br/><a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:428981 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792<br/><a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format:&#160;Electronic Resources<br/> Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427687 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format:&#160;Electronic Resources<br/> Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Ko&scaron;ice, Slovakia, July 17&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428662 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Hospod&aacute;r, Michal. editor.<br/><a href="https://doi.org/10.1007/978-3-030-23247-4">https://doi.org/10.1007/978-3-030-23247-4</a><br/>Format:&#160;Electronic Resources<br/> Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428340 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441<br/><a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format:&#160;Electronic Resources<br/> Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:429169 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Artho, Cyrille. editor.<br/><a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format:&#160;Electronic Resources<br/> Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428739 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000<br/><a href="https://doi.org/10.1007/978-3-030-13435-8">https://doi.org/10.1007/978-3-030-13435-8</a><br/>Format:&#160;Electronic Resources<br/> Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427934 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Chang, Bor-Yuh Evan. editor.<br/><a href="https://doi.org/10.1007/978-3-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format:&#160;Electronic Resources<br/> Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2&ndash;5, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:427847 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bj&oslash;rner, Nikolaj. editor.<br/><a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format:&#160;Electronic Resources<br/> Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428174 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Herzig, Andreas. editor. (orcid)0000-0003-0833-2782<br/><a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format:&#160;Electronic Resources<br/> Logic Functions and Equations Binary Models for Computer Science ent://SD_ILS/0/SD_ILS:428068 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Posthoff, Christian. author.<br/><a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format:&#160;Electronic Resources<br/> Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428641 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Mesnard, Fred. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:428642 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format:&#160;Electronic Resources<br/> Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428984 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699<br/><a href="https://doi.org/10.1007/978-3-030-20981-0">https://doi.org/10.1007/978-3-030-20981-0</a><br/>Format:&#160;Electronic Resources<br/> Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428382 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Manea, Florin. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22996-2">https://doi.org/10.1007/978-3-030-22996-2</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods &ndash; The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:427692 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367<br/><a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format:&#160;Electronic Resources<br/> From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:428765 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/><a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format:&#160;Electronic Resources<br/> Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings ent://SD_ILS/0/SD_ILS:18183 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Alferes, Jose Julio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42019-6">http://dx.doi.org/10.1007/978-3-319-42019-6</a><br/>Format:&#160;Electronic Resources<br/> NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18117 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Rayadurgam, Sanjai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40648-0">http://dx.doi.org/10.1007/978-3-319-40648-0</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18361 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;ter Beek, Maurice H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45943-1">http://dx.doi.org/10.1007/978-3-319-45943-1</a><br/>Format:&#160;Electronic Resources<br/> Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18139 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Aichernig, Bernhard K. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41135-4">http://dx.doi.org/10.1007/978-3-319-41135-4</a><br/>Format:&#160;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 Papers ent://SD_ILS/0/SD_ILS:18297 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Lucanu, Dorel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44802-2">http://dx.doi.org/10.1007/978-3-319-44802-2</a><br/>Format:&#160;Electronic Resources<br/> PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18300 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Baldoni, Matteo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44832-9">http://dx.doi.org/10.1007/978-3-319-44832-9</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18652 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Jacobs, Bart. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49630-5">http://dx.doi.org/10.1007/978-3-662-49630-5</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18654 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Stevens, Perdita. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49665-7">http://dx.doi.org/10.1007/978-3-662-49665-7</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18655 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Chechik, Marsha. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49674-9">http://dx.doi.org/10.1007/978-3-662-49674-9</a><br/>Format:&#160;Electronic Resources<br/> Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings ent://SD_ILS/0/SD_ILS:18675 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;V&auml;&auml;n&auml;nen, Jouko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52921-8">http://dx.doi.org/10.1007/978-3-662-52921-8</a><br/>Format:&#160;Electronic Resources<br/> Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18148 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Amos, Martyn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41312-9">http://dx.doi.org/10.1007/978-3-319-41312-9</a><br/>Format:&#160;Electronic Resources<br/> Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18233 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43144-4">http://dx.doi.org/10.1007/978-3-319-43144-4</a><br/>Format:&#160;Electronic Resources<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17861 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Butler, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33600-8">http://dx.doi.org/10.1007/978-3-319-33600-8</a><br/>Format:&#160;Electronic Resources<br/> Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:17963 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Serrano, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39110-6">http://dx.doi.org/10.1007/978-3-319-39110-6</a><br/>Format:&#160;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 Papers ent://SD_ILS/0/SD_ILS:17477 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Yakovyna, Vitaliy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30246-1">http://dx.doi.org/10.1007/978-3-319-30246-1</a><br/>Format:&#160;Electronic Resources<br/> Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17762 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bo&scaron;nački, Dragan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-32582-8">http://dx.doi.org/10.1007/978-3-319-32582-8</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:17904 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Lecomte, Thierry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33951-1">http://dx.doi.org/10.1007/978-3-319-33951-1</a><br/>Format:&#160;Electronic Resources<br/> Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:17549 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30734-3">http://dx.doi.org/10.1007/978-3-319-30734-3</a><br/>Format:&#160;Electronic Resources<br/> Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17875 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33693-0">http://dx.doi.org/10.1007/978-3-319-33693-0</a><br/>Format:&#160;Electronic Resources<br/> Computer Science &ndash; Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17923 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Kulikov, Alexander S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34171-2">http://dx.doi.org/10.1007/978-3-319-34171-2</a><br/>Format:&#160;Electronic Resources<br/> Reliable Software Technologies &ndash; Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17960 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bertogna, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39083-3">http://dx.doi.org/10.1007/978-3-319-39083-3</a><br/>Format:&#160;Electronic Resources<br/> Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:17613 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31220-0">http://dx.doi.org/10.1007/978-3-319-31220-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings ent://SD_ILS/0/SD_ILS:17365 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Corn&eacute;lio, M&aacute;rcio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29473-5">http://dx.doi.org/10.1007/978-3-319-29473-5</a><br/>Format:&#160;Electronic Resources<br/> Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17386 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Kiselyov, Oleg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29604-3">http://dx.doi.org/10.1007/978-3-319-29604-3</a><br/>Format:&#160;Electronic Resources<br/> A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:17579 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Lindley, Sam. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30936-1">http://dx.doi.org/10.1007/978-3-319-30936-1</a><br/>Format:&#160;Electronic Resources<br/> Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:17426 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Karydis, Ioannis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29919-8">http://dx.doi.org/10.1007/978-3-319-29919-8</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18009 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Albert, Elvira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39570-8">http://dx.doi.org/10.1007/978-3-319-39570-8</a><br/>Format:&#160;Electronic Resources<br/> Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 &ndash; July 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18068 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Olivetti, Nicola. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40229-1">http://dx.doi.org/10.1007/978-3-319-40229-1</a><br/>Format:&#160;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 Papers ent://SD_ILS/0/SD_ILS:18086 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Hasuo, Ichiro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40370-0">http://dx.doi.org/10.1007/978-3-319-40370-0</a><br/>Format:&#160;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 Papers ent://SD_ILS/0/SD_ILS:18166 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Mazzara, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41579-6">http://dx.doi.org/10.1007/978-3-319-41579-6</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18167 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;De Nicola, Rocco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41591-8">http://dx.doi.org/10.1007/978-3-319-41591-8</a><br/>Format:&#160;Electronic Resources<br/> Towards Paraconsistent Engineering ent://SD_ILS/0/SD_ILS:18094 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Akama, Seiki. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40418-9">http://dx.doi.org/10.1007/978-3-319-40418-9</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18102 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Echahed, Rachid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40530-8">http://dx.doi.org/10.1007/978-3-319-40530-8</a><br/>Format:&#160;Electronic Resources<br/> Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:18109 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Inoue, Katsumi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40566-7">http://dx.doi.org/10.1007/978-3-319-40566-7</a><br/>Format:&#160;Electronic Resources<br/> Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18128 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Han, Yo-Sub. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40946-7">http://dx.doi.org/10.1007/978-3-319-40946-7</a><br/>Format:&#160;Electronic Resources<br/> Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings ent://SD_ILS/0/SD_ILS:18137 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;C&acirc;mpeanu, Cezar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41114-9">http://dx.doi.org/10.1007/978-3-319-41114-9</a><br/>Format:&#160;Electronic Resources<br/> Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18213 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Kohlhase, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42547-4">http://dx.doi.org/10.1007/978-3-319-42547-4</a><br/>Format:&#160;Electronic Resources<br/> Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays ent://SD_ILS/0/SD_ILS:17191 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Probst, Christian W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27810-0">http://dx.doi.org/10.1007/978-3-319-27810-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Aspects of Component Software 12th International Conference, FACS 2015, Niter&oacute;i, Brazil, October 14-16, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:17307 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Braga, Christiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28934-2">http://dx.doi.org/10.1007/978-3-319-28934-2</a><br/>Format:&#160;Electronic Resources<br/> Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18&ndash;19, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:17388 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Gurfinkel, Arie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29613-5">http://dx.doi.org/10.1007/978-3-319-29613-5</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:18158 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Chaudhuri, Swarat. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41528-4">http://dx.doi.org/10.1007/978-3-319-41528-4</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:18160 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Chaudhuri, Swarat. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41540-6">http://dx.doi.org/10.1007/978-3-319-41540-6</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18356 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Crnkovic, Ivica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45892-2">http://dx.doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/> Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18363 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Larsen, Kim Guldstrand. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45994-3">http://dx.doi.org/10.1007/978-3-319-45994-3</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18301 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Fr&auml;nzle, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44878-7">http://dx.doi.org/10.1007/978-3-319-44878-7</a><br/>Format:&#160;Electronic Resources<br/> Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18329 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Skavhaug, Amund. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45480-1">http://dx.doi.org/10.1007/978-3-319-45480-1</a><br/>Format:&#160;Electronic Resources<br/> Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity ent://SD_ILS/0/SD_ILS:18676 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Skrzypczak, Michał. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52947-8">http://dx.doi.org/10.1007/978-3-662-52947-8</a><br/>Format:&#160;Electronic Resources<br/> Developments in Language Theory 20th International Conference, DLT 2016, Montr&eacute;al, Canada, July 25-28, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18683 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Brlek, Srečko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53132-7">http://dx.doi.org/10.1007/978-3-662-53132-7</a><br/>Format:&#160;Electronic Resources<br/> Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18689 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Rival, Xavier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53413-7">http://dx.doi.org/10.1007/978-3-662-53413-7</a><br/>Format:&#160;Electronic Resources<br/> Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings ent://SD_ILS/0/SD_ILS:18621 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Jobstmann, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49122-5">http://dx.doi.org/10.1007/978-3-662-49122-5</a><br/>Format:&#160;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 Lectures ent://SD_ILS/0/SD_ILS:17917 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34096-8">http://dx.doi.org/10.1007/978-3-319-34096-8</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages 20th Brazilian Symposium, SBLP 2016, Maring&aacute;, Brazil, September 22-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18319 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Castor, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45279-1">http://dx.doi.org/10.1007/978-3-319-45279-1</a><br/>Format:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18681 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Foret, Annie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53042-9">http://dx.doi.org/10.1007/978-3-662-53042-9</a><br/>Format:&#160;Electronic Resources<br/> Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:22907 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Graf, Susanne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19195-9">http://dx.doi.org/10.1007/978-3-319-19195-9</a><br/>Format:&#160;Electronic Resources<br/> NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings ent://SD_ILS/0/SD_ILS:22703 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17524-9">http://dx.doi.org/10.1007/978-3-319-17524-9</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22346 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Canal, Carlos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15201-1">http://dx.doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/> Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23282 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Calimeri, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23264-5">http://dx.doi.org/10.1007/978-3-319-23264-5</a><br/>Format:&#160;Electronic Resources<br/> Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23192 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Urban, Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22102-1">http://dx.doi.org/10.1007/978-3-319-22102-1</a><br/>Format:&#160;Electronic Resources<br/> Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:23586 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Falaschi, Moreno. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27436-2">http://dx.doi.org/10.1007/978-3-319-27436-2</a><br/>Format:&#160;Electronic Resources<br/> Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23111 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Parisi-Presicce, Francesco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21145-9">http://dx.doi.org/10.1007/978-3-319-21145-9</a><br/>Format:&#160;Electronic Resources<br/> Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23033 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Beklemishev, Lev D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20297-6">http://dx.doi.org/10.1007/978-3-319-20297-6</a><br/>Format:&#160;Electronic Resources<br/> Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:23611 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Codescu, Mihai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28114-8">http://dx.doi.org/10.1007/978-3-319-28114-8</a><br/>Format:&#160;Electronic Resources<br/> Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24865 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Blazy, Sandrine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48288-9">http://dx.doi.org/10.1007/978-3-662-48288-9</a><br/>Format:&#160;Electronic Resources<br/> Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24869 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bansal, Nikhil. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48350-3">http://dx.doi.org/10.1007/978-3-662-48350-3</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24769 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Baier, Christel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46681-0">http://dx.doi.org/10.1007/978-3-662-46681-0</a><br/>Format:&#160;Electronic Resources<br/> Logic, Rewriting, and Concurrency Essays Dedicated to Jos&eacute; Meseguer on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:23270 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Mart&iacute;-Oliet, Narciso. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23165-5">http://dx.doi.org/10.1007/978-3-319-23165-5</a><br/>Format:&#160;Electronic Resources<br/> Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:22742 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Proietti, Maurizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17822-6">http://dx.doi.org/10.1007/978-3-319-17822-6</a><br/>Format:&#160;Electronic Resources<br/> Correct System Design Symposium in Honor of Ernst-R&uuml;diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23295 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Meyer, Roland. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23506-6">http://dx.doi.org/10.1007/978-3-319-23506-6</a><br/>Format:&#160;Electronic Resources<br/> Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:23307 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Davis, Jesse. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23708-4">http://dx.doi.org/10.1007/978-3-319-23708-4</a><br/>Format:&#160;Electronic Resources<br/> Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24767 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Egyed, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46675-9">http://dx.doi.org/10.1007/978-3-662-46675-9</a><br/>Format:&#160;Electronic Resources<br/> Models of Strategic Reasoning Logics, Games, and Communities ent://SD_ILS/0/SD_ILS:24874 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;van Benthem, Johan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48540-8">http://dx.doi.org/10.1007/978-3-662-48540-8</a><br/>Format:&#160;Electronic Resources<br/> Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings ent://SD_ILS/0/SD_ILS:24876 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;van der Hoek, Wiebe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48561-3">http://dx.doi.org/10.1007/978-3-662-48561-3</a><br/>Format:&#160;Electronic Resources<br/> Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings ent://SD_ILS/0/SD_ILS:24702 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;D&rsquo;Souza, Deepak. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46081-8">http://dx.doi.org/10.1007/978-3-662-46081-8</a><br/>Format:&#160;Electronic Resources<br/> Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22290 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Naumann, David. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14806-9">http://dx.doi.org/10.1007/978-3-319-14806-9</a><br/>Format:&#160;Electronic Resources<br/> The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering ent://SD_ILS/0/SD_ILS:22862 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Jureta, Ivan. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18821-8">http://dx.doi.org/10.1007/978-3-319-18821-8</a><br/>Format:&#160;Electronic Resources<br/> FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:22914 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bj&oslash;rner, Nikolaj. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19249-9">http://dx.doi.org/10.1007/978-3-319-19249-9</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering for Collective Autonomic Systems The ASCENS Approach ent://SD_ILS/0/SD_ILS:22534 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Wirsing, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16310-9">http://dx.doi.org/10.1007/978-3-319-16310-9</a><br/>Format:&#160;Electronic Resources<br/> Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23359 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;De Nivelle, Hans. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24312-2">http://dx.doi.org/10.1007/978-3-319-24312-2</a><br/>Format:&#160;Electronic Resources<br/> Mathematics of Program Construction 12th International Conference, MPC 2015, K&ouml;nigswinter, Germany, June 29--July 1, 2015. Proceedings ent://SD_ILS/0/SD_ILS:22982 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Hinze, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19797-5">http://dx.doi.org/10.1007/978-3-319-19797-5</a><br/>Format:&#160;Electronic Resources<br/> Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23314 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23820-3">http://dx.doi.org/10.1007/978-3-319-23820-3</a><br/>Format:&#160;Electronic Resources<br/> Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings ent://SD_ILS/0/SD_ILS:23591 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Desmedt, Yvo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27659-5">http://dx.doi.org/10.1007/978-3-319-27659-5</a><br/>Format:&#160;Electronic Resources<br/> Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings ent://SD_ILS/0/SD_ILS:22643 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Jain, Rahul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17142-5">http://dx.doi.org/10.1007/978-3-319-17142-5</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24768 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Pitts, Andrew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-46678-0">http://dx.doi.org/10.1007/978-3-662-46678-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22365 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Lanese, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15317-9">http://dx.doi.org/10.1007/978-3-319-15317-9</a><br/>Format:&#160;Electronic Resources<br/> Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering ent://SD_ILS/0/SD_ILS:22394 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Nicola, Rocco De. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15545-6">http://dx.doi.org/10.1007/978-3-319-15545-6</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures ent://SD_ILS/0/SD_ILS:22875 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18941-3">http://dx.doi.org/10.1007/978-3-319-18941-3</a><br/>Format:&#160;Electronic Resources<br/> Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22684 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17404-4">http://dx.doi.org/10.1007/978-3-319-17404-4</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23251 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Calinescu, Radu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22969-0">http://dx.doi.org/10.1007/978-3-319-22969-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23252 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Sankaranarayanan, Sriram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22975-1">http://dx.doi.org/10.1007/978-3-319-22975-1</a><br/>Format:&#160;Electronic Resources<br/> Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23257 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Maletti, Andreas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23021-4">http://dx.doi.org/10.1007/978-3-319-23021-4</a><br/>Format:&#160;Electronic Resources<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compi&egrave;gne, France, July 15-17, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23075 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Destercke, S&eacute;bastien. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20807-7">http://dx.doi.org/10.1007/978-3-319-20807-7</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings ent://SD_ILS/0/SD_ILS:22939 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;N&uacute;&ntilde;ez, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19458-5">http://dx.doi.org/10.1007/978-3-319-19458-5</a><br/>Format:&#160;Electronic Resources<br/> Dag Prawitz on Proofs and Meaning ent://SD_ILS/0/SD_ILS:21629 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Wansing, Heinrich. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11041-7">http://dx.doi.org/10.1007/978-3-319-11041-7</a><br/>Format:&#160;Electronic Resources<br/> Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:22280 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Eiter, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14726-0">http://dx.doi.org/10.1007/978-3-319-14726-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Macei&oacute;, AL, Brazil, September 29--October 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:22320 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Braga, Christiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15075-8">http://dx.doi.org/10.1007/978-3-319-15075-8</a><br/>Format:&#160;Electronic Resources<br/> Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings ent://SD_ILS/0/SD_ILS:22911 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Shallit, Jeffrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19225-3">http://dx.doi.org/10.1007/978-3-319-19225-3</a><br/>Format:&#160;Electronic Resources<br/> Reliable Software Technologies &ndash; Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:22956 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;de la Puente, Juan Antonio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19584-1">http://dx.doi.org/10.1007/978-3-319-19584-1</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:23155 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Kroening, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21668-3">http://dx.doi.org/10.1007/978-3-319-21668-3</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:23156 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Kroening, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21690-4">http://dx.doi.org/10.1007/978-3-319-21690-4</a><br/>Format:&#160;Electronic Resources<br/> Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23262 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Durand-Lose, Jerome. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23111-2">http://dx.doi.org/10.1007/978-3-319-23111-2</a><br/>Format:&#160;Electronic Resources<br/> Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23371 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bojańczyk, Mikołaj. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24537-9">http://dx.doi.org/10.1007/978-3-319-24537-9</a><br/>Format:&#160;Electronic Resources<br/> Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23389 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Kahl, Wolfram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24704-5">http://dx.doi.org/10.1007/978-3-319-24704-5</a><br/>Format:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23407 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Finkbeiner, Bernd. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24953-7">http://dx.doi.org/10.1007/978-3-319-24953-7</a><br/>Format:&#160;Electronic Resources<br/> Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23500 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Li, Xuandong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25942-0">http://dx.doi.org/10.1007/978-3-319-25942-0</a><br/>Format:&#160;Electronic Resources<br/> Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L&rsquo;Aquila, Italy, July 22-24, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23117 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21215-9">http://dx.doi.org/10.1007/978-3-319-21215-9</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23533 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Feng, Xinyu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26529-2">http://dx.doi.org/10.1007/978-3-319-26529-2</a><br/>Format:&#160;Electronic Resources<br/> Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings ent://SD_ILS/0/SD_ILS:24683 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Banerjee, Mohua. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45824-2">http://dx.doi.org/10.1007/978-3-662-45824-2</a><br/>Format:&#160;Electronic Resources<br/> Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23347 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Lutz, Carsten. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24246-0">http://dx.doi.org/10.1007/978-3-319-24246-0</a><br/>Format:&#160;Electronic Resources<br/> Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23517 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Piterman, Nir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26287-1">http://dx.doi.org/10.1007/978-3-319-26287-1</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23428 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Leucker, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25150-9">http://dx.doi.org/10.1007/978-3-319-25150-9</a><br/>Format:&#160;Electronic Resources<br/> Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings ent://SD_ILS/0/SD_ILS:24888 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Davis, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48899-7">http://dx.doi.org/10.1007/978-3-662-48899-7</a><br/>Format:&#160;Electronic Resources<br/> Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:23946 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;McMillan, Kenneth L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54013-4">http://dx.doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/> Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:24464 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bonsangue, Marcello M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44124-4">http://dx.doi.org/10.1007/978-3-662-44124-4</a><br/>Format:&#160;Electronic Resources<br/> Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21382 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bulling, Nils. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09764-0">http://dx.doi.org/10.1007/978-3-319-09764-0</a><br/>Format:&#160;Electronic Resources<br/> ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21020 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Boniol, Fr&eacute;d&eacute;ric. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07512-9">http://dx.doi.org/10.1007/978-3-319-07512-9</a><br/>Format:&#160;Electronic Resources<br/> From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24053 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bensalem, Saddek. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54848-2">http://dx.doi.org/10.1007/978-3-642-54848-2</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24055 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Electronic Resources<br/> Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday ent://SD_ILS/0/SD_ILS:24043 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Casadio, Claudia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54789-8">http://dx.doi.org/10.1007/978-3-642-54789-8</a><br/>Format:&#160;Electronic Resources<br/> Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:24579 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Zaverucha, Gerson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44923-3">http://dx.doi.org/10.1007/978-3-662-44923-3</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21248 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Biere, Armin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08867-9">http://dx.doi.org/10.1007/978-3-319-08867-9</a><br/>Format:&#160;Electronic Resources<br/> Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21865 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Ortmeier, Frank. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12214-4">http://dx.doi.org/10.1007/978-3-319-12214-4</a><br/>Format:&#160;Electronic Resources<br/> Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21611 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;M&uuml;ller-Olm, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10936-7">http://dx.doi.org/10.1007/978-3-319-10936-7</a><br/>Format:&#160;Electronic Resources<br/> Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers ent://SD_ILS/0/SD_ILS:24462 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Colinet, Margot. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44116-9">http://dx.doi.org/10.1007/978-3-662-44116-9</a><br/>Format:&#160;Electronic Resources<br/> ECOOP 2014 &ndash; Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 &ndash; August 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24475 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Jones, Richard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44202-9">http://dx.doi.org/10.1007/978-3-662-44202-9</a><br/>Format:&#160;Electronic Resources<br/> Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:24046 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Gnesi, Stefania. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54804-8">http://dx.doi.org/10.1007/978-3-642-54804-8</a><br/>Format:&#160;Electronic Resources<br/> Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:20771 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Gopal, T. V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06089-7">http://dx.doi.org/10.1007/978-3-319-06089-7</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings ent://SD_ILS/0/SD_ILS:20573 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Beierle, Christoph. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04939-7">http://dx.doi.org/10.1007/978-3-319-04939-7</a><br/>Format:&#160;Electronic Resources<br/> Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:20868 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Hirsch, Edward A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06686-8">http://dx.doi.org/10.1007/978-3-319-06686-8</a><br/>Format:&#160;Electronic Resources<br/> Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28&ndash;May 1, 2014. Proceedings ent://SD_ILS/0/SD_ILS:20796 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;H&ouml;fner, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06251-8">http://dx.doi.org/10.1007/978-3-319-06251-8</a><br/>Format:&#160;Electronic Resources<br/> Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:20901 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Breugel, Franck van. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06880-0">http://dx.doi.org/10.1007/978-3-319-06880-0</a><br/>Format:&#160;Electronic Resources<br/> FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings ent://SD_ILS/0/SD_ILS:20820 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Jones, Cliff. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06410-9">http://dx.doi.org/10.1007/978-3-319-06410-9</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods in Macro-Biology First International Conference, FMMB 2014, Noum&eacute;a, New Caledonia, September 22-24, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21506 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Fages, Fran&ccedil;ois. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10398-3">http://dx.doi.org/10.1007/978-3-319-10398-3</a><br/>Format:&#160;Electronic Resources<br/> Reliable Software Technologies &ndash; Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21158 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;George, Laurent. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08311-7">http://dx.doi.org/10.1007/978-3-319-08311-7</a><br/>Format:&#160;Electronic Resources<br/> Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21731 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Ferm&eacute;, Eduardo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11558-0">http://dx.doi.org/10.1007/978-3-319-11558-0</a><br/>Format:&#160;Electronic Resources<br/> Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21646 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Bonakdarpour, Borzoo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11164-3">http://dx.doi.org/10.1007/978-3-319-11164-3</a><br/>Format:&#160;Electronic Resources<br/> Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21267 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Klein, Gerwin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08970-6">http://dx.doi.org/10.1007/978-3-319-08970-6</a><br/>Format:&#160;Electronic Resources<br/> Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21286 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Seidl, Martina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09099-3">http://dx.doi.org/10.1007/978-3-319-09099-3</a><br/>Format:&#160;Electronic Resources<br/> Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21287 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Giese, Holger. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09108-2">http://dx.doi.org/10.1007/978-3-319-09108-2</a><br/>Format:&#160;Electronic Resources<br/> Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21205 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Cariani, Fabrizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08615-6">http://dx.doi.org/10.1007/978-3-319-08615-6</a><br/>Format:&#160;Electronic Resources<br/> Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21376 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;J&uuml;rgensen, Helmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09704-6">http://dx.doi.org/10.1007/978-3-319-09704-6</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21512 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Giannakopoulou, Dimitra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10431-7">http://dx.doi.org/10.1007/978-3-319-10431-7</a><br/>Format:&#160;Electronic Resources<br/> Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:21855 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Giannakopoulou, Dimitra. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12154-3">http://dx.doi.org/10.1007/978-3-319-12154-3</a><br/>Format:&#160;Electronic Resources<br/> Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:21982 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Escobar, Santiago. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12904-4">http://dx.doi.org/10.1007/978-3-319-12904-4</a><br/>Format:&#160;Electronic Resources<br/> Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24525 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Diaz, Josep. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44602-7">http://dx.doi.org/10.1007/978-3-662-44602-7</a><br/>Format:&#160;Electronic Resources<br/> Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:20566 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Liu, Shaoying. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04915-1">http://dx.doi.org/10.1007/978-3-319-04915-1</a><br/>Format:&#160;Electronic Resources<br/> Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21259 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Dowek, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08918-8">http://dx.doi.org/10.1007/978-3-319-08918-8</a><br/>Format:&#160;Electronic Resources<br/> Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21197 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Demri, St&eacute;phane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08587-6">http://dx.doi.org/10.1007/978-3-319-08587-6</a><br/>Format:&#160;Electronic Resources<br/> Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings ent://SD_ILS/0/SD_ILS:21462 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Albert, Elvira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10181-1">http://dx.doi.org/10.1007/978-3-319-10181-1</a><br/>Format:&#160;Electronic Resources<br/> Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:21951 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Garrigue, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12736-1">http://dx.doi.org/10.1007/978-3-319-12736-1</a><br/>Format:&#160;Electronic Resources<br/> Concrete Semantics With Isabelle/HOL ent://SD_ILS/0/SD_ILS:21533 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Nipkow, Tobias. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10542-0">http://dx.doi.org/10.1007/978-3-319-10542-0</a><br/>Format:&#160;Electronic Resources<br/> Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:22066 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Yahav, Eran. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13338-6">http://dx.doi.org/10.1007/978-3-319-13338-6</a><br/>Format:&#160;Electronic Resources<br/> Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21711 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Ouaknine, Jo&euml;l. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11439-2">http://dx.doi.org/10.1007/978-3-319-11439-2</a><br/>Format:&#160;Electronic Resources<br/> Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:20946 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Codish, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07151-0">http://dx.doi.org/10.1007/978-3-319-07151-0</a><br/>Format:&#160;Electronic Resources<br/> Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings ent://SD_ILS/0/SD_ILS:21820 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Cassez, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http://dx.doi.org/10.1007/978-3-319-11936-6</a><br/>Format:&#160;Electronic Resources<br/> Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22190 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Gupta, Gopal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14125-1">http://dx.doi.org/10.1007/978-3-319-14125-1</a><br/>Format:&#160;Electronic Resources<br/> Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:21040 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Fiadeiro, Jos&eacute; Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07602-7">http://dx.doi.org/10.1007/978-3-319-07602-7</a><br/>Format:&#160;Electronic Resources<br/> Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:24586 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Shi, Zhongzhi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44980-6">http://dx.doi.org/10.1007/978-3-662-44980-6</a><br/>Format:&#160;Electronic Resources<br/> Semantics of Probabilistic Processes An Operational Approach ent://SD_ILS/0/SD_ILS:24608 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Deng, Yuxin. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45198-4">http://dx.doi.org/10.1007/978-3-662-45198-4</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:24610 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45231-8">http://dx.doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:24611 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Margaria, Tiziana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45234-9">http://dx.doi.org/10.1007/978-3-662-45234-9</a><br/>Format:&#160;Electronic Resources<br/> Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24409 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Ait Ameur, Yamine. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43652-3">http://dx.doi.org/10.1007/978-3-662-43652-3</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:24050 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Muscholl, Anca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54830-7">http://dx.doi.org/10.1007/978-3-642-54830-7</a><br/>Format:&#160;Electronic Resources<br/> Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:23955 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Cohen, Ernie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54108-7">http://dx.doi.org/10.1007/978-3-642-54108-7</a><br/>Format:&#160;Electronic Resources<br/> Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers ent://SD_ILS/0/SD_ILS:24009 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Barkatou, Moulay. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54479-8">http://dx.doi.org/10.1007/978-3-642-54479-8</a><br/>Format:&#160;Electronic Resources<br/> Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi ent://SD_ILS/0/SD_ILS:24021 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Iida, Shusaku. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54624-2">http://dx.doi.org/10.1007/978-3-642-54624-2</a><br/>Format:&#160;Electronic Resources<br/> Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures ent://SD_ILS/0/SD_ILS:24635 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45489-3">http://dx.doi.org/10.1007/978-3-662-45489-3</a><br/>Format:&#160;Electronic Resources<br/> Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24405 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43613-4">http://dx.doi.org/10.1007/978-3-662-43613-4</a><br/>Format:&#160;Electronic Resources<br/> Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24416 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Asher, Nicholas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43742-1">http://dx.doi.org/10.1007/978-3-662-43742-1</a><br/>Format:&#160;Electronic Resources<br/> CONCUR 2014 &ndash; Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24522 2024-05-09T09:17:25Z 2024-05-09T09:17:25Z Yazar&#160;Baldan, Paolo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44584-6">http://dx.doi.org/10.1007/978-3-662-44584-6</a><br/>Format:&#160;Electronic Resources<br/>