Rakuten Kobo

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Edición de André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Leer más

Gratis

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Leer más
The Definitive Guide to Modern Java Clients with JavaFX

Cross-Platform Mobile and Cloud Development Updated for JavaFX 21 and 23

de Stephen Chin, Johan Vos, James Weaver, Gail Anderson, Paul Anderson, Bruno Borges, Anton Epple, Weiqi Gao, Jonathan Giles, José Pereda, Sven Reimers, Eugene Ryzhikov, William Antônio Siqueira ...

Series series Professional and Applied Computing (R0)
Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud services to create immersive visualizations and allow high-value data manipulation. This book is a professional reference for ... Leer más

$67.49 USD

Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud services to create immersive visualizations and allow high-value data manipulation. This book is a professional reference for
... Leer más
dbt for Analytics Engineering

The Complete Guide for Developers and Engineers

de William Smith ...

"dbt for Analytics Engineering""dbt for Analytics Engineering" is a comprehensive guide for modern data practitioners seeking to master the evolving discipline of analytics engineering. The book begins by tracing the origins of analytics engineering and examining the emergence of the modern data stack, with an in-depth look at dbt’s transformative role in shaping data workflows, architectural ... Leer más

$9.95 USD o gratis con Kobo Plus

"dbt for Analytics Engineering""dbt for Analytics Engineering" is a comprehensive guide for modern data practitioners seeking to master the evolving discipline of analytics engineering. The book begins by tracing the origins of analytics engineering and examining the emergence of the modern data stack, with an in-depth look at dbt’s transformative role in shaping data workflows, architectural
... Leer más
XML and InDesign

Stylish Structure: Publishing XML with Adobe InDesign

de Dorothy J. Hoskins ...

Discover the power of XML publishing with InDesign, and create content for multiple applications—including digital-first publishing workflows. With this book, XML evangelist Dorothy Hoskins teaches you several techniques for working with the built-in XML capabilities of InDesign CS6, using real examples from a college course-catalog project.Learn how to import database content into InDesign, and ... Leer más

$13.09 USD

Discover the power of XML publishing with InDesign, and create content for multiple applications—including digital-first publishing workflows. With this book, XML evangelist Dorothy Hoskins teaches you several techniques for working with the built-in XML capabilities of InDesign CS6, using real examples from a college course-catalog project.Learn how to import database content into InDesign, and
... Leer más
JavaScript: Best Practices to Programming Code with JavaScript

JavaScript Computer Programming, #3

de Charlie Masterson ...

Series Libro 3 - JavaScript Computer Programming
Learn how to write effective and efficient JavaScript code for programming success and continue your progress towards JavaScript programming mastery!In this Definitive JavaScript Guide on Best Practices, you're about to discover how to...Code more efficiently for Better Performance and Results!Spot the Common JavaScript Mistakes - From mismatched quotes, bad line breaks, HTML conflicts and more ... Leer más

$2.99 USD o gratis con Kobo Plus

Learn how to write effective and efficient JavaScript code for programming success and continue your progress towards JavaScript programming mastery!In this Definitive JavaScript Guide on Best Practices, you're about to discover how to...Code more efficiently for Better Performance and Results!Spot the Common JavaScript Mistakes - From mismatched quotes, bad line breaks, HTML conflicts and more
... Leer más
Python Programming Projects Workbook for Kids

Master Python in 1 month with 150 Outrageously Fun Small Python Programs for Kids

de Bob Mather ...

Python Workbook for Kids and Beginners with 150 Hands-On Small Python ProjectsThis is an interactive workbook which is a gateway to the exciting world of coding in Python.Structured as a comprehensive guide, this workbook takes young learners on a journey through Python programming, starting with the basics and gradually building up to more advanced concepts. Each chapter is meticulously crafted ... Leer más

$9.99 USD o gratis con Kobo Plus

Python Workbook for Kids and Beginners with 150 Hands-On Small Python ProjectsThis is an interactive workbook which is a gateway to the exciting world of coding in Python.Structured as a comprehensive guide, this workbook takes young learners on a journey through Python programming, starting with the basics and gradually building up to more advanced concepts. Each chapter is meticulously crafted
... Leer más
C# for New Programmers, 2025 Edition: A Practical Guide with Projects

de Liam Byrne ...

Are you ready to master C# and start building real-world applications?Learning a new programming language can be intimidating. Many books are too theoretical, leaving you with knowledge but no practical skills. "C# for New Programmers, 2025 Edition" is different. This book is your hands-on, project-based guide to mastering modern C# and the .NET ecosystem, designed specifically for beginners, ... Leer más

$4.99 USD o gratis con Kobo Plus

Are you ready to master C# and start building real-world applications?Learning a new programming language can be intimidating. Many books are too theoretical, leaving you with knowledge but no practical skills. "C# for New Programmers, 2025 Edition" is different. This book is your hands-on, project-based guide to mastering modern C# and the .NET ecosystem, designed specifically for beginners,
... Leer más
Tor 5 in 1 Darknet Bundle

Master the Art of Invisibility

de Lance Henderson ...

**Tired of being spied on? Sometimes a victim decides to stop being a victim.Master the dark art of invisibility with this 5 in 1 boxset.** Want to surf the web anonymously? Cloak yourself in shadow? I will show you how to become a ghost in the machine - leaving no tracks back to your ISP. This book covers it all! Encrypting your files, securing your PC, masking your online footsteps with Tor ... Leer más

$9.99 USD o gratis con Kobo Plus

**Tired of being spied on? Sometimes a victim decides to stop being a victim.Master the dark art of invisibility with this 5 in 1 boxset.** Want to surf the web anonymously? Cloak yourself in shadow? I will show you how to become a ghost in the machine - leaving no tracks back to your ISP. This book covers it all! Encrypting your files, securing your PC, masking your online footsteps with Tor
... Leer más
ReSharper Essentials

de Lukasz Gasior ...

A practical, hands-on guide that will help you to unleash the power of ReSharper to write better quality code. If you are a developer who is working with Visual Studio and are looking to make your work more efficient, this book is for you. It is most useful for new ReSharper users but those who are currently using it will also find many useful tips and references updated to the latest version (8.1 ... Leer más

$18.09 USD o gratis con Kobo Plus

A practical, hands-on guide that will help you to unleash the power of ReSharper to write better quality code. If you are a developer who is working with Visual Studio and are looking to make your work more efficient, this book is for you. It is most useful for new ReSharper users but those who are currently using it will also find many useful tips and references updated to the latest version (8.1
... Leer más
Hands-On Reactive Programming with Reactor

Build reactive and scalable microservices using the Reactor framework

de Rahul Sharma ...

Discover how project Reactor enhances the reactive programming paradigm and allows you to build scalable asynchronous applicationsKey FeaturesUse reactive APIs, Flux, and Mono to implement reactive extensionsCreate concurrent applications without the complexity of Java's concurrent APIUnderstand techniques to implement event-driven and reactive applicationsBook DescriptionReactor is an ... Leer más

$34.19 USD o gratis con Kobo Plus

Discover how project Reactor enhances the reactive programming paradigm and allows you to build scalable asynchronous applicationsKey FeaturesUse reactive APIs, Flux, and Mono to implement reactive extensionsCreate concurrent applications without the complexity of Java's concurrent APIUnderstand techniques to implement event-driven and reactive applicationsBook DescriptionReactor is an
... Leer más
MASTER REACT JS PART 1

de m.furqan riaz ...

ReactJS is an open-source, component-based front end library responsible only for the view layer of the application. It is maintained by Facebook. React uses a declarative paradigm that makes it easier to reason about your application and aims to be both efficient and flexible.React JS is a javascript library originally developed by Facebook. It helps in building highly engaging single-page web ... Leer más

$3.99 USD o gratis con Kobo Plus

ReactJS is an open-source, component-based front end library responsible only for the view layer of the application. It is maintained by Facebook. React uses a declarative paradigm that makes it easier to reason about your application and aims to be both efficient and flexible.React JS is a javascript library originally developed by Facebook. It helps in building highly engaging single-page web
... Leer más
Architecture of Advanced Numerical Analysis Systems

Designing a Scientific Computing System using OCaml

de Liang Wang, Jianxin Zhao ...

Series series Professional and Applied Computing (R0)
This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library.You'll first learn the various components in a modern numerical computation library. Then, you ... Leer más

Gratis

This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library.You'll first learn the various components in a modern numerical computation library. Then, you
... Leer más
Cayley Database Architecture and Development

The Complete Guide for Developers and Engineers

de William Smith ...

"Cayley Database Architecture and Development""Cayley Database Architecture and Development" is a comprehensive guide to the design, deployment, and advanced usage of the Cayley graph database. Drawing on the rich theoretical foundations of graph databases and the unique quad-based data model at the heart of Cayley, this book provides in-depth coverage from fundamental principles and architectural ... Leer más

$9.95 USD o gratis con Kobo Plus

"Cayley Database Architecture and Development""Cayley Database Architecture and Development" is a comprehensive guide to the design, deployment, and advanced usage of the Cayley graph database. Drawing on the rich theoretical foundations of graph databases and the unique quad-based data model at the heart of Cayley, this book provides in-depth coverage from fundamental principles and architectural
... Leer más
Mastering Agda

A Practical Guide to Dependently Typed Programming and Formal Verification

de Robert Johnson ...

"Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification" serves as an essential resource for developers and researchers looking to harness the full potential of Agda's advanced type system. This book meticulously covers the foundations of dependently typed programming, introducing readers to Agda's unique capabilities as both a programming language and a proof ... Leer más

$9.99 USD o gratis con Kobo Plus

"Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification" serves as an essential resource for developers and researchers looking to harness the full potential of Agda's advanced type system. This book meticulously covers the foundations of dependently typed programming, introducing readers to Agda's unique capabilities as both a programming language and a proof
... Leer más
Soda Core

Practical Data Observability and Quality Checks

de Trex Team ...

"Soda Core: Practical Data Observability and Quality Checks"Data observability stops being a buzzword the moment you have to explain a broken dashboard at 2 a.m. This book is written for experienced data engineers, analytics engineers, and platform teams who need reproducible, auditable ways to prove that critical datasets are correct, fresh, and fit for purpose—without turning quality into a ... Leer más

$9.99 USD o gratis con Kobo Plus

"Soda Core: Practical Data Observability and Quality Checks"Data observability stops being a buzzword the moment you have to explain a broken dashboard at 2 a.m. This book is written for experienced data engineers, analytics engineers, and platform teams who need reproducible, auditable ways to prove that critical datasets are correct, fresh, and fit for purpose—without turning quality into a
... Leer más
Provisioning Kubernetes Bare Metal with Metal3

The Complete Guide for Developers and Engineers

de William Smith ...

"Provisioning Kubernetes Bare Metal with Metal3""Provisioning Kubernetes Bare Metal with Metal3" is an authoritative guide for infrastructure professionals, platform engineers, and architects seeking to harness the full potential of Kubernetes on physical servers. The book begins by clearly delineating the unique considerations and motivations behind bare metal deployments—covering performance, ... Leer más

$9.95 USD o gratis con Kobo Plus

"Provisioning Kubernetes Bare Metal with Metal3""Provisioning Kubernetes Bare Metal with Metal3" is an authoritative guide for infrastructure professionals, platform engineers, and architects seeking to harness the full potential of Kubernetes on physical servers. The book begins by clearly delineating the unique considerations and motivations behind bare metal deployments—covering performance,
... Leer más
Ultimate AWS Certified Solutions Architect Professional Exam (SAPC02) Guide

de Gaurav H Kankaria, Karan Vichare ...

Pass the AWS Solutions Architect Pro Exam with Confidence. Key Features ● Dive deep into all critical areas of the exam, including advanced architecture, cost optimization, high availability, and security. ● Engage with interactive exercises that simulate real-world cloud challenges. ● Learn from experienced professionals who share insider tips, proven strategies, and common pitfalls to avoid. ... Leer más

$24.99 USD o gratis con Kobo Plus

Pass the AWS Solutions Architect Pro Exam with Confidence. Key Features ● Dive deep into all critical areas of the exam, including advanced architecture, cost optimization, high availability, and security. ● Engage with interactive exercises that simulate real-world cloud challenges. ● Learn from experienced professionals who share insider tips, proven strategies, and common pitfalls to avoid.
... Leer más
Ultimate Machine Learning with ML.NET: Build, Optimize, and Deploy Powerful Machine Learning Models for Data-Driven Insights with ML.NET, Azure Functions, and Web API

de Kalicharan Mahasivabhattu, Deepti Bandi ...

“Empower Your .NET Journey with Machine Learning”Key Features● Step-by-step guidance to help you navigate through various machine learning tasks and techniques with ML.NET.● Explore all aspects of ML.NET, from installation and configuration to model deployment.● Engage in practical exercises and real-world projects to solidify your understanding.Book DescriptionDive into the world of machine ... ... Leer más

$24.95 USD o gratis con Kobo Plus

“Empower Your .NET Journey with Machine Learning”Key Features● Step-by-step guidance to help you navigate through various machine learning tasks and techniques with ML.NET.● Explore all aspects of ML.NET, from installation and configuration to model deployment.● Engage in practical exercises and real-world projects to solidify your understanding.Book DescriptionDive into the world of machine ...
... Leer más
HTML Guide (Speedy Study Guides)

de Speedy Publishing ...

Congratulations on your decision to venture into the world of programming. Treat this quick study guide as your companion in your learning process. The information here is all you need to create your first HTML language program. From here, you can begin to create complex programs. It is important that you always keep a copy because even professionals need refreshers too! ... Leer más

$2.99 USD

Congratulations on your decision to venture into the world of programming. Treat this quick study guide as your companion in your learning process. The information here is all you need to create your first HTML language program. From here, you can begin to create complex programs. It is important that you always keep a copy because even professionals need refreshers too!
... Leer más
Mastering Data Science with Python: The Ultimate Guide

Unlock the Power of Data Analysis and Visualization with Python's Cutting-Edge Tools and Techniques

de Daniel Huston ...

Mastering Data Science with Python: The Ultimate Guide" is a comprehensive and practical guide to using Python for data analysis and visualization. The book covers the fundamental concepts and tools needed for data wrangling, machine learning, deep learning, and big data processing with Python. Readers will learn how to use popular Python libraries such as pandas, NumPy, Matplotlib, scikit-learn, ... Leer más

$10.99 USD

Mastering Data Science with Python: The Ultimate Guide" is a comprehensive and practical guide to using Python for data analysis and visualization. The book covers the fundamental concepts and tools needed for data wrangling, machine learning, deep learning, and big data processing with Python. Readers will learn how to use popular Python libraries such as pandas, NumPy, Matplotlib, scikit-learn,
... Leer más
Modern Marketing Using AI

Leverage AI-enabled Marketing Automation and Insights to Drive Customer Journeys and Maximize Your Brand Equity

de Malay A. Upadhyay, Pooja Chitnis ...

How can some businesses survive centuries while hundreds collapse every year - from micro-enterprises to global brands? A brand's journey to grow and maintain loyal supporters is one of the timeless foundations for every company that its customer teams need to know.'Modern Marketing Using AI' covers it all by taking a customer perspective to look at best practices, industry-leading strategies, ... Leer más

$14.99 USD o gratis con Kobo Plus

How can some businesses survive centuries while hundreds collapse every year - from micro-enterprises to global brands? A brand's journey to grow and maintain loyal supporters is one of the timeless foundations for every company that its customer teams need to know.'Modern Marketing Using AI' covers it all by taking a customer perspective to look at best practices, industry-leading strategies,
... Leer más
ASP.NET Core 2 and Vue.js

Full Stack Web Development with Vue, Vuex, and ASP.NET Core 2.0

de Stuart Ratcliffe ...

Leverage ASP.NET core 2.0 web API and the power of Vue.js at the client side to create modern applications from scratch Key FeaturesCreate fast, rich and reactive client side applications with Vue.js and ASP.NET Core.Leverage Vue components efficiently to build state of the art user interfaces.Work with Vuex and Nuxt.js to build ASP.NET Core based applications that are powerful, consistent, and ... Leer más

$37.99 USD o gratis con Kobo Plus

Leverage ASP.NET core 2.0 web API and the power of Vue.js at the client side to create modern applications from scratch Key FeaturesCreate fast, rich and reactive client side applications with Vue.js and ASP.NET Core.Leverage Vue components efficiently to build state of the art user interfaces.Work with Vuex and Nuxt.js to build ASP.NET Core based applications that are powerful, consistent, and
... Leer más
Python Programming Techniques

The Art of Coding and Programming Explained

de Lance Gifford ...

"Python Programming Techniques" is a book that is ideal for persons that are interested in learning about the basics of Python programming before they move on to learn more advanced techniques offered by the program. ... Leer más

$3.99 USD o gratis con Kobo Plus

"Python Programming Techniques" is a book that is ideal for persons that are interested in learning about the basics of Python programming before they move on to learn more advanced techniques offered by the program.
... Leer más
Pervasive Computing and Social Networking

Proceedings of ICPCSN 2021

Edición de G. Ranganathan, Robert Bestak, Ram Palanisamy, Álvaro Rocha ...

Series series Springer Nature Proceedings excluding Computer Science
The book features original papers from International Conference on Pervasive Computing and Social Networking (ICPCSN 2021), organized by NSIT, Salem, India during 19 – 20 march 2021. It covers research works on conceptual, constructive, empirical, theoretical and practical implementations of pervasive computing and social networking methods for developing more novel ideas and innovations in the ... Leer más

$188.99 USD

The book features original papers from International Conference on Pervasive Computing and Social Networking (ICPCSN 2021), organized by NSIT, Salem, India during 19 – 20 march 2021. It covers research works on conceptual, constructive, empirical, theoretical and practical implementations of pervasive computing and social networking methods for developing more novel ideas and innovations in the
... 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 Lenguajes de programación

Mostrar: