Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - Software engineering. - Information Systems Applications (incl. Internet).

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

2024-06-04T11:52:01Z

Yazar Chamberlain, Roger. editor.
https://doi.org/10.1007/978-3-030-17910-6
Format: Electronic Resources

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

2024-06-04T11:52:01Z

Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
https://doi.org/10.1007/978-3-030-01141-3
Format: Electronic Resources

PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

2024-06-04T11:52:01Z

Yazar An, Bo. editor. (orcid)0000-0002-7064-7438
https://doi.org/10.1007/978-3-319-69131-2
Format: Electronic Resources

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

2024-06-04T11:52:01Z

Yazar El Abbadi, Amr. editor.
https://doi.org/10.1007/978-3-319-59647-1
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings

2024-06-04T11:52:01Z

Yazar Grünbacher, Paul. editor.
https://doi.org/10.1007/978-3-319-54045-0
Format: Electronic Resources

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2024-06-04T11:52:01Z

Yazar Berger, Christian. editor.
https://doi.org/10.1007/978-3-319-51738-4
Format: Electronic Resources

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2024-06-04T11:52:01Z

Yazar Bogomolov, Sergiy. editor.
https://doi.org/10.1007/978-3-319-54292-8
Format: Electronic Resources

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2024-06-04T11:52:01Z

Yazar Kapitsaki, Georgia M. editor.
http://dx.doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2024-06-04T11:52:01Z

Yazar Probst, Christian W. editor.
http://dx.doi.org/10.1007/978-3-319-27810-0
Format: Electronic Resources

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2024-06-04T11:52:01Z

Yazar Alferes, Jose Julio. editor.
http://dx.doi.org/10.1007/978-3-319-42019-6
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-06-04T11:52:01Z

Yazar Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers

2024-06-04T11:52:01Z

Yazar Mauw, Sjouke. editor.
http://dx.doi.org/10.1007/978-3-319-29968-6
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2024-06-04T11:52:01Z

Yazar van Eekelen, Marko. editor.
http://dx.doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings

2024-06-04T11:52:01Z

Yazar Daneva, Maya. editor.
http://dx.doi.org/10.1007/978-3-319-30282-9
Format: Electronic Resources

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2024-06-04T11:52:01Z

Yazar Abdulla, Parosh Aziz. editor.
http://dx.doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources

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 Papers

2024-06-04T11:52:01Z

Yazar Dignum, Virginia. editor.
http://dx.doi.org/10.1007/978-3-319-42691-4
Format: Electronic Resources

Process Mining Data Science in Action

2024-06-04T11:52:01Z

Yazar van der Aalst, Wil. author.
http://dx.doi.org/10.1007/978-3-662-49851-4
Format: Electronic Resources

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 Papers

2024-06-04T11:52:01Z

Yazar Ebert, Achim. editor.
http://dx.doi.org/10.1007/978-3-319-45916-5
Format: Electronic Resources

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2024-06-04T11:52:01Z

Yazar Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources

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 Papers

2024-06-04T11:52:01Z

Yazar Hildebrandt, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

2024-06-04T11:52:01Z

Yazar Fricker, Samuel A. editor.
http://dx.doi.org/10.1007/978-3-319-16101-3
Format: Electronic Resources

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

2024-06-04T11:52:01Z

Yazar Fantechi, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-23129-7
Format: Electronic Resources

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

2024-06-04T11:52:01Z

Yazar Bodei, Chiara. editor.
http://dx.doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

2024-06-04T11:52:01Z

Yazar Mousavi, Mohammad Reza. editor.
http://dx.doi.org/10.1007/978-3-319-25141-7
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings

2024-06-04T11:52:01Z

Yazar Pelc, Andrzej. editor.
http://dx.doi.org/10.1007/978-3-319-21741-3
Format: Electronic Resources

Models of Strategic Reasoning Logics, Games, and Communities

2024-06-04T11:52:01Z

Yazar van Benthem, Johan. editor.
http://dx.doi.org/10.1007/978-3-662-48540-8
Format: Electronic Resources

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. Proceedings

2024-06-04T11:52:01Z

Yazar Fischbach, Kai. editor.
http://dx.doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources

Engineering Secure Future Internet Services and Systems Current Research

2024-06-04T11:52:01Z

Yazar Heisel, Maritta. editor.
http://dx.doi.org/10.1007/978-3-319-07452-8
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings

2024-06-04T11:52:01Z

Yazar Salinesi, Camille. editor.
http://dx.doi.org/10.1007/978-3-319-05843-6
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings

2024-06-04T11:52:01Z

Yazar Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

2024-06-04T11:52:01Z

Yazar Tuosto, Emilio. editor.
http://dx.doi.org/10.1007/978-3-319-08260-8
Format: Electronic Resources

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings

2024-06-04T11:52:01Z

Yazar Avgeriou, Paris. editor.
http://dx.doi.org/10.1007/978-3-319-09970-5
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings

2024-06-04T11:52:01Z

Yazar Felber, Pascal. editor.
http://dx.doi.org/10.1007/978-3-319-11764-5
Format: Electronic Resources