Rakuten Kobo

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series Book 1 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

Free

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Read more
AWS DevOps Simplified

Build a solid foundation in AWS to deliver enterprise-grade software solutions at scale

by Akshay Kapoor ...

The complete guide to increasing the DevOps maturity of your organization while adhering to AWS' well-architected principlesKey FeaturesIncrease your organization’s DevOps maturity level from both strategic and tactical standpointGet hands-on AWS experience with ready-to-deploy code examples covering enterprise scenariosAdvance your career with practical advice to ensure customer satisfaction and ... Read more

$37.79 USD or Free with Kobo Plus

The complete guide to increasing the DevOps maturity of your organization while adhering to AWS' well-architected principlesKey FeaturesIncrease your organization’s DevOps maturity level from both strategic and tactical standpointGet hands-on AWS experience with ready-to-deploy code examples covering enterprise scenariosAdvance your career with practical advice to ensure customer satisfaction and
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Read more

$49.49 USD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Read more
Software Ecosystems, Sustainability and Human Values in the Social Web

8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, October 22, 2018, Revised Selected Papers

Edited by Rodrigo Pereira dos Santos, Cristiano Maciel, José Viterbo ...

Series series Springer Nature Proceedings Computer Science
This book constitutes extended revised selected papers presented during the 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, held in Joinville, Brazil, in October 2017, and during the 9th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2018, held in Belém, Brazil, in October 2018.The 5 full papers presented were thoroughly reviewed and ... Read more

$49.49 USD

This book constitutes extended revised selected papers presented during the 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, held in Joinville, Brazil, in October 2017, and during the 9th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2018, held in Belém, Brazil, in October 2018.The 5 full papers presented were thoroughly reviewed and
... Read more
Cross-Site Scripting Attacks

Classification, Attack, and Countermeasures

by Pooja Chaudhary, B. B. Gupta ...

Series series Security, Privacy, and Trust in Mobile Communications
Social network usage has increased exponentially in recent years. Platforms like Facebook, Twitter, Google+, LinkedIn and Instagram, not only facilitate sharing of personal data but also connect people professionally. However, development of these platforms with more enhanced features like HTML5, CSS, XHTML and Java Script expose these sites to various vulnerabilities that may be the root cause of ... Read more

$30.99 USD

Social network usage has increased exponentially in recent years. Platforms like Facebook, Twitter, Google+, LinkedIn and Instagram, not only facilitate sharing of personal data but also connect people professionally. However, development of these platforms with more enhanced features like HTML5, CSS, XHTML and Java Script expose these sites to various vulnerabilities that may be the root cause of
... Read more
Game Jams – History, Technology, and Organisation

Edited by Allan Fowler, Foaad Khosmood ...

Series series Computer Science (R0)
This book will provide a comprehensive guide to creating and managing a game jam. The book will also provide an overview of how and where game jams have been held, the type of game jams, the tools and technologies used in organising and participating in game jams. ... Read more

$152.09 USD

This book will provide a comprehensive guide to creating and managing a game jam. The book will also provide an overview of how and where game jams have been held, the type of game jams, the tools and technologies used in organising and participating in game jams.
... Read more
Developer Experience

Navigating Digital Transformation For Productivity And Satisfaction

by Marcus Maestri ...

Embark on a journey to transform your organization's Developer Experience and confidently navigate the uncharted waters of digital transformation. This comprehensive guide serves as your compass for charting a course to world-class software engineering, combining the right mindset, tools, practices, and battle-proofed tactics.In "Developer Experience: Navigating the Digital Transformation for ... Read more

$49.49 USD

Embark on a journey to transform your organization's Developer Experience and confidently navigate the uncharted waters of digital transformation. This comprehensive guide serves as your compass for charting a course to world-class software engineering, combining the right mindset, tools, practices, and battle-proofed tactics.In "Developer Experience: Navigating the Digital Transformation for
... Read more
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Exascale and Smart Networks

8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, Virtual Event, September 14–16, 2021, Revised Selected Papers

Edited by Stephen Poole, Oscar Hernandez, Matthew Baker, Tony Curtis ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 8th OpenSHMEM Workshop, held in virtually in August 2021.The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected for inclusion in this volume from 18 submissions. The papers are organized in the following topical sections: Applications and Implementations, Tools and Benchmarks, and Applications and ... Read more

$53.99 USD

This book constitutes the proceedings of the 8th OpenSHMEM Workshop, held in virtually in August 2021.The 11 full papers and 1 short paper presented in this book were carefully reviewed and selected for inclusion in this volume from 18 submissions. The papers are organized in the following topical sections: Applications and Implementations, Tools and Benchmarks, and Applications and
... Read more
Instalación y configuración de periféricos microinformáticos. IFCT0309

by Jesús Martín Alloza, Aída Ceacero García, Joaquín Luque Berrocal ...

Libro especializado que se ajusta al desarrollo de la cualificación profesional y adquisición del certificado de profesionalidad "IFCT0309. MONTAJE Y REPARACIÓN DE SISTEMAS MICROINFORMÁTICOS". Manual imprescindible para la formación y la capacitación, que se basa en los principios de la cualificación y dinamización del conocimiento, como premisas para la mejora de la empleabilidad y eficacia para ... Read more

$6.99 USD or Free with Kobo Plus

Libro especializado que se ajusta al desarrollo de la cualificación profesional y adquisición del certificado de profesionalidad "IFCT0309. MONTAJE Y REPARACIÓN DE SISTEMAS MICROINFORMÁTICOS". Manual imprescindible para la formación y la capacitación, que se basa en los principios de la cualificación y dinamización del conocimiento, como premisas para la mejora de la empleabilidad y eficacia para
... Read more
Systems, Software and Services Process Improvement

26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

Edited by Alastair Walker, Rory V. O'Connor, Richard Messnarz ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 26th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Edinburgh, Scotland, in September 2019.The 18 revised full papers presented were carefully reviewed and selected from 28 submissions. They are organized in topical sections: Visionary Papers, SPI and Safety and Security, SPI and ... Read more

$89.09 USD

This volume constitutes the refereed proceedings of the 26th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Edinburgh, Scotland, in September 2019.The 18 revised full papers presented were carefully reviewed and selected from 28 submissions. They are organized in topical sections: Visionary Papers, SPI and Safety and Security, SPI and
... Read more
Healthcare Quality and HIT - International Standards, China Practices

Edited by Jilan Liu ...

Series series HIMSS Book Series
How Chinese hospitals have been growing and adopting international standards such as JCI and HIMSS EMRAM to fuel their advancements is not well-known to the western world. In this book, Jilan Liu, as former Principal Consultant of JCI and current Chief Executive Officer for HIMSS Greater China, presents a selection of case examples written by Chinese hospital executives and staff showcasing first ... Read more

$54.99 USD

How Chinese hospitals have been growing and adopting international standards such as JCI and HIMSS EMRAM to fuel their advancements is not well-known to the western world. In this book, Jilan Liu, as former Principal Consultant of JCI and current Chief Executive Officer for HIMSS Greater China, presents a selection of case examples written by Chinese hospital executives and staff showcasing first
... Read more
Emerging Internet-Based Technologies

by Matthew N. O. Sadiku ...

The author of this book has identified the seven key emerging Internet-related technologies: Internet of things, smart everything, big data, cloud computing, cybersecurity, software-defined networking, and online education. Together these technologies are transformational and disruptive. This book provides researchers, students, and professionals a comprehensive introduction, applications, ... Read more

$72.99 USD

The author of this book has identified the seven key emerging Internet-related technologies: Internet of things, smart everything, big data, cloud computing, cybersecurity, software-defined networking, and online education. Together these technologies are transformational and disruptive. This book provides researchers, students, and professionals a comprehensive introduction, applications,
... Read more
MATLAB Blues

How Behavioral Scientists and Others Can Learn From Mistakes for Better, Happier Programming

by David A. Rosenbaum ...

MATLAB Blues is an accessible, comprehensive introduction to the MATLAB computer programming language—a powerful and increasingly popular tool for students and researchers. Rosenbaum identifies many of the common mistakes and pitfalls associated with using MATLAB, and shows users how they can learn from these mistakes to be better, happier programmers.Each chapter systematically addresses one of ... Read more

$73.99 USD

MATLAB Blues is an accessible, comprehensive introduction to the MATLAB computer programming language—a powerful and increasingly popular tool for students and researchers. Rosenbaum identifies many of the common mistakes and pitfalls associated with using MATLAB, and shows users how they can learn from these mistakes to be better, happier programmers.Each chapter systematically addresses one of
... Read more
Technologies and Innovation

6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings

Edited by Rafael Valencia-García, Gema Alcaraz-Marmol, Javier Del Cioppo-Morstadt, Néstor Vera-Lucio, Martha Bucaram-Leverone ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions. They are organized in topical sections named: semantic technologies and machine learning; ICT for agronomy and environment; ... Read more

$49.49 USD

This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions. They are organized in topical sections named: semantic technologies and machine learning; ICT for agronomy and environment;
... Read more
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers

Edited by Loek Cleophas, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that ... Read more

$49.49 USD

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.The 15 full papers presented together with 8 short papers in this volume were carefully reviewed and selected from a total of 35 submissions. The contributions that
... Read more
Genetische Algorithmen zur Parameteroptimierung von Simulationsmodellen am Beispiel einer "Grünen Welle" entlang einer Hauptverkehrsstraße

by Holger Hartmann ...

Studienarbeit aus dem Jahr 2002 im Fachbereich Informatik - Angewandte Informatik, Universität Hamburg (Department Informatik), Sprache: Deutsch, Abstract: Wer hat noch nicht vor einer roten Ampel gestanden und sich gefragt, ob sich das ständige Warten nicht verkürzen ließe durch eine günstigere Ampelschaltung? Diese Fragestellung wird in der vorliegenden Arbeit am Beispiel eines Straßenzugmodells ... Read more

$32.40 USD

Studienarbeit aus dem Jahr 2002 im Fachbereich Informatik - Angewandte Informatik, Universität Hamburg (Department Informatik), Sprache: Deutsch, Abstract: Wer hat noch nicht vor einer roten Ampel gestanden und sich gefragt, ob sich das ständige Warten nicht verkürzen ließe durch eine günstigere Ampelschaltung? Diese Fragestellung wird in der vorliegenden Arbeit am Beispiel eines Straßenzugmodells
... Read more
Lean Mobile App Development

Apply Lean startup methodologies to develop successful iOS and Android apps

by Mike van Drongelen, Adam Dennis, Aravind Krishnaswamy ...

Develop lean iOS and Android apps using industry standard techniques and lean development practices. Key Features\[\*\] Build ready-to-deploy apps with less iterations and shorter development times\[\*\] Adopt the lean startup methodologies to develop iOS and Android apps that shine in the App Store\[\*\] This hands-on guide puts continuous innovation into practice to develop successful mobile ... Read more

$34.19 USD or Free with Kobo Plus

Develop lean iOS and Android apps using industry standard techniques and lean development practices. Key Features\[\*\] Build ready-to-deploy apps with less iterations and shorter development times\[\*\] Adopt the lean startup methodologies to develop iOS and Android apps that shine in the App Store\[\*\] This hands-on guide puts continuous innovation into practice to develop successful mobile
... Read more
Embedded and Real Time System Development: A Software Engineering Perspective

Concepts, Methods and Principles

Edited by Ajith Abraham, Mohammad Ayoub Khan, Saqib Saeed, Ashraf Darwish ...

Series series Engineering (R0)
Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and benchmarks.“Embedded and Real Time System Development: A Software ... Read more

$89.09 USD

Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and benchmarks.“Embedded and Real Time System Development: A Software
... Read more
Human-Computer Interaction. User Interface Design, Development and Multimodality

19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Edited by Masaaki Kurosu ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts ... Read more

$49.49 USD

The two-volume set LNCS 10271 and 10272 constitutes the refereed proceedings of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, BC, Canada, in July 2017.The total of 1228 papers presented at the 15 colocated HCII 2017 conferences was carefully reviewed and selected from 4340 submissions. The papers address the latest research and development efforts
... Read more
Service Oriented Enterprises

by Setrag Khoshafian ...

Extending beyond the technical architecture to the very philosophy of how a business should operate, the Service Orientation approach establishes fluidity across boundaries to provide agility, transparency, and fundamental competitive advantage.Service Oriented Enterprises brings the concept of service orientation from the IT department to the boardroom, applying the precepts of service oriented ... Read more

$86.99 USD

Extending beyond the technical architecture to the very philosophy of how a business should operate, the Service Orientation approach establishes fluidity across boundaries to provide agility, transparency, and fundamental competitive advantage.Service Oriented Enterprises brings the concept of service orientation from the IT department to the boardroom, applying the precepts of service oriented
... Read more
Learn to Code with Games

by John M. Quick ...

A novel approach for the classroom or self-study, Learn to Code with Games makes coding accessible to a broad audience. Structured as a series of challenges that help you learn to code by creating a video game, each chapter expands and builds your knowledge while providing guidelines and hints to solving each challenge.The book employs a unique pro ... Read more

$56.99 USD

A novel approach for the classroom or self-study, Learn to Code with Games makes coding accessible to a broad audience. Structured as a series of challenges that help you learn to code by creating a video game, each chapter expands and builds your knowledge while providing guidelines and hints to solving each challenge.The book employs a unique pro
... Read more
Oracle Embedded Programming and Application Development

by Lakshman Bulusu ...

Focusing on tried and true best practice techniques in cross-technology based Oracle embedded programming, this book provides authoritative guidance for improving your code compilation and execution. Geared towards IT professionals developing Oracle-based Web-enabled applications in PL/SQL, Java, C, C++, .NET, Perl, and PHP, it covers application d ... Read more

$107.99 USD

Focusing on tried and true best practice techniques in cross-technology based Oracle embedded programming, this book provides authoritative guidance for improving your code compilation and execution. Geared towards IT professionals developing Oracle-based Web-enabled applications in PL/SQL, Java, C, C++, .NET, Perl, and PHP, it covers application d
... Read more
Smart Agriculture

Harnessing Machine Learning for Crop Management

Edited by Amol Dattatray Dhaygude, Suman Kumar Swarnkar, Priya Chugh, Yogesh Kumar Rathore ...

Series series Intelligent Data-Driven Systems and Artificial Intelligence
This book, Smart Agriculture: Harnessing Machine Learning for Crop Management, is a comprehensive guide designed to explore the various facets of integrating machine learning into agricultural practices. It aims to provide readers with a solid foundation in machine learning concepts while demonstrating their practical applications in real-world farming scenarios. It also examines the role of ... Read more

$77.99 USD

This book, Smart Agriculture: Harnessing Machine Learning for Crop Management, is a comprehensive guide designed to explore the various facets of integrating machine learning into agricultural practices. It aims to provide readers with a solid foundation in machine learning concepts while demonstrating their practical applications in real-world farming scenarios. It also examines the role of
... Read more
Reachability Problems

18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings

Edited by Laura Kovács, Ana Sokolova ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024.The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics ... Read more

$62.99 USD

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024.The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics
... 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

Software Development eBooks

Show: