Rakuten Kobo

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Edited by María del Mar Gallardo, Pedro Merino ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling
... Read more
Management von Netzwerken mit Novell Z.E.N. works™

by Ricardo Büttner ...

Studienarbeit aus dem Jahr 1999 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Technische Universität Ilmenau (Institut für Praktische Informatik und Medieninformatik), Veranstaltung: Universitätsrechenzentrum, Sprache: Deutsch, Abstract: Die Arbeit zeigt, wie mittels Novell Z.E.N. works(TM) Arbeitsstationen verwaltet werden können. Sie umfasst die automatische Anwendungsverwaltung, ... Read more

$20.10 USD

Studienarbeit aus dem Jahr 1999 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Technische Universität Ilmenau (Institut für Praktische Informatik und Medieninformatik), Veranstaltung: Universitätsrechenzentrum, Sprache: Deutsch, Abstract: Die Arbeit zeigt, wie mittels Novell Z.E.N. works(TM) Arbeitsstationen verwaltet werden können. Sie umfasst die automatische Anwendungsverwaltung,
... Read more
Applied Technologies

Third International Conference, ICAT 2021, Quito, Ecuador, October 27–29, 2021, Proceedings

Edited by Miguel Botto-Tobar, Sergio Montes León, Pablo Torres-Carrión, Marcelo Zambrano Vizuete, Benjamin Durakovic ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the Third International Conference on Applied Technologies, ICAT 2021, held in Quito, Ecuador, in October 2021.The 40 papers were carefully reviewed and selected from 201 submissions. The papers are organized according to the following topics: communication; computing; e-government and e-participation; e-learning; electronics; general track; ... Read more

$89.99 USD

This volume constitutes the refereed proceedings of the Third International Conference on Applied Technologies, ICAT 2021, held in Quito, Ecuador, in October 2021.The 40 papers were carefully reviewed and selected from 201 submissions. The papers are organized according to the following topics: communication; computing; e-government and e-participation; e-learning; electronics; general track;
... Read more
Adobe After Effects 2020应用培训教材

by 王琦, 张克亮 ...

本书共分8课，内容包括：表达式、三维图层、摄像机、灯光、Keylight抠像技术、跟踪和稳定运动、颜色校正、After Effects的优化与工作流程。 ... Read more

$22.99 USD

本书共分8课，内容包括：表达式、三维图层、摄像机、灯光、Keylight抠像技术、跟踪和稳定运动、颜色校正、After Effects的优化与工作流程。
... Read more
New Trends in Theory and Practice of Digital Libraries

TPDL 2025 Short Papers and Workshops, Tampere, Finland, September 23–26, 2025, Proceedings

Edited by Wolf-Tilo Balke, Koraljka Golub, Yannis Manolopoulos, Kostas Stefanidis, Zheying Zhang, Trond Aalberg, Paolo Manghi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the workshops held at the 29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, which took place in Tampere, Finland, during September 23-26, 2025.The 20 short papers, 8 Demo papers and 9 workshop papers included in this book were carefully reviewed and selected from 103 paper submissions (52 full papers, 40 short papers and ... Read more

$71.99 USD

This book constitutes the proceedings of the workshops held at the 29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, which took place in Tampere, Finland, during September 23-26, 2025.The 20 short papers, 8 Demo papers and 9 workshop papers included in this book were carefully reviewed and selected from 103 paper submissions (52 full papers, 40 short papers and
... Read more
The Automation Playbook

Transform Your Operations with AI-Driven Workflows, Lean Principles, and Process Intelligence to Build Agile, Adaptive Systems That Scale

by Eric Uytengsu ...

The Automation PlaybookTransform Your Operations with AI-Driven Workflows, Lean Principles, and Process Intelligence to Build Agile, Adaptive Systems That ScaleMost operations teams do not have a technology problem. They have a clarity problemâ€”workarounds patched onto workarounds, dashboards that no one trusts, and automation efforts that quietly stall six months in. The Automation Playbook is a ... Read more

$6.99 USD or Free with Kobo Plus

The Automation PlaybookTransform Your Operations with AI-Driven Workflows, Lean Principles, and Process Intelligence to Build Agile, Adaptive Systems That ScaleMost operations teams do not have a technology problem. They have a clarity problemâ€”workarounds patched onto workarounds, dashboards that no one trusts, and automation efforts that quietly stall six months in. The Automation Playbook is a
... Read more
Adopting Elixir

From Concept to Production

by Ben Marx, Jose Valim, Bruce Tate ...

Adoption is more than programming. Elixir is an exciting new language, but to successfully get your application from start to finish, you're going to need to know more than just the language. The case studies and strategies in this book will get you there. Learn the best practices for the whole life of your application, from design and team-building, to managing stakeholders, to deployment and ... Read more

$26.99 USD

Adoption is more than programming. Elixir is an exciting new language, but to successfully get your application from start to finish, you're going to need to know more than just the language. The case studies and strategies in this book will get you there. Learn the best practices for the whole life of your application, from design and team-building, to managing stakeholders, to deployment and
... Read more
The Day AI Becomes God

The Singularity Will Save Humanity

by Tetsuzo Matsumoto ...

Translated by Waddle E. Richard ...

Artificial Intelligence (AI) is rising in the public consciousness and discussion around its applications thrives—as do ideas of AI as a threat. Even Stephen Hawking warned that AI could destroy humanity.In The Day AI Becomes God, Tetsuzo (Ted) Matsumoto—a Former Board Director and Chief Strategy Officer of SoftBank Mobile Corp.—argues his belief not that humanity is doomed in a world under the ... Read more

$11.99 USD

Artificial Intelligence (AI) is rising in the public consciousness and discussion around its applications thrives—as do ideas of AI as a threat. Even Stephen Hawking warned that AI could destroy humanity.In The Day AI Becomes God, Tetsuzo (Ted) Matsumoto—a Former Board Director and Chief Strategy Officer of SoftBank Mobile Corp.—argues his belief not that humanity is doomed in a world under the
... Read more
Challenges and Opportunity with Big Data

19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers

Edited by Lin Zhang, Lei Ren, Fabrice Kordon ...

Series series Springer Nature Proceedings Computer Science
This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems.The 18 revised full papers presented were significantly extended and improved by the insights gained from the ... Read more

$49.99 USD

This book presents the thoroughly refereed and revised post-workshop proceedings of the 19th Monterey Workshop, held in Beijing, China, in Ocotber 2016. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems.The 18 revised full papers presented were significantly extended and improved by the insights gained from the
... Read more
"Careers in Information Technology: Quality Assurance Analyst"

GoodMan, #1

by Patrick Mukosha ...

Series Book 1 - GoodMan
"Careers in Information Technology: Quality Assurance Analyst" is a comprehensive guide providing valuable insights into the dynamic and crucial role of Quality Assurance (QA) analysts in the field of Information Technology. Written by an experienced IT professional, this book serves as a roadmap for individuals aspiring to pursue a rewarding career in QA.The book begins by offering a clear ... Read more

$4.50 USD or Free with Kobo Plus

"Careers in Information Technology: Quality Assurance Analyst" is a comprehensive guide providing valuable insights into the dynamic and crucial role of Quality Assurance (QA) analysts in the field of Information Technology. Written by an experienced IT professional, this book serves as a roadmap for individuals aspiring to pursue a rewarding career in QA.The book begins by offering a clear
... Read more
Software Engineering and Methodology for Emerging Domains

15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings

Edited by Lu Zhang, Chang Xu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016.The 15 revised selected papers were selected from 38 submissions and focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and ... Read more

$49.99 USD

This book constitutes the thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016.The 15 revised selected papers were selected from 38 submissions and focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and
... Read more
Mastering Lumion 3D

by Ciro Cardoso ...

This book is designed for all levels of Lumion users; from beginner to advanced, you will find useful insights and professional techniques to improve and develop your skills in order to fully control and master Lumion. ... Read more

$26.99 USD or Free with Kobo Plus

This book is designed for all levels of Lumion users; from beginner to advanced, you will find useful insights and professional techniques to improve and develop your skills in order to fully control and master Lumion.
... Read more
Mastering Entity Framework Core 2.0

Dive into entities, relationships, querying, performance optimization, and more, to learn efficient data-driven development

by Prabhakaran Anbazhagan ...

Learn how to leverage the features of the new Entity Framework Core APIs and use them to build pure .NET Core applications.Key FeaturesLearn how to effectively manage your database to make it more productive and maintainable.Write simplified queries using LINQ to acquire the desired data easilyRaise the abstraction level from data to objects so teams can function independently, resulting in easily ... Read more

$41.99 USD or Free with Kobo Plus

Learn how to leverage the features of the new Entity Framework Core APIs and use them to build pure .NET Core applications.Key FeaturesLearn how to effectively manage your database to make it more productive and maintainable.Write simplified queries using LINQ to acquire the desired data easilyRaise the abstraction level from data to objects so teams can function independently, resulting in easily
... Read more
Pro JavaFX 9

A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients

by Johan Vos, Stephen Chin, Weiqi Gao, James Weaver, Dean Iverson ...

Series series Professional and Applied Computing (R0)
Use the JavaFX platform to create rich-client Java applications and discover how you can use this powerful Java-based UI platform, which is capable of handling large-scale data-driven business applications for PC as well as mobile and embedded devices. The expert authors cover the new more modular JavaFX 9 APIs, development tools, and best practices and provide code examples that explore the ... Read more

$53.99 USD

Use the JavaFX platform to create rich-client Java applications and discover how you can use this powerful Java-based UI platform, which is capable of handling large-scale data-driven business applications for PC as well as mobile and embedded devices. The expert authors cover the new more modular JavaFX 9 APIs, development tools, and best practices and provide code examples that explore the
... Read more
Computational Science – ICCS 2026 Workshops

26th International Conference, ICCS 2026, Hamburg, Germany, June 29 – July 1, 2026, Proceedings, Part II

Edited by Maciej Paszynski, Amanda S. Barnard, Yongjie Jessica Zhang ...

Series Book 2 - Springer Nature Proceedings Computer Science
The four-volume set constitutes the workshop proceedings of the 26th International Conference on Computational Science, ICCS 2026, which took place in Hamburg, Germany, during June 29 – July 1, 2026.The 133 full papers and 46 short papers presented in these proceedings were carefully reviewed and selected from 353 submissions. The papers are organized in the following topical sections:Volume I ... Read more

$98.99 USD

The four-volume set constitutes the workshop proceedings of the 26th International Conference on Computational Science, ICCS 2026, which took place in Hamburg, Germany, during June 29 – July 1, 2026.The 133 full papers and 46 short papers presented in these proceedings were carefully reviewed and selected from 353 submissions. The papers are organized in the following topical sections:Volume I
... Read more
The Practice of Enterprise Modeling

18th IFIP Working Conference, PoEM 2025, Geneva, Switzerland, December 3–5, 2025, Proceedings

Edited by Hans-Georg Fill, Yves Wautelet, Jolita Ralyté, Jelena Zdravkovic ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2025, which took place in Geneva, Switzerland, during December 3-5, 2025.PoEM offers a forum for sharing experiences and knowledge between the academic community and practitioners from industry and the public sector. This year the theme of the conference is Enterprise Modeling for ... Read more

$67.99 USD

This book constitutes the proceedings of the 18th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2025, which took place in Geneva, Switzerland, during December 3-5, 2025.PoEM offers a forum for sharing experiences and knowledge between the academic community and practitioners from industry and the public sector. This year the theme of the conference is Enterprise Modeling for
... Read more
Agiles Coaching als Erfolgsfaktor: Grundlagen des Coachings, um Agile Teams erfolgreich zu managen

by Markus Heimrath ...

Agiles Coaching: Grundlagen des Coachings, um agile Teams erfolgreich zu führenAgile Teams führen - mit Sinn und VerstandBist Du neu in einem agilen Projekt und dort als Coach tätig?Kennst Du den Nutzen des agilen Coachings?Was Du in diesem Buch erfährst:... Was ist überhaupt Agile und was ist Agiles Coaching... Was der Unterschied zwischen einem Scrum Master und einem Agile ... ... Read more

$2.99 USD or Free with Kobo Plus

Agiles Coaching: Grundlagen des Coachings, um agile Teams erfolgreich zu führenAgile Teams führen - mit Sinn und VerstandBist Du neu in einem agilen Projekt und dort als Coach tätig?Kennst Du den Nutzen des agilen Coachings?Was Du in diesem Buch erfährst:... Was ist überhaupt Agile und was ist Agiles Coaching... Was der Unterschied zwischen einem Scrum Master und einem Agile ...
... Read more
Scrum for Teams

A Guide by Practical Example

by Dion Nicolaas ...

Scrum is an agile framework for completing complex projects. This book gives examples, tools, and tricks to do Scrum well. For each trick it is explained why it helps. The practices themselves may be worth trying, but by understanding why it works the readers will be able to come up with their own ideas that work better in their organization and situation.All the practical examples in this book ... Read more

$10.99 USD

Scrum is an agile framework for completing complex projects. This book gives examples, tools, and tricks to do Scrum well. For each trick it is explained why it helps. The practices themselves may be worth trying, but by understanding why it works the readers will be able to come up with their own ideas that work better in their organization and situation.All the practical examples in this book
... Read more
Learn SAP BI in 24 Hours

by Alex Nordeen ...

SAP Business Intelligence (BI) is a tool to analyze raw data and derive meaning inferences. SAP BI gives single point access to data from various sources. Robust reports and visualization are available to analyze the data. SAP BI can analyze multidimensional data, easily integrates with other applications and has a mobile app.Here is what is covered in the book -Table Of ContentChapter 1: ... Read more

$9.99 USD

SAP Business Intelligence (BI) is a tool to analyze raw data and derive meaning inferences. SAP BI gives single point access to data from various sources. Robust reports and visualization are available to analyze the data. SAP BI can analyze multidimensional data, easily integrates with other applications and has a mobile app.Here is what is covered in the book -Table Of ContentChapter 1:
... Read more
The Project Manager's Guide to Health Information Technology Implementation

by Susan M. Houston ...

Series series HIMSS Book Series
This book focuses on providing information on project management specific for software implementations within the healthcare industry. It can be used as a guide for beginners as well as a reference for current project managers who might be new to software implementations. Utilizing the Project Management Institute’s (PMI) methodology, process groups and knowledge areas are defined as they relate ... Read more

$59.99 USD

This book focuses on providing information on project management specific for software implementations within the healthcare industry. It can be used as a guide for beginners as well as a reference for current project managers who might be new to software implementations. Utilizing the Project Management Institute’s (PMI) methodology, process groups and knowledge areas are defined as they relate
... Read more
Requirements Engineering

by Elizabeth Hull, Ken Jackson, Jeremy Dick ...

Series series Computer Science (R0)
Using the latest research and driven by practical experience from industry, the third edition of this popular book provides useful information to practitioners on how to write and structure requirements. • Explains the importance of Systems Engineering and the creation of effective solutions to problems • Describes the underlying representations used in system modelling and introduces the UML2 • ... Read more

$67.99 USD

Using the latest research and driven by practical experience from industry, the third edition of this popular book provides useful information to practitioners on how to write and structure requirements. • Explains the importance of Systems Engineering and the creation of effective solutions to problems • Describes the underlying representations used in system modelling and introduces the UML2 •
... Read more
Penetrationstests erfolgreich umsetzen

Praxisleitfaden - Regulatorik - KI-Einflüsse

Edited by Nina Wagner, Horst Speichert, Stephen Fedtke, Bernhard C. Witt ...

Series series Computer Science and Engineering (German Language)
Dieses Buch ist ein Praxisleitfaden für Verantwortliche in Unternehmen, die Pentests erfolgreich umsetzen wollen. Dabei werden aktuelle regulatorische Anforderungen und Herausforderungen ebenso beleuchtet wie die unterstützende Wirkung der KI.Professionelle Dienstleister decken durch Pentests Schwachstellen in Komponenten auf, damit Betroffene diese proaktiv beheben können. Dabei werden Vorgehen ... Read more

$35.99 USD

Dieses Buch ist ein Praxisleitfaden für Verantwortliche in Unternehmen, die Pentests erfolgreich umsetzen wollen. Dabei werden aktuelle regulatorische Anforderungen und Herausforderungen ebenso beleuchtet wie die unterstützende Wirkung der KI.Professionelle Dienstleister decken durch Pentests Schwachstellen in Komponenten auf, damit Betroffene diese proaktiv beheben können. Dabei werden Vorgehen
... Read more
Edge Computing – EDGE 2024

8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

Edited by Jing Zeng, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Edge Computing, EDGE 2024, held in Bangkok, Thailand, during November 16-19, 2024.The 8 full papers included in this book were carefully reviewed and selected from 16 submissions. The papers presented focus on various topics such as Edge Storage, Edge Connections, Edge Analytics, Edge AI, Edge Processing Engine, ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 8th International Conference on Edge Computing, EDGE 2024, held in Bangkok, Thailand, during November 16-19, 2024.The 8 full papers included in this book were carefully reviewed and selected from 16 submissions. The papers presented focus on various topics such as Edge Storage, Edge Connections, Edge Analytics, Edge AI, Edge Processing Engine,
... Read more
Building AR Apps with ARCore and ARKit: Master Augmented Reality App Development with ARCore and ARKit for Immersive and Interactive AR Experiences

by Vedala Venkata ...

Build Immersive AR Apps with ARCore and ARKitKey Features● Detailed step-by-step instructions on ARCore and ARKit environments, tools, and workflows.● Hands-on projects like an AR furniture app and an AR game to apply your knowledge.● Learn key AR features such as spatial tracking, environment understanding, and user interaction.Book DescriptionAugmented Reality (AR) is revolutionizing how we ... Read more

$19.95 USD or Free with Kobo Plus

Build Immersive AR Apps with ARCore and ARKitKey Features● Detailed step-by-step instructions on ARCore and ARKit environments, tools, and workflows.● Hands-on projects like an AR furniture app and an AR game to apply your knowledge.● Learn key AR features such as spatial tracking, environment understanding, and user interaction.Book DescriptionAugmented Reality (AR) is revolutionizing how we
... 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: