Rakuten Kobo

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Edición de Brijesh Dongol, Luigia Petre, Graeme Smith ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures;
... Leer más
Fundamentals of Software Engineering

8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Edición de Hossein Hojjat, Mieke Massink ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.The 14 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially
... Leer más
SAS for Finance

Forecasting and data analysis techniques with real-world examples to build powerful financial models

de Harish Gulati ...

Leverage the analytical power of SAS to perform financial analysis efficientlyKey FeaturesLeverage the power of SAS to analyze financial data with easeFind hidden patterns in your data, predict future trends, and optimize risk managementLearn why leading banks and financial institutions rely on SAS for financial analysisBook DescriptionSAS is a groundbreaking tool for advanced predictive and ... Leer más

$34.99 USD o gratis con Kobo Plus

Leverage the analytical power of SAS to perform financial analysis efficientlyKey FeaturesLeverage the power of SAS to analyze financial data with easeFind hidden patterns in your data, predict future trends, and optimize risk managementLearn why leading banks and financial institutions rely on SAS for financial analysisBook DescriptionSAS is a groundbreaking tool for advanced predictive and
... Leer más
E-Learning, E-Education, and Online Training

Second International Conference, eLEOT 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

Edición de Alberto Bucciero, Carlos Vaz de Carvalho, Giovanni Vincenti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second International Conference on E-Learning, E-Education, and Online Training, eLEOT 2015, held in Novedrate, Italy, in September 2015.The 26 revised full papers presented were carefully reviewed and selected from 52 submissions. They focus on e-learning and distance education in science, technology, engineering and math. ... Leer más

$62.99 USD

This book constitutes the proceedings of the Second International Conference on E-Learning, E-Education, and Online Training, eLEOT 2015, held in Novedrate, Italy, in September 2015.The 26 revised full papers presented were carefully reviewed and selected from 52 submissions. They focus on e-learning and distance education in science, technology, engineering and math.
... Leer más
Blender pour l'architecture

Conception, rendu, animation et impression 3D de scènes architecturales - Nouvelle édition en couleur

de Matthieu Dupont de Dinechin ...

Series series Accès libre
L'outil libre de conception 3DLogiciel libre de référence pour la création d'images et l'animation 3D, Blender peut avantageusement remplacer 3ds Max, Cinema4D et même Google SketchUp dans la conception de projets architec¬turaux, depuis la modélisation de l'espace et des bâtiments jusqu'au rendu final. Utilisable aussi bien sous Windows et Linux que sous Mac OS X, il est en constante évolution et ... Leer más

$25.05 USD o gratis con Kobo Plus

L'outil libre de conception 3DLogiciel libre de référence pour la création d'images et l'animation 3D, Blender peut avantageusement remplacer 3ds Max, Cinema4D et même Google SketchUp dans la conception de projets architec¬turaux, depuis la modélisation de l'espace et des bâtiments jusqu'au rendu final. Utilisable aussi bien sous Windows et Linux que sous Mac OS X, il est en constante évolution et
... Leer más
Cloud Native Geospatial Analytics with Apache Sedona

A Hands-On Guide for Working with Large-Scale Spatial Data

de Pawel Tokaj, Jia Yu, Mo Sarwat ...

Navigating the complexities of large-scale spatial data can be daunting. In order to unleash the power of massive and complex datasets, you'll need a cutting-edge tool like Apache Sedona. This innovative distributed computing system, designed specifically for spatial data, has diverse applications in fields such as mobility, telematics, agriculture, climate science, and more. This book serves as ... Leer más

$43.99 USD

Navigating the complexities of large-scale spatial data can be daunting. In order to unleash the power of massive and complex datasets, you'll need a cutting-edge tool like Apache Sedona. This innovative distributed computing system, designed specifically for spatial data, has diverse applications in fields such as mobility, telematics, agriculture, climate science, and more. This book serves as
... Leer más
The Intelligence We Didn't Build:

AI Sci-Fi

de Ronald Ritter ...

Series series AI Sci-Fi
here will be no announcement. No press conference. No moment when a machine declares itself conscious and humanity recognizes it. The arrival of artificial general intelligence will not resemble the stories we've told for decades. It will come quietly, without ceremony, reshaping the world before we notice. In many ways, it is already here—not as a singular entity, but as a gradient of capability ... Leer más

Gratis

here will be no announcement. No press conference. No moment when a machine declares itself conscious and humanity recognizes it. The arrival of artificial general intelligence will not resemble the stories we've told for decades. It will come quietly, without ceremony, reshaping the world before we notice. In many ways, it is already here—not as a singular entity, but as a gradient of capability
... Leer más
The Invisible Manager: Work Smarter, Not Harder

Harness Al to Cut Your Project Workload by 50%

de Ajay Tiwari ...

What if Al could be your project's best team member: working tirelessly, thinking strategically, and helping you lead smarter, not harder?In 'The Invisible Manager', seasoned program manager Ajay Tiwari takes you on an eye-opening journey into the future of project management, where Artificial Intelligence isn't just a tool, but a trusted partner. Through the story of Arjun, a project manager ... Leer más

$2.99 USD

What if Al could be your project's best team member: working tirelessly, thinking strategically, and helping you lead smarter, not harder?In 'The Invisible Manager', seasoned program manager Ajay Tiwari takes you on an eye-opening journey into the future of project management, where Artificial Intelligence isn't just a tool, but a trusted partner. Through the story of Arjun, a project manager
... Leer más
Ultimate FINGPT for Financial Analysis

de Dr. Jignasha Shah Dalal, Dr. Santhilata K. V. ...

Turn Financial Data into Decisions with the Power of FinGPT.Key Features● Hands-on setup of FINGPT in real-world finance projects.● End-to-end guide for automating financial reporting tasks.● Case studies on market trends and sentiment prediction.● Techniques to scale, fine-tune, and optimize FINGPT models.Book DescriptionFINGPT is redefining how financial institutions analyze data, f... ... Leer más

$18.99 USD

Turn Financial Data into Decisions with the Power of FinGPT.Key Features● Hands-on setup of FINGPT in real-world finance projects.● End-to-end guide for automating financial reporting tasks.● Case studies on market trends and sentiment prediction.● Techniques to scale, fine-tune, and optimize FINGPT models.Book DescriptionFINGPT is redefining how financial institutions analyze data, f...
... Leer más
Augmented Reality Games II

The Gamification of Education, Medicine and Art

Edición de Vladimir Geroimenko ...

Series series Computer Science (R0)
This is the second edition of the first ever research monograph that explores the exciting field of augmented reality games and their enabling technologies. The new edition has been thoroughly revised and updated, with 6 new chapters included. As well as investigating augmented reality games in education, the book covers the gamification of medicine, healthcare, and art. It has been written by a ... Leer más

$197.99 USD

This is the second edition of the first ever research monograph that explores the exciting field of augmented reality games and their enabling technologies. The new edition has been thoroughly revised and updated, with 6 new chapters included. As well as investigating augmented reality games in education, the book covers the gamification of medicine, healthcare, and art. It has been written by a
... Leer más
Deep Learning for Healthcare Services

de Parma Nand, Vishal Jain, Dac Nhuong Le, Jyotir Moy Chatterjee, Ramani Kannan, Abhishek S. Verma ...

Series Libro 2 - IoT and Big Data Analytics
This book highlights the applications of deep learning algorithms in implementing big data and IoT enabled smart solutions to treat and care for terminally ill patients. It presents 5 concise chapters showing how these technologies can empower the conventional doctor patient relationship in a more dynamic, transparent, and personalized manner. The key topics covered in this book include:- The Role ... Leer más

$28.09 USD

This book highlights the applications of deep learning algorithms in implementing big data and IoT enabled smart solutions to treat and care for terminally ill patients. It presents 5 concise chapters showing how these technologies can empower the conventional doctor patient relationship in a more dynamic, transparent, and personalized manner. The key topics covered in this book include:- The Role
... Leer más
Natural Language Interfaces to Databases

de Yunyao Li, Dragomir Radev, Davood Rafiei ...

Series series Synthesis Collection of Technology (R0)
This book presents a comprehensive overview of Natural Language Interfaces to Databases (NLIDBs), an indispensable tool in the ever-expanding realm of data-driven exploration and decision making. After first demonstrating the importance of the field using an interactive ChatGPT session, the book explores the remarkable progress and general challenges faced with real-world deployment of NLIDBs. It ... Leer más

$44.99 USD

This book presents a comprehensive overview of Natural Language Interfaces to Databases (NLIDBs), an indispensable tool in the ever-expanding realm of data-driven exploration and decision making. After first demonstrating the importance of the field using an interactive ChatGPT session, the book explores the remarkable progress and general challenges faced with real-world deployment of NLIDBs. It
... Leer más
Feature Store for Machine Learning

Curate, discover, share and serve ML features at scale

de Jayanth Kumar M J ...

Learn how to leverage feature stores to make the most of your machine learning modelsKey FeaturesUnderstand the significance of feature stores in the ML life cycleDiscover how features can be shared, discovered, and re-usedLearn to make features available for online models during inferenceBook DescriptionFeature store is one of the storage layers in machine learning (ML) operations, where data ... Leer más

$32.99 USD o gratis con Kobo Plus

Learn how to leverage feature stores to make the most of your machine learning modelsKey FeaturesUnderstand the significance of feature stores in the ML life cycleDiscover how features can be shared, discovered, and re-usedLearn to make features available for online models during inferenceBook DescriptionFeature store is one of the storage layers in machine learning (ML) operations, where data
... Leer más
Intelligent Robotics and Applications

14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part III

Edición de Xin-Jun Liu, Zhenguo Nie, Jingjun Yu, Fugui Xie, Rui Song ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The 4-volume set LNAI 13013 – 13016 constitutes the proceedings of the 14th International Conference on Intelligent Robotics and Applications, ICIRA 2021, which took place in Yantai, China, during October 22-25, 2021.The 299 papers included in these proceedings were carefully reviewed and selected from 386 submissions. They were organized in topical sections as follows: Robotics dexterous ... Leer más

$107.99 USD

The 4-volume set LNAI 13013 – 13016 constitutes the proceedings of the 14th International Conference on Intelligent Robotics and Applications, ICIRA 2021, which took place in Yantai, China, during October 22-25, 2021.The 299 papers included in these proceedings were carefully reviewed and selected from 386 submissions. They were organized in topical sections as follows: Robotics dexterous
... Leer más
Advances in Human Factors in Robots and Unmanned Systems

Proceedings of the AHFE 2018 International Conference on Human Factors in Robots and Unmanned Systems, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Edición de Jessie Chen ...

Series series Springer Nature Proceedings excluding Computer Science
This book focuses on the importance of human factors in the development of safe and reliable unmanned systems. It discusses current challenges such as how to improve the perceptual and cognitive abilities of robots, develop suitable synthetic vision systems, cope with degraded reliability in unmanned systems, predict robotic behavior in case of a loss of communication, the vision for future ... Leer más

$89.99 USD

This book focuses on the importance of human factors in the development of safe and reliable unmanned systems. It discusses current challenges such as how to improve the perceptual and cognitive abilities of robots, develop suitable synthetic vision systems, cope with degraded reliability in unmanned systems, predict robotic behavior in case of a loss of communication, the vision for future
... Leer más
Practical PHP 7, MySQL 8, and MariaDB Website Databases

A Simplified Approach to Developing Database-Driven Websites

de Adrian W. West, Steve Prettyman ...

Series series Professional and Applied Computing (R0)
Build interactive, database-driven websites with PHP 7, MySQL 8, and MariaDB. The focus of this book is on getting you up and running as quickly as possible with real-world applications. In the first two chapters, you will set up your development and testing environment, and then build your first PHP and MariaDB or MySQL database-driven website. You will then increase its sophistication, security, ... Leer más

$62.99 USD

Build interactive, database-driven websites with PHP 7, MySQL 8, and MariaDB. The focus of this book is on getting you up and running as quickly as possible with real-world applications. In the first two chapters, you will set up your development and testing environment, and then build your first PHP and MariaDB or MySQL database-driven website. You will then increase its sophistication, security,
... Leer más
Designing Digital Musical Instruments Using Probatio

A Physical Prototyping Toolkit

de Filipe Calegario ...

Series series Computer Science (R0)
The author presents Probatio, a toolkit for building functional DMI (digital musical instruments) prototypes, artifacts in which gestural control and sound production are physically decoupled but digitally mapped. He uses the concept of instrumental inheritance, the application of gestural and/or structural components of existing instruments to generate ideas for new instruments. To support ... Leer más

$89.99 USD

The author presents Probatio, a toolkit for building functional DMI (digital musical instruments) prototypes, artifacts in which gestural control and sound production are physically decoupled but digitally mapped. He uses the concept of instrumental inheritance, the application of gestural and/or structural components of existing instruments to generate ideas for new instruments. To support
... Leer más
Introduction to Machine Learning with R

Rigorous Mathematical Analysis

de Scott V. Burger ...

Machine learning is an intimidating subject until you know the fundamentals. If you understand basic coding concepts, this introductory guide will help you gain a solid foundation in machine learning principles. Using the R programming language, you’ll first start to learn with regression modelling and then move into more advanced topics such as neural networks and tree-based methods.Finally, you ... Leer más

$34.99 USD

Machine learning is an intimidating subject until you know the fundamentals. If you understand basic coding concepts, this introductory guide will help you gain a solid foundation in machine learning principles. Using the R programming language, you’ll first start to learn with regression modelling and then move into more advanced topics such as neural networks and tree-based methods.Finally, you
... Leer más
Neural Networks for Beginners

A Journey Through the World of Artificial Intelligence

de Brandon Scott ...

Embark on an enlightening journey into the fascinating world of neural networks with "Neural Networks for Beginners: A Journey Through the World of Artificial Intelligence." This comprehensive guide is meticulously crafted for absolute beginners, offering a gentle introduction to the complex and intriguing domain of artificial intelligence (AI) through the lens of neural networks.With no prior ... Leer más

$3.95 USD o gratis con Kobo Plus

Embark on an enlightening journey into the fascinating world of neural networks with "Neural Networks for Beginners: A Journey Through the World of Artificial Intelligence." This comprehensive guide is meticulously crafted for absolute beginners, offering a gentle introduction to the complex and intriguing domain of artificial intelligence (AI) through the lens of neural networks.With no prior
... Leer más
Computer Vision – ECCV 2026

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

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

$98.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
HCI International 2025 – Late Breaking Papers

27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part X

Edición de Vincent G. Duffy, Qin Gao, Jia Zhou ...

Series Libro 10 - Springer Nature Proceedings Computer Science
The 16-volume set LNCS 16331–16346 constitutes late breaking papers from the 27th International Conference on Human-Computer Interaction, HCI International 2025, held in Gothenburg, Sweden, during June 22-27, 2025.A total of 7972 individuals from academia, research institutes, industry, and government agencies from 92 countries submitted contributions. 1430 papers and 355 posters (as short ... Leer más

$71.99 USD

The 16-volume set LNCS 16331–16346 constitutes late breaking papers from the 27th International Conference on Human-Computer Interaction, HCI International 2025, held in Gothenburg, Sweden, during June 22-27, 2025.A total of 7972 individuals from academia, research institutes, industry, and government agencies from 92 countries submitted contributions. 1430 papers and 355 posters (as short
... Leer más
Beginning Spring Boot 2

Applications and Microservices with the Spring Framework

de K. Siva Prasad Reddy ...

Series series Professional and Applied Computing (R0)
Learn Spring Boot and how to build Java-based enterprise, web, and microservice applications with it. In this book, you'll see how to work with relational and NoSQL databases, build your first microservice, enterprise, or web application, and enhance that application with REST APIs. You'll also learn how to build reactive web applications using Spring Boot along with Spring Web Reactive. Then you ... Leer más

$62.99 USD

Learn Spring Boot and how to build Java-based enterprise, web, and microservice applications with it. In this book, you'll see how to work with relational and NoSQL databases, build your first microservice, enterprise, or web application, and enhance that application with REST APIs. You'll also learn how to build reactive web applications using Spring Boot along with Spring Web Reactive. Then you
... Leer más
Social Informatics

8th International Conference, SocInfo 2016, Bellevue, WA, USA, November 11-14, 2016, Proceedings, Part I

Edición de Emma Spiro, Yong-Yeol Ahn ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10046 and 10047 constitutes the proceedings of the 8th International Conference on Social Informatics, SocInfo 2016, held in Bellevue, WA, USA, in November 2016.The 36 full papers and 39 poster papers presented in this volume were carefully reviewed and selected from 120 submissions. They are organized in topical sections named: networks, communities, and groups; politics, ... Leer más

$49.99 USD

The two-volume set LNCS 10046 and 10047 constitutes the proceedings of the 8th International Conference on Social Informatics, SocInfo 2016, held in Bellevue, WA, USA, in November 2016.The 36 full papers and 39 poster papers presented in this volume were carefully reviewed and selected from 120 submissions. They are organized in topical sections named: networks, communities, and groups; politics,
... Leer más
Energy Minimization Methods in Computer Vision and Pattern Recognition

11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers

Edición de Marcello Pelillo, Edwin Hancock ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 11th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2017, held in Venice, Italy, in October/November 2017.The 37 revised full papers were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on Clustering and Quantum Methods; Motion and ... Leer más

$49.99 USD

This volume constitutes the refereed proceedings of the 11th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2017, held in Venice, Italy, in October/November 2017.The 37 revised full papers were carefully reviewed and selected from 51 submissions. The papers are organized in topical sections on Clustering and Quantum Methods; Motion and
... 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: