Search Results for - Narrowed by: System Performance and Evaluation.

Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Cuzzocrea, Alfredo. editor.
https://doi.org/10.1007/978-3-030-27629-4
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

2024-05-07T23:38:44Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-60531-8
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Passive and Active Measurement 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27–29, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Choffnes, David. editor.
https://doi.org/10.1007/978-3-030-15986-3
Format: Electronic Resources

Computing and Software Science State of the Art and Perspectives

2024-05-07T23:38:44Z

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

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

2024-05-07T23:38:44Z

Yazar Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713
https://doi.org/10.1007/978-3-030-16272-6
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I

2024-05-07T23:38:44Z

Yazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652
https://doi.org/10.1007/978-3-030-29743-5
Format: Electronic Resources

Human Centered Computing 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Tang, Yong. editor.
https://doi.org/10.1007/978-3-030-15127-0
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

E-Business and Telecommunications 15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26–28, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Obaidat, Mohammad S. editor.
https://doi.org/10.1007/978-3-030-34866-3
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Transactions on Pattern Languages of Programming IV

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Data Quality and Trust in Big Data 5th International Workshop, QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12–15, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343
https://doi.org/10.1007/978-3-030-19143-6
Format: Electronic Resources

Embedded Computer Systems: Architectures, Modeling, and Simulation 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Pnevmatikatos, Dionisios N. editor.
https://doi.org/10.1007/978-3-030-27562-4
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Quantum Technology and Optimization Problems First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Feld, Sebastian. editor.
https://doi.org/10.1007/978-3-030-14082-3
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Information and Operational Technology Security Systems First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Fournaris, Apostolos P. editor. (orcid)0000-0002-4758-2349
https://doi.org/10.1007/978-3-030-12085-6
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

High Performance Computing 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26–28, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Meneses, Esteban. editor. (orcid)0000-0002-4307-6000
https://doi.org/10.1007/978-3-030-16205-4
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Ad-Hoc, Mobile, and Wireless Networks 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Palattella, Maria Rita. editor. (orcid)0000-0002-4945-1406
https://doi.org/10.1007/978-3-030-31831-4
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Computational Intelligence, Communications, and Business Analytics Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part I

2024-05-07T23:38:44Z

Yazar Mandal, Jyotsna Kumar. editor.
https://doi.org/10.1007/978-981-13-8578-0
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Nambiar, Raghunath. editor.
https://doi.org/10.1007/978-3-030-11404-6
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Emerging Technologies in Computing Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings

2024-05-07T23:38:44Z

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

Services – SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Xia, Yunni. editor.
https://doi.org/10.1007/978-3-030-23381-5
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Miller, John. editor.
https://doi.org/10.1007/978-3-030-23499-7
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227
https://doi.org/10.1007/978-3-030-33388-1
Format: Electronic Resources

Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Fullér, Robert. editor.
https://doi.org/10.1007/978-3-030-12544-8
Format: Electronic Resources

Mobile, Secure, and Programmable Networking 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Renault, Éric. editor.
https://doi.org/10.1007/978-3-030-03101-5
Format: Electronic Resources

Introduction to Queueing Systems with Telecommunication Applications

2024-05-07T23:38:44Z

Yazar Lakatos, László. author.
https://doi.org/10.1007/978-3-030-15142-3
Format: Electronic Resources

Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946
https://doi.org/10.1007/978-3-030-27181-7
Format: Electronic Resources

Big Data Innovations and Applications 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Younas, Muhammad. editor.
https://doi.org/10.1007/978-3-030-27355-2
Format: Electronic Resources

Big Data Analytics and Knowledge Discovery 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Ordonez, Carlos. editor.
https://doi.org/10.1007/978-3-030-27520-4
Format: Electronic Resources

Advanced Hybrid Information Processing Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Liu, Shuai. editor. (orcid)0000-0001-9909-0664
https://doi.org/10.1007/978-3-030-19086-6
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Ubiquitous Communications and Network Computing Second EAI International Conference, Bangalore, India, February 8–10, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Kumar, Navin. editor.
https://doi.org/10.1007/978-3-030-20615-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-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Handbook of Biometric Anti-Spoofing Presentation Attack Detection

2024-05-07T23:38:44Z

Yazar Marcel, Sébastien. editor.
https://doi.org/10.1007/978-3-319-92627-8
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives

2024-05-07T23:38:44Z

Yazar Beisbart, Claus. editor.
https://doi.org/10.1007/978-3-319-70766-2
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

E-Business and Telecommunications 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper

2024-05-07T23:38:44Z

Yazar Obaidat, Mohammad S. editor.
https://doi.org/10.1007/978-3-030-11039-0
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Strous, Leon. editor.
https://doi.org/10.1007/978-3-030-15651-0
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Ren, Rui. editor.
https://doi.org/10.1007/978-981-13-5910-1
Format: Electronic Resources

Artificial Intelligence Applications and Innovations AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar MacIntyre, John. editor.
https://doi.org/10.1007/978-3-030-19909-8
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

Advanced Informatics for Computing Research Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II

2024-05-07T23:38:44Z

Yazar Luhach, Ashish Kumar. editor.
https://doi.org/10.1007/978-981-15-0111-1
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Data Mining and Big Data 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings

2024-05-07T23:38:44Z

Yazar Tan, Ying. editor.
https://doi.org/10.1007/978-981-32-9563-6
Format: Electronic Resources

Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-05-07T23:38:44Z

Yazar Meiselwitz, Gabriele. editor.
https://doi.org/10.1007/978-3-319-91521-0
Format: Electronic Resources

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2024-05-07T23:38:44Z

Yazar Kormanyos, Christopher. author.
https://doi.org/10.1007/978-3-662-56718-0
Format: Electronic Resources

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341
https://doi.org/10.1007/978-3-319-92459-5
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Damiani, Ernesto. editor.
https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources

Computer and Network Security Essentials

2024-05-07T23:38:44Z

Yazar Daimi, Kevin. editor.
https://doi.org/10.1007/978-3-319-58424-9
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Balsamo, Simonetta. editor.
https://doi.org/10.1007/978-3-319-91632-3
Format: Electronic Resources

Cloud Computing – CLOUD 2018 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Luo, Min. editor.
https://doi.org/10.1007/978-3-319-94295-7
Format: Electronic Resources

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952
https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2024-05-07T23:38:44Z

Yazar Chen, Qianbin. editor.
https://doi.org/10.1007/978-3-319-66628-0
Format: Electronic Resources

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

2024-05-07T23:38:44Z

Yazar Chen, Qianbin. editor.
https://doi.org/10.1007/978-3-319-66625-9
Format: Electronic Resources

Advanced Maintenance Policies for Shock and Damage Models

2024-05-07T23:38:44Z

Yazar Zhao, Xufeng. author.
https://doi.org/10.1007/978-3-319-70456-2
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Larrucea, Xabier. editor.
https://doi.org/10.1007/978-3-319-97925-0
Format: Electronic Resources

Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Negi, Atul. editor. (orcid)0000-0001-5707-130X
https://doi.org/10.1007/978-3-319-72344-0
Format: Electronic Resources

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Mondal, Anirban. editor.
https://doi.org/10.1007/978-3-030-04780-1
Format: Electronic Resources

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Yang, Alvin. editor.
https://doi.org/10.1007/978-3-319-94472-2
Format: Electronic Resources

Wireless Internet 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Huang, Mengxing. editor.
https://doi.org/10.1007/978-3-319-72998-5
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Paul, Manoranjan. editor.
https://doi.org/10.1007/978-3-319-75786-5
Format: Electronic Resources

Greening Video Distribution Networks Energy-Efficient Internet Video Delivery

2024-05-07T23:38:44Z

Yazar Popescu, Adrian. editor.
https://doi.org/10.1007/978-3-319-71718-0
Format: Electronic Resources

Ad-hoc, Mobile, and Wireless Networks 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings

2024-05-07T23:38:44Z

Yazar Montavont, Nicolas. editor.
https://doi.org/10.1007/978-3-030-00247-3
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Chin, Francis Y. L. editor.
https://doi.org/10.1007/978-3-319-94301-5
Format: Electronic Resources

Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Nambiar, Raghunath. editor.
https://doi.org/10.1007/978-3-319-72401-0
Format: Electronic Resources

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Pillai, Prashant. editor.
https://doi.org/10.1007/978-3-319-76571-6
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285
https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

Big Data Analytics and Knowledge Discovery 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Ordonez, Carlos. editor.
https://doi.org/10.1007/978-3-319-98539-8
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-05-07T23:38:44Z

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

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2024-05-07T23:38:44Z

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

Mobile Internet Security First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar You, Ilsun. editor.
https://doi.org/10.1007/978-981-10-7850-7
Format: Electronic Resources

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

Graph Data Management Fundamental Issues and Recent Developments

2024-05-07T23:38:44Z

Yazar Fletcher, George. editor.
https://doi.org/10.1007/978-3-319-96193-4
Format: Electronic Resources

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Krogstie, John. editor.
https://doi.org/10.1007/978-3-319-91563-0
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Braubach, Lars. editor.
https://doi.org/10.1007/978-3-319-91764-1
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Moreno García-Loygorri, Juan. editor. (orcid)0000-0002-4626-1535
https://doi.org/10.1007/978-3-319-90371-2
Format: Electronic Resources

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

2024-05-07T23:38:44Z

Yazar Li, Bo. editor.
https://doi.org/10.1007/978-3-319-78139-6
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

Advances in Databases and Information Systems 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Benczúr, András. editor. (orcid)0000-0002-8678-3346
https://doi.org/10.1007/978-3-319-98398-1
Format: Electronic Resources

Big Data 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Xu, Zongben. editor.
https://doi.org/10.1007/978-981-13-2922-7
Format: Electronic Resources

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Li, Cheng. editor.
https://doi.org/10.1007/978-3-319-90802-1
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

Yazar Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-5
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-05-07T23:38:44Z

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

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219
https://doi.org/10.1007/978-3-030-00761-4
Format: Electronic Resources

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27–29, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Galinina, Olga. editor. (orcid)0000-0002-5386-1061
https://doi.org/10.1007/978-3-030-01168-0
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Ganapathy, Vinod. editor.
https://doi.org/10.1007/978-3-030-05171-6
Format: Electronic Resources

Advances in Service-Oriented and Cloud Computing Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Mann, Zoltán Ádám. editor.
https://doi.org/10.1007/978-3-319-79090-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-05-07T23:38:44Z

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

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

2024-05-07T23:38:44Z

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-05-07T23:38:44Z

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

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Stamelos, Ioannis. editor.
https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
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 I

2024-05-07T23:38:44Z

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

Wired/Wireless Internet Communications 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Chowdhury, Kaushik Roy. editor.
https://doi.org/10.1007/978-3-030-02931-9
Format: Electronic Resources

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Medina, Manel. editor.
https://doi.org/10.1007/978-3-030-02547-2
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Lectures on Runtime Verification Introductory and Advanced Topics

2024-05-07T23:38:44Z

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

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I

2024-05-07T23:38:44Z

Yazar Li, Bo. editor.
https://doi.org/10.1007/978-3-319-78130-3
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2024-05-07T23:38:44Z

Yazar R. Luaces, Miguel. editor.
https://doi.org/10.1007/978-3-319-90053-7
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-05-07T23:38:44Z

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

Future Network Systems and Security Third International Conference, FNSS 2017, Gainesville, FL, USA, August 31 - September 2, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Doss, Robin. editor. (orcid)0000-0001-6143-6850
https://doi.org/10.1007/978-3-319-65548-2
Format: Electronic Resources

Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Guo, Song. editor.
https://doi.org/10.1007/978-3-319-49580-4
Format: Electronic Resources

Computer Network Security 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Rak, Jacek. editor.
https://doi.org/10.1007/978-3-319-65127-9
Format: Electronic Resources

Guide to Modeling and Simulation of Systems of Systems

2024-05-07T23:38:44Z

Yazar P. Zeigler, Bernard. author.
https://doi.org/10.1007/978-3-319-64134-8
Format: Electronic Resources

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Botterweck, Goetz. editor. (orcid)0000-0002-5556-1660
https://doi.org/10.1007/978-3-319-56856-0
Format: Electronic Resources

QoS and Energy Management in Cognitive Radio Network Case Study Approach

2024-05-07T23:38:44Z

Yazar Mishra, Vishram. author.
https://doi.org/10.1007/978-3-319-45860-1
Format: Electronic Resources

Computer Networks 24th International Conference, CN 2017, Lądek Zdrój, Poland, June 20–23, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341
https://doi.org/10.1007/978-3-319-59767-6
Format: Electronic Resources

Data-Driven Technology for Engineering Systems Health Management Design Approach, Feature Construction, Fault Diagnosis, Prognosis, Fusion and Decisions

2024-05-07T23:38:44Z

Yazar Niu, Gang. author.
https://doi.org/10.1007/978-981-10-2032-2
Format: Electronic Resources

LTE-A Cellular Networks Multi-hop Relay for Coverage, Capacity and Performance Enhancement

2024-05-07T23:38:44Z

Yazar Yahya, Abid. author.
https://doi.org/10.1007/978-3-319-43304-2
Format: Electronic Resources

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I

2024-05-07T23:38:44Z

Yazar Yuan, Hanning. editor.
https://doi.org/10.1007/978-981-10-3966-9
Format: Electronic Resources

High Performance Computing for Computational Science – VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Dutra, Inês. editor.
https://doi.org/10.1007/978-3-319-61982-8
Format: Electronic Resources

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2024-05-07T23:38:44Z

Yazar Majumdar, Rupak. editor.
https://doi.org/10.1007/978-3-319-63387-9
Format: Electronic Resources

Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13–16, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Maximilien, Michael. editor.
https://doi.org/10.1007/978-3-319-69035-3
Format: Electronic Resources

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
https://doi.org/10.1007/978-3-319-66107-0
Format: Electronic Resources

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Bertrand, Nathalie. editor.
https://doi.org/10.1007/978-3-319-66335-7
Format: Electronic Resources

Recurrent Neural Networks for Short-Term Load Forecasting An Overview and Comparative Analysis

2024-05-07T23:38:44Z

Yazar Bianchi, Filippo Maria. author.
https://doi.org/10.1007/978-3-319-70338-1
Format: Electronic Resources

Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Zhang, Lin. editor.
https://doi.org/10.1007/978-3-319-61994-1
Format: Electronic Resources

Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part II

2024-05-07T23:38:44Z

Yazar Yuan, Hanning. editor.
https://doi.org/10.1007/978-981-10-3969-0
Format: Electronic Resources

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar de Cesare, Sergio. editor.
https://doi.org/10.1007/978-3-319-70625-2
Format: Electronic Resources

Requirements Engineering

2024-05-07T23:38:44Z

Yazar Dick, Jeremy. author.
https://doi.org/10.1007/978-3-319-61073-3
Format: Electronic Resources

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Reinecke, Philipp. editor.
https://doi.org/10.1007/978-3-319-66583-2
Format: Electronic Resources

Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective

2024-05-07T23:38:44Z

Yazar Bermbach, David. author.
https://doi.org/10.1007/978-3-319-55483-9
Format: Electronic Resources

Data Mining and Big Data Second International Conference, DMBD 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings

2024-05-07T23:38:44Z

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

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources

Cloud Computing Principles, Systems and Applications

2024-05-07T23:38:44Z

Yazar Antonopoulos, Nick. editor.
https://doi.org/10.1007/978-3-319-54645-2
Format: Electronic Resources

Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Nambiar, Raghunath. editor.
https://doi.org/10.1007/978-3-319-54334-5
Format: Electronic Resources

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243
https://doi.org/10.1007/978-3-319-61482-3
Format: Electronic Resources

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-319-71237-6
Format: Electronic Resources

Connected Media in the Future Internet Era

2024-05-07T23:38:44Z

Yazar Kondoz, Ahmet. editor.
https://doi.org/10.1007/978-1-4939-4026-4
Format: Electronic Resources

Building an Intuitive Multimodal Interface for a Smart Home Hunting the SNARK

2024-05-07T23:38:44Z

Yazar Brown, John N.A. author.
https://doi.org/10.1007/978-3-319-56532-3
Format: Electronic Resources

Passive and Active Measurement 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Kaafar, Mohamed Ali. editor.
https://doi.org/10.1007/978-3-319-54328-4
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Pham, Congduc. editor.
https://doi.org/10.1007/978-3-319-68066-8
Format: Electronic Resources

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example

2024-05-07T23:38:44Z

Yazar Wisniewski, Lukasz. author.
https://doi.org/10.1007/978-3-662-54650-5
Format: Electronic Resources

Service-Oriented Computing – ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Drira, Khalil. editor.
https://doi.org/10.1007/978-3-319-68136-8
Format: Electronic Resources

Wired/Wireless Internet Communications 15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21–23, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Koucheryavy, Yevgeni. editor. (orcid)0000-0003-3976-297X
https://doi.org/10.1007/978-3-319-61382-6
Format: Electronic Resources

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2024-05-07T23:38:44Z

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

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

2024-05-07T23:38:44Z

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

Data Management and Analytics for Medicine and Healthcare Third International Workshop, DMAH 2017, Held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Begoli, Edmon. editor. (orcid)0000-0002-2173-3663
https://doi.org/10.1007/978-3-319-67186-4
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Ma, Liran. editor.
https://doi.org/10.1007/978-3-319-60033-8
Format: Electronic Resources

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Perner, Petra. editor.
https://doi.org/10.1007/978-3-319-62701-4
Format: Electronic Resources

Euro-Par 2016: Parallel Processing Workshops Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Desprez, Frédéric. editor.
https://doi.org/10.1007/978-3-319-58943-5
Format: Electronic Resources

Combinatorial Testing in Cloud Computing

2024-05-07T23:38:44Z

Yazar Tsai, Wei-Tek. author.
https://doi.org/10.1007/978-981-10-4481-6
Format: Electronic Resources

Spectrum Access and Management for Cognitive Radio Networks

2024-05-07T23:38:44Z

Yazar Matin, Mohammad A. editor.
https://doi.org/10.1007/978-981-10-2254-8
Format: Electronic Resources

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Felderer, Michael. editor. (orcid)0000-0003-3818-4442
https://doi.org/10.1007/978-3-319-69926-4
Format: Electronic Resources

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Lahiri, Shuvendu. editor.
https://doi.org/10.1007/978-3-319-67531-2
Format: Electronic Resources

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25–29, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Vishnevskiy, Vladimir M. editor.
https://doi.org/10.1007/978-3-319-66836-9
Format: Electronic Resources

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Mas, Antonia. editor.
https://doi.org/10.1007/978-3-319-67383-7
Format: Electronic Resources

Mobile Networks and Management 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Agüero, Ramón. editor.
https://doi.org/10.1007/978-3-319-52712-3
Format: Electronic Resources

DataFlow Supercomputing Essentials Research, Development and Education

2024-05-07T23:38:44Z

Yazar Milutinovic, Veljko. author.
https://doi.org/10.1007/978-3-319-66128-5
Format: Electronic Resources

Python for Graph and Network Analysis

2024-05-07T23:38:44Z

Yazar Al-Taie, Mohammed Zuhair. author.
https://doi.org/10.1007/978-3-319-53004-8
Format: Electronic Resources

Algorithmic Aspects of Cloud Computing Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Sellis, Timos. editor. (orcid)0000-0002-9067-5639
https://doi.org/10.1007/978-3-319-57045-7
Format: Electronic Resources

Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6–8, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Stolfa, Jakub. editor.
https://doi.org/10.1007/978-3-319-64218-5
Format: Electronic Resources

DataFlow Supercomputing Essentials Algorithms, Applications and Implementations

2024-05-07T23:38:44Z

Yazar Milutinovic, Veljko. author.
https://doi.org/10.1007/978-3-319-66125-4
Format: Electronic Resources

Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Pirovano, Alain. editor.
https://doi.org/10.1007/978-3-319-56880-5
Format: Electronic Resources

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
https://doi.org/10.1007/978-3-319-70848-5
Format: Electronic Resources

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar de Lara, Juan. editor. (orcid)0000-0001-9425-6362
https://doi.org/10.1007/978-3-319-61470-0
Format: Electronic Resources

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications The CloudScale Method

2024-05-07T23:38:44Z

Yazar Becker, Steffen. editor.
https://doi.org/10.1007/978-3-319-54286-7
Format: Electronic Resources

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-58667-0
Format: Electronic Resources

Distributed Applications and Interoperable Systems 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19–22, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Chen, Lydia Y. editor.
https://doi.org/10.1007/978-3-319-59665-5
Format: Electronic Resources

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28–30, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Galinina, Olga. editor. (orcid)0000-0002-5386-1061
https://doi.org/10.1007/978-3-319-67380-6
Format: Electronic Resources

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Dudin, Alexander. editor.
https://doi.org/10.1007/978-3-319-68069-9
Format: Electronic Resources

Economics of Grids, Clouds, Systems, and Services 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241
https://doi.org/10.1007/978-3-319-61920-0
Format: Electronic Resources

Virtual Reality and Augmented Reality 14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12–14, 2017, Proceedings

2024-05-07T23:38:44Z

Yazar Barbic, Jernej. editor.
https://doi.org/10.1007/978-3-319-72323-5
Format: Electronic Resources

Internet Video Data Streaming Energy-saving and Cost-aware Methods

2024-05-07T23:38:44Z

Yazar Tian, Ye. author.
https://doi.org/10.1007/978-981-10-6523-1
Format: Electronic Resources

Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7–8, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Lee, Jong-Hyouk. editor.
https://doi.org/10.1007/978-3-319-60717-7
Format: Electronic Resources

Cybernetics From Past to Future

2024-05-07T23:38:44Z

Yazar Novikov, D.A. author.
http://dx.doi.org/10.1007/978-3-319-27397-6
Format: Electronic Resources

Critical Information Infrastructures Security 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Panayiotou, Christos G. editor.
http://dx.doi.org/10.1007/978-3-319-31664-2
Format: Electronic Resources

Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Nambiar, Raghunath. editor.
http://dx.doi.org/10.1007/978-3-319-31409-9
Format: Electronic Resources

Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Jelasity, Márk. editor.
http://dx.doi.org/10.1007/978-3-319-39577-7
Format: Electronic Resources

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

2024-05-07T23:38:44Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-44615-8
Format: Electronic Resources

Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Mamatas, Lefteris. editor.
http://dx.doi.org/10.1007/978-3-319-33936-8
Format: Electronic Resources

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Galinina, Olga. editor.
http://dx.doi.org/10.1007/978-3-319-46301-8
Format: Electronic Resources

Cloud Computing 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Zhang, Yin. editor.
http://dx.doi.org/10.1007/978-3-319-38904-2
Format: Electronic Resources

Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Mendizabal, Jaizki. editor.
http://dx.doi.org/10.1007/978-3-319-38921-9
Format: Electronic Resources

Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Clarke, Paul M. editor.
http://dx.doi.org/10.1007/978-3-319-38980-6
Format: Electronic Resources

Sustainable Transportation Indicators, Frameworks, and Performance Management

2024-05-07T23:38:44Z

Yazar Gudmundsson, Henrik. author.
http://dx.doi.org/10.1007/978-3-662-46924-8
Format: Electronic Resources

Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Bian, Fuling. editor.
http://dx.doi.org/10.1007/978-3-662-49155-3
Format: Electronic Resources

Computer Engineering and Technology 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Xu, Weixia. editor.
http://dx.doi.org/10.1007/978-3-662-49283-3
Format: Electronic Resources

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Vishnevsky, Vladimir. editor.
http://dx.doi.org/10.1007/978-3-319-30843-2
Format: Electronic Resources

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

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

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Fiems, Dieter. editor.
http://dx.doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks

2024-05-07T23:38:44Z

Yazar Murty, M.N. author.
http://dx.doi.org/10.1007/978-3-319-41063-0
Format: Electronic Resources

High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Kunkel, Julian M. editor.
http://dx.doi.org/10.1007/978-3-319-41321-1
Format: Electronic Resources

Diagnosis and Fault-Tolerant Control

2024-05-07T23:38:44Z

Yazar Blanke, Mogens. author.
http://dx.doi.org/10.1007/978-3-662-47943-8
Format: Electronic Resources

Content Distribution for Mobile Internet: A Cloud-based Approach

2024-05-07T23:38:44Z

Yazar Li, Zhenhua. author.
http://dx.doi.org/10.1007/978-981-10-1463-5
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

Computer Networks 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Gaj, Piotr. editor.
http://dx.doi.org/10.1007/978-3-319-39207-3
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Wittevrongel, Sabine. editor.
http://dx.doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Business Intelligence 5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015, Tutorial Lectures

2024-05-07T23:38:44Z

Yazar Zimányi, Esteban. editor.
http://dx.doi.org/10.1007/978-3-319-39243-1
Format: Electronic Resources

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

2024-05-07T23:38:44Z

Yazar Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-319-41561-1
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Falcone, Yliès. editor.
http://dx.doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2024-05-07T23:38:44Z

Yazar Trsek, Henning. author.
http://dx.doi.org/10.1007/978-3-662-49158-4
Format: Electronic Resources

Critical Information Infrastructures Security 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Rome, Erich. editor.
http://dx.doi.org/10.1007/978-3-319-33331-1
Format: Electronic Resources

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

2024-05-07T23:38:44Z

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

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Maruyama, Naoya. editor.
http://dx.doi.org/10.1007/978-3-319-45550-1
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings

2024-05-07T23:38:44Z

Yazar Yang, Qing. editor.
http://dx.doi.org/10.1007/978-3-319-42836-9
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Wu, Junjie. editor.
http://dx.doi.org/10.1007/978-981-10-2209-8
Format: Electronic Resources

Passive and Active Measurement 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings

2024-05-07T23:38:44Z

Yazar Karagiannis, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-30505-9
Format: Electronic Resources

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2024-05-07T23:38:44Z

Yazar Bogdan, Cristian. editor.
http://dx.doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources

Performance Characterization and Benchmarking. Traditional to Big Data 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Nambiar, Raghunath. editor.
http://dx.doi.org/10.1007/978-3-319-15350-6
Format: Electronic Resources

Passive and Active Measurement 16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Mirkovic, Jelena. editor.
http://dx.doi.org/10.1007/978-3-319-15509-8
Format: Electronic Resources

Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methods

2024-05-07T23:38:44Z

Yazar Trobec, Roman. author.
http://dx.doi.org/10.1007/978-3-319-17073-2
Format: Electronic Resources

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Kunkel, Julian M. editor.
http://dx.doi.org/10.1007/978-3-319-20119-1
Format: Electronic Resources

Mobile Networks and Management 7th International Conference, MONAMI 2015, Santander, Spain, September 16-18, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Agüero, Ramón. editor.
http://dx.doi.org/10.1007/978-3-319-26925-2
Format: Electronic Resources

Mobile Networks and Management 6th International Conference, MONAMI 2014, Würzburg, Germany, September 22-26, 2014, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Agüero, Ramón. editor.
http://dx.doi.org/10.1007/978-3-319-16292-8
Format: Electronic Resources

Collaborative Information Seeking Best Practices, New Domains and New Thoughts

2024-05-07T23:38:44Z

Yazar Hansen, Preben. editor.
http://dx.doi.org/10.1007/978-3-319-18988-8
Format: Electronic Resources

Supercomputing for Molecular Dynamics Simulations Handling Multi-Trillion Particles in Nanofluidics

2024-05-07T23:38:44Z

Yazar Heinecke, Alexander. author.
http://dx.doi.org/10.1007/978-3-319-17148-7
Format: Electronic Resources

Distributed Applications and Interoperable Systems 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Bessani, Alysson. editor.
http://dx.doi.org/10.1007/978-3-319-19129-4
Format: Electronic Resources

Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Xu, Kuai. editor.
http://dx.doi.org/10.1007/978-3-319-21837-3
Format: Electronic Resources

Fault-Tolerance Techniques for High-Performance Computing

2024-05-07T23:38:44Z

Yazar Herault, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-20943-2
Format: Electronic Resources

Euro-Par 2015: Parallel Processing Workshops Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Hunold, Sascha. editor.
http://dx.doi.org/10.1007/978-3-319-27308-2
Format: Electronic Resources

Embedded System Technology 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Zhang, Xing. editor.
http://dx.doi.org/10.1007/978-981-10-0421-6
Format: Electronic Resources

Computer Networks 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings

2024-05-07T23:38:44Z

Yazar Gaj, Piotr. editor.
http://dx.doi.org/10.1007/978-3-319-19419-6
Format: Electronic Resources

Geo-Informatics in Resource Management and Sustainable Ecosystem Second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014. Proceedings

2024-05-07T23:38:44Z

Yazar Bian, Fuling. editor.
http://dx.doi.org/10.1007/978-3-662-45737-5
Format: Electronic Resources

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2024-05-07T23:38:44Z

Yazar Kormanyos, Christopher. author.
http://dx.doi.org/10.1007/978-3-662-47810-3
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-07T23:38:44Z

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

Self-Organizing Networks First International Conference, ICSON 2015, Beijing, China, January 13-14, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Sun, Songlin. editor.
http://dx.doi.org/10.1007/978-3-319-19746-3
Format: Electronic Resources

Traffic Monitoring and Analysis 7th International Workshop, TMA 2015, Barcelona, Spain, April 21-24, 2015. Proceedings

2024-05-07T23:38:44Z

Yazar Steiner, Moritz. editor.
http://dx.doi.org/10.1007/978-3-319-17172-2
Format: Electronic Resources

Energy Efficient Data Centers Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Klingert, Sonja. editor.
http://dx.doi.org/10.1007/978-3-319-15786-3
Format: Electronic Resources

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-25861-4
Format: Electronic Resources

Trustworthy Computing and Services International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers

2024-05-07T23:38:44Z

Yazar Yueming, Lu. editor.
http://dx.doi.org/10.1007/978-3-662-47401-3
Format: Electronic Resources

MAC Protocols for Cyber-Physical Systems

2024-05-07T23:38:44Z

Yazar Xia, Feng. author.
http://dx.doi.org/10.1007/978-3-662-46361-1
Format: Electronic Resources

Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Campos, Javier. editor.
http://dx.doi.org/10.1007/978-3-319-22264-6
Format: Electronic Resources

Advances in Wireless Sensor Networks The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Sun, Limin. editor.
http://dx.doi.org/10.1007/978-3-662-46981-1
Format: Electronic Resources

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Daydé, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-17353-5
Format: Electronic Resources

Sustainable Design HCI, Usability and Environmental Concerns

2024-05-07T23:38:44Z

Yazar Issa, Tomayess. author.
http://dx.doi.org/10.1007/978-1-4471-6753-2
Format: Electronic Resources

Cloud Computing 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Leung, Victor C.M. editor.
http://dx.doi.org/10.1007/978-3-319-16050-4
Format: Electronic Resources

Novel 3D Media Technologies

2024-05-07T23:38:44Z

Yazar Kondoz, Ahmet. editor.
http://dx.doi.org/10.1007/978-1-4939-2026-6
Format: Electronic Resources

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Jarvis, Stephen A. editor.
http://dx.doi.org/10.1007/978-3-319-17248-4
Format: Electronic Resources

Wireless Sensor Networks 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedings

2024-05-07T23:38:44Z

Yazar Abdelzaher, Tarek. editor.
http://dx.doi.org/10.1007/978-3-319-15582-1
Format: Electronic Resources

Communication Technologies for Vehicles 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings

2024-05-07T23:38:44Z

Yazar Kassab, Mohamed. editor.
http://dx.doi.org/10.1007/978-3-319-17765-6
Format: Electronic Resources

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Balandin, Sergey. editor.
http://dx.doi.org/10.1007/978-3-319-23126-6
Format: Electronic Resources

Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Beltrán, Marta. editor.
http://dx.doi.org/10.1007/978-3-319-23267-6
Format: Electronic Resources

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

2024-05-07T23:38:44Z

Yazar Terboven, Christian. editor.
http://dx.doi.org/10.1007/978-3-319-24595-9
Format: Electronic Resources

Future Access Enablers for Ubiquitous and Intelligent Infrastructures First International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015. Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Atanasovski, Vladimir. editor.
http://dx.doi.org/10.1007/978-3-319-27072-2
Format: Electronic Resources

Cloud Computing and Big Data Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Qiang, Weizhong. editor.
http://dx.doi.org/10.1007/978-3-319-28430-9
Format: Electronic Resources

3D Future Internet Media

2024-05-07T23:38:44Z

Yazar Kondoz, Ahmet. editor.
http://dx.doi.org/10.1007/978-1-4614-8373-1
Format: Electronic Resources

Information Technologies and Mathematical Modelling 13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014. Proceedings

2024-05-07T23:38:44Z

Yazar Dudin, Alexander. editor.
http://dx.doi.org/10.1007/978-3-319-13671-4
Format: Electronic Resources

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

2024-05-07T23:38:44Z

Yazar Kunkel, Julian Martin. editor.
http://dx.doi.org/10.1007/978-3-319-07518-1
Format: Electronic Resources

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings

2024-05-07T23:38:44Z

Yazar Dingel, Juergen. editor.
http://dx.doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

2024-05-07T23:38:44Z

Yazar DeRose, Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-11454-5
Format: Electronic Resources

Traffic Monitoring and Analysis 6th International Workshop, TMA 2014, London, UK, April 14, 2014. Proceedings

2024-05-07T23:38:44Z

Yazar Dainotti, Alberto. editor.
http://dx.doi.org/10.1007/978-3-642-54999-1
Format: Electronic Resources

Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I

2024-05-07T23:38:44Z

Yazar Lopes, Luís. editor.
http://dx.doi.org/10.1007/978-3-319-14325-5
Format: Electronic Resources

Benchmarking Transaction and Analytical Processing Systems The Creation of a Mixed Workload Benchmark and its Application

2024-05-07T23:38:44Z

Yazar Bog, Anja. author.
http://dx.doi.org/10.1007/978-3-642-38070-9
Format: Electronic Resources

IT Quality Management

2024-05-07T23:38:44Z

Yazar Osterhage, Wolfgang W. author.
http://dx.doi.org/10.1007/978-3-662-43767-4
Format: Electronic Resources

Distributed Applications and Interoperable Systems 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

2024-05-07T23:38:44Z

Yazar Magoutis, Kostas. editor.
http://dx.doi.org/10.1007/978-3-662-43352-2
Format: Electronic Resources

Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Li, Kenli. editor.
http://dx.doi.org/10.1007/978-3-642-53962-6
Format: Electronic Resources

Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014. Proceedings

2024-05-07T23:38:44Z

Yazar Zowghi, Didar. editor.
http://dx.doi.org/10.1007/978-3-662-43610-3
Format: Electronic Resources

Advanced Computer Architecture 10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014. Proceedings

2024-05-07T23:38:44Z

Yazar Wu, Junjie. editor.
http://dx.doi.org/10.1007/978-3-662-44491-7
Format: Electronic Resources

Advances in Wireless Sensor Networks 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013. Revised Selected Papers

2024-05-07T23:38:44Z

Yazar Sun, Limin. editor.
http://dx.doi.org/10.1007/978-3-642-54522-1
Format: Electronic Resources

Cloud Computing Patterns Fundamentals to Design, Build, and Manage Cloud Applications

2024-05-07T23:38:44Z

Yazar Fehling, Christoph. author.
http://dx.doi.org/10.1007/978-3-7091-1568-8
Format: Electronic Resources