Search Results for Science (General) - Narrowed by: Machine theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b$002528General$002529$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-24T12:39:36ZRecent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122532026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6132402026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67729-3">https://doi.org/10.1007/978-3-319-67729-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6124042026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52228-9">https://doi.org/10.1007/978-3-319-52228-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137592026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72453-9">https://doi.org/10.1007/978-3-319-72453-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161832026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6162012026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50062-1">https://doi.org/10.1007/978-3-319-50062-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161432026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6170272026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6171492026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Kennedy, Juliette. editor. de Queiroz, Ruy J.G.B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55386-2">https://doi.org/10.1007/978-3-662-55386-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6181502026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6109112026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6115992026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Ayala-Rincón, Mauricio. editor. Muñoz, César A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6136192026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6137422026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68953-1">https://doi.org/10.1007/978-3-319-68953-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159302026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159372026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60252-3">https://doi.org/10.1007/978-3-319-60252-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159802026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159932026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6167142026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6127962026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159652026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160782026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55665-8">https://doi.org/10.1007/978-3-662-55665-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160122026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55911-7">https://doi.org/10.1007/978-3-319-55911-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162152026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162172026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54069-5">https://doi.org/10.1007/978-3-662-54069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161522026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66396-8">https://doi.org/10.1007/978-3-319-66396-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6161542026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6162342026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6162412026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Hansen, Helle Hvid. editor. Murray, Sarah E. editor. Sadrzadeh, Mehrnoosh. editor. Zeevat, Henk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54332-0">https://doi.org/10.1007/978-3-662-54332-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163092026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58741-7">https://doi.org/10.1007/978-3-319-58741-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163162026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163202026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53733-7">https://doi.org/10.1007/978-3-319-53733-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexityent://SD_ILS/0/SD_ILS:6163212026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Zeume, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6166112026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65765-3">https://doi.org/10.1007/978-3-319-65765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:6111112026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6111122026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papersent://SD_ILS/0/SD_ILS:6111152026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6126122026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Echahed, Rachid. editor. Minas, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6128422026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6134702026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6161482026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Foret, Annie. editor. Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Pogodalla, Sylvain. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6163852026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6164252026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Kordon, Fabrice. editor. Moldt, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39086-4">https://doi.org/10.1007/978-3-319-39086-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<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:6167392026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6171342026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6171822026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6177432026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6181222026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6181342026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Han, Yo-Sub. editor. Salomaa, Kai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:6106882026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6108452026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6108952026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6108972026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Serrano, Manuel. editor. Hage, Jurriaan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6109332026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6117022026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6118282026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Lipták, Zsuzsanna. editor. Smyth, William F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6119172026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6120222026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6123102026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6127412026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Amos, Martyn. editor. Condon, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6135922026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6159352026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6159982026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Dinh, Thang N. editor. Thai, My T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6160262026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6168892026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6169192026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6169532026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6126742026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6130382026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6136332026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Mäkinen, Veli. editor. Puglisi, Simon J. editor. Salmela, Leena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6136402026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6160082026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6160552026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6162182026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Blanchette, Jasmin Christian. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6161532026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6162372026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Hasuo, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6162462026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6162922026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Câmpeanu, Cezar. editor. Manea, Florin. editor. Shallit, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<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:6163292026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6166472026-03-24T12:39:36Z2026-03-24T12:39:36ZAuthor Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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/>Availability Online Library~1<br/>