Search Results for - Narrowed by: Springer E-Book Collection - Computer Systems Organization and Communication Networks. - Software engineering.

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

2024-05-18T14:56:33Z

Yazar Guan, Nan. editor.
https://doi.org/10.1007/978-3-030-35540-1
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Albrecht, Martin. editor.
https://doi.org/10.1007/978-3-030-35199-1
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Francisco Lorenzon, Arthur. author.
https://doi.org/10.1007/978-3-030-28719-1
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Hinze, Thomas. editor.
https://doi.org/10.1007/978-3-030-12797-8
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Bakaev, Maxim. editor. (orcid)0000-0002-1889-0692
https://doi.org/10.1007/978-3-030-19274-7
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-18T14:56:33Z

Yazar Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683
https://doi.org/10.1007/978-3-030-12786-2
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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-18T14:56:33Z

Yazar Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408
https://doi.org/10.1007/978-3-030-33792-6
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-18T14:56:33Z

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

A Practical Approach to High-Performance Computing

2024-05-18T14:56:33Z

Yazar Kurgalin, Sergei. author.
https://doi.org/10.1007/978-3-030-27558-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-18T14:56:33Z

Yazar Issarny, Valerie. editor.
https://doi.org/10.1007/978-3-030-23357-0
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-18T14:56:33Z

Yazar Li, Daoliang. editor.
https://doi.org/10.1007/978-3-030-06155-5
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-18T14:56:33Z

Yazar Lin, Dongdai. editor.
https://doi.org/10.1007/978-3-030-17253-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-18T14:56:33Z

Yazar Naiouf, Marcelo. editor. (orcid)0000-0001-9127-3212
https://doi.org/10.1007/978-3-030-27713-0
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
https://doi.org/10.1007/978-3-030-35092-5
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Badger, Julia M. editor.
https://doi.org/10.1007/978-3-030-20652-9
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555
https://doi.org/10.1007/978-3-030-34968-4
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-18T14:56:33Z

Yazar Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395
https://doi.org/10.1007/978-3-030-29400-7
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-18T14:56:33Z

Yazar Dressler, Falko. editor. (orcid)0000-0002-1989-1750
https://doi.org/10.1007/978-3-030-34405-4
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-18T14:56:33Z

Yazar Gaston, Christophe. editor. (orcid)0000-0001-6865-5108
https://doi.org/10.1007/978-3-030-31280-0
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-18T14:56:33Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
https://doi.org/10.1007/978-3-030-26250-1
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-18T14:56:33Z

Yazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
https://doi.org/10.1007/978-3-030-31038-7
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Jang-Jaccard, Julian. editor. (orcid)0000-0002-1002-057X
https://doi.org/10.1007/978-3-030-21548-4
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Deng, Robert H. editor. (orcid)0000-0003-3491-8146
https://doi.org/10.1007/978-3-030-21568-2
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-18T14:56:33Z

Yazar Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752
https://doi.org/10.1007/978-3-030-32213-7
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-18T14:56:33Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712
https://doi.org/10.1007/978-3-030-32409-4
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-18T14:56:33Z

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-18T14:56:33Z

Yazar Mekuria, Fisseha. editor.
https://doi.org/10.1007/978-3-030-26630-1
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-18T14:56:33Z

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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-05-18T14:56:33Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources

Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Liu, Peng. editor.
https://doi.org/10.1007/978-3-319-74860-3
Format: Electronic Resources

Security, Privacy, and Applied Cryptography Engineering 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983
https://doi.org/10.1007/978-3-030-05072-6
Format: Electronic Resources

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

2024-05-18T14:56:33Z

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

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-05-18T14:56:33Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Naccache, David. editor. (orcid)0000-0002-8651-6555
https://doi.org/10.1007/978-3-030-01950-1
Format: Electronic Resources

Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II

2024-05-18T14:56:33Z

Yazar Rutkowski, Leszek. editor.
https://doi.org/10.1007/978-3-319-91262-2
Format: Electronic Resources

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I

2024-05-18T14:56:33Z

Yazar Abdalla, Michel. editor. (orcid)0000-0002-2447-4329
https://doi.org/10.1007/978-3-319-76578-5
Format: Electronic Resources

Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Ferreira, João Eduardo. editor. (orcid)0000-0001-9607-2014
https://doi.org/10.1007/978-3-319-94376-3
Format: Electronic Resources

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

2024-05-18T14:56:33Z

Yazar Abdalla, Michel. editor. (orcid)0000-0002-2447-4329
https://doi.org/10.1007/978-3-319-76581-5
Format: Electronic Resources

Artificial Intelligence and Soft Computing 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I

2024-05-18T14:56:33Z

Yazar Rutkowski, Leszek. editor.
https://doi.org/10.1007/978-3-319-91253-0
Format: Electronic Resources

Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers

2024-05-18T14:56:33Z

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

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Jarvis, Stephen. editor.
https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-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-18T14:56:33Z

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

Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610
https://doi.org/10.1007/978-3-319-99819-0
Format: Electronic Resources

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources

Bioinspired Optimization Methods and Their Applications 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Korošec, Peter. editor.
https://doi.org/10.1007/978-3-319-91641-5
Format: Electronic Resources

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Khendek, Ferhat . editor.
https://doi.org/10.1007/978-3-030-01042-3
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Howar, Falk. editor.
https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Voros, Nikolaos. editor.
https://doi.org/10.1007/978-3-319-78890-6
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-18T14:56:33Z

Yazar Pautasso, Cesare. editor. (orcid)0000-0002-2748-9665
https://doi.org/10.1007/978-3-030-03056-8
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-18T14:56:33Z

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

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Baek, Joonsang. editor.
https://doi.org/10.1007/978-3-030-01446-9
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-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

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

Enjoying Natural Computing Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday

2024-05-18T14:56:33Z

Yazar Graciani, Carmen. editor.
https://doi.org/10.1007/978-3-030-00265-7
Format: Electronic Resources

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931
https://doi.org/10.1007/978-3-030-03673-7
Format: Electronic Resources

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Ahmed, Mobyen Uddin. editor.
https://doi.org/10.1007/978-3-319-76213-5
Format: Electronic Resources

Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Zu, Qiaohong. editor.
https://doi.org/10.1007/978-3-319-74521-3
Format: Electronic Resources

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Demazeau, Yves. editor.
https://doi.org/10.1007/978-3-319-94580-4
Format: Electronic Resources

Big Data Technologies and Applications 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Jung, Jason J. editor.
https://doi.org/10.1007/978-3-319-98752-1
Format: Electronic Resources

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-02852-7
Format: Electronic Resources

Network and System Security 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Au, Man Ho. editor. (orcid)0000-0003-2068-9530
https://doi.org/10.1007/978-3-030-02744-5
Format: Electronic Resources

Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592
https://doi.org/10.1007/978-3-319-75214-3
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Casimiro, António. editor. (orcid)0000-0002-5522-5739
https://doi.org/10.1007/978-3-319-92432-8
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-18T14:56:33Z

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

Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Iklé, Matthew. editor.
https://doi.org/10.1007/978-3-319-97676-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2024-05-18T14:56:33Z

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

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

2024-05-18T14:56:33Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
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-18T14:56:33Z

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

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar German, Reinhard. editor.
https://doi.org/10.1007/978-3-319-74947-1
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-18T14:56:33Z

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

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

2024-05-18T14:56:33Z

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

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Pahl, Claus. editor.
https://doi.org/10.1007/978-3-030-03596-9
Format: Electronic Resources

Internet of Things – ICIOT 2018 Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Georgakopoulos, Dimitrios. editor.
https://doi.org/10.1007/978-3-319-94370-1
Format: Electronic Resources

Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings

2024-05-18T14:56:33Z

Yazar Krimmer, Robert. editor. (orcid)0000-0002-0873-539X
https://doi.org/10.1007/978-3-030-00419-4
Format: Electronic Resources

Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194
https://doi.org/10.1007/978-3-319-69775-8
Format: Electronic Resources

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

2024-05-18T14:56:33Z

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

Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Rothe, Jörg. editor.
https://doi.org/10.1007/978-3-319-67504-6
Format: Electronic Resources

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Csöndes, Tibor. editor.
https://doi.org/10.1007/978-3-319-68015-6
Format: Electronic Resources

Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar D'Souza, Deepak. editor.
https://doi.org/10.1007/978-3-319-68167-2
Format: Electronic Resources

Network and Parallel Computing 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Shi, Xuanhua. editor.
https://doi.org/10.1007/978-3-319-68210-5
Format: Electronic Resources

Information, Communication and Computing Technology Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Kaushik, Saroj. editor.
https://doi.org/10.1007/978-981-10-6544-6
Format: Electronic Resources

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2024-05-18T14:56:33Z

Yazar de Lemos, Rogério. editor.
https://doi.org/10.1007/978-3-319-74183-3
Format: Electronic Resources

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X
https://doi.org/10.1007/978-3-319-66845-1
Format: Electronic Resources

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Fantechi, Alessandro. editor.
https://doi.org/10.1007/978-3-319-68499-4
Format: Electronic Resources

Software Architecture 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Lopes, Antónia. editor.
https://doi.org/10.1007/978-3-319-65831-5
Format: Electronic Resources

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
https://doi.org/10.1007/978-3-319-66266-4
Format: Electronic Resources

Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support

2024-05-18T14:56:33Z

Yazar Kolesnikov, Andrey. author.
https://doi.org/10.1007/978-3-658-19102-3
Format: Electronic Resources

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Dastani, Mehdi. editor.
https://doi.org/10.1007/978-3-319-68972-2
Format: Electronic Resources

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2024-05-18T14:56:33Z

Yazar Aceto, Luca. editor.
https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources

Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Wong, Stephan. editor.
https://doi.org/10.1007/978-3-319-56258-2
Format: Electronic Resources

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
https://doi.org/10.1007/978-3-319-61467-0
Format: Electronic Resources

Cloud Broker and Cloudlet for Workflow Scheduling

2024-05-18T14:56:33Z

Yazar Youn, Chan-Hyun. author.
https://doi.org/10.1007/978-981-10-5071-8
Format: Electronic Resources

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Tryfonas, Theo. editor.
https://doi.org/10.1007/978-3-319-58460-7
Format: Electronic Resources

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Maedche, Alexander. editor.
https://doi.org/10.1007/978-3-319-59144-5
Format: Electronic Resources

Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Liu, Shaoying. editor.
https://doi.org/10.1007/978-3-319-57708-1
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
https://doi.org/10.1007/978-3-319-66284-8
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

2024-05-18T14:56:33Z

Yazar Gaspers, Serge. editor. (orcid)0000-0002-6947-9238
https://doi.org/10.1007/978-3-319-66263-3
Format: Electronic Resources

Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Cuppens, Frédéric. editor.
https://doi.org/10.1007/978-3-319-54876-0
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2024-05-18T14:56:33Z

Yazar Chaudhuri, Swarat. editor.
http://dx.doi.org/10.1007/978-3-319-41528-4
Format: Electronic Resources

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

2024-05-18T14:56:33Z

Yazar Skavhaug, Amund. editor.
http://dx.doi.org/10.1007/978-3-319-45477-1
Format: Electronic Resources

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2024-05-18T14:56:33Z

Yazar Chaudhuri, Swarat. editor.
http://dx.doi.org/10.1007/978-3-319-41540-6
Format: Electronic Resources

Description and Selection of Communication Services for Service Oriented Network Architectures

2024-05-18T14:56:33Z

Yazar Khondoker, Rahamatullah. author.
http://dx.doi.org/10.1007/978-3-658-12742-8
Format: Electronic Resources

Advances in Network Science 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings

2024-05-18T14:56:33Z

Yazar Wierzbicki, Adam. editor.
http://dx.doi.org/10.1007/978-3-319-28361-6
Format: Electronic Resources

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2024-05-18T14:56:33Z

Yazar Kroening, Daniel. editor.
http://dx.doi.org/10.1007/978-3-319-21690-4
Format: Electronic Resources

SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

2024-05-18T14:56:33Z

Yazar Fischer, Joachim. editor.
http://dx.doi.org/10.1007/978-3-319-24912-4
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings

2024-05-18T14:56:33Z

Yazar Koornneef, Floor. editor.
http://dx.doi.org/10.1007/978-3-319-24249-1
Format: Electronic Resources

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

2024-05-18T14:56:33Z

Yazar Koornneef, Floor. editor.
http://dx.doi.org/10.1007/978-3-319-24255-2
Format: Electronic Resources

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2024-05-18T14:56:33Z

Yazar Kroening, Daniel. editor.
http://dx.doi.org/10.1007/978-3-319-21668-3
Format: Electronic Resources

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

2024-05-18T14:56:33Z

Yazar Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/978-3-319-21909-7
Format: Electronic Resources

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2024-05-18T14:56:33Z

Yazar Träff, Jesper Larsson. editor.
http://dx.doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013. Revised Selected Papers

2024-05-18T14:56:33Z

Yazar Mey, Dieter an. editor.
http://dx.doi.org/10.1007/978-3-642-54420-0
Format: Electronic Resources

Real-time Security Extensions for EPCglobal Networks Case Study for the Pharmaceutical Industry

2024-05-18T14:56:33Z

Yazar Schapranow, Matthieu-P. author.
http://dx.doi.org/10.1007/978-3-642-36343-6
Format: Electronic Resources

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings

2024-05-18T14:56:33Z

Yazar Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-319-10506-2
Format: Electronic Resources

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

2024-05-18T14:56:33Z

Yazar Biere, Armin. editor.
http://dx.doi.org/10.1007/978-3-319-08867-9
Format: Electronic Resources

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

2024-05-18T14:56:33Z

Yazar Biedermann, Alexander. author.
http://dx.doi.org/10.1007/978-3-658-08047-1
Format: Electronic Resources

User-Centred Engineering Creating Products for Humans

2024-05-18T14:56:33Z

Yazar Richter, Michael. author.
http://dx.doi.org/10.1007/978-3-662-43989-0
Format: Electronic Resources

eScience on Distributed Computing Infrastructure Achievements of PLGrid Plus Domain-Specific Services and Tools

2024-05-18T14:56:33Z

Yazar Bubak, Marian. editor.
http://dx.doi.org/10.1007/978-3-319-10894-0
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings

2024-05-18T14:56:33Z

Yazar Bondavalli, Andrea. editor.
http://dx.doi.org/10.1007/978-3-319-10557-4
Format: Electronic Resources

Break-Glass Handling Exceptional Situations in Access Control

2024-05-18T14:56:33Z

Yazar Petritsch, Helmut. author.
http://dx.doi.org/10.1007/978-3-658-07365-7
Format: Electronic Resources