Rakuten Kobo

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Edited by Alessandro Cimatti, Marjan Sirjani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software
... Read more
Human-Computer Interaction – INTERACT 2017

16th IFIP TC 13 International Conference, Mumbai, India, September 25–29, 2017, Proceedings, Part III

Edited by Regina Bernhaupt, Girish Dalvi, Anirudha Joshi, Devanuj K. Balkrishan, Jacki O'Neill, Marco Winckler ...

Series Book 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 10513—10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017.The total of 68 papers presented in these books was carefully reviewed and selected from 221 submissions. The contributions are organized in topical sections named:Part I: adaptive design and mobile ... Read more

$49.49 USD

The four-volume set LNCS 10513—10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017.The total of 68 papers presented in these books was carefully reviewed and selected from 221 submissions. The contributions are organized in topical sections named:Part I: adaptive design and mobile
... Read more
Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Edited by Rupak Majumdar, Viktor Kunčak ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is ... Read more

$49.49 USD

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is
... Read more
Programming and Performance Visualization Tools

International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

Edited by Abhinav Bhatele, David Boehme, Joshua A. Levine, Allen D. Malony, Martin Schulz ...

Series series Springer Nature Proceedings Computer Science
This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International ... Read more

$58.49 USD

This book contains the revised selected papers of 4 workshops held in conjunction with the International Conference on High Performance Computing, Networking, Storage and Analysis (SC) in November 2017 in Denver, CO, USA, and in November 2018 in Dallas, TX, USA: the 6th and 7th International Workshop on Extreme-Scale Programming Tools, ESPT 2017 and ESPT 2018, and the 4th and 5th International
... Read more
HCI for Cybersecurity, Privacy and Trust

First International Conference, HCI-CPT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

Edited by Abbas Moallem ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the First International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT 2019, which was held as part of the 21st HCI International Conference, HCII 2019, in Orlando, FL, USA, in July 2019.The total of 1275 papers and 209 posters included in the 35 HCII 2019 proceedings volumes were carefully reviewed and selected from ... Read more

$49.49 USD

This book constitutes the thoroughly refereed proceedings of the First International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT 2019, which was held as part of the 21st HCI International Conference, HCII 2019, in Orlando, FL, USA, in July 2019.The total of 1275 papers and 209 posters included in the 35 HCII 2019 proceedings volumes were carefully reviewed and selected from
... Read more
Human-Computer Interaction – INTERACT 2019

17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part II

Edited by David Lamas, Fernando Loizides, Lennart Nacke, Helen Petrie, Marco Winckler, Panayiotis Zaphiris ...

Series Book 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11746–11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in ... Read more

$89.09 USD

The four-volume set LNCS 11746–11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in
... Read more
AI*IA 2018 – Advances in Artificial Intelligence

XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings

Edited by Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018.The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018.The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge
... Read more
Social Computing and Social Media: Applications in Marketing, Learning, and Health

13th International Conference, SCSM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II

Edited by Gabriele Meiselwitz ...

Series Book 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12774 and 12775 constitutes the refereed proceedings of the 13th International Conference on Social Computing and Social Media, SCSM 2021, held as part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 241 posters included in the 39 HCII 2021 ... Read more

$49.49 USD

This two-volume set LNCS 12774 and 12775 constitutes the refereed proceedings of the 13th International Conference on Social Computing and Social Media, SCSM 2021, held as part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually.The total of 1276 papers and 241 posters included in the 39 HCII 2021
... Read more
Computer Simulations of Space Societies

by William Sims Bainbridge ...

Series series Computer Science (R0)
At the intersection of astronautics, computer science, and social science, this book introduces the challenges and insights associated with computer simulation of human society in outer space, and of the dynamics of terrestrial enthusiasm for space exploration. Never before have so many dynamic representations of space-related social systems existed, some deeply analyzing the logical implications ... Read more

$107.09 USD

At the intersection of astronautics, computer science, and social science, this book introduces the challenges and insights associated with computer simulation of human society in outer space, and of the dynamics of terrestrial enthusiasm for space exploration. Never before have so many dynamic representations of space-related social systems existed, some deeply analyzing the logical implications
... Read more
Dependable Software Engineering. Theories, Tools, and Applications

4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Edited by Xinyu Feng, Markus Müller-Olm, Zijiang Yang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.The purpose of SETTA is to provide an international forum for researchers and ... Read more

$49.49 USD

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories,Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.The purpose of SETTA is to provide an international forum for researchers and
... Read more
Principles and Structures of FPGAs

Edited by Hideharu Amano ...

This comprehensive textbook on the field programmable gate array (FPGA) covers its history, fundamental knowledge, architectures, device technologies, computer-aided design technologies, design tools, examples of application, and future trends. Programmable logic devices represented by FPGAs have been rapidly developed in recent years and have become key electronic devices used in most IT products ... Read more

$188.09 USD

This comprehensive textbook on the field programmable gate array (FPGA) covers its history, fundamental knowledge, architectures, device technologies, computer-aided design technologies, design tools, examples of application, and future trends. Programmable logic devices represented by FPGAs have been rapidly developed in recent years and have become key electronic devices used in most IT products
... Read more
Blockchain Quick Start Guide

A beginner's guide to developing enterprise-grade decentralized applications

by Xun (Brian) Wu, Weimin Sun ...

Learn quick and effective techniques to get up and running with building blockchain including Ethereum and Hyperledger Fabric.Key FeaturesUnderstand the key concepts of decentralized applications and consensus algorithmsLearn key concepts of Ethereum and Solidity programmingPractical guide to get started with build efficient Blockchain applications with Ethereum and HyperledgerBook ... Read more

$25.69 USD or Free with Kobo Plus

Learn quick and effective techniques to get up and running with building blockchain including Ethereum and Hyperledger Fabric.Key FeaturesUnderstand the key concepts of decentralized applications and consensus algorithmsLearn key concepts of Ethereum and Solidity programmingPractical guide to get started with build efficient Blockchain applications with Ethereum and HyperledgerBook
... Read more
Learning FPGAs

Digital Design for Beginners with Mojo and Lucid HDL

by Justin Rajewski ...

Learn how to design digital circuits with FPGAs (field-programmable gate arrays), the devices that reconfigure themselves to become the very hardware circuits you set out to program. With this practical guide, author Justin Rajewski shows you hands-on how to create FPGA projects, whether you’re a programmer, engineer, product designer, or maker. You’ll quickly go from the basics to designing your ... Read more

$30.99 USD

Learn how to design digital circuits with FPGAs (field-programmable gate arrays), the devices that reconfigure themselves to become the very hardware circuits you set out to program. With this practical guide, author Justin Rajewski shows you hands-on how to create FPGA projects, whether you’re a programmer, engineer, product designer, or maker. You’ll quickly go from the basics to designing your
... Read more
Human Subject Research for Engineers

A Practical Guide

by Dimitra Dodou, Joost C.F. de Winter ...

Series series Engineering (R0)
This Brief introduces engineers to the main principles in ethics, research design, statistics, and publishing of human subject research. In recent years, engineering has become strongly connected to disciplines such as biology, medicine, and psychology. Often, engineers (and engineering students) are expected to perform human subject research. Typical human subject research topics conducted by ... Read more

$49.49 USD

This Brief introduces engineers to the main principles in ethics, research design, statistics, and publishing of human subject research. In recent years, engineering has become strongly connected to disciplines such as biology, medicine, and psychology. Often, engineers (and engineering students) are expected to perform human subject research. Typical human subject research topics conducted by
... Read more
Computer Vision – ECCV 2026

19th European Conference, Malmö, Sweden, September 8–12, 2026, Proceedings, Part LXX

Edited by Paolo Favaro, Zuzana Kukelova, Atsuto Maki, Anna Rohrbach, Konrad Schindler, Federico Tombari ...

Series series Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine ... Read more

$49.49 USD

The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine
... Read more
Innovative Approaches of Data Visualization and Visual Analytics

Edited by Mao Lin Huang, Weidong Huang ...

Due to rapid advances in hardware and software technologies, network infrastructure and data have become increasingly complex, requiring efforts to more effectively comprehend and analyze network topologies and information systems. Innovative Approaches of Data Visualization and Visual Analytics evaluates the latest trends and developments in force-based data visualization techniques, addressing ... Read more

$170.99 USD

PRE-ORDER

Due to rapid advances in hardware and software technologies, network infrastructure and data have become increasingly complex, requiring efforts to more effectively comprehend and analyze network topologies and information systems. Innovative Approaches of Data Visualization and Visual Analytics evaluates the latest trends and developments in force-based data visualization techniques, addressing
... Read more
Automotive Systems Engineering

Edited by Hermann Winner, Markus Maurer ...

Series series Engineering (R0)
This book reflects the shift in design paradigm in automobile industry. It presents future innovations, often referred as “automotive systems engineering”. These cause fundamental innovations in the field of driver assistance systems and electro-mobility as well as fundamental changes in the architecture of the vehicles. New driving functionalities can only be realized if the software programs of ... Read more

$170.09 USD

This book reflects the shift in design paradigm in automobile industry. It presents future innovations, often referred as “automotive systems engineering”. These cause fundamental innovations in the field of driver assistance systems and electro-mobility as well as fundamental changes in the architecture of the vehicles. New driving functionalities can only be realized if the software programs of
... Read more
Programming Language Concepts

by Peter Sestoft ...

Series series Computer Science (R0)
Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, and garbage collection techniques, as well as the more advanced ... Read more

$49.49 USD

Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, and garbage collection techniques, as well as the more advanced
... Read more
Computational Intelligence in Sustainable Computing and Optimization

Trends and Applications

Edited by Balamurugan Balusamy, Vinayakumar Ravi, Rajesh Kumar Dhanaraj, Sudha Senthilkumar, Brindha K ...

Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications focuses on developing and evolving advanced computational intelligence algorithms for the analysis of data involved in applications, such as agriculture, biomedical systems, bioinformatics, business intelligence, economics, disaster management, e-learning, education management, financial management, and ... Read more

$161.99 USD

Computational Intelligence in Sustainable Computing and Optimization: Trends and Applications focuses on developing and evolving advanced computational intelligence algorithms for the analysis of data involved in applications, such as agriculture, biomedical systems, bioinformatics, business intelligence, economics, disaster management, e-learning, education management, financial management, and
... Read more
PsychometricLLaMA

Training des LLaMA 2-Sprachmodells zur psychometrischen Skalengenerierung

by Björn Thorben Gilles ...

Series series Psychology (German Language)
Die rasante Entwicklung generativer Sprachmodelle eröffnet neue Möglichkeiten der psychologischen Skalenentwicklung. Diese prä-registrierte Arbeit untersucht den Einsatz von Sprachmodellen zur automatischen Generierung von Likert-Items, aufbauend auf bisherigen Ansätzen. Ein neuer Datensatz wurde durch eine systematische Literaturrecherche erstellt und mit bestehenden Quellen kombiniert, um das ... Read more

$53.99 USD

Die rasante Entwicklung generativer Sprachmodelle eröffnet neue Möglichkeiten der psychologischen Skalenentwicklung. Diese prä-registrierte Arbeit untersucht den Einsatz von Sprachmodellen zur automatischen Generierung von Likert-Items, aufbauend auf bisherigen Ansätzen. Ein neuer Datensatz wurde durch eine systematische Literaturrecherche erstellt und mit bestehenden Quellen kombiniert, um das
... Read more
Smart Medical Imaging for Diagnosis and Treatment Planning

Edited by Nilanjan Dey, Bitan Misra, Sayan Chakraborty ...

This book presents advanced research on smart health technologies, focusing on the innovative transformations in diagnosis and treatment planning using medical imaging and data analysed by data science techniques. It shows how smart health technologies leverage artificial intelligence (AI) and big data analytics to provide more accurate and efficient diagnosis and treatment planning. In search for ... Read more

$233.99 USD

This book presents advanced research on smart health technologies, focusing on the innovative transformations in diagnosis and treatment planning using medical imaging and data analysed by data science techniques. It shows how smart health technologies leverage artificial intelligence (AI) and big data analytics to provide more accurate and efficient diagnosis and treatment planning. In search for
... Read more
Hyper-Segmented Marketing

Using Machine Learning to Target Micro-Tribes

by Andrei Brilliantes ...

Stop Broadcasting. Start Resonating.Mass marketing is dying a quiet, data-driven death. Audiences are fragmented, ad blockers are everywhere, and consumers tune out anything that feels generic. The ROI of shouting at everyone is collapsing — and the cost of staying generic is climbing.Hyper-Segmented Marketing: Using Machine Learning to Target Micro-Tribes is the playbook for marketers who are ... Read more

$3.99 USD or Free with Kobo Plus

Stop Broadcasting. Start Resonating.Mass marketing is dying a quiet, data-driven death. Audiences are fragmented, ad blockers are everywhere, and consumers tune out anything that feels generic. The ROI of shouting at everyone is collapsing — and the cost of staying generic is climbing.Hyper-Segmented Marketing: Using Machine Learning to Target Micro-Tribes is the playbook for marketers who are
... Read more
The Enterprise Big Data Framework

Building Critical Capabilities to Win in the Data Economy

by Jan-Willem Middelburg ...

Businesses who can make sense of the huge influx and complexity of data will be the big winners in the information economy.This comprehensive guide covers all the aspects of transforming enterprise data into value, from the initial set-up of a big data strategy, towards algorithms, architecture and data governance processes. Using a vendor-independent approach, The Enterprise Big Data Framework ... Read more

$53.99 USD

Businesses who can make sense of the huge influx and complexity of data will be the big winners in the information economy.This comprehensive guide covers all the aspects of transforming enterprise data into value, from the initial set-up of a big data strategy, towards algorithms, architecture and data governance processes. Using a vendor-independent approach, The Enterprise Big Data Framework
... Read more
Learning and Collaboration Technologies

10th International Conference, LCT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I

Edited by Panayiotis Zaphiris, Andri Ioannou ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set of LCT 2023, constitutes the refereed proceedings of the 10th International Conference on Learning and Collaboration Technologies, LCT 2023, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed ... Read more

$80.09 USD

This two-volume set of LCT 2023, constitutes the refereed proceedings of the 10th International Conference on Learning and Collaboration Technologies, LCT 2023, held as Part of the 24th International Conference, HCI International 2023, which took place in July 2023 in Copenhagen, Denmark.The total of 1578 papers and 396 posters included in the HCII 2023 proceedings volumes was carefully reviewed
... 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: