Rakuten Kobo

Transactions on Computational Science XXXI

Special Issue on Signal Processing and Security in Distributed Systems

Edited by Marina L. Gavrilova, C.J. Kenneth Tan, Nabendu Chaki, Khalid Saeed ...

Series series Computer Science (R0)
This, the 31st issue of the Transactions on Computational Science, focusses on signal processing and security in distributed systems. The areas of application include facial recognition, musical analysis, the diagnosis of retinal disorder, quantum circuits, intrusion detection, information leakage analysis, and the minimization of aliasing effects on text images. ... Read more

$49.49 USD

This, the 31st issue of the Transactions on Computational Science, focusses on signal processing and security in distributed systems. The areas of application include facial recognition, musical analysis, the diagnosis of retinal disorder, quantum circuits, intrusion detection, information leakage analysis, and the minimization of aliasing effects on text images.
... Read more
Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Edited by Andrei Paskevich, Thomas Wies ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory ... Read more

$49.49 USD

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory
... Read more
Testing R Code

by Richard Cotton ...

Series series Chapman & Hall/CRC The R Series
Learn how to write R code with fewer bugs.The problem with programming is that you are always one typo away from writing something silly. Likewise with data analysis, a small mistake in your model can lead to a big mistake in your results. Combining the two disciplines means that it is all too easy for a missed minus sign to generate a false prediction that you don’t spot until it’s too late. ... Read more

$72.99 USD

Learn how to write R code with fewer bugs.The problem with programming is that you are always one typo away from writing something silly. Likewise with data analysis, a small mistake in your model can lead to a big mistake in your results. Combining the two disciplines means that it is all too easy for a missed minus sign to generate a false prediction that you don’t spot until it’s too late.
... Read more
Learning TypeScript 2.x

Develop and maintain captivating web applications with ease

by Remo H. Jansen ...

Exploit the features of TypeScript to easily create your very own web applicationsKey Features\[\*\] Develop modular, scalable, maintainable, and adaptable web applications by taking advantage of TypeScript\[\*\] Walk through the fundamentals of TypeScript with the help of practical examples\[\*\] Enhance your web development skills using TypeScript 2.xBook DescriptionTypeScript is an open source ... Read more

$41.39 USD or Free with Kobo Plus

Exploit the features of TypeScript to easily create your very own web applicationsKey Features\[\*\] Develop modular, scalable, maintainable, and adaptable web applications by taking advantage of TypeScript\[\*\] Walk through the fundamentals of TypeScript with the help of practical examples\[\*\] Enhance your web development skills using TypeScript 2.xBook DescriptionTypeScript is an open source
... Read more
The Agile Manifesto Unfolds

Agile Software Development, #1

by Maik Seyfert ...

Series Book 1 - Agile Software Development
Discover the power of Agile for your team and project with this comprehensive guide to the Agile Manifesto. Learn how to leverage Agile's values and principles to enhance your team's productivity, collaboration, and customer satisfaction. This book provides practical tips for implementing Agile, as well as insights into when Agile is the right fit for your project. Whether you're new to Agile or a ... Read more

$5.99 USD or Free with Kobo Plus

Discover the power of Agile for your team and project with this comprehensive guide to the Agile Manifesto. Learn how to leverage Agile's values and principles to enhance your team's productivity, collaboration, and customer satisfaction. This book provides practical tips for implementing Agile, as well as insights into when Agile is the right fit for your project. Whether you're new to Agile or a
... Read more
What Drives Quality

by Ben Linders ...

Many methods for product quality improvement start by investigating the problems, and then work their way back to the point where the problem started. For instance audits and root cause analysis work this way. But what if you could prevent problems from happening, by building an understanding what drives quality, thus enabling to take action before problems actually occur?What Drives Quality ... Read more

$9.99 USD or Free with Kobo Plus

Many methods for product quality improvement start by investigating the problems, and then work their way back to the point where the problem started. For instance audits and root cause analysis work this way. But what if you could prevent problems from happening, by building an understanding what drives quality, thus enabling to take action before problems actually occur?What Drives Quality
... Read more
Smart Cities at Play: Technology and Emerging Forms of Playfulness

Edited by Konstantinos Papangelis, Michael Saker, Catherine Jones ...

This book explores how smart cities enable new and playful ways for citizens to experience, inhabit and socialise within urban environments.It examines how the functionality of digital technologies within municipal settings can extend beyond environmental pragmatism and socio-economic concerns, to include playful approaches to urban spaces that co-constitute and reinvigorate the experience of ... Read more

$73.99 USD

This book explores how smart cities enable new and playful ways for citizens to experience, inhabit and socialise within urban environments.It examines how the functionality of digital technologies within municipal settings can extend beyond environmental pragmatism and socio-economic concerns, to include playful approaches to urban spaces that co-constitute and reinvigorate the experience of
... Read more
AI Electric Core

Strategic Crypto

by Julien Coallier ...

Series series Programs Conceptual
Warning, Conceptual, *intended for institutional transformation/applicationOverall, a proposed upgrading of the electricity system standard to include AI, integrate automated manual easements, enable a crypto embodiment as fully mapped program solution, and overall enable an upgrade to help stabilize the grid or better understand usage trends.*Crypto as applicable to completed, scheduled systems, ... Read more

$8.73 USD or Free with Kobo Plus

Warning, Conceptual, *intended for institutional transformation/applicationOverall, a proposed upgrading of the electricity system standard to include AI, integrate automated manual easements, enable a crypto embodiment as fully mapped program solution, and overall enable an upgrade to help stabilize the grid or better understand usage trends.*Crypto as applicable to completed, scheduled systems,
... Read more
Parallel and Distributed Computing, Applications and Technologies

Proceedings of PDCAT 2023

Edited by Ji Su Park, Hiroyuki Takizawa, Hong Shen, James J. Park ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) which was held in Jeju, Korea in August, 2023. The papers of this volume are organized in topical sections on wired and wireless communication systems, high dimensional data representation and processing, networks and information security, ... Read more

$152.09 USD

This book constitutes the refereed proceedings of the International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) which was held in Jeju, Korea in August, 2023. The papers of this volume are organized in topical sections on wired and wireless communication systems, high dimensional data representation and processing, networks and information security,
... Read more
Service-Oriented Computing

21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II

Edited by Flavia Monti, Stefanie Rinderle-Ma, Antonio Ruiz Cortés, Zibin Zheng, Massimo Mecella ...

Series Book 2 - Springer Nature Proceedings Computer Science
These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023, held Rome, Italy, during November 28–December 1, 2023.The 35 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 208 submissions. The volumes focus on cutting-edge topics like artificial intelligence, machine learning, big data analytics, the Internet of ... Read more

$62.99 USD

These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023, held Rome, Italy, during November 28–December 1, 2023.The 35 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 208 submissions. The volumes focus on cutting-edge topics like artificial intelligence, machine learning, big data analytics, the Internet of
... Read more
Petri Nets

Theoretical Models and Analysis Methods for Concurrent Systems

by Guanjun Liu ...

Series series Computer Science (R0)
This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph ... Read more

$179.99 USD

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph
... Read more
Nachhaltige MITO-Businessmodell-Transformation

Systematische Umsetzung mit dem MITO-Methoden-Tool

by Hartmut F. Binner ...

Series series Computer Science and Engineering (German Language)
Entscheidungen in Unternehmen haben Auswirkungen auf die Gesellschaft und die Umwelt. Unternehmen müssen solche Auswirkungen ernst nehmen und Nachhaltigkeitsthemen in der Organisation und den Geschäftstätigkeiten berücksichtigen sowie geeignete Maßnahmen treffen (Corporate Social Responsibility – CSR). Entsprechend geht dies mit Transformationen einher, die vielfältige Herausforderungen ... Read more

$53.99 USD

Entscheidungen in Unternehmen haben Auswirkungen auf die Gesellschaft und die Umwelt. Unternehmen müssen solche Auswirkungen ernst nehmen und Nachhaltigkeitsthemen in der Organisation und den Geschäftstätigkeiten berücksichtigen sowie geeignete Maßnahmen treffen (Corporate Social Responsibility – CSR). Entsprechend geht dies mit Transformationen einher, die vielfältige Herausforderungen
... Read more
SQL Server Database Programming with Java

Concepts, Designs and Implementations

by Ying Bai ...

Series series Computer Science (R0)
This textbook covers both fundamental and advanced Java database programming techniques for beginning and experienced students as well as programmers (courses related to database programming in Java with Apache NetBeans IDE 12 environment). A sample SQL Server 2019 Express database, CSE_DEPT, is created and implemented in all example projects throughout this textbook.Over 40 real sample database ... Read more

$49.49 USD

This textbook covers both fundamental and advanced Java database programming techniques for beginning and experienced students as well as programmers (courses related to database programming in Java with Apache NetBeans IDE 12 environment). A sample SQL Server 2019 Express database, CSE_DEPT, is created and implemented in all example projects throughout this textbook.Over 40 real sample database
... Read more
Distributed Applications and Interoperable Systems

22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Edited by David Eyers, Spyros Voulgaris ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 9 full papers and 2 short papers presented in this book were carefully reviewed and selected ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 9 full papers and 2 short papers presented in this book were carefully reviewed and selected
... Read more
Photoshop后期强：数码摄影后期完全宝典

by 陈建强著 ...

本书是“Photoshop后期强”系列数码后期教程的精华汇编版，集合了Photoshop基础入门、原理与理论解析、影调与色调应用、抠图与合成、RAW格式技法等多个领域的知识点和技法。本书遵循确保全书系统完整的宗旨，读者可以从零基础起步，由浅入深，逐步掌握数码摄影后期处理的全流程知识。本书注重理论联系实践，在将基本原理剖析到位后，各种理论知识会融入案例中，让读者可以在实战中理解和掌握理论，真正做到举一反三。本书还为读者赠送了长达300分钟的教学视频和大量素材图，以供读者在阅读之余更好地学习数码摄影后期技法。阅读本书，相信读者能够真正实现数码照片后期技术入门与进阶，并制作出自己喜欢的、风格各异的摄影作品。 ... Read more

$32.64 USD

本书是“Photoshop后期强”系列数码后期教程的精华汇编版，集合了Photoshop基础入门、原理与理论解析、影调与色调应用、抠图与合成、RAW格式技法等多个领域的知识点和技法。本书遵循确保全书系统完整的宗旨，读者可以从零基础起步，由浅入深，逐步掌握数码摄影后期处理的全流程知识。本书注重理论联系实践，在将基本原理剖析到位后，各种理论知识会融入案例中，让读者可以在实战中理解和掌握理论，真正做到举一反三。本书还为读者赠送了长达300分钟的教学视频和大量素材图，以供读者在阅读之余更好地学习数码摄影后期技法。阅读本书，相信读者能够真正实现数码照片后期技术入门与进阶，并制作出自己喜欢的、风格各异的摄影作品。
... Read more
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
Salesforce Anti-Patterns

Create powerful Salesforce architectures by learning from common mistakes made on the platform

by Lars Malmqvist ...

Avoid implementation failures and technical debt by mitigating anti-patterns in your Salesforce enterprise solutions using expert guidance and proven recommendations Purchase of the print or Kindle book includes a free eBook PDFKey FeaturesBuild exemplary Salesforce architectures by studying anti-patterns that lead to failing systemsDemonstrate deep architectural principles that you can apply in ... Read more

$37.79 USD or Free with Kobo Plus

Avoid implementation failures and technical debt by mitigating anti-patterns in your Salesforce enterprise solutions using expert guidance and proven recommendations Purchase of the print or Kindle book includes a free eBook PDFKey FeaturesBuild exemplary Salesforce architectures by studying anti-patterns that lead to failing systemsDemonstrate deep architectural principles that you can apply in
... 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
Python für Dummies

by Johannes C. Hofmeister, Horst Schneider ...

Series series Für Dummies
Python ist eine der beliebtesten und vielseitigsten Programmiersprachen überhaupt. Für viele Entwickler führt deshalb kein Weg an Python vorbei. Schöpfen Sie mit diesem Buch aus dem reichen Erfahrungsschatz zweier langjähriger Softwareentwickler. Sie lernen zunächst die Syntax der Sprache und vertiefen dann das Erlernte anhand von konkreten Aufgabenstellungen. Für den Blick über den Tellerrand ... Read more

$22.50 USD

Python ist eine der beliebtesten und vielseitigsten Programmiersprachen überhaupt. Für viele Entwickler führt deshalb kein Weg an Python vorbei. Schöpfen Sie mit diesem Buch aus dem reichen Erfahrungsschatz zweier langjähriger Softwareentwickler. Sie lernen zunächst die Syntax der Sprache und vertiefen dann das Erlernte anhand von konkreten Aufgabenstellungen. Für den Blick über den Tellerrand
... 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

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: