Search Results for - Narrowed by: Springer E-Book Collection - English - Software engineering.

Engineering Adaptive Software Systems Communications of NII Shonan Meetings

2024-05-20T13:57:37Z

Yazar Yu, Yijun. editor.
https://doi.org/10.1007/978-981-13-2185-6
Format: Electronic Resources

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Parker, David. editor. (orcid)0000-0003-4137-8862
https://doi.org/10.1007/978-3-030-30281-8
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054
https://doi.org/10.1007/978-3-030-20528-7
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
https://doi.org/10.1007/978-3-030-24258-9
Format: Electronic Resources

Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Alfaries, Auhood. editor.
https://doi.org/10.1007/978-3-030-36368-0
Format: Electronic Resources

Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686
https://doi.org/10.1007/978-3-030-25636-4
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Larsen, Kim Guldstrand. editor.
https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096
https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources

Cryptography and Coding 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Albrecht, Martin. editor.
https://doi.org/10.1007/978-3-030-35199-1
Format: Electronic Resources

Science of Cyber Security Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Liu, Feng. editor.
https://doi.org/10.1007/978-3-030-34637-9
Format: Electronic Resources

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
https://doi.org/10.1007/978-3-030-20656-7
Format: Electronic Resources

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Ölveczky, Peter Csaba. editor.
https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources

Empirical Studies on the Development of Executable Business Processes

2024-05-20T13:57:37Z

Yazar Lübke, Daniel. editor.
https://doi.org/10.1007/978-3-030-17666-2
Format: Electronic Resources

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-29852-4
Format: Electronic Resources

Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-31277-0
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

2024-05-20T13:57:37Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24308-1
Format: Electronic Resources

Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

2024-05-20T13:57:37Z

Yazar Lutz, Carsten. editor.
https://doi.org/10.1007/978-3-030-22102-7
Format: Electronic Resources

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Vera-Rodriguez, Ruben. editor.
https://doi.org/10.1007/978-3-030-13469-3
Format: Electronic Resources

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Thachuk, Chris. editor.
https://doi.org/10.1007/978-3-030-26807-7
Format: Electronic Resources

Perspectives in Business Informatics Research 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Pańkowska, Małgorzata. editor. (orcid)0000-0001-8660-606X
https://doi.org/10.1007/978-3-030-31143-8
Format: Electronic Resources

Pattern Recognition 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Carrasco-Ochoa, Jesús Ariel. editor.
https://doi.org/10.1007/978-3-030-21077-9
Format: Electronic Resources

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-31157-5
Format: Electronic Resources

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Staggs, Jason. editor.
https://doi.org/10.1007/978-3-030-34647-8
Format: Electronic Resources

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Zamani, Majid. editor.
https://doi.org/10.1007/978-3-030-28423-7
Format: Electronic Resources

Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Piattini, Mario. editor. (orcid)0000-0002-7212-8279
https://doi.org/10.1007/978-3-030-29238-6
Format: Electronic Resources

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Hospodár, Michal. editor.
https://doi.org/10.1007/978-3-030-23679-3
Format: Electronic Resources

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
https://doi.org/10.1007/978-3-030-31304-3
Format: Electronic Resources

Biomedical Engineering Systems and Technologies 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19–21, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Cliquet Jr., Alberto. editor.
https://doi.org/10.1007/978-3-030-29196-9
Format: Electronic Resources

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782
https://doi.org/10.1007/978-3-030-29007-8
Format: Electronic Resources

ICT Systems Security and Privacy Protection 34th IFIP TC 11 International Conference, SEC 2019, Lisbon, Portugal, June 25-27, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Dhillon, Gurpreet. editor.
https://doi.org/10.1007/978-3-030-22312-0
Format: Electronic Resources

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750
https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources

Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers

2024-05-20T13:57:37Z

Yazar Pergl, Robert. editor. (orcid)0000-0003-2980-4400
https://doi.org/10.1007/978-3-030-35646-0
Format: Electronic Resources

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

2024-05-20T13:57:37Z

Yazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491
https://doi.org/10.1007/978-3-030-21485-2
Format: Electronic Resources

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033
https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
https://doi.org/10.1007/978-3-030-17872-7
Format: Electronic Resources

Enterprise Information Systems 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-030-26169-6
Format: Electronic Resources

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-05-20T13:57:37Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124
https://doi.org/10.1007/978-3-030-05767-1
Format: Electronic Resources

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Caires, Luís. editor. (orcid)0000-0002-3215-6734
https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources

Cloud Computing – CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Da Silva, Dilma. editor.
https://doi.org/10.1007/978-3-030-23502-4
Format: Electronic Resources

Carl Adam Petri: Ideas, Personality, Impact

2024-05-20T13:57:37Z

Yazar Reisig, Wolfgang. editor.
https://doi.org/10.1007/978-3-319-96154-5
Format: Electronic Resources

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25543-5
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26951-7
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867
https://doi.org/10.1007/978-3-030-19034-7
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Cerrito, Serenella. editor.
https://doi.org/10.1007/978-3-030-29026-9
Format: Electronic Resources

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-030-32304-2
Format: Electronic Resources

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Majumdar, Amit. editor.
https://doi.org/10.1007/978-981-13-7729-7
Format: Electronic Resources

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Lin, Dongdai. editor.
https://doi.org/10.1007/978-3-030-17259-6
Format: Electronic Resources

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Iemhoff, Rosalie. editor.
https://doi.org/10.1007/978-3-662-59533-6
Format: Electronic Resources

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Zsók, Viktória. editor.
https://doi.org/10.1007/978-3-030-28346-9
Format: Electronic Resources

Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Bebis, George. editor.
https://doi.org/10.1007/978-3-030-35210-3
Format: Electronic Resources

Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Dressler, Falko. editor. (orcid)0000-0002-1989-1750
https://doi.org/10.1007/978-3-030-34405-4
Format: Electronic Resources

Cyberspace Safety and Security 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-37337-5
Format: Electronic Resources

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Sako, Kazue. editor.
https://doi.org/10.1007/978-3-030-29959-0
Format: Electronic Resources

Information Security 22nd International Conference, ISC 2019, New York City, NY, USA, September 16–18, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Lin, Zhiqiang. editor.
https://doi.org/10.1007/978-3-030-30215-3
Format: Electronic Resources

Computer Security – ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Sako, Kazue. editor.
https://doi.org/10.1007/978-3-030-29962-0
Format: Electronic Resources

Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Luo, Yuhua. editor. (orcid)0000-0003-3057-4753
https://doi.org/10.1007/978-3-030-30949-7
Format: Electronic Resources

Information Systems Engineering in Responsible Information Systems CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Cappiello, Cinzia. editor. (orcid)0000-0001-6062-5174
https://doi.org/10.1007/978-3-030-21297-1
Format: Electronic Resources

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

2024-05-20T13:57:37Z

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

Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Mirto, Ignazio Mauro. editor.
https://doi.org/10.1007/978-3-030-10868-7
Format: Electronic Resources

Intelligent Technologies and Applications First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Bajwa, Imran Sarwar. editor.
https://doi.org/10.1007/978-981-13-6052-7
Format: Electronic Resources

Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-030-05529-5
Format: Electronic Resources

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-030-34500-6
Format: Electronic Resources

Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014
https://doi.org/10.1007/978-981-13-3804-5
Format: Electronic Resources

Information Security and Privacy 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X
https://doi.org/10.1007/978-3-030-21548-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Chen, Yu-Fang. editor.
https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources

Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803
https://doi.org/10.1007/978-3-030-32065-2
Format: Electronic Resources

Engineering Multi-Agent Systems 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Weyns, Danny. editor. (orcid)0000-0002-1162-0817
https://doi.org/10.1007/978-3-030-25693-7
Format: Electronic Resources

Formal Methods An Appetizer

2024-05-20T13:57:37Z

Yazar Nielson, Flemming. author. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-05156-3
Format: Electronic Resources

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

2024-05-20T13:57:37Z

Yazar Guttman, Joshua D. editor.
https://doi.org/10.1007/978-3-030-19052-1
Format: Electronic Resources

Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127
https://doi.org/10.1007/978-3-030-35869-3
Format: Electronic Resources

Web Engineering 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Bakaev, Maxim. editor. (orcid)0000-0002-1889-0692
https://doi.org/10.1007/978-3-030-19274-7
Format: Electronic Resources

Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Giorgini, Paolo. editor.
https://doi.org/10.1007/978-3-030-21290-2
Format: Electronic Resources

Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Schmorrow, Dylan D. editor.
https://doi.org/10.1007/978-3-030-22419-6
Format: Electronic Resources

Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings

2024-05-20T13:57:37Z

Yazar Li, Daoliang. editor.
https://doi.org/10.1007/978-3-030-06155-5
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Klusáček, Dalibor. editor.
https://doi.org/10.1007/978-3-030-10632-4
Format: Electronic Resources

Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

2024-05-20T13:57:37Z

Yazar Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-030-23535-2
Format: Electronic Resources

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Lange, Tanja. editor.
https://doi.org/10.1007/978-3-030-25283-0
Format: Electronic Resources

Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Hofman, Piotrek. editor.
https://doi.org/10.1007/978-3-030-24886-4
Format: Electronic Resources

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X
https://doi.org/10.1007/978-3-030-31095-0
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

2024-05-20T13:57:37Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24305-0
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III

2024-05-20T13:57:37Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26954-8
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
https://doi.org/10.1007/978-3-030-26250-1
Format: Electronic Resources

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Nejati, Shiva. editor.
https://doi.org/10.1007/978-3-030-27455-9
Format: Electronic Resources

Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614
https://doi.org/10.1007/978-3-030-37386-3
Format: Electronic Resources

The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment

2024-05-20T13:57:37Z

Yazar Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X
https://doi.org/10.1007/978-3-030-37959-9
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752
https://doi.org/10.1007/978-3-030-32213-7
Format: Electronic Resources

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Hochberger, Christian. editor.
https://doi.org/10.1007/978-3-030-17227-5
Format: Electronic Resources

Design and Development of Web Information Systems

2024-05-20T13:57:37Z

Yazar Schewe, Klaus-Dieter. author.
https://doi.org/10.1007/978-3-662-58824-6
Format: Electronic Resources

Developing Enterprise Chatbots Learning Linguistic Structures

2024-05-20T13:57:37Z

Yazar Galitsky, Boris. author.
https://doi.org/10.1007/978-3-030-04299-8
Format: Electronic Resources

Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb

2024-05-20T13:57:37Z

Yazar Biffl, Stefan. editor.
https://doi.org/10.1007/978-3-030-25312-7
Format: Electronic Resources

Managed Software Evolution

2024-05-20T13:57:37Z

Yazar Reussner, Ralf. editor.
https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources

Ambient Intelligence 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Chatzigiannakis, Ioannis. editor. (orcid)0000-0001-8955-9270
https://doi.org/10.1007/978-3-030-34255-5
Format: Electronic Resources

Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-030-22643-5
Format: Electronic Resources

Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-030-23570-3
Format: Electronic Resources

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580
https://doi.org/10.1007/978-3-030-22397-7
Format: Electronic Resources

Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Buchmann, Johannes. editor.
https://doi.org/10.1007/978-3-030-23696-0
Format: Electronic Resources

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395
https://doi.org/10.1007/978-3-030-29400-7
Format: Electronic Resources

Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Fontaine, Pascal. editor.
https://doi.org/10.1007/978-3-030-29436-6
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555
https://doi.org/10.1007/978-3-030-29662-9
Format: Electronic Resources

Integrating Business Process Models and Rules Empirical Evidence and Decision Framework

2024-05-20T13:57:37Z

Yazar Wang, Wei. author. (orcid)0000-0003-2932-4247
https://doi.org/10.1007/978-3-030-11809-9
Format: Electronic Resources

Transactions on Petri Nets and Other Models of Concurrency XIV

2024-05-20T13:57:37Z

Yazar Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-60651-3
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Mesnard, Fred. editor.
https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2024-05-20T13:57:37Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-030-17502-3
Format: Electronic Resources

Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Liu, Xiao. editor.
https://doi.org/10.1007/978-3-030-17642-6
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III

2024-05-20T13:57:37Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17659-4
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17656-3
Format: Electronic Resources

Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions

2024-05-20T13:57:37Z

Yazar Francisco Lorenzon, Arthur. author.
https://doi.org/10.1007/978-3-030-28719-1
Format: Electronic Resources

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180
https://doi.org/10.1007/978-3-030-21759-4
Format: Electronic Resources

Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Yangui, Sami. editor. (orcid)0000-0001-9756-642X
https://doi.org/10.1007/978-3-030-33702-5
Format: Electronic Resources

Introduction to Software Design with Java

2024-05-20T13:57:37Z

Yazar Robillard, Martin P. author.
https://doi.org/10.1007/978-3-030-24094-3
Format: Electronic Resources

Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698
https://doi.org/10.1007/978-3-030-20482-2
Format: Electronic Resources

Design, User Experience, and Usability. User Experience in Advanced Technological Environments 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-030-23541-3
Format: Electronic Resources

Computing and Software Science State of the Art and Perspectives

2024-05-20T13:57:37Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources

Empowering Learners for Life in the Digital Age IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24–28, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Passey, Don. editor. (orcid)0000-0002-9205-502X
https://doi.org/10.1007/978-3-030-23513-0
Format: Electronic Resources

Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698
https://doi.org/10.1007/978-3-030-20485-3
Format: Electronic Resources

Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Mu, Yi. editor. (orcid)0000-0002-1637-845X
https://doi.org/10.1007/978-3-030-31578-8
Format: Electronic Resources

Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153
https://doi.org/10.1007/978-3-030-32872-6
Format: Electronic Resources

27th International Meshing Roundtable

2024-05-20T13:57:37Z

Yazar Roca, Xevi. editor.
https://doi.org/10.1007/978-3-030-13992-6
Format: Electronic Resources

Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797
https://doi.org/10.1007/978-3-030-05909-5
Format: Electronic Resources

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Peng, Xin. editor.
https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources

Information, Communication and Computing Technology 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Gani, Abdullah Bin. editor. (orcid)0000-0002-4388-020X
https://doi.org/10.1007/978-981-15-1384-8
Format: Electronic Resources

Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Tsitouridou, Meni. editor.
https://doi.org/10.1007/978-3-030-20954-4
Format: Electronic Resources

Advanced Information Systems Engineering Workshops CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Proper, Henderik A. editor. (orcid)0000-0002-7318-2496
https://doi.org/10.1007/978-3-030-20948-3
Format: Electronic Resources

Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Breitinger, Frank. editor. (orcid)0000-0001-5261-4600
https://doi.org/10.1007/978-3-030-05487-8
Format: Electronic Resources

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

2024-05-20T13:57:37Z

Yazar Alvim, Mário S. editor.
https://doi.org/10.1007/978-3-030-31175-9
Format: Electronic Resources

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Walker, Alastair. editor.
https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24289-3
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

2024-05-20T13:57:37Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24302-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24296-1
Format: Electronic Resources

Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814
https://doi.org/10.1007/978-3-030-36701-5
Format: Electronic Resources

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Ning, Huansheng. editor. (orcid)0000-0001-6413-193X
https://doi.org/10.1007/978-981-15-1922-2
Format: Electronic Resources

Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

2024-05-20T13:57:37Z

Yazar Lee, Ji-Hyun. editor.
https://doi.org/10.1007/978-981-13-8410-3
Format: Electronic Resources

Distributed Real-Time Systems Theory and Practice

2024-05-20T13:57:37Z

Yazar Erciyes, K. author.
https://doi.org/10.1007/978-3-030-22570-4
Format: Electronic Resources

ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Kabanda, Salah. editor.
https://doi.org/10.1007/978-3-030-05813-5
Format: Electronic Resources

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
https://doi.org/10.1007/978-3-030-31038-7
Format: Electronic Resources

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
https://doi.org/10.1007/978-3-030-32409-4
Format: Electronic Resources

Applied Informatics Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459
https://doi.org/10.1007/978-3-030-32475-9
Format: Electronic Resources

Transactions on Computational Science XXXIV

2024-05-20T13:57:37Z

Yazar Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-59958-7
Format: Electronic Resources

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Bures, Tomas. editor.
https://doi.org/10.1007/978-3-030-29983-5
Format: Electronic Resources

From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

2024-05-20T13:57:37Z

Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-030-31514-6
Format: Electronic Resources

Fault Prediction Modeling for the Prediction of Number of Software Faults

2024-05-20T13:57:37Z

Yazar Rathore, Santosh Singh. author.
https://doi.org/10.1007/978-981-13-7131-8
Format: Electronic Resources

A Practical Approach to High-Performance Computing

2024-05-20T13:57:37Z

Yazar Kurgalin, Sergei. author.
https://doi.org/10.1007/978-3-030-27558-7
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2018 Workshops Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22–26, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847
https://doi.org/10.1007/978-3-030-11683-5
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Enea, Constantin. editor.
https://doi.org/10.1007/978-3-030-11245-5
Format: Electronic Resources

Financial Software Engineering

2024-05-20T13:57:37Z

Yazar Lano, Kevin. author.
https://doi.org/10.1007/978-3-030-14050-2
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

2024-05-20T13:57:37Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24311-1
Format: Electronic Resources

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2024-05-20T13:57:37Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Guan, Nan. editor.
https://doi.org/10.1007/978-3-030-35540-1
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17653-2
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377
https://doi.org/10.1007/978-3-030-34578-5
Format: Electronic Resources

Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

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

Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Tonin, Graziela Simone. editor.
https://doi.org/10.1007/978-3-030-14310-7
Format: Electronic Resources

Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Zemmari, Akka. editor.
https://doi.org/10.1007/978-3-030-12143-3
Format: Electronic Resources

High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
https://doi.org/10.1007/978-3-030-34356-9
Format: Electronic Resources

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Bordeleau, Francis. editor.
https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources

Methods and Models in Mathematical Programming

2024-05-20T13:57:37Z

Yazar MirHassani, S. A. author.
https://doi.org/10.1007/978-3-030-27045-2
Format: Electronic Resources

Enterprise, Business-Process and Information Systems Modeling 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905
https://doi.org/10.1007/978-3-030-20618-5
Format: Electronic Resources

Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Shishkov, Boris. editor.
https://doi.org/10.1007/978-3-030-24854-3
Format: Electronic Resources

Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Guizzardi, Giancarlo. editor.
https://doi.org/10.1007/978-3-030-34146-6
Format: Electronic Resources

Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Hamid, Brahim. editor.
https://doi.org/10.1007/978-3-030-16874-2
Format: Electronic Resources

Handbook of Software Engineering

2024-05-20T13:57:37Z

Yazar Cha, Sungdeok. editor.
https://doi.org/10.1007/978-3-030-00262-6
Format: Electronic Resources

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183
https://doi.org/10.1007/978-3-030-31919-9
Format: Electronic Resources

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Benmoussa, Rachid. editor.
https://doi.org/10.1007/978-3-030-32497-1
Format: Electronic Resources

Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji

2024-05-20T13:57:37Z

Yazar Carlet, Claude. editor.
https://doi.org/10.1007/978-3-030-16458-4
Format: Electronic Resources

Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Matsui, Mitsuru. editor.
https://doi.org/10.1007/978-3-030-12612-4
Format: Electronic Resources

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources

Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-030-22646-6
Format: Electronic Resources

Design, User Experience, and Usability. Application Domains 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2024-05-20T13:57:37Z

Yazar Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-030-23538-3
Format: Electronic Resources

Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar van Sinderen, Marten. editor.
https://doi.org/10.1007/978-3-030-29157-0
Format: Electronic Resources

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-030-05807-4
Format: Electronic Resources

Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness

2024-05-20T13:57:37Z

Yazar Gol Mohammadi, Nazila. author.
https://doi.org/10.1007/978-3-658-27488-7
Format: Electronic Resources

Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Mařík, Vladimír. editor.
https://doi.org/10.1007/978-3-030-27878-6
Format: Electronic Resources

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233
https://doi.org/10.1007/978-3-030-33223-5
Format: Electronic Resources

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2024-05-20T13:57:37Z

Yazar Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-030-22636-7
Format: Electronic Resources

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Yew, Pen-Chung. editor.
https://doi.org/10.1007/978-3-030-29611-7
Format: Electronic Resources

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Hoda, Rashina. editor. (orcid)0000-0001-5147-8096
https://doi.org/10.1007/978-3-030-30126-2
Format: Electronic Resources

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Gaston, Christophe. editor. (orcid)0000-0001-6865-5108
https://doi.org/10.1007/978-3-030-31280-0
Format: Electronic Resources

Information Systems: Research, Development, Applications, Education 12th SIGSAND/PLAIS EuroSymposium 2019, Gdansk, Poland, September 19, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Wrycza, Stanisław. editor. (orcid)0000-0001-7699-6631
https://doi.org/10.1007/978-3-030-29608-7
Format: Electronic Resources

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201
https://doi.org/10.1007/978-3-030-20867-7
Format: Electronic Resources

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

2024-05-20T13:57:37Z

Yazar Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234
https://doi.org/10.1007/978-3-030-33274-7
Format: Electronic Resources

Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Deng, Robert H. editor. (orcid)0000-0003-3491-8146
https://doi.org/10.1007/978-3-030-21568-2
Format: Electronic Resources

Frontiers in Cyber Security Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Shen, Bazhong. editor.
https://doi.org/10.1007/978-981-15-0818-9
Format: Electronic Resources

Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415
https://doi.org/10.1007/978-3-030-30048-7
Format: Electronic Resources

Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941
https://doi.org/10.1007/978-3-030-12942-2
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Coppola, Massimo. editor. (orcid)0000-0002-7937-4157
https://doi.org/10.1007/978-3-030-13342-9
Format: Electronic Resources

Computer Vision – ACCV 2018 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part II

2024-05-20T13:57:37Z

Yazar Jawahar, C. V. editor.
https://doi.org/10.1007/978-3-030-20890-5
Format: Electronic Resources

String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048
https://doi.org/10.1007/978-3-030-32686-9
Format: Electronic Resources

Telematics and Computing 8th International Congress, WITCOM 2019, Merida, Mexico, November 4–8, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Mata-Rivera, Miguel Felix. editor. (orcid)0000-0001-9714-7137
https://doi.org/10.1007/978-3-030-33229-7
Format: Electronic Resources

Internet of Things – ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Issarny, Valerie. editor.
https://doi.org/10.1007/978-3-030-23357-0
Format: Electronic Resources

Automotive Systems and Software Engineering State of the Art and Future Trends

2024-05-20T13:57:37Z

Yazar Dajsuren, Yanja. editor.
https://doi.org/10.1007/978-3-030-12157-0
Format: Electronic Resources

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV

2024-05-20T13:57:37Z

Yazar Sun, Xingming. editor. (orcid)0000-0003-1390-399X
https://doi.org/10.1007/978-3-030-24268-8
Format: Electronic Resources

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Biondi, Fabrizio. editor.
https://doi.org/10.1007/978-3-030-30923-7
Format: Electronic Resources

Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-30763-9
Format: Electronic Resources

Public-Key Cryptography – PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Lin, Dongdai. editor.
https://doi.org/10.1007/978-3-030-17253-4
Format: Electronic Resources

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Zincir-Heywood, Nur. editor.
https://doi.org/10.1007/978-3-030-18419-3
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Collart-Dutilleul, Simon. editor.
https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources

Product Lifecycle Management in the Digital Twin Era 16th IFIP WG 5.1 International Conference, PLM 2019, Moscow, Russia, July 8–12, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Fortin, Clement. editor.
https://doi.org/10.1007/978-3-030-42250-9
Format: Electronic Resources

Computer Vision, Imaging and Computer Graphics – Theory and Applications 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 – March 1, 2017, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Cláudio, Ana Paula. editor.
https://doi.org/10.1007/978-3-030-12209-6
Format: Electronic Resources

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750
https://doi.org/10.1007/978-3-030-33742-1
Format: Electronic Resources

Architecture for Blockchain Applications

2024-05-20T13:57:37Z

Yazar Xu, Xiwei. author.
https://doi.org/10.1007/978-3-030-03035-3
Format: Electronic Resources

Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Antona, Margherita. editor.
https://doi.org/10.1007/978-3-030-23560-4
Format: Electronic Resources

Cloud Computing and Big Data 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Naiouf, Marcelo. editor. (orcid)0000-0001-9127-3212
https://doi.org/10.1007/978-3-030-27713-0
Format: Electronic Resources

Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Goldberg, Ian. editor.
https://doi.org/10.1007/978-3-030-32101-7
Format: Electronic Resources

Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430
https://doi.org/10.1007/978-3-030-33778-0
Format: Electronic Resources

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367
https://doi.org/10.1007/978-3-030-04918-8
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Malizia, Alessio. editor.
https://doi.org/10.1007/978-3-030-24781-2
Format: Electronic Resources

Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898
https://doi.org/10.1007/978-3-030-31140-7
Format: Electronic Resources

Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: Electronic Resources

Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Muñoz, Víctor Méndez. editor.
https://doi.org/10.1007/978-3-030-29193-8
Format: Electronic Resources

HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Stephanidis, Constantine. editor.
https://doi.org/10.1007/978-3-030-23522-2
Format: Electronic Resources

New Trends in Databases and Information Systems ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946
https://doi.org/10.1007/978-3-030-30278-8
Format: Electronic Resources

Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Montella, Raffaele. editor.
https://doi.org/10.1007/978-3-030-34914-1
Format: Electronic Resources

Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224
https://doi.org/10.1007/978-3-030-05532-5
Format: Electronic Resources

Innovations for Community Services 19th International Conference, I4CS 2019, Wolfsburg, Germany, June 24-26, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Lüke, Karl-Heinz. editor. (orcid)0000-0002-7540-8460
https://doi.org/10.1007/978-3-030-22482-0
Format: Electronic Resources

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Hinze, Thomas. editor.
https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Hammoudi, Slimane. editor.
https://doi.org/10.1007/978-3-030-11030-7
Format: Electronic Resources

Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Mekuria, Fisseha. editor.
https://doi.org/10.1007/978-3-030-26630-1
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Duan, Zhenhua. editor.
https://doi.org/10.1007/978-3-030-13651-2
Format: Electronic Resources

Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Damaševičius, Robertas. editor.
https://doi.org/10.1007/978-3-030-30275-7
Format: Electronic Resources

PRIMA 2019: Principles and Practice of Multi-Agent Systems 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
https://doi.org/10.1007/978-3-030-33792-6
Format: Electronic Resources

Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Valencia-García, Rafael. editor.
https://doi.org/10.1007/978-3-030-34989-9
Format: Electronic Resources

Reproducible Research in Pattern Recognition Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Kerautret, Bertrand. editor.
https://doi.org/10.1007/978-3-030-23987-9
Format: Electronic Resources

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-030-23611-3
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
https://doi.org/10.1007/978-3-030-35092-5
Format: Electronic Resources

Using Microsoft Dynamics 365 for Finance and Operations Learn and understand the functionality of Microsoft's enterprise solution

2024-05-20T13:57:37Z

Yazar Luszczak, Andreas. author.
https://doi.org/10.1007/978-3-658-24107-0
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457
https://doi.org/10.1007/978-3-030-21571-2
Format: Electronic Resources

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176
https://doi.org/10.1007/978-3-030-17138-4
Format: Electronic Resources

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2024-05-20T13:57:37Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482
https://doi.org/10.1007/978-3-030-20787-8
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26948-7
Format: Electronic Resources

Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Ratchev, Svetan. editor. (orcid)0000-0001-9955-2806
https://doi.org/10.1007/978-3-030-05931-6
Format: Electronic Resources

Concise Guide to Software Testing

2024-05-20T13:57:37Z

Yazar O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-030-28494-7
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-030-22559-9
Format: Electronic Resources

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224
https://doi.org/10.1007/978-3-030-12018-4
Format: Electronic Resources

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Khan, Md. Aquil. editor.
https://doi.org/10.1007/978-3-662-58771-3
Format: Electronic Resources

Transactions on Pattern Languages of Programming IV

2024-05-20T13:57:37Z

Yazar Noble, James. editor.
https://doi.org/10.1007/978-3-030-14291-9
Format: Electronic Resources

Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Ohara, Kouzou. editor.
https://doi.org/10.1007/978-3-030-30639-7
Format: Electronic Resources

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
https://doi.org/10.1007/978-3-030-30690-8
Format: Electronic Resources

Service Research and Innovation 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Lam, Ho-Pun. editor. (orcid)0000-0002-1137-8549
https://doi.org/10.1007/978-3-030-32242-7
Format: Electronic Resources

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148
https://doi.org/10.1007/978-3-030-06019-0
Format: Electronic Resources

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623
https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources

Advances in Information and Computer Security 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Attrapadung, Nuttapong. editor. (orcid)0000-0003-4116-1751
https://doi.org/10.1007/978-3-030-26834-3
Format: Electronic Resources

Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
https://doi.org/10.1007/978-3-030-26601-1
Format: Electronic Resources

Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Uden, Lorna. editor.
https://doi.org/10.1007/978-3-030-21451-7
Format: Electronic Resources

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Filiot, Emmanuel. editor.
https://doi.org/10.1007/978-3-030-30806-3
Format: Electronic Resources

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Calinescu, Radu. editor. (orcid)0000-0002-2678-9260
https://doi.org/10.1007/978-3-030-30856-8
Format: Electronic Resources

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420
https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830
https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources

SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Catania, Barbara. editor. (orcid)0000-0002-6443-169X
https://doi.org/10.1007/978-3-030-10801-4
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Knauss, Eric. editor. (orcid)0000-0002-6631-872X
https://doi.org/10.1007/978-3-030-15538-4
Format: Electronic Resources

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

2024-05-20T13:57:37Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261
https://doi.org/10.1007/978-3-030-33246-4
Format: Electronic Resources

Parallel and Distributed Computing, Applications and Technologies 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Park, Jong Hyuk. editor. (orcid)0000-0003-1831-0309
https://doi.org/10.1007/978-981-13-5907-1
Format: Electronic Resources

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Hu, Changjun. editor.
https://doi.org/10.1007/978-981-32-9987-0
Format: Electronic Resources

Computing and Communication Systems in Urban Development A Detailed Perspective

2024-05-20T13:57:37Z

Yazar Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462
https://doi.org/10.1007/978-3-030-26013-2
Format: Electronic Resources

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2024-05-20T13:57:37Z

Yazar Pergl, Robert. editor. (orcid)0000-0003-2980-4400
https://doi.org/10.1007/978-3-030-00787-4
Format: Electronic Resources

Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Alves, Ronnie. editor. (orcid)0000-0003-4139-0562
https://doi.org/10.1007/978-3-030-01722-4
Format: Electronic Resources

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930
https://doi.org/10.1007/978-3-030-01790-3
Format: Electronic Resources

Current Trends in Web Engineering ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Pautasso, Cesare. editor. (orcid)0000-0002-2748-9665
https://doi.org/10.1007/978-3-030-03056-8
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXVIII

2024-05-20T13:57:37Z

Yazar Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources

Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Streitz, Norbert. editor. (orcid)0000-0002-0244-0945
https://doi.org/10.1007/978-3-319-91125-0
Format: Electronic Resources

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-319-91238-7
Format: Electronic Resources

Reliability Aspect of Cloud Computing Environment

2024-05-20T13:57:37Z

Yazar Kumar, Vikas. author.
https://doi.org/10.1007/978-981-13-3023-0
Format: Electronic Resources

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

2024-05-20T13:57:37Z

Yazar Mikulski, Jerzy. editor.
https://doi.org/10.1007/978-3-319-97955-7
Format: Electronic Resources

ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X
https://doi.org/10.1007/978-3-319-99828-2
Format: Electronic Resources

Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Serrano C., Jairo E. editor. (orcid)0000-0001-8165-7343
https://doi.org/10.1007/978-3-319-98998-3
Format: Electronic Resources

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999
https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources

Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

2024-05-20T13:57:37Z

Yazar Kováčiková, Tatiana. editor.
https://doi.org/10.1007/978-3-319-93710-6
Format: Electronic Resources

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Takahashi, Yutaka. editor.
https://doi.org/10.1007/978-3-319-93736-6
Format: Electronic Resources

Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar Deka, Ganesh Chandra. editor.
https://doi.org/10.1007/978-981-13-2035-4
Format: Electronic Resources

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources

Advances in Computational Intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Batyrshin, Ildar. editor.
https://doi.org/10.1007/978-3-030-04497-8
Format: Electronic Resources

Emerging Technologies in Computing First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048
https://doi.org/10.1007/978-3-319-95450-9
Format: Electronic Resources

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I

2024-05-20T13:57:37Z

Yazar Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249
https://doi.org/10.1007/978-3-319-97586-3
Format: Electronic Resources

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045
https://doi.org/10.1007/978-3-319-99954-8
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

2024-05-20T13:57:37Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576
https://doi.org/10.1007/978-3-319-97628-0
Format: Electronic Resources

New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222
https://doi.org/10.1007/978-3-030-01653-1
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

2024-05-20T13:57:37Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources

Smart Societies, Infrastructure, Technologies and Applications First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings

2024-05-20T13:57:37Z

Yazar Mehmood, Rashid. editor.
https://doi.org/10.1007/978-3-319-94180-6
Format: Electronic Resources

Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Kozielski, Stanisław. editor.
https://doi.org/10.1007/978-3-319-99987-6
Format: Electronic Resources

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Rusu, Vlad. editor.
https://doi.org/10.1007/978-3-319-99840-4
Format: Electronic Resources

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Lahiri, Shuvendu K. editor.
https://doi.org/10.1007/978-3-030-01090-4
Format: Electronic Resources

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Bu, Lei. editor. (orcid)0000-0003-0517-7801
https://doi.org/10.1007/978-3-030-04272-1
Format: Electronic Resources

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2024-05-20T13:57:37Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03427-6
Format: Electronic Resources

Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V

2024-05-20T13:57:37Z

Yazar Sun, Xingming. editor. (orcid)0000-0001-7982-726X
https://doi.org/10.1007/978-3-030-00018-9
Format: Electronic Resources

Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Kameas, Achilles. editor. (orcid)0000-0002-1004-7860
https://doi.org/10.1007/978-3-030-03062-9
Format: Electronic Resources

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

2024-05-20T13:57:37Z

Yazar Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-319-92375-8
Format: Electronic Resources

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2024-05-20T13:57:37Z

Yazar El Fallah-Seghrouchni, Amal. editor.
https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources