Skip to main content Skip to footer content

Immersive Learning Research Network: 5th International Conference, iLRN 2019, London, UK, June 23–27, 2019, Proceedings

Edited by Dennis Beck

Jun 15, 2019

$60.99 ~~Price reduced from $75.48 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Communications in Computer and Information Science

Publisher: Springer International Publishing

ISBN: 9783030230890

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Tiziana Margaria Paperback
$116.95
2 formats available
Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Jordi Cabot Paperback
$80.50
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

Tiziana Margaria Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Tiziana Margaria Paperback
$102.50
2 formats available
Engineering Psychology and Cognitive Ergonomics. Cognition and Design: 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II

Don Harris Paperback
$80.50
2 formats available
Universal Access in Human-Computer Interaction. Applications and Services: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part IV

Constantine Stephanidis Paperback
$160.95
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I

Tiziana Margaria Paperback
$145.95
2 formats available
Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments: 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Margherita Antona Paperback
$80.50
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Tiziana Margaria Paperback
$145.95
2 formats available
Human Interface and the Management of Information: Visual and Information Design: Thematic Area, HIMI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Sakae Yamamoto Paperback
$145.95
2 formats available
Engineering Psychology and Cognitive Ergonomics: 18th International Conference, EPCE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings

Don Harris Paperback
$80.50
2 formats available
Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Lucas Lima Paperback
$87.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Tiziana Margaria Paperback
$116.95
2 formats available
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV

Tiziana Margaria Paperback
$109.50
2 formats available
Structural Information and Communication Complexity: 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings

Christian Scheideler Paperback
$80.50
Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion: 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

Constantine Stephanidis Paperback
$80.50
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV

Tiziana Margaria Paperback
$80.50
2 formats available

Editorial reviews

dennis beck

Author

Big Data Technology and Applications: First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings

Wenguang Chen Paperback
$80.50
2 formats available
Computer-Human Interaction Research and Applications: 4th International Conference, CHIRA 2020, Virtual Event, November 5-6, 2020, Revised Selected Papers

Andreas Holzinger Paperback
$102.50
2 formats available
Service-oriented Computing: 15th Symposium And Summer School, Summersoc 2021, Virtual Event, September 13-17, 2021, Proceedings

Johanna Barzen Paperback
$102.50
2 formats available
Serviceology For Services: 7th International Conference, Icserv 2020, Osaka, Japan, March 13-15, 2020, Proceedings

Takeshi Takenaka Paperback
$80.50
2 formats available
Software Technologies: 15th International Conference, Icsoft 2020, Online Event, July 7-9, 2020, Revised Selected Papers

Marten van Sinderen Paperback
$80.50
2 formats available
ICT for Health, Accessibility and Wellbeing: First International Conference, IHAW 2021, Larnaca, Cyprus, November 8-9, 2021, Revised Selected Papers

Edwige Pissaloux Paperback
$124.50
2 formats available
Formal Techniques For Safety-critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers

Osman Hasan Paperback
$80.50
2 formats available
Software Foundations For Data Interoperability: 5th International Workshop, Sfdi 2021, Copenhagen, Denmark, August 16, 2021, Revised Selected Papers

George Fletcher Paperback
$102.50
2 formats available
ICT for Health, Accessibility and Wellbeing: Second International Conference, IHAW 2022, Larnaca, Cyprus, December 5-7, 2022, Revised Selected Papers

George Angelos Papadopoulos Paperback
$124.50
2 formats available
Deployable Machine Learning For Security Defense: Second International Workshop, MLHat 2021, Virtual Event, August 15, 2021, Proceedings

Gang Wang Paperback
$102.50
2 formats available
Systems Modelling And Management: First International Conference, Icsmm 2020, Bergen, Norway, June 25-26, 2020, Proceedings

Önder Babur Paperback
$80.50
2 formats available
Service-Oriented Computing: 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020

Schahram Dustdar Paperback
$80.50
2 formats available
Collaboration Technologies And Social Computing: 8th International Conference, Collabtech 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings

Takashi Yoshino Paperback
$80.50
2 formats available
Modeling, Machine Learning and Astronomy: First International Conference, MMLA 2019, Bangalore, India, November 22-23, 2019, Revised Selected Papers

Snehanshu Saha Paperback
$80.50
2 formats available
Security And Privacy In Social Networks And Big Data: 6th International Symposium, Socialsec 2020, Tianjin, China, September 26-27, 2020, Proceedings

Yang Xiang Paperback
$80.50
2 formats available
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers

Slimane Hammoudi Paperback
$80.50
2 formats available
Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho Paperback
$80.50
2 formats available
Applied Machine Learning and Data Analytics: 6th International Conference, AMLDA 2023, Lubeck, Germany, November 9-10, 2023, Revised Selected Papers

M.a. Jabbar Paperback
$116.95
2 formats available
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers

Guadalupe Ortiz Paperback
$80.50
2 formats available
VR/AR and 3D Displays: First International Conference, ICVRD 2020, Hangzhou, China, December 20, 2020, Revised Selected Papers

Weitao Song Paperback
$80.50
2 formats available