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

Computing, Analytics and Networks First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Sharma, Rajnish. editor.
https://doi.org/10.1007/978-981-13-0755-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 I

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Mann, Zoltán Ádám. editor.
https://doi.org/10.1007/978-3-319-79090-9
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-06-07T20:01:22Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Baek, Joonsang. editor.
https://doi.org/10.1007/978-3-030-01446-9
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Lai, Jian-Huang. editor.
https://doi.org/10.1007/978-3-030-03338-5
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-06-07T20:01:22Z

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

Cryptology and Network Security 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Capkun, Srdjan. editor.
https://doi.org/10.1007/978-3-030-02641-7
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Kaenampornpan, Manasawee. editor.
https://doi.org/10.1007/978-3-030-03014-8
Format: Electronic Resources

Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

2024-06-07T20:01:22Z

by Camenisch, Jan. editor. (orcid)0000-0001-6654-9459
https://doi.org/10.1007/978-3-030-00434-7
Format: Electronic Resources

Software Fault Prediction A Road Map

2024-06-07T20:01:22Z

by Kumar, Sandeep. author.
https://doi.org/10.1007/978-981-10-8715-8
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Matyáš, Vashek. editor.
https://doi.org/10.1007/978-3-030-03251-7
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-06-07T20:01:22Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03421-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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772
https://doi.org/10.1007/978-3-030-02768-1
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-06-07T20:01:22Z

by Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197
https://doi.org/10.1007/978-3-030-03329-3
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 I

2024-06-07T20:01:22Z

by Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197
https://doi.org/10.1007/978-3-030-03326-2
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-06-07T20:01:22Z

by 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-06-07T20:01:22Z

by Dutle, Aaron. editor.
https://doi.org/10.1007/978-3-319-77935-5
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-06-07T20:01:22Z

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

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2024-06-07T20:01:22Z

by Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources

Combinatorial Image Analysis 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings

2024-06-07T20:01:22Z

by Barneva, Reneta P. editor.
https://doi.org/10.1007/978-3-030-05288-1
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII Special Issue on Database- and Expert-Systems Applications

2024-06-07T20:01:22Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58384-5
Format: Electronic Resources

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

2024-06-07T20:01:22Z

by Lange, Tanja. editor.
https://doi.org/10.1007/978-3-319-79063-3
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Modeling Companion for Software Practitioners

2024-06-07T20:01:22Z

by Börger, Egon. author.
https://doi.org/10.1007/978-3-662-56641-1
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-06-07T20:01:22Z

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

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-06-07T20:01:22Z

by Chen, Jessie Y.C. editor.
https://doi.org/10.1007/978-3-319-91581-4
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

2024-06-07T20:01:22Z

by Iliopoulos, Costas. editor.
https://doi.org/10.1007/978-3-319-94667-2
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Ferreira, João Eduardo. editor.
https://doi.org/10.1007/978-3-319-94376-3
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Progress in Cryptology – INDOCRYPT 2018 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings

2024-06-07T20:01:22Z

by Chakraborty, Debrup. editor. (orcid)0000-0001-5179-1971
https://doi.org/10.1007/978-3-030-05378-9
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983
https://doi.org/10.1007/978-3-030-05072-6
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-06-07T20:01:22Z

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

Number-Theoretic Methods in Cryptology First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Kaczorowski, Jerzy. editor.
https://doi.org/10.1007/978-3-319-76620-1
Format: Electronic Resources

Risks and Security of Internet and Systems 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Cuppens, Nora. editor.
https://doi.org/10.1007/978-3-319-76687-4
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

2024-06-07T20:01:22Z

by Stoyanov, Danail. editor.
https://doi.org/10.1007/978-3-030-01201-4
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Shishkov, Boris. editor.
https://doi.org/10.1007/978-3-319-78428-1
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Abdalla, Michel. editor. (orcid)0000-0002-2447-4329
https://doi.org/10.1007/978-3-319-76581-5
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Smith, Ian F. C. editor.
https://doi.org/10.1007/978-3-319-91635-4
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-06-07T20:01:22Z

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

RoboCup 2017: Robot World Cup XXI

2024-06-07T20:01:22Z

by Akiyama, Hidehisa. editor. (orcid)0000-0002-9793-9123
https://doi.org/10.1007/978-3-030-00308-1
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Lectures on Runtime Verification Introductory and Advanced Topics

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-07T20:01:22Z

by Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings

2024-06-07T20:01:22Z

by Qing, Sihan. editor.
https://doi.org/10.1007/978-3-319-89500-0
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Gheorghe, Marian. editor.
https://doi.org/10.1007/978-3-319-73359-3
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-06-07T20:01:22Z

by Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

2024-06-07T20:01:22Z

by Drevin, Lynette. editor. (orcid)0000-0001-9370-8216
https://doi.org/10.1007/978-3-319-99734-6
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Computational Thinking First Algorithms, Then Code

2024-06-07T20:01:22Z

by Ferragina, Paolo. author.
https://doi.org/10.1007/978-3-319-97940-3
Format: Electronic Resources

Refinement Semantics, Languages and Applications

2024-06-07T20:01:22Z

by Derrick, John. author.
https://doi.org/10.1007/978-3-319-92711-4
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Wu, Ting-Ting. editor.
https://doi.org/10.1007/978-3-319-99737-7
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-06-07T20:01:22Z

by Li, Kang. editor.
https://doi.org/10.1007/978-981-13-2381-2
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

SafeScrum® – Agile Development of Safety-Critical Software

2024-06-07T20:01:22Z

by Hanssen, Geir Kjetil. author.
https://doi.org/10.1007/978-3-319-99334-8
Format: Electronic Resources

Data Warehouse Requirements Engineering A Decision Based Approach

2024-06-07T20:01:22Z

by Prakash, Naveen. author.
https://doi.org/10.1007/978-981-10-7019-8
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-57932-9
Format: Electronic Resources

Fog Computing Concepts, Frameworks and Technologies

2024-06-07T20:01:22Z

by Mahmood, Zaigham. editor.
https://doi.org/10.1007/978-3-319-94890-4
Format: Electronic Resources

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-06-07T20:01:22Z

by Sokolinsky, Leonid. editor.
https://doi.org/10.1007/978-3-319-99673-8
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Saeed, Khalid. editor. (orcid)0000-0002-7741-7045
https://doi.org/10.1007/978-3-319-99954-8
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-06-07T20:01:22Z

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-06-07T20:01:22Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96145-3
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-06-07T20:01:22Z

by Johnsen, Einar Broch. editor.
https://doi.org/10.1007/978-3-319-92970-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-06-07T20:01:22Z

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

Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

2024-06-07T20:01:22Z

by Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
https://doi.org/10.1007/978-3-319-79108-1
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Debruyne, Christophe. editor.
https://doi.org/10.1007/978-3-319-73805-5
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

2024-06-07T20:01:22Z

by Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834
https://doi.org/10.1007/978-3-319-73305-0
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2024-06-07T20:01:22Z

by Dillig, Isil. editor.
https://doi.org/10.1007/978-3-319-73721-8
Format: Electronic Resources

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

2024-06-07T20:01:22Z

by Smart, Nigel P. editor. (orcid)0000-0003-3567-3304
https://doi.org/10.1007/978-3-319-76953-0
Format: Electronic Resources

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2024-06-07T20:01:22Z

by Baier, Christel. editor. (orcid)0000-0002-5321-9343
https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Shacham, Hovav. editor.
https://doi.org/10.1007/978-3-319-96884-1
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

2024-06-07T20:01:22Z

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

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Klusáček, Dalibor. editor.
https://doi.org/10.1007/978-3-319-77398-8
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

2024-06-07T20:01:22Z

by Nielsen, Jesper Buus. editor.
https://doi.org/10.1007/978-3-319-78372-7
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II

2024-06-07T20:01:22Z

by Nielsen, Jesper Buus. editor.
https://doi.org/10.1007/978-3-319-78375-8
Format: Electronic Resources

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

2024-06-07T20:01:22Z

by Nielsen, Jesper Buus. editor.
https://doi.org/10.1007/978-3-319-78381-9
Format: Electronic Resources

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings

2024-06-07T20:01:22Z

by Fan, Junfeng. editor.
https://doi.org/10.1007/978-3-319-89641-0
Format: Electronic Resources

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2024-06-07T20:01:22Z

by Tjoa, A Min. editor.
https://doi.org/10.1007/978-3-319-73117-9
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-06-07T20:01:22Z

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

e-Learning, e-Education, and Online Training 4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings

2024-06-07T20:01:22Z

by Liu, Shuai. editor.
https://doi.org/10.1007/978-3-319-93719-9
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2024-06-07T20:01:22Z

by Khomenko, Victor. editor.
https://doi.org/10.1007/978-3-319-91268-4
Format: Electronic Resources

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools

2024-06-07T20:01:22Z

by Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087
https://doi.org/10.1007/978-3-319-90415-3
Format: Electronic Resources

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-06-07T20:01:22Z

by Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2024-06-07T20:01:22Z

by Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-56499-8
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-06-07T20:01:22Z

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

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2024-06-07T20:01:22Z

by Fortino, Giancarlo. editor.
https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Gallagher, John P. editor.
https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources

Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2024-06-07T20:01:22Z

by Dubois, Catherine. editor.
https://doi.org/10.1007/978-3-319-92994-1
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2024-06-07T20:01:22Z

by Marcus, Aaron. editor.
https://doi.org/10.1007/978-3-319-91803-7
Format: Electronic Resources

Advanced Gear Engineering

2024-06-07T20:01:22Z

by Goldfarb, Veniamin. editor.
https://doi.org/10.1007/978-3-319-60399-5
Format: Electronic Resources

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682
https://doi.org/10.1007/978-3-319-73814-7
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

GNSS for Rail Transportation Challenges and Opportunities

2024-06-07T20:01:22Z

by Lo Presti, Letizia. editor.
https://doi.org/10.1007/978-3-319-79084-8
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-06-07T20:01:22Z

by 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-06-07T20:01:22Z

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

Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlab

2024-06-07T20:01:22Z

by Gopi, E. S. author.
https://doi.org/10.1007/978-3-319-57430-1
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Mobile Networks and Management 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings

2024-06-07T20:01:22Z

by Hu, Jiankun. editor.
https://doi.org/10.1007/978-3-319-90775-8
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Cox, Michael T. editor.
https://doi.org/10.1007/978-3-030-01081-2
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

2024-06-07T20:01:22Z

by Shishkov, Boris. editor.
https://doi.org/10.1007/978-3-319-94214-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-06-07T20:01:22Z

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

Software Languages Syntax, Semantics, and Metaprogramming

2024-06-07T20:01:22Z

by Lämmel, Ralf. author.
https://doi.org/10.1007/978-3-319-90800-7
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Advanced Information Systems Engineering Workshops CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings

2024-06-07T20:01:22Z

by Matulevičius, Raimundas. editor.
https://doi.org/10.1007/978-3-319-92898-2
Format: Electronic Resources

Information Systems in the Big Data Era CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2024-06-07T20:01:22Z

by Mendling, Jan. editor. (orcid)0000-0002-7260-524X
https://doi.org/10.1007/978-3-319-92901-9
Format: Electronic Resources

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Xu, Weixia. editor.
https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources

Wireless Sensor Networks 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Li, Jianzhong. editor.
https://doi.org/10.1007/978-981-10-8123-1
Format: Electronic Resources

Implantable Sensors and Systems From Theory to Practice

2024-06-07T20:01:22Z

by Yang, Guang-Zhong. editor.
https://doi.org/10.1007/978-3-319-69748-2
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by 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-06-07T20:01:22Z

by Torres Guerrero, Francisco. editor.
https://doi.org/10.1007/978-3-319-73323-4
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-06-07T20:01:22Z

by Belhajjame, Khalid. editor. (orcid)0000-0001-6938-0820
https://doi.org/10.1007/978-3-319-98379-0
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-06-07T20:01:22Z

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

Smartphone-Based Indoor Map Construction Principles and Applications

2024-06-07T20:01:22Z

by Gao, Ruipeng. author.
https://doi.org/10.1007/978-981-10-8378-5
Format: Electronic Resources

Data Management Technologies and Applications 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Filipe, Joaquim. editor.
https://doi.org/10.1007/978-3-319-94809-6
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Enterprise, Business-Process and Information Systems Modeling 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings

2024-06-07T20:01:22Z

by Gulden, Jens. editor. (orcid)0000-0003-4824-8569
https://doi.org/10.1007/978-3-319-91704-7
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

The Agile Safety Case

2024-06-07T20:01:22Z

by Myklebust, Thor. author.
https://doi.org/10.1007/978-3-319-70265-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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Dorigo, Marco. editor. (orcid)0000-0002-3971-0507
https://doi.org/10.1007/978-3-030-00533-7
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Kalajdziski, Slobodan. editor. (orcid)0000-0003-3373-8637
https://doi.org/10.1007/978-3-030-00825-3
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-06-07T20:01:22Z

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

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

2024-06-07T20:01:22Z

by Müller, Peter. editor.
https://doi.org/10.1007/978-3-319-98047-8
Format: Electronic Resources

Business Information Systems 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings

2024-06-07T20:01:22Z

by Abramowicz, Witold. editor.
https://doi.org/10.1007/978-3-319-93931-5
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Izumi, Taisuke. editor.
https://doi.org/10.1007/978-3-030-03232-6
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Thomson, Robert. editor.
https://doi.org/10.1007/978-3-319-93372-6
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2024-06-07T20:01:22Z

by Rau, Pei-Luen Patrick. editor.
https://doi.org/10.1007/978-3-319-92141-9
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-06-07T20:01:22Z

by Montavont, Nicolas. editor.
https://doi.org/10.1007/978-3-030-00247-3
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 III

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Software Development Measurement Programs Development, Management and Evolution

2024-06-07T20:01:22Z

by Staron, Miroslaw. author.
https://doi.org/10.1007/978-3-319-91836-5
Format: Electronic Resources

Security in Computer and Information Sciences First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers

2024-06-07T20:01:22Z

by Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201
https://doi.org/10.1007/978-3-319-95189-8
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-06-07T20:01:22Z

by Streitz, Norbert. editor. (orcid)0000-0002-0244-0945
https://doi.org/10.1007/978-3-319-91125-0
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-06-07T20:01:22Z

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

Advances in Web-Based Learning – ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings

2024-06-07T20:01:22Z

by Hancke, Gerhard. editor.
https://doi.org/10.1007/978-3-319-96565-9
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610
https://doi.org/10.1007/978-3-319-99819-0
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Blanc-Talon, Jacques. editor.
https://doi.org/10.1007/978-3-030-01449-0
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2024-06-07T20:01:22Z

by Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724
https://doi.org/10.1007/978-3-030-00847-5
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Jones, Cliff. editor.
https://doi.org/10.1007/978-3-030-01461-2
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-06-07T20:01:22Z

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

Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings

2024-06-07T20:01:22Z

by Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
https://doi.org/10.1007/978-3-030-00305-0
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Cheng, Long. editor. (orcid)0000-0001-7565-8788
https://doi.org/10.1007/978-3-030-04239-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-06-07T20:01:22Z

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

Designing Usable and Secure Software with IRIS and CAIRIS

2024-06-07T20:01:22Z

by Faily, Shamal. author.
https://doi.org/10.1007/978-3-319-75493-2
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930
https://doi.org/10.1007/978-3-030-01790-3
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-06-07T20:01:22Z

by Panetto, Hervé. editor.
https://doi.org/10.1007/978-3-030-02671-4
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2024-06-07T20:01:22Z

by Russo, Alessandra. editor. (orcid)0000-0002-3318-8711
https://doi.org/10.1007/978-3-319-89363-1
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-06-07T20:01:22Z

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

Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings

2024-06-07T20:01:22Z

by Younas, Muhammad. editor.
https://doi.org/10.1007/978-3-319-97163-6
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Au, Man Ho. editor. (orcid)0000-0003-2068-9530
https://doi.org/10.1007/978-3-030-02744-5
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-06-07T20:01:22Z

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

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2024-06-07T20:01:22Z

by Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X
https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Casimiro, António. editor. (orcid)0000-0002-5522-5739
https://doi.org/10.1007/978-3-319-92432-8
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

2024-06-07T20:01:22Z

by Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918
https://doi.org/10.1007/978-3-319-91662-0
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Pahl, Claus. editor.
https://doi.org/10.1007/978-3-030-03596-9
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-06-07T20:01:22Z

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

Fundamentals of Business Process Management

2024-06-07T20:01:22Z

by Dumas, Marlon. author.
https://doi.org/10.1007/978-3-662-56509-4
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-06-07T20:01:22Z

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

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-06-07T20:01:22Z

by Bonomi, Silvia. editor.
https://doi.org/10.1007/978-3-319-93767-0
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Reliability Aspect of Cloud Computing Environment

2024-06-07T20:01:22Z

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

Capability Management in Digital Enterprises

2024-06-07T20:01:22Z

by Sandkuhl, Kurt. editor.
https://doi.org/10.1007/978-3-319-90424-5
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by 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-06-07T20:01:22Z

by Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829
https://doi.org/10.1007/978-3-319-94460-9
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes

2024-06-07T20:01:22Z

by Kneuper, Ralf. author.
https://doi.org/10.1007/978-3-319-98845-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-06-07T20:01:22Z

by Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351
https://doi.org/10.1007/978-3-319-99704-9
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-06-07T20:01:22Z

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

Information Systems: Research, Development, Applications, Education 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings

2024-06-07T20:01:22Z

by Wrycza, Stanisław. editor.
https://doi.org/10.1007/978-3-030-00060-8
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-06-07T20:01:22Z

by Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-00353-1
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Abdelwahed, El Hassan. editor.
https://doi.org/10.1007/978-3-030-00856-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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Ferrari, Vittorio. editor.
https://doi.org/10.1007/978-3-030-01270-0
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design

2024-06-07T20:01:22Z

by Vaziri, Daryoush Daniel. author.
https://doi.org/10.1007/978-3-658-22875-0
Format: Electronic Resources

Thread and Data Mapping for Multicore Systems Improving Communication and Memory Accesses

2024-06-07T20:01:22Z

by H. M. Cruz, Eduardo. author.
https://doi.org/10.1007/978-3-319-91074-1
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

2024-06-07T20:01:22Z

by Cremers, Cas. editor. (orcid)0000-0003-0322-2293
https://doi.org/10.1007/978-3-030-04762-7
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by 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-06-07T20:01:22Z

by 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-06-07T20:01:22Z

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

Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings

2024-06-07T20:01:22Z

by Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-99639-4
Format: Electronic Resources

Building Information Modeling Technology Foundations and Industry Practice

2024-06-07T20:01:22Z

by Borrmann, André. editor.
https://doi.org/10.1007/978-3-319-92862-3
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

2024-06-07T20:01:22Z

by Kari, Jarkko. editor. (orcid)0000-0003-0670-6138
https://doi.org/10.1007/978-3-319-99498-7
Format: Electronic Resources

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams

2024-06-07T20:01:22Z

by Roman, Adam. author.
https://doi.org/10.1007/978-3-319-98740-8
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-030-03424-5
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-06-07T20:01:22Z

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

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

2024-06-07T20:01:22Z

by de Supinski, Bronis R. editor.
https://doi.org/10.1007/978-3-319-98521-3
Format: Electronic Resources

Graph Drawing and Network Visualization 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Frati, Fabrizio. editor. (orcid)0000-0001-5987-8713
https://doi.org/10.1007/978-3-319-73915-1
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

2024-06-07T20:01:22Z

by Ham, Jaap. editor. (orcid)0000-0003-1703-5165
https://doi.org/10.1007/978-3-319-78978-1
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by German, Reinhard. editor.
https://doi.org/10.1007/978-3-319-74947-1
Format: Electronic Resources

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

2024-06-07T20:01:22Z

by Kurosu, Masaaki. editor.
https://doi.org/10.1007/978-3-319-91250-9
Format: Electronic Resources

Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2024-06-07T20:01:22Z

by Chen, Jessie Y.C. editor.
https://doi.org/10.1007/978-3-319-91584-5
Format: Electronic Resources

Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings

2024-06-07T20:01:22Z

by Cheung, Simon K.S. editor.
https://doi.org/10.1007/978-3-319-94505-7
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
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-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

by Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
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-06-07T20:01:22Z

by 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 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Cloud Infrastructures, Services, and IoT Systems for Smart Cities Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings

2024-06-07T20:01:22Z

by Longo, Antonella. editor.
https://doi.org/10.1007/978-3-319-67636-4
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2024-06-07T20:01:22Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2024-06-07T20:01:22Z

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

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

2024-06-07T20:01:22Z

by Ham, Jaap. editor. (orcid)0000-0003-1703-5165
https://doi.org/10.1007/978-3-319-91593-7
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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

Advances in Conceptual Modeling ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings

2024-06-07T20:01:22Z

by Woo, Carson. editor.
https://doi.org/10.1007/978-3-030-01391-2
Format: Electronic Resources

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

2024-06-07T20:01:22Z

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

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

2024-06-07T20:01:22Z

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