Rakuten Kobo

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

Edited by Christel Baier, Luís Caires ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. ... Read more

$49.99 USD

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions.
... Read more
Theory and Practice of Model Transformation

11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Edited by Arend Rensink, Jesús Sánchez Cuadrado ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of
... Read more
Structured Object-Oriented Formal Language and Method

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Edited by Shaoying Liu, Zhenhua Duan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions.The focus of this workshops was on following subjects: Modeling, specification, ... Read more

$49.99 USD

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions.The focus of this workshops was on following subjects: Modeling, specification,
... Read more
Scaling OpenMP for Exascale Performance and Portability

13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings

Edited by Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman, Matthias S. Müller ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking; ... Read more

$49.99 USD

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017.The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: Advanced Implementations and Extensions; OpenMP Application Studies; Analyzing and Extending Tasking;
... Read more
Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness

14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Edited by Don Harris ...

Series Book 1 - Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing ... Read more

$49.99 USD

This book constitutes the proceedings of the 14th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers thoroughly cover the entire field of Human-Computer Interaction, addressing
... Read more
Collaboration Technologies and Social Computing

9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8–10, 2017, Proceedings

Edited by Takashi Yoshino, Takaya Yuizono, Gustavo Zurita, Julita Vassileva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Collaboration Technologies, CollabTech 2017, held in Saskatoon, SK, Canada, in August 2017.The 10 revised full papers presented in this book together with 6 short papers were carefully reviewed and selected from 37 submissions. The papers focus on topics such as: CSCW system architectures and applications; social ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 9th International Conference on Collaboration Technologies, CollabTech 2017, held in Saskatoon, SK, Canada, in August 2017.The 10 revised full papers presented in this book together with 6 short papers were carefully reviewed and selected from 37 submissions. The papers focus on topics such as: CSCW system architectures and applications; social
... Read more
Programming Languages and Systems

26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Edited by Hongseok Yang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in ... Read more

$89.99 USD

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in
... Read more
Social Computing and Social Media. Human Behavior

9th International Conference, SCSM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Edited by Gabriele Meiselwitz ...

Series Book 1 - Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Conference on Social Computing and Social Media, SCSM 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers ... Read more

$49.99 USD

This book constitutes the proceedings of the 9th International Conference on Social Computing and Social Media, SCSM 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers
... Read more
Human-Computer Interaction

Thematic Area, HCI 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part V

Edited by Masaaki Kurosu, Ayako Hashizume ...

Series Book 5 - Springer Nature Proceedings Computer Science
This five-volume set LNCS 14684-14688 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 26 International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29 – July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully reviewed and selected from 5108 submissions.The ... Read more

$80.99 USD

This five-volume set LNCS 14684-14688 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 26 International Conference on Human-Computer Interaction, HCII 2024, held in Washington, DC, USA, during June 29 – July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully reviewed and selected from 5108 submissions.The
... Read more
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Edited by K. Narayan Kumar, Deepak D'Souza ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in
... Read more
Design, User Experience, and Usability. Case Studies in Public and Personal Interactive Systems

9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III

Edited by Aaron Marcus, Elizabeth Rosenzweig ...

Series Book 3 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, DUXU 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238
... Read more
Foundations of Data Intensive Applications

Large Scale Data Analytics under the Hood

by Supun Kamburugamuve, Saliya Ekanayake ...

PEEK “UNDER THE HOOD” OF BIG DATA ANALYTICSThe world of big data analytics grows ever more complex. And while many people can work superficially with specific frameworks, far fewer understand the fundamental principles of large-scale, distributed data processing systems and how they operate. In Foundations of Data Intensive Applications: Large Scale Data Analytics under the Hood, renowned big-data ... Read more

$33.00 USD

PEEK “UNDER THE HOOD” OF BIG DATA ANALYTICSThe world of big data analytics grows ever more complex. And while many people can work superficially with specific frameworks, far fewer understand the fundamental principles of large-scale, distributed data processing systems and how they operate. In Foundations of Data Intensive Applications: Large Scale Data Analytics under the Hood, renowned big-data
... Read more
Design Tools and Methods in Industrial Engineering III

Proceedings of the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, September 6–8, 2023, Florence, Italy, Volume 1

Edited by Monica Carfagni, Rocco Furferi, Paolo Di Stefano, Lapo Governi, Francesco Gherardini ...

Series series Springer Nature Proceedings excluding Computer Science
This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and other relevant industrial sectors. Based on contributions to the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, held on September 6–8, 2023, in ... Read more

$188.99 USD

This book gathers original peer-reviewed papers reporting on innovative methods and tools in design, modeling, simulation and optimization, and their applications in engineering design, manufacturing, and other relevant industrial sectors. Based on contributions to the Third International Conference on Design Tools and Methods in Industrial Engineering, ADM 2023, held on September 6–8, 2023, in
... Read more
Blended Learning : Lessons Learned and Ways Forward

16th International Conference on Blended Learning, ICBL 2023, Hong Kong, China, July 17-20, 2023, Proceedings

Edited by Chen Li, Simon K. S. Cheung, Fu Lee Wang, Angel Lu, Lam For Kwok ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Blended Learning, ICBL 2023, held in Hong Kong, China, on July 17-20, 2023.The 24 papers presented in this volume were carefully reviewed and selected from 57 submissions.The papers are organized in topical sections named: smart classroom and digital literacy; online and distant learning; content and pedagogy ... Read more

$71.99 USD

This book constitutes the refereed proceedings of the 16th International Conference on Blended Learning, ICBL 2023, held in Hong Kong, China, on July 17-20, 2023.The 24 papers presented in this volume were carefully reviewed and selected from 57 submissions.The papers are organized in topical sections named: smart classroom and digital literacy; online and distant learning; content and pedagogy
... Read more
Multigrammatical Framework for Knowledge-Based Digital Economy

by Igor A. Sheremet ...

Series series Computer Science (R0)
This monograph introduces a novel multiset-based conceptual, mathematical and knowledge engineering paradigm, called multigrammatical framework (MGF), used for planning and scheduling in resource-consuming, resource-producing (industrial) and resource-distributing (economical) sociotechnological systems (STS). This framework is meant to enable smart operation not only in a “business-as-usual” mode ... Read more

$188.99 USD

This monograph introduces a novel multiset-based conceptual, mathematical and knowledge engineering paradigm, called multigrammatical framework (MGF), used for planning and scheduling in resource-consuming, resource-producing (industrial) and resource-distributing (economical) sociotechnological systems (STS). This framework is meant to enable smart operation not only in a “business-as-usual” mode
... Read more
Fundamentals of Java Programming

by Mitsunori Ogihara ...

Series series Computer Science (R0)
Making extensive use of examples, this textbook on Java programming teaches the fundamental skills for getting started in a command-line environment. Meant to be used for a one-semester course to build solid foundations in Java, Fundamentals of Java Programming eschews second-semester content to concentrate on over 180 code examples and 250 exercises.Key object classes (String, Scanner, ... Read more

$49.99 USD

Making extensive use of examples, this textbook on Java programming teaches the fundamental skills for getting started in a command-line environment. Meant to be used for a one-semester course to build solid foundations in Java, Fundamentals of Java Programming eschews second-semester content to concentrate on over 180 code examples and 250 exercises.Key object classes (String, Scanner,
... Read more
Distributed Machine Learning Patterns

by Yuan Tang ...

Practical patterns for scaling machine learning from your laptop to a distributed cluster.Distributing machine learning systems allow developers to handle extremely large datasets across multiple clusters, take advantage of automation tools, and benefit from hardware accelerations. This book reveals best practice techniques and insider tips for tackling the challenges of scaling machine learning ... Read more

$58.99 USD

Practical patterns for scaling machine learning from your laptop to a distributed cluster.Distributing machine learning systems allow developers to handle extremely large datasets across multiple clusters, take advantage of automation tools, and benefit from hardware accelerations. This book reveals best practice techniques and insider tips for tackling the challenges of scaling machine learning
... Read more
Bayesian Optimization in Action

by Quan Nguyen ...

Series series In Action
Bayesian optimization helps pinpoint the best configuration for your machine learning models with speed and accuracy. Put its advanced techniques into practice with this hands-on guide.In Bayesian Optimization in Action you will learn how to:Train Gaussian processes on both sparse and large data setsCombine Gaussian processes with deep neural networks to make them flexible and expressiveFind the ... Read more

$58.99 USD

Bayesian optimization helps pinpoint the best configuration for your machine learning models with speed and accuracy. Put its advanced techniques into practice with this hands-on guide.In Bayesian Optimization in Action you will learn how to:Train Gaussian processes on both sparse and large data setsCombine Gaussian processes with deep neural networks to make them flexible and expressiveFind the
... Read more
225 AI Powered Prompts : Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas

by Prabhakar Veeraraghavan ...

225 AI-Powered Prompts Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas!!Unlock the Power of AI to Transform Your Business!Are you ready to supercharge your business with the limitless potential of AI? "225 AI Powered Prompts: Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas" is your ultimate guide to unlocking creativity, boosting ... Read more

$8.99 USD or Free with Kobo Plus

225 AI-Powered Prompts Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas!!Unlock the Power of AI to Transform Your Business!Are you ready to supercharge your business with the limitless potential of AI? "225 AI Powered Prompts: Boost Your Business with Digital Products, Landing Pages, and Social Media Ideas" is your ultimate guide to unlocking creativity, boosting
... Read more
Visualization Psychology

Edited by Danielle Albers Szafir, Rita Borgo, Min Chen, Darren J. Edwards, Brian Fisher, Lace Padilla ...

Series series Behavioral Science and Psychology (R0)
This book designates Visualization Psychology as an interdisciplinary subject. The book contains literature reviews and experimental works that exemplify a range of open questions at this critical intersection. It also includes discourses that envision how the subject may be developed in the coming years and decades.The field of visualization is a rich playground for discovering new knowledge in ... Read more

$179.09 USD

This book designates Visualization Psychology as an interdisciplinary subject. The book contains literature reviews and experimental works that exemplify a range of open questions at this critical intersection. It also includes discourses that envision how the subject may be developed in the coming years and decades.The field of visualization is a rich playground for discovering new knowledge in
... Read more
Knowledge Engineering Tools and Techniques for AI Planning

Edited by Mauro Vallati, Diane Kitchin ...

Series series Computer Science (R0)
This book presents a comprehensive review for Knowledge Engineering tools and techniques that can be used in Artificial Intelligence Planning and Scheduling. KE tools can be used to aid in the acquisition of knowledge and in the construction of domain models, which this book will illustrate.AI planning engines require a domain model which captures knowledge about how a particular domain works - e ... Read more

$179.09 USD

This book presents a comprehensive review for Knowledge Engineering tools and techniques that can be used in Artificial Intelligence Planning and Scheduling. KE tools can be used to aid in the acquisition of knowledge and in the construction of domain models, which this book will illustrate.AI planning engines require a domain model which captures knowledge about how a particular domain works - e
... Read more
Scalable Disruptors

Design Modelling Symposium Kassel 2024

Edited by Philipp Eversmann, Christoph Gengnagel, Julian Lienhard, Mette Ramsgaard Thomsen, Jan Wurm ...

Series series Springer Nature Proceedings excluding Computer Science
This book reflects and expands on current trends in the Architecture, Engineering and Construction (AEC) industries as they respond to the unfolding climate and biodiversity crisis. Shifting away from the traditional focuses, which are narrowly centered on efficiency, this book presents a variety of approaches to move the AEC community from a linear, extractive paradigm to circular and ... Read more

$296.09 USD

This book reflects and expands on current trends in the Architecture, Engineering and Construction (AEC) industries as they respond to the unfolding climate and biodiversity crisis. Shifting away from the traditional focuses, which are narrowly centered on efficiency, this book presents a variety of approaches to move the AEC community from a linear, extractive paradigm to circular and
... Read more
Network and Parallel Computing

20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7–8, 2024, Proceedings, Part I

Edited by Xu Chen, Geyong Min, Deke Guo, Xia Xie, Lingjun Pu ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two part LNCS 15227 and 15528 volumes constitutes the proceedings of the 20th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2024, which was held in Haikou, China, during December 7–8, 2024.The 76 full papers presented in this volume were carefully reviewed and selected from 200 submissions. They are organized according to the following topics:Part-I : High ... Read more

$80.99 USD

This two part LNCS 15227 and 15528 volumes constitutes the proceedings of the 20th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2024, which was held in Haikou, China, during December 7–8, 2024.The 76 full papers presented in this volume were carefully reviewed and selected from 200 submissions. They are organized according to the following topics:Part-I : High
... Read more
HCI International 2025 Posters

27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part VIII

Edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy ...

Series Book 8 - Springer Nature Proceedings Computer Science
The eight-volume set, CCIS 2522-2529, constitutes the extended abstracts of the posters presented during the 27th International Conference on Human-Computer Interaction, HCII 2025, held in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings were carefully reviewed and selected from 7972 submissions.The papers presented in these ... Read more

$98.09 USD

The eight-volume set, CCIS 2522-2529, constitutes the extended abstracts of the posters presented during the 27th International Conference on Human-Computer Interaction, HCII 2025, held in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings were carefully reviewed and selected from 7972 submissions.The papers presented in these
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Programming eBooks

Show: