Search Results for - Narrowed by: English - Artificial intelligence. - Software engineering.

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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-09-20T11:42:50Z

Yazar Zsók, Viktória. editor.
https://doi.org/10.1007/978-3-030-28346-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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233
https://doi.org/10.1007/978-3-030-33223-5
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-09-20T11:42:50Z

Yazar Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941
https://doi.org/10.1007/978-3-030-12942-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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Mata-Rivera, Miguel Felix. editor. (orcid)0000-0001-9714-7137
https://doi.org/10.1007/978-3-030-33229-7
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-09-20T11:42:50Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033
https://doi.org/10.1007/978-981-15-0310-8
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Zincir-Heywood, Nur. editor.
https://doi.org/10.1007/978-3-030-18419-3
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-09-20T11:42:50Z

Yazar Attiogbé, Christian. editor. (orcid)0000-0002-7815-1752
https://doi.org/10.1007/978-3-030-32213-7
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Dillig, Isil. editor.
https://doi.org/10.1007/978-3-030-25543-5
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Thachuk, Chris. editor.
https://doi.org/10.1007/978-3-030-26807-7
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Sako, Kazue. editor.
https://doi.org/10.1007/978-3-030-29959-0
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Yew, Pen-Chung. editor.
https://doi.org/10.1007/978-3-030-29611-7
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

Computing and Software Science State of the Art and Perspectives

2024-09-20T11:42:50Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
https://doi.org/10.1007/978-3-319-91908-9
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-09-20T11:42:50Z

Yazar Peng, Xin. editor.
https://doi.org/10.1007/978-3-030-22888-0
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-09-20T11:42:50Z

Yazar Alfaries, Auhood. editor.
https://doi.org/10.1007/978-3-030-36368-0
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
https://doi.org/10.1007/978-3-030-24258-9
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-09-20T11:42:50Z

Yazar Zemmari, Akka. editor.
https://doi.org/10.1007/978-3-030-12143-3
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-09-20T11:42:50Z

Yazar Boldyreva, Alexandra. editor.
https://doi.org/10.1007/978-3-030-26948-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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
https://doi.org/10.1007/978-3-030-26601-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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar van Sinderen, Marten. editor.
https://doi.org/10.1007/978-3-030-29157-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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
https://doi.org/10.1007/978-3-030-30942-8
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898
https://doi.org/10.1007/978-3-030-31140-7
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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-09-20T11:42:50Z

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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Chen, Yu-Fang. editor.
https://doi.org/10.1007/978-3-030-31784-3
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-09-20T11:42:50Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17656-3
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

Developing Enterprise Chatbots Learning Linguistic Structures

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
https://doi.org/10.1007/978-3-030-34500-6
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-09-20T11:42:50Z

Yazar Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-030-22636-7
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-09-20T11:42:50Z

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-09-20T11:42:50Z

Yazar Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-030-23570-3
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Giorgini, Paolo. editor.
https://doi.org/10.1007/978-3-030-21290-2
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048
https://doi.org/10.1007/978-3-030-32686-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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623
https://doi.org/10.1007/978-3-030-14174-5
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
https://doi.org/10.1007/978-3-030-29852-4
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Parker, David. editor. (orcid)0000-0003-4137-8862
https://doi.org/10.1007/978-3-030-30281-8
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Sako, Kazue. editor.
https://doi.org/10.1007/978-3-030-29962-0
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Gaston, Christophe. editor. (orcid)0000-0001-6865-5108
https://doi.org/10.1007/978-3-030-31280-0
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-09-20T11:42:50Z

Yazar Mesnard, Fred. editor.
https://doi.org/10.1007/978-3-030-13838-7
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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 I

2024-09-20T11:42:50Z

Yazar Ishai, Yuval. editor.
https://doi.org/10.1007/978-3-030-17653-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-09-20T11:42:50Z

Yazar Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946
https://doi.org/10.1007/978-3-030-30278-8
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Montella, Raffaele. editor.
https://doi.org/10.1007/978-3-030-34914-1
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-09-20T11:42:50Z

Yazar Cláudio, Ana Paula. editor.
https://doi.org/10.1007/978-3-030-12209-6
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Breitinger, Frank. editor. (orcid)0000-0001-5261-4600
https://doi.org/10.1007/978-3-030-05487-8
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Malizia, Alessio. editor.
https://doi.org/10.1007/978-3-030-24781-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-09-20T11:42:50Z

Yazar Lee, Ji-Hyun. editor.
https://doi.org/10.1007/978-981-13-8410-3
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-09-20T11:42:50Z

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

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Mokhtari, Mounir. editor.
https://doi.org/10.1007/978-3-319-94523-1
Format: Electronic Resources

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Duffy, Vincent G. editor.
https://doi.org/10.1007/978-3-319-91397-1
Format: Electronic Resources

Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)

2024-09-20T11:42:50Z

Yazar Mejia, Jezreel. editor.
https://doi.org/10.1007/978-3-319-69341-5
Format: Electronic Resources

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070
https://doi.org/10.1007/978-3-319-95270-3
Format: Electronic Resources

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070
https://doi.org/10.1007/978-3-319-95282-6
Format: Electronic Resources

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Prattichizzo, Domenico. editor.
https://doi.org/10.1007/978-3-319-93445-7
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Beyersdorff, Olaf. editor.
https://doi.org/10.1007/978-3-319-94144-8
Format: Electronic Resources

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Moss, Lawrence S. editor.
https://doi.org/10.1007/978-3-662-57669-4
Format: Electronic Resources

Applications of Evolutionary Computation 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Sim, Kevin. editor. (orcid)0000-0001-6555-7721
https://doi.org/10.1007/978-3-319-77538-8
Format: Electronic Resources

Context-Aware Systems and Applications, and Nature of Computation and Communication 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings

2024-09-20T11:42:50Z

Yazar Cong Vinh, Phan. editor.
https://doi.org/10.1007/978-3-319-77818-1
Format: Electronic Resources

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91635-4
Format: Electronic Resources

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Stepney, Susan. editor. (orcid)0000-0003-3146-5401
https://doi.org/10.1007/978-3-319-92435-9
Format: Electronic Resources

Future Access Enablers for Ubiquitous and Intelligent Infrastructures Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings

2024-09-20T11:42:50Z

Yazar Fratu, Octavian. editor.
https://doi.org/10.1007/978-3-319-92213-3
Format: Electronic Resources

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Biomedical Engineering Systems and Technologies 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Peixoto, Nathalia. editor.
https://doi.org/10.1007/978-3-319-94806-5
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Galmiche, Didier. editor.
https://doi.org/10.1007/978-3-319-94205-6
Format: Electronic Resources

MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Schoeffmann, Klaus. editor.
https://doi.org/10.1007/978-3-319-73603-7
Format: Electronic Resources

Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Yamamoto, Sakae. editor.
https://doi.org/10.1007/978-3-319-92043-6
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Schoeffmann, Klaus. editor.
https://doi.org/10.1007/978-3-319-73600-6
Format: Electronic Resources

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-09-20T11:42:50Z

Yazar de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
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-09-20T11:42:50Z

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

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Seidl, Martina. editor.
https://doi.org/10.1007/978-3-319-74730-9
Format: Electronic Resources

e-Infrastructure and e-Services for Developing Countries 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings

2024-09-20T11:42:50Z

Yazar Bissyande, Tegawendé F. editor.
https://doi.org/10.1007/978-3-319-66742-3
Format: Electronic Resources

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343
https://doi.org/10.1007/978-3-030-02922-7
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-09-20T11:42:50Z

Yazar Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03418-4
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-09-20T11:42:50Z

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

Database Systems for Advanced Applications DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Liu, Chengfei. editor.
https://doi.org/10.1007/978-3-319-91455-8
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Towards a Synergistic Combination of Research and Practice in Software Engineering

2024-09-20T11:42:50Z

Yazar Kosiuczenko, Piotr. editor.
https://doi.org/10.1007/978-3-319-65208-5
Format: Electronic Resources

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Kamsties, Erik. editor. (orcid)0000-0002-7373-8466
https://doi.org/10.1007/978-3-319-77243-1
Format: Electronic Resources

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Ferrari, Vittorio. editor.
https://doi.org/10.1007/978-3-030-01216-8
Format: Electronic Resources

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351
https://doi.org/10.1007/978-3-319-99707-0
Format: Electronic Resources

PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Miller, Tim. editor. (orcid)0000-0003-4908-6063
https://doi.org/10.1007/978-3-030-03098-8
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Miesenberger, Klaus. editor.
https://doi.org/10.1007/978-3-319-94274-2
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
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-09-20T11:42:50Z

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

Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

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

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
https://doi.org/10.1007/978-3-319-76168-8
Format: Electronic Resources

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

2024-09-20T11:42:50Z

Yazar Hooker, John. editor. (orcid)0000-0003-3169-1871
https://doi.org/10.1007/978-3-319-98334-9
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-09-20T11:42:50Z

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

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
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-09-20T11:42:50Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472
https://doi.org/10.1007/978-3-319-95582-7
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-09-20T11:42:50Z

Yazar Kozielski, Stanisław. editor.
https://doi.org/10.1007/978-3-319-99987-6
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-09-20T11:42:50Z

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

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Antona, Margherita. editor.
https://doi.org/10.1007/978-3-319-92049-8
Format: Electronic Resources

Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Shi, Zhongzhi. editor.
https://doi.org/10.1007/978-3-030-01313-4
Format: Electronic Resources

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar McIver, Annabelle. editor.
https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources

Smart Secure Systems – IoT and Analytics Perspective Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings

2024-09-20T11:42:50Z

Yazar Venkataramani, Guru Prasadh. editor.
https://doi.org/10.1007/978-981-10-7635-0
Format: Electronic Resources

Tree-Based Convolutional Neural Networks Principles and Applications

2024-09-20T11:42:50Z

Yazar Mou, Lili. author.
https://doi.org/10.1007/978-981-13-1870-2
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III

2024-09-20T11:42:50Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04182-3
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Prattichizzo, Domenico. editor.
https://doi.org/10.1007/978-3-319-93399-3
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Business Process Management 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Weske, Mathias. editor.
https://doi.org/10.1007/978-3-319-98648-7
Format: Electronic Resources

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Advances in Artificial Intelligence - IBERAMIA 2018 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Simari, Guillermo R. editor. (orcid)0000-0001-6247-0428
https://doi.org/10.1007/978-3-030-03928-8
Format: Electronic Resources

Advances in Neural Networks – ISNN 2018 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Huang, Tingwen. editor. (orcid)0000-0001-9610-846X
https://doi.org/10.1007/978-3-319-92537-0
Format: Electronic Resources

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197
https://doi.org/10.1007/978-3-030-03329-3
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources

Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Meng, Limin. editor.
https://doi.org/10.1007/978-3-030-00557-3
Format: Electronic Resources

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Furia, Carlo A. editor.
https://doi.org/10.1007/978-3-319-98938-9
Format: Electronic Resources

Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Egi, Hironori. editor.
https://doi.org/10.1007/978-3-319-98743-9
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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Iklé, Matthew. editor.
https://doi.org/10.1007/978-3-319-97676-1
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-09-20T11:42:50Z

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

Advanced Concepts for Intelligent Vision Systems 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Blanc-Talon, Jacques. editor.
https://doi.org/10.1007/978-3-030-01449-0
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Seipel, Dietmar. editor.
https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2024-09-20T11:42:50Z

Yazar Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V

2024-09-20T11:42:50Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04221-9
Format: Electronic Resources

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

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

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Cox, Michael T. editor.
https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2024-09-20T11:42:50Z

Yazar Long, Keping. editor.
https://doi.org/10.1007/978-3-319-72823-0
Format: Electronic Resources

Smart Technology First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings

2024-09-20T11:42:50Z

Yazar Torres Guerrero, Francisco. editor.
https://doi.org/10.1007/978-3-319-73323-4
Format: Electronic Resources

Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Kaenampornpan, Manasawee. editor.
https://doi.org/10.1007/978-3-030-03014-8
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-09-20T11:42:50Z

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

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Dorigo, Marco. editor. (orcid)0000-0002-3971-0507
https://doi.org/10.1007/978-3-030-00533-7
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-09-20T11:42:50Z

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-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

Cellular Automata 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Mauri, Giancarlo. editor. (orcid)0000-0003-3520-4022
https://doi.org/10.1007/978-3-319-99813-8
Format: Electronic Resources

ICT Innovations 2018. Engineering and Life Sciences 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Kalajdziski, Slobodan. editor. (orcid)0000-0003-3373-8637
https://doi.org/10.1007/978-3-030-00825-3
Format: Electronic Resources

Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

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

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001
https://doi.org/10.1007/978-3-030-00617-4
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-09-20T11:42:50Z

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

RoboCup 2017: Robot World Cup XXI

2024-09-20T11:42:50Z

Yazar Akiyama, Hidehisa. editor. (orcid)0000-0002-9793-9123
https://doi.org/10.1007/978-3-030-00308-1
Format: Electronic Resources

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI

2024-09-20T11:42:50Z

Yazar Ferrari, Vittorio. editor.
https://doi.org/10.1007/978-3-030-01252-6
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXVIII

2024-09-20T11:42:50Z

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-09-20T11:42:50Z

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

Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Bakhshi, Rena. editor.
https://doi.org/10.1007/978-3-030-02227-3
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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-09-20T11:42:50Z

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

Security Protocols XXVI 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Matyáš, Vashek. editor.
https://doi.org/10.1007/978-3-030-03251-7
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95162-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95165-2
Format: Electronic Resources

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-09-20T11:42:50Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
https://doi.org/10.1007/978-3-319-96562-8
Format: Electronic Resources

Advances in Green Energy Systems and Smart Grid First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III

2024-09-20T11:42:50Z

Yazar Li, Kang. editor.
https://doi.org/10.1007/978-981-13-2381-2
Format: Electronic Resources

Internet and Distributed Computing Systems 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Xiang, Yang. editor.
https://doi.org/10.1007/978-3-030-02738-4
Format: Electronic Resources

Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X
https://doi.org/10.1007/978-3-030-05204-1
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Intelligent Computing Theories and Application 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Huang, De-Shuang. editor.
https://doi.org/10.1007/978-3-319-95930-6
Format: Electronic Resources

KI 2018: Advances in Artificial Intelligence 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Trollmann, Frank. editor.
https://doi.org/10.1007/978-3-030-00111-7
Format: Electronic Resources

Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar U, Leong Hou. editor.
https://doi.org/10.1007/978-3-030-01298-4
Format: Electronic Resources

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III

2024-09-20T11:42:50Z

Yazar Lai, Jian-Huang. editor.
https://doi.org/10.1007/978-3-030-03338-5
Format: Electronic Resources

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Zhang, Fa. editor.
https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources

Transactions on Computational Science XXXI Special Issue on Signal Processing and Security in Distributed Systems

2024-09-20T11:42:50Z

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

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Thomson, Robert. editor.
https://doi.org/10.1007/978-3-319-93372-6
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-09-20T11:42:50Z

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

Applied Computer Sciences in Engineering 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-00350-0
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-09-20T11:42:50Z

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

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

Yazar Voros, Nikolaos. editor.
https://doi.org/10.1007/978-3-319-78890-6
Format: Electronic Resources

Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Mouhoub, Malek. editor.
https://doi.org/10.1007/978-3-319-92058-0
Format: Electronic Resources

Music Technology with Swing 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Aramaki, Mitsuko. editor.
https://doi.org/10.1007/978-3-030-01692-0
Format: Electronic Resources

Wireless Mobile Communication and Healthcare 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings

2024-09-20T11:42:50Z

Yazar Perego, Paolo. editor.
https://doi.org/10.1007/978-3-319-98551-0
Format: Electronic Resources

Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351
https://doi.org/10.1007/978-3-319-99704-9
Format: Electronic Resources

Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258
https://doi.org/10.1007/978-3-030-00840-6
Format: Electronic Resources

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2024-09-20T11:42:50Z

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

Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Skulimowski, Andrzej M.J. editor. (orcid)0000-0003-0646-2858
https://doi.org/10.1007/978-3-030-05081-8
Format: Electronic Resources

Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Clua, Esteban. editor. (orcid)0000-0001-5650-1718
https://doi.org/10.1007/978-3-319-99426-0
Format: Electronic Resources

Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Wang, Shilong. editor.
https://doi.org/10.1007/978-981-13-2396-6
Format: Electronic Resources

Chinese Lexical Semantics 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Hong, Jia-Fei. editor.
https://doi.org/10.1007/978-3-030-04015-4
Format: Electronic Resources

Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar de Cos Juez, Francisco Javier. editor.
https://doi.org/10.1007/978-3-319-92639-1
Format: Electronic Resources

Interactive Collaborative Robotics Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Ronzhin, Andrey. editor. (orcid)0000-0002-8903-3508
https://doi.org/10.1007/978-3-319-99582-3
Format: Electronic Resources

Provenance and Annotation of Data and Processes 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820
https://doi.org/10.1007/978-3-319-98379-0
Format: Electronic Resources

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Češka, Milan. editor. (orcid)0000-0002-0300-9727
https://doi.org/10.1007/978-3-319-99429-1
Format: Electronic Resources

Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Damaševičius, Robertas. editor.
https://doi.org/10.1007/978-3-319-99972-2
Format: Electronic Resources

Learning Technology for Education Challenges 7th International Workshop, LTEC 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Uden, Lorna. editor.
https://doi.org/10.1007/978-3-319-95522-3
Format: Electronic Resources

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Fischer, Bernd. editor. (orcid)0000-0002-1815-218X
https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources

Information and Communication Technologies for Ageing Well and e-Health Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Röcker, Carsten. editor.
https://doi.org/10.1007/978-3-319-93644-4
Format: Electronic Resources

Selected Areas in Cryptography – SAC 2017 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Adams, Carlisle. editor.
https://doi.org/10.1007/978-3-319-72565-9
Format: Electronic Resources

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

2024-09-20T11:42:50Z

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

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

2024-09-20T11:42:50Z

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

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91638-5
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-09-20T11:42:50Z

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

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar van den Herik, Jaap. editor.
https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794
https://doi.org/10.1007/978-3-030-01713-2
Format: Electronic Resources

Internet Multimedia Computing and Service 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Huet, Benoit. editor.
https://doi.org/10.1007/978-981-10-8530-7
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Chapman, Peter. editor. (orcid)0000-0002-5524-5780
https://doi.org/10.1007/978-3-319-91376-6
Format: Electronic Resources

Articulated Motion and Deformable Objects 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Perales, Francisco José. editor.
https://doi.org/10.1007/978-3-319-94544-6
Format: Electronic Resources

Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961
https://doi.org/10.1007/978-3-319-78574-5
Format: Electronic Resources

Artificial Intelligence and Mobile Services – AIMS 2018 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Aiello, Marco. editor.
https://doi.org/10.1007/978-3-319-94361-9
Format: Electronic Resources

Love and Sex with Robots Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339
https://doi.org/10.1007/978-3-319-76369-9
Format: Electronic Resources

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

2024-09-20T11:42:50Z

Yazar Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-93815-8
Format: Electronic Resources

Managing Software Crisis: A Smart Way to Enterprise Agility

2024-09-20T11:42:50Z

Yazar Zykov, Sergey V. author.
https://doi.org/10.1007/978-3-319-77917-1
Format: Electronic Resources

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888
https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Cabello, Enrique. editor.
https://doi.org/10.1007/978-3-319-93641-3
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III

2024-09-20T11:42:50Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95168-3
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V

2024-09-20T11:42:50Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
https://doi.org/10.1007/978-3-319-95174-4
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-09-20T11:42:50Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Vouloutsi , Vasiliki. editor. (orcid)0000-0001-6425-1026
https://doi.org/10.1007/978-3-319-95972-6
Format: Electronic Resources

Robotic Grasping and Manipulation First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers

2024-09-20T11:42:50Z

Yazar Sun, Yu. editor.
https://doi.org/10.1007/978-3-319-94568-2
Format: Electronic Resources

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2024-09-20T11:42:50Z

Yazar Mazal, Jan. editor. (orcid)0000-0001-5741-558X
https://doi.org/10.1007/978-3-319-76072-8
Format: Electronic Resources

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II

2024-09-20T11:42:50Z

Yazar Shacham, Hovav. editor.
https://doi.org/10.1007/978-3-319-96881-0
Format: Electronic Resources

Innovative Technologies and Learning First International Conference, ICITL 2018, Portoroz, Slovenia, August 27–30, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Wu, Ting-Ting. editor.
https://doi.org/10.1007/978-3-319-99737-7
Format: Electronic Resources

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

2024-09-20T11:42:50Z

Yazar Mitrovic, Tanja. editor.
https://doi.org/10.1007/978-3-030-03991-2
Format: Electronic Resources