Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - 2014SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092014$0025092014$0026ps$003d300$0026isd$003dtrue?2024-05-26T03:55:10ZTests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212862024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212872024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:206302024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Poole, Stephen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05215-1">http://dx.doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Electronic Resources<br/>Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215362024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Bondavalli, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10557-4">http://dx.doi.org/10.1007/978-3-319-10557-4</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212362024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Cai, Zhipeng. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08783-2">http://dx.doi.org/10.1007/978-3-319-08783-2</a><br/>Format: Electronic Resources<br/>Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217312024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Fermé, 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:210202024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Boniol, Frédé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: Electronic Resources<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217752024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Amyot, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11743-0">http://dx.doi.org/10.1007/978-3-319-11743-0</a><br/>Format: 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, Proceedingsent://SD_ILS/0/SD_ILS:240502024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:240512024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Shao, Zhong. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54833-8">http://dx.doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugient://SD_ILS/0/SD_ILS:240212024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:212592024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:206512024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Fischbach, Kai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05359-2">http://dx.doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205732024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedingsent://SD_ILS/0/SD_ILS:204222024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Flatt, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04132-2">http://dx.doi.org/10.1007/978-3-319-04132-2</a><br/>Format: Electronic Resources<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:204282024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Majkić, Zoran. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04156-8">http://dx.doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:208682024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211582024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215682024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Lang, Frédéric. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10702-8">http://dx.doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Electronic Resources<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217542024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Dingel, Juergen. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11653-2">http://dx.doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Electronic Resources<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213032024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Cabot, Jordi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09195-2">http://dx.doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Electronic Resources<br/>Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:205662024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:205922024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Counsell, Steve. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05032-4">http://dx.doi.org/10.1007/978-3-319-05032-4</a><br/>Format: Electronic Resources<br/>Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207712024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:218652024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213822024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:211972024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Demri, Sté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: Electronic Resources<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:219512024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Rules on the Web. From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214022024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Bikakis, Antonis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09870-8">http://dx.doi.org/10.1007/978-3-319-09870-8</a><br/>Format: 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 Papersent://SD_ILS/0/SD_ILS:219822024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214232024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Avgeriou, Paris. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09970-5">http://dx.doi.org/10.1007/978-3-319-09970-5</a><br/>Format: 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. Proceedingsent://SD_ILS/0/SD_ILS:212482024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216462024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:209752024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07317-0">http://dx.doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Information and Communication Technologies in Education, Research, and Industrial Applications 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:220372024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Ermolayev, Vadim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13206-8">http://dx.doi.org/10.1007/978-3-319-13206-8</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:218202024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:240532024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:206582024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Artho, Cyrille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05416-2">http://dx.doi.org/10.1007/978-3-319-05416-2</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:214622024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215992024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Ciobanu, Gabriel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10882-7">http://dx.doi.org/10.1007/978-3-319-10882-7</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216002024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Horváth, András. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10885-8">http://dx.doi.org/10.1007/978-3-319-10885-8</a><br/>Format: Electronic Resources<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:218552024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213762024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Jü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: Electronic Resources<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:209462024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:220662024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212382024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Ruscio, Davide Di. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08789-4">http://dx.doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Electronic Resources<br/>Engineering Secure Future Internet Services and Systems Current Researchent://SD_ILS/0/SD_ILS:210042024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Heisel, Maritta. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07452-8">http://dx.doi.org/10.1007/978-3-319-07452-8</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207272024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Salinesi, Camille. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-05843-6">http://dx.doi.org/10.1007/978-3-319-05843-6</a><br/>Format: Electronic Resources<br/>FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:208202024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:211512024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Tuosto, Emilio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08260-8">http://dx.doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Electronic Resources<br/>Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:209012024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217822024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Felber, Pascal. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11764-5">http://dx.doi.org/10.1007/978-3-319-11764-5</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:210402024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Fiadeiro, José 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: Electronic Resources<br/>Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239552024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Collaborative Design for Embedded Systems Co-modelling and Co-simulationent://SD_ILS/0/SD_ILS:239562024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54118-6">http://dx.doi.org/10.1007/978-3-642-54118-6</a><br/>Format: 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 Lecturesent://SD_ILS/0/SD_ILS:246352024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:240552024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Ábrahá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: Electronic Resources<br/>Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papersent://SD_ILS/0/SD_ILS:244622024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Membrane Computing 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239742024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Alhazov, Artiom. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54239-8">http://dx.doi.org/10.1007/978-3-642-54239-8</a><br/>Format: Electronic Resources<br/>Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedingsent://SD_ILS/0/SD_ILS:239462024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:243882024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Kühn, Eva. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43376-8">http://dx.doi.org/10.1007/978-3-662-43376-8</a><br/>Format: 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. Proceedingsent://SD_ILS/0/SD_ILS:244052024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Ábrahá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: Electronic Resources<br/>Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244092024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:245792024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:245862024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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, Proceedingsent://SD_ILS/0/SD_ILS:240462024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Semantics of Probabilistic Processes An Operational Approachent://SD_ILS/0/SD_ILS:246082024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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 IIent://SD_ILS/0/SD_ILS:246102024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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 Ient://SD_ILS/0/SD_ILS:246112024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207882024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Badger, Julia M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06200-6">http://dx.doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207962024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Hö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: Electronic Resources<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210662024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Ciardo, Gianfranco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07734-5">http://dx.doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215662024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Norman, Gethin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10696-0">http://dx.doi.org/10.1007/978-3-319-10696-0</a><br/>Format: Electronic Resources<br/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216112024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Mü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: Electronic Resources<br/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215122024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:219012024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Dal Lago, Ugo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12466-7">http://dx.doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Electronic Resources<br/>Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:221902024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:221912024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Schaefer, Ina. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14130-5">http://dx.doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Electronic Resources<br/>Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:222312024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Gheorghe, Marian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-14370-5">http://dx.doi.org/10.1007/978-3-319-14370-5</a><br/>Format: Electronic Resources<br/>Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:239092024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar McCarthy, Jay. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-45340-3">http://dx.doi.org/10.1007/978-3-642-45340-3</a><br/>Format: 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 Papersent://SD_ILS/0/SD_ILS:244642024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:240092024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245682024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Merayo, Mercedes G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44857-1">http://dx.doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Transactions on Petri Nets and Other Models of Concurrency IXent://SD_ILS/0/SD_ILS:246742024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Koutny, Maciej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45730-6">http://dx.doi.org/10.1007/978-3-662-45730-6</a><br/>Format: Electronic Resources<br/>Krister Segerberg on Logic of Actionsent://SD_ILS/0/SD_ILS:252442024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Trypuz, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/978-94-007-7046-1">http://dx.doi.org/10.1007/978-94-007-7046-1</a><br/>Format: Electronic Resources<br/>CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245222024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: 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. Proceedingsent://SD_ILS/0/SD_ILS:212672024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:195272024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Fernández, Maribel. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4471-6368-8">http://dx.doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212052024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Formal Methods in Macro-Biology First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215062024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Fages, Franç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: Electronic Resources<br/>Practical Analysis of Algorithmsent://SD_ILS/0/SD_ILS:214072024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Vrajitoru, Dana. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09888-3">http://dx.doi.org/10.1007/978-3-319-09888-3</a><br/>Format: Electronic Resources<br/>Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedingsent://SD_ILS/0/SD_ILS:217112024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Ouaknine, Joë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: Electronic Resources<br/>Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215252024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Bondavalli, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10506-2">http://dx.doi.org/10.1007/978-3-319-10506-2</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215272024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Legay, Axel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10512-3">http://dx.doi.org/10.1007/978-3-319-10512-3</a><br/>Format: Electronic Resources<br/>Concrete Semantics With Isabelle/HOLent://SD_ILS/0/SD_ILS:215332024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244752024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Verification of Business Rules Programsent://SD_ILS/0/SD_ILS:238012024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar Berstel-Da Silva, Bruno. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-40038-4">http://dx.doi.org/10.1007/978-3-642-40038-4</a><br/>Format: Electronic Resources<br/>Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244162024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthdayent://SD_ILS/0/SD_ILS:240432024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245252024-05-26T03:55:10Z2024-05-26T03:55:10ZYazar 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: Electronic Resources<br/>