Rakuten Kobo

Formal Specification Techniques for Engineering Modular C Programs

de Tan Yang Meng ...

Series Libro 1 - International Series in Software Engineering
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to ... Leer más

$143.09 USD

Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to
... Leer más
Foundations of Security, Protocols, and Equational Reasoning

Essays Dedicated to Catherine A. Meadows

Edición de Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic ...

Series series Computer Science (R0)
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has ... Leer más

$49.49 USD

This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symbolic formal verification methods and tools. Her NRL Protocol Analyzer, a tool and methodology that embodies symbolic model checking techniques, has
... Leer más
Intelligent Robotics and Applications

12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III

Edición de Haibin Yu, Jinguo Liu, Lianqing Liu, Zhaojie Ju, Yuwang Liu, Dalin Zhou ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows:Part I: ... Leer más

$89.09 USD

The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows:Part I:
... Leer más
Human Systems Engineering and Design II

Proceedings of the 2nd International Conference on Human Systems Engineering and Design (IHSED2019): Future Trends and Applications, September 16-18, 2019, Universität der Bundeswehr München, Munich, Germany

Edición de Tareq Ahram, Waldemar Karwowski, Stefan Pickl, Redha Taiar ...

Series series Springer Nature Proceedings excluding Computer Science
This book focuses on novel design and systems engineering approaches, including theories and best practices, for promoting a better integration of people and engineering systems. It covers a range of hot topics related to: development of human-centered systems; interface design and human-computer interaction; usability and user experience; emergent properties of human behavior; innovative ... Leer más

$260.09 USD

This book focuses on novel design and systems engineering approaches, including theories and best practices, for promoting a better integration of people and engineering systems. It covers a range of hot topics related to: development of human-centered systems; interface design and human-computer interaction; usability and user experience; emergent properties of human behavior; innovative
... Leer más
Artificial Intelligence with Uncertainty

de Deyi Li, Yi Du ...

This book develops a framework that shows how uncertainty in Artificial Intelligence (AI) expands and generalizes traditional AI. It explores the uncertainties of knowledge and intelligence. The authors focus on the importance of natural language – the carrier of knowledge and intelligence, and introduce efficient physical methods for data mining amd control. In this new edition, we have more in ... Leer más

$66.99 USD

This book develops a framework that shows how uncertainty in Artificial Intelligence (AI) expands and generalizes traditional AI. It explores the uncertainties of knowledge and intelligence. The authors focus on the importance of natural language – the carrier of knowledge and intelligence, and introduce efficient physical methods for data mining amd control. In this new edition, we have more in
... Leer más
AI Unleashed: The Future of Artificial Intelligence and Human Evolution

GoodMan, #1

de Patrick Mukosha ...

Series Libro 1 - GoodMan
In AI Unleashed: The Future of Artificial Intelligence and Human Evolution, the transformative power of AI is explored as both a force of unparalleled innovation and a challenge to humanity's very essence. This thought-provoking book examines how artificial intelligence is reshaping industries, redefining human potential, and altering the course of evolution itself.From ethical dilemmas and job ... Leer más

$4.00 USD o gratis con Kobo Plus

In AI Unleashed: The Future of Artificial Intelligence and Human Evolution, the transformative power of AI is explored as both a force of unparalleled innovation and a challenge to humanity's very essence. This thought-provoking book examines how artificial intelligence is reshaping industries, redefining human potential, and altering the course of evolution itself.From ethical dilemmas and job
... Leer más
Statistics with Rust, Second Edition

de Keiko Nakamura ...

"Statistics with Rust, Second Edition" is designed to help you learn quickly, focusing on practical statistics using Rust scripts. The book is for readers who know the basics of statistics and machine learning. It gives quick explanations so you can try out concepts with hands-on coding. The book uses the newest version of Rust, 1.72.0, to help users build and secure statistical and machine ... Leer más

$29.99 USD o gratis con Kobo Plus

"Statistics with Rust, Second Edition" is designed to help you learn quickly, focusing on practical statistics using Rust scripts. The book is for readers who know the basics of statistics and machine learning. It gives quick explanations so you can try out concepts with hands-on coding. The book uses the newest version of Rust, 1.72.0, to help users build and secure statistical and machine
... Leer más
Cooperative Coverage Control of Multi-Agent Systems and its Applications

de Chao Zhai, Hai-Tao Zhang, Gaoxi Xiao ...

Series series Mathematics and Statistics (R0)
This book highlights cooperative coverage control approaches of multi-agent systems in uncertain environments and their applications in various fields. A novel theoretical formulation of multi-agent coverage is proposed to fulfill the coverage task via divide-and-conquer scheme. By taking workload partition and sweeping operations simultaneously, a distributed sweep coverage algorithm of multi ... Leer más

$80.09 USD

This book highlights cooperative coverage control approaches of multi-agent systems in uncertain environments and their applications in various fields. A novel theoretical formulation of multi-agent coverage is proposed to fulfill the coverage task via divide-and-conquer scheme. By taking workload partition and sweeping operations simultaneously, a distributed sweep coverage algorithm of multi
... Leer más
Exploratory Data Analysis

Descriptive Analysis, Visualization, and Dashboard Design (with Code Snippets in Python)

de Leandro Nunes de Castro ...

Series series AK Peters Visualization Series
This book is a comprehensive guide to exploratory data analysis (EDA), providing readers with the tools, techniques, and knowledge needed to conduct effective and thorough data exploration. Throughout the seven main chapters, this book details various aspects of EDA, from data description and preprocessing to visualization, storytelling, and dashboard design. We will explore real‑world datasets, ... Leer más

Antes $66.99 USD Ahora $59.99 USD

This book is a comprehensive guide to exploratory data analysis (EDA), providing readers with the tools, techniques, and knowledge needed to conduct effective and thorough data exploration. Throughout the seven main chapters, this book details various aspects of EDA, from data description and preprocessing to visualization, storytelling, and dashboard design. We will explore real‑world datasets,
... Leer más
Social Computing and Social Media

17th International Conference, SCSM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II

Edición de Adela Coman, Simona Vasilache ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Social Computing and Social Media, SCSM 2025, held as part of the 27th HCI International Conference, HCII 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.A total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from 7972 submissions ... Leer más

$76.49 USD

This book constitutes the refereed proceedings of the 17th International Conference on Social Computing and Social Media, SCSM 2025, held as part of the 27th HCI International Conference, HCII 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.A total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from 7972 submissions
... Leer más
Codebreakers Horizon

Navigating the Future of Programming Talent

de Anurag Anurag ...

"Codebreakers Horizon" offers a comprehensive exploration of the technological workforce's future, addressing the critical shortage of skilled programmers and the collective effort required to resolve it. The book delves into the multifaceted nature of attracting, educating, and maintaining the programmers who will lead the charge in the next technological revolution. From the classrooms where ... Leer más

$0.99 USD

"Codebreakers Horizon" offers a comprehensive exploration of the technological workforce's future, addressing the critical shortage of skilled programmers and the collective effort required to resolve it. The book delves into the multifaceted nature of attracting, educating, and maintaining the programmers who will lead the charge in the next technological revolution. From the classrooms where
... Leer más
The Discipline of Data

What Non-Technical Executives Don't Know About Data and Why It's Urgent They Find Out

de Jerald Savin ...

Pulling aside the curtain of ‘Big Data’ buzz, this book introduces C-suite and other non-technical senior leaders to the essentials of obtaining and maintaining accurate, reliable data, especially for decision-making purposes. Bad data begets bad decisions, and an understanding of data fundamentals — how data is generated, organized, stored, evaluated, and maintained — has never been more ... Leer más

$48.99 USD

Pulling aside the curtain of ‘Big Data’ buzz, this book introduces C-suite and other non-technical senior leaders to the essentials of obtaining and maintaining accurate, reliable data, especially for decision-making purposes. Bad data begets bad decisions, and an understanding of data fundamentals — how data is generated, organized, stored, evaluated, and maintained — has never been more
... Leer más
Chat GPT-4 para Principiantes

Chat GPT, #1

de Ryan Aitsonod ...

Series Libro 1 - Chat GPT
Adéntrate en el fascinante mundo de la inteligencia artificial con "Chat GPT-4 para Principiantes", un libro diseñado especialmente para aquellos que quieren aprender y aprovechar al máximo el potencial del chatbot GPT-4. Este libro ofrece una visión completa y detallada del funcionamiento, aplicaciones y consideraciones éticas de GPT-4, adaptada a lectores que no tienen experiencia previa en el ... Leer más

$3.99 USD o gratis con Kobo Plus

Adéntrate en el fascinante mundo de la inteligencia artificial con "Chat GPT-4 para Principiantes", un libro diseñado especialmente para aquellos que quieren aprender y aprovechar al máximo el potencial del chatbot GPT-4. Este libro ofrece una visión completa y detallada del funcionamiento, aplicaciones y consideraciones éticas de GPT-4, adaptada a lectores que no tienen experiencia previa en el
... Leer más
Kickstart PLC Programming

Design and Build Scalable Control Systems Using IEC 61131-3, Ladder Logic, SCADA and HMI for Modern Industrial Automation (English Edition)

de Henrique Morata ...

Your Fast-Track Guide to PLCs, SCADA, and Smart Control.Book DescriptionEmbark on a structured, hands-on journey into the world of PLC Programming and Machine Automation. This comprehensive guide takes you from the fundamentals of IEC 61131-3 programming languages, ??such as Ladder Logic, Structured Text, and Function Blocks to the advanced techniques required to build reliable and scalable ... Leer más

$19.95 USD o gratis con Kobo Plus

Your Fast-Track Guide to PLCs, SCADA, and Smart Control.Book DescriptionEmbark on a structured, hands-on journey into the world of PLC Programming and Machine Automation. This comprehensive guide takes you from the fundamentals of IEC 61131-3 programming languages, ??such as Ladder Logic, Structured Text, and Function Blocks to the advanced techniques required to build reliable and scalable
... Leer más
Computer Vision – ECCV 2026

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

Edición de 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 ... Leer más

$80.99 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
... Leer más
Ideengenerierung mit KI

Anwendungsfälle als Treiber für Innovation

de Christian Czarnecki, Eldar Sultanow, Sebastian Sebrak, Norbert Gronau, Malte Teichmann, Georg David Ritterbusch, Sarah Victoria Mohr, Matthias Aumann, Marcin Czaban, Stefan Wengler ...

Series series Computer Science and Engineering (German Language)
Generative KI eröffnet neue Möglichkeiten – doch viele Unternehmen fragen sich: Wie findet man die richtige Idee und setzt sie erfolgreich um?Dieses Buch zeigt eine praxisbewährte Methode, mit der aus Herausforderungen konkrete GenAI-Lösungen entstehen. Die GenAI-Matrix macht den Weg von bestehenden Erfolgsbeispielen zu eigenen Anwendungen nachvollziehbar.Schritt für Schritt führt das Werk von der ... Leer más

$9.99 USD

Generative KI eröffnet neue Möglichkeiten – doch viele Unternehmen fragen sich: Wie findet man die richtige Idee und setzt sie erfolgreich um?Dieses Buch zeigt eine praxisbewährte Methode, mit der aus Herausforderungen konkrete GenAI-Lösungen entstehen. Die GenAI-Matrix macht den Weg von bestehenden Erfolgsbeispielen zu eigenen Anwendungen nachvollziehbar.Schritt für Schritt führt das Werk von der
... Leer más
Data as a Product

A Comprehensive Guide to Creating, Managing, and Monetizing Data Products

de Brian Paul ...

In an era where data is hailed as the new oil, "Data as a Product: A Comprehensive Guide to Creating, Managing, and Monetizing Data Products" emerges as an essential blueprint for innovators, entrepreneurs, and businesses keen on navigating the burgeoning data economy. This groundbreaking book demystifies the process of transforming raw data into valuable products, offering a detailed roadmap from ... Leer más

$3.95 USD o gratis con Kobo Plus

In an era where data is hailed as the new oil, "Data as a Product: A Comprehensive Guide to Creating, Managing, and Monetizing Data Products" emerges as an essential blueprint for innovators, entrepreneurs, and businesses keen on navigating the burgeoning data economy. This groundbreaking book demystifies the process of transforming raw data into valuable products, offering a detailed roadmap from
... Leer más
Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I

Edición de Robbert Krebbers ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and ... Leer más

Gratis

The open access book set LNCS 16501 + LNCS 16502 constitutes the proceedings of the 35th European Symposium on Programming, ESOP 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 31 full papers included in the proceedings, together with one invited talk, were carefully reviewed and
... Leer más
Game Development with Rust and WebAssembly

Learn how to run Rust on the web while building a game

de Eric Smith ...

Write an endless runner game for the web in Rust and test, deploy, and debug your 2D game using the WebAssembly toolchainKey FeaturesBuild and deploy an endless runner game for the web from scratch through this helpful guide with key images printed in colorLearn how to use Rust for web development with WebAssemblyExplore modern game development and programming techniques to build 2D games using ... Leer más

$34.19 USD o gratis con Kobo Plus

Write an endless runner game for the web in Rust and test, deploy, and debug your 2D game using the WebAssembly toolchainKey FeaturesBuild and deploy an endless runner game for the web from scratch through this helpful guide with key images printed in colorLearn how to use Rust for web development with WebAssemblyExplore modern game development and programming techniques to build 2D games using
... Leer más
Writing Compilers and Interpreters

A Software Engineering Approach

de Ronald Mak ...

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a ... Leer más

$70.00 USD

Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a
... Leer más
Machine Learning for Cybersecurity Cookbook

Over 80 recipes on how to implement machine learning algorithms for building security systems using Python

de Emmanuel Tsukerman ...

Learn how to apply modern AI to create powerful cybersecurity solutions for malware, pentesting, social engineering, data privacy, and intrusion detectionKey FeaturesManage data of varying complexity to protect your system using the Python ecosystemApply ML to pentesting, malware, data privacy, intrusion detection system(IDS) and social engineeringAutomate your daily workflow by addressing various ... Leer más

$34.19 USD o gratis con Kobo Plus

Learn how to apply modern AI to create powerful cybersecurity solutions for malware, pentesting, social engineering, data privacy, and intrusion detectionKey FeaturesManage data of varying complexity to protect your system using the Python ecosystemApply ML to pentesting, malware, data privacy, intrusion detection system(IDS) and social engineeringAutomate your daily workflow by addressing various
... Leer más
Computational Intelligence in Biomedical Internet of Medical Things

Edición de Satya Prakash Yadav, Abhay Bansal, Victor Hugo C. de Albuquerque ...

Through comprehensive insights and real-world case studies, this book features in-depth knowledge of key concepts relating to optimizing biomedical IoMT systems.Biomedical Internet of Medical Things is a technological paradigm encompassing a range of technologies that enable machines to mimic human intelligence. Machine and deep learning algorithms facilitate self-learning for the discovery of ... Leer más

$189.00 USD

Through comprehensive insights and real-world case studies, this book features in-depth knowledge of key concepts relating to optimizing biomedical IoMT systems.Biomedical Internet of Medical Things is a technological paradigm encompassing a range of technologies that enable machines to mimic human intelligence. Machine and deep learning algorithms facilitate self-learning for the discovery of
... Leer más
Ultimate MLOps for Machine Learning Models

Use Real Case Studies to Efficiently Build, Deploy, and Scale Machine Learning Pipelines with MLOps (English Edition)

de Saurabh Dorle ...

The only MLOps guide you'll ever needBook DescriptionThis book is an essential resource for professionals aiming to streamline and optimize their machine learning operations. This comprehensive guide provides a thorough understanding of the MLOps life cycle, from model development and training to deployment and monitoring. By delving into the intricacies of each phase, the book equips readers with ... Leer más

$29.95 USD o gratis con Kobo Plus

The only MLOps guide you'll ever needBook DescriptionThis book is an essential resource for professionals aiming to streamline and optimize their machine learning operations. This comprehensive guide provides a thorough understanding of the MLOps life cycle, from model development and training to deployment and monitoring. By delving into the intricacies of each phase, the book equips readers with
... Leer más
Machine Learning for Business Analytics

Concepts, Techniques and Applications in RapidMiner

de Galit Shmueli, Peter C. Bruce, Amit V. Deokar, Nitin R. Patel ...

Machine Learning for Business AnalyticsMachine learning—also known as data mining or data analytics—is a fundamental part of data science. It is used by organizations in a wide variety of arenas to turn raw data into actionable information.Machine Learning for Business Analytics: Concepts, Techniques and Applications in RapidMiner provides a comprehensive introduction and an overview of this ... Leer más

$118.00 USD

Machine Learning for Business AnalyticsMachine learning—also known as data mining or data analytics—is a fundamental part of data science. It is used by organizations in a wide variety of arenas to turn raw data into actionable information.Machine Learning for Business Analytics: Concepts, Techniques and Applications in RapidMiner provides a comprehensive introduction and an overview of this
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Programación

Mostrar: