Search Results for - Narrowed by: Springer E-Book Collection - Information Systems Applications (incl. Internet). - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Information$002bSystems$002bApplications$002b$002528incl.$002bInternet$002529.$002509Information$002bSystems$002bApplications$002b$002528incl.$002bInternet$002529.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300$0026isd$003dtrue?2024-09-26T07:19:48ZArtificial Intelligence in Health First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4276312024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Koch, Fernando. editor. (orcid)0000-0001-7136-3253<br/><a href="https://doi.org/10.1007/978-3-030-12738-1">https://doi.org/10.1007/978-3-030-12738-1</a><br/>Format: Electronic Resources<br/>Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4279592024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Chamberlain, Roger. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17910-6">https://doi.org/10.1007/978-3-030-17910-6</a><br/>Format: Electronic Resources<br/>Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2227492024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683<br/><a href="https://doi.org/10.1007/978-3-030-01141-3">https://doi.org/10.1007/978-3-030-01141-3</a><br/>Format: Electronic Resources<br/>AI Approaches to the Complexity of Legal Systems AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2214902024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Pagallo, Ugo. editor. (orcid)0000-0001-7981-8849<br/><a href="https://doi.org/10.1007/978-3-030-00178-0">https://doi.org/10.1007/978-3-030-00178-0</a><br/>Format: Electronic Resources<br/>Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2220572024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Qiu, Meikang. editor. (orcid)0000-0002-1004-0140<br/><a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format: Electronic Resources<br/>PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2254902024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar An, Bo. editor. (orcid)0000-0002-7064-7438<br/><a href="https://doi.org/10.1007/978-3-319-69131-2">https://doi.org/10.1007/978-3-319-69131-2</a><br/>Format: Electronic Resources<br/>Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2230972024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Berger, Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51738-4">https://doi.org/10.1007/978-3-319-51738-4</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238012024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Grünbacher, Paul. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54045-0">https://doi.org/10.1007/978-3-319-54045-0</a><br/>Format: Electronic Resources<br/>Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2217282024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar El Abbadi, Amr. editor.<br/><a href="https://doi.org/10.1007/978-3-319-59647-1">https://doi.org/10.1007/978-3-319-59647-1</a><br/>Format: Electronic Resources<br/>Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2253022024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Cuppens-Boulahia, Nora. editor.<br/><a href="https://doi.org/10.1007/978-3-319-61437-3">https://doi.org/10.1007/978-3-319-61437-3</a><br/>Format: Electronic Resources<br/>Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2267082024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Bogomolov, Sergiy. editor.<br/><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/>AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2252142024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Esposito, Floriana. editor. (orcid)0000-0002-1075-3239<br/><a href="https://doi.org/10.1007/978-3-319-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format: Electronic Resources<br/>PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183002024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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: Electronic Resources<br/>Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lecturesent://SD_ILS/0/SD_ILS:179172024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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: Electronic Resources<br/>Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179292024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Kapitsaki, Georgia M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-35122-3">http://dx.doi.org/10.1007/978-3-319-35122-3</a><br/>Format: Electronic Resources<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:171912024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:174842024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Daneva, Maya. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30282-9">http://dx.doi.org/10.1007/978-3-319-30282-9</a><br/>Format: Electronic Resources<br/>Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181832024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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: Electronic Resources<br/>Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:183702024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Abdulla, Parosh Aziz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46140-3">http://dx.doi.org/10.1007/978-3-319-46140-3</a><br/>Format: Electronic Resources<br/>Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:174332024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Mauw, Sjouke. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29968-6">http://dx.doi.org/10.1007/978-3-319-29968-6</a><br/>Format: Electronic Resources<br/>Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:183962024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar van Eekelen, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46559-3">http://dx.doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Coordination, Organizations, Institutions, and Norms in Agent Systems XI COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:182182024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Dignum, Virginia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42691-4">http://dx.doi.org/10.1007/978-3-319-42691-4</a><br/>Format: Electronic Resources<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:186602024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar van der Aalst, Wil. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49851-4">http://dx.doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Electronic Resources<br/>Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:178642024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Hildebrandt, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33612-1">http://dx.doi.org/10.1007/978-3-319-33612-1</a><br/>Format: Electronic Resources<br/>Usability- and Accessibility-Focused Requirements Engineering First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:183572024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Ebert, Achim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45916-5">http://dx.doi.org/10.1007/978-3-319-45916-5</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180092024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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: Electronic Resources<br/>Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:234612024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Bodei, Chiara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25527-9">http://dx.doi.org/10.1007/978-3-319-25527-9</a><br/>Format: Electronic Resources<br/>Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedingsent://SD_ILS/0/SD_ILS:230752024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Destercke, Sé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: Electronic Resources<br/>Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231492024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Bassiliades, Nick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21542-6">http://dx.doi.org/10.1007/978-3-319-21542-6</a><br/>Format: Electronic Resources<br/>Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedingsent://SD_ILS/0/SD_ILS:224922024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Fricker, Samuel A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16101-3">http://dx.doi.org/10.1007/978-3-319-16101-3</a><br/>Format: Electronic Resources<br/>Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedingsent://SD_ILS/0/SD_ILS:232662024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Fantechi, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23129-7">http://dx.doi.org/10.1007/978-3-319-23129-7</a><br/>Format: Electronic Resources<br/>Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234272024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Mousavi, Mohammad Reza. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25141-7">http://dx.doi.org/10.1007/978-3-319-25141-7</a><br/>Format: Electronic Resources<br/>Models of Strategic Reasoning Logics, Games, and Communitiesent://SD_ILS/0/SD_ILS:248742024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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: Electronic Resources<br/>Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231582024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar Pelc, Andrzej. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21741-3">http://dx.doi.org/10.1007/978-3-319-21741-3</a><br/>Format: Electronic Resources<br/>Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:233072024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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: 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-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>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-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedingsent://SD_ILS/0/SD_ILS:214232024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:211512024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>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-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>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-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>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-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>Engineering Secure Future Internet Services and Systems Current Researchent://SD_ILS/0/SD_ILS:210042024-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>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-09-26T07:19:48Z2024-09-26T07:19:48ZYazar 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/>