Rakuten Kobo

Rust Programming for Intermediate Developers: Error Handling, Lifetimes, Traits, and Concurrency

Rust Programming for Practical Software Development

de Owen Calder ...

Series series Rust Programming for Practical Software Development
Stop struggling with the borrow checker and start architecting robust systems.You have learned the syntax. You have installed the toolchain. You have written your first few programs. But now you feel stuck. You might find yourself cloning data just to avoid dealing with lifetime annotations. You may be using unwrap() because proper error handling feels too verbose. You want to contribute to open ... Leer más

$6.99 USD o gratis con Kobo Plus

Stop struggling with the borrow checker and start architecting robust systems.You have learned the syntax. You have installed the toolchain. You have written your first few programs. But now you feel stuck. You might find yourself cloning data just to avoid dealing with lifetime annotations. You may be using unwrap() because proper error handling feels too verbose. You want to contribute to open
... Leer más
Creative AI Agents with Copilot Studio

Building Intelligent, Engaging, and Autonomous Assistants

de Mezba Uddin ...

Series series Professional and Applied Computing (R0)
Every creative person has experienced that moment when ideas just won't come. The blank page becomes an adversary, deadlines feel like walls closing in, and inspiration appears out of reach. But what if you could work with an artificial intelligence assistant to overcome these obstacles? Not just any chatbot, but a truly creative collaborator who understands your voice, creates new ideas, and even ... Leer más

$62.99 USD

Every creative person has experienced that moment when ideas just won't come. The blank page becomes an adversary, deadlines feel like walls closing in, and inspiration appears out of reach. But what if you could work with an artificial intelligence assistant to overcome these obstacles? Not just any chatbot, but a truly creative collaborator who understands your voice, creates new ideas, and even
... Leer más
Nosotros, los programadores

Una crónica desde Ada a la IA

de Robert C. Martin, The name is ThePrimeagen ...

Series series TÍTULOS ESPECIALES
La leyenda del software Robert C. Martin ("Uncle Bob") se sumerge en el mundo de la programación, explorando la vida de los pioneros revolucionarios que crearon los cimientos de la informática moderna. Desde Charles Babbage y Ada Lovelace a Alan Turing, Grace Hopper y Dennis Ritchie, Martin pone el foco sobre las figuras cuyo brillo y perseverancia cambiaron el mundo.Esta narración repleta de ... Leer más

$24.85 USD

La leyenda del software Robert C. Martin ("Uncle Bob") se sumerge en el mundo de la programación, explorando la vida de los pioneros revolucionarios que crearon los cimientos de la informática moderna. Desde Charles Babbage y Ada Lovelace a Alan Turing, Grace Hopper y Dennis Ritchie, Martin pone el foco sobre las figuras cuyo brillo y perseverancia cambiaron el mundo.Esta narración repleta de
... Leer más
Parallel Computational Technologies

15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers

Edición de Leonid Sokolinsky, Mikhail Zymbler ...

Series series Springer Nature Proceedings Computer Science
This book constitutes refereed proceedings of the 15th International Conference on Parallel Computational Technologies, PCT 2021, held in March-April 2021. Due to the COVID-19 pandemic the conference was held online.The 22 revised full papers presented were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on high performance architectures, tools and ... Leer más

$49.49 USD

This book constitutes refereed proceedings of the 15th International Conference on Parallel Computational Technologies, PCT 2021, held in March-April 2021. Due to the COVID-19 pandemic the conference was held online.The 22 revised full papers presented were carefully reviewed and selected from 89 submissions. The papers are organized in topical sections on high performance architectures, tools and
... Leer más
Applied Technologies

Second International Conference, ICAT 2020, Quito, Ecuador, December 2–4, 2020, Proceedings

Edición de Miguel Botto-Tobar, Sergio Montes León, Oscar Camacho, Danilo Chávez, Pablo Torres-Carrión, Marcelo Zambrano Vizuete ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the Second International Conference on Applied Technologies, ICAT 2020, held in Quito, Ecuador, in December 2020. Due to the COVID-19 pandemic the conference was held online.The 53 papers were carefully reviewed and selected from 145 submissions. The papers are organized according to the following topics: communication; computing; e-government ... Leer más

$89.09 USD

This volume constitutes the refereed proceedings of the Second International Conference on Applied Technologies, ICAT 2020, held in Quito, Ecuador, in December 2020. Due to the COVID-19 pandemic the conference was held online.The 53 papers were carefully reviewed and selected from 145 submissions. The papers are organized according to the following topics: communication; computing; e-government
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 4 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program ... Leer más

$62.99 USD

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program
... Leer más
Fundamental Approaches to Software Engineering

27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

Edición de Dirk Beyer, Ana Cavalcanti ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024.The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 ... Leer más

Gratis

This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024.The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024
... Leer más
Implementing Identity Management on AWS

A real-world guide to solving customer and workforce IAM challenges in your AWS cloud environments

de Jon Lehtinen ...

Understand the IAM toolsets, capabilities, and paradigms of the AWS platform and learn how to apply practical identity use cases to AWS at the administrative and application levelKey FeaturesLearn administrative lifecycle management and authorizationExtend workforce identity to AWS for applications deployed to Amazon Web Services (AWS)Understand how to use native AWS IAM capabilities with apps ... Leer más

$37.79 USD o gratis con Kobo Plus

Understand the IAM toolsets, capabilities, and paradigms of the AWS platform and learn how to apply practical identity use cases to AWS at the administrative and application levelKey FeaturesLearn administrative lifecycle management and authorizationExtend workforce identity to AWS for applications deployed to Amazon Web Services (AWS)Understand how to use native AWS IAM capabilities with apps
... Leer más
Society 5.0

First International Conference, Society 5.0 2021, Virtual Event, June 22–24, 2021, Revised Selected Papers

Edición de Aurona Gerber, Knut Hinkelmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised and selected papers from the First International Conference on Society 5.0, Society 5.0 2021, held virtually in June 2021.The 12 full papers and 3 short papers presented in this volume were thoroughly reviewed and selected from the 54 qualified submissions. The papers discuss topics on application of the fourth industrial revolution innovations (e.g. Internet of ... Leer más

$62.99 USD

This book constitutes revised and selected papers from the First International Conference on Society 5.0, Society 5.0 2021, held virtually in June 2021.The 12 full papers and 3 short papers presented in this volume were thoroughly reviewed and selected from the 54 qualified submissions. The papers discuss topics on application of the fourth industrial revolution innovations (e.g. Internet of
... Leer más
Graphical Models for Security

4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Edición de Peng Liu, Sjouke Mauw, Ketil Stolen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017.The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest ... Leer más

$53.99 USD

This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017.The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest
... Leer más
Structured Object-Oriented Formal Language and Method

7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Edición de Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and ... Leer más

$49.49 USD

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and
... Leer más
Smart VR/AR/MR Systems for Professionals

Edición de Karupppasamy Subburaj, Sunpreet Singh, Saša Ćuković, Kamalpreet Sandhu, Gerrit Meixner, Radu Emanuil Petruse ...

Smart VR/AR/MR Systems for Professionals is a comprehensive guide that explores the ground-breaking applications of virtual reality (VR), augmented reality (AR), and mixed reality (MR) in various industries. This book aims to equip practicing professionals with the knowledge and insights they need to harness the full potential of these immersive technologies in their respective fields.Through this ... Leer más

$73.99 USD

Smart VR/AR/MR Systems for Professionals is a comprehensive guide that explores the ground-breaking applications of virtual reality (VR), augmented reality (AR), and mixed reality (MR) in various industries. This book aims to equip practicing professionals with the knowledge and insights they need to harness the full potential of these immersive technologies in their respective fields.Through this
... Leer más
Digital Forensics and Cyber Crime

14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II

Edición de Sanjay Goel, Paulo Roberto Nunes de Souza ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNICST 570 and 571 constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Digital Forensics and Cyber Crime, ICDF2C 2023, held in New York City, NY, USA, during November 30, 2023.The 41 revised full papers presented in these proceedings were carefully reviewed and selected from 105 submissions. The papers are organized in the following ... Leer más

$80.99 USD

The two-volume set LNICST 570 and 571 constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Digital Forensics and Cyber Crime, ICDF2C 2023, held in New York City, NY, USA, during November 30, 2023.The 41 revised full papers presented in these proceedings were carefully reviewed and selected from 105 submissions. The papers are organized in the following
... Leer más
C# Coding Mastery

Unlocking C# for Beginners and Beyond, A Step-By-Step Journey to Expertise in C# and Beyond - Python, Java, SQL, and More

de Ryan Campbell ...

"Coding Mastery" by Ryan Campbell is a comprehensive guide into the world of programming. From C# basics to advanced Python, Java, SQL, and more, this book offers step-by-step learning. Dive into algorithms, data structures, and practical projects, emphasizing coding best practices. Explore interconnected technologies and join a global coding community. Start your coding journey now with "Coding ... Leer más

$0.99 USD

"Coding Mastery" by Ryan Campbell is a comprehensive guide into the world of programming. From C# basics to advanced Python, Java, SQL, and more, this book offers step-by-step learning. Dive into algorithms, data structures, and practical projects, emphasizing coding best practices. Explore interconnected technologies and join a global coding community. Start your coding journey now with "Coding
... Leer más
Advanced Digital Architectures for Model-Driven Adaptive Enterprises

Edición de Vinay Kulkarni, Sreedhar Reddy, Tony Clark, Balbir S. Barn ...

The five digital forces (mobility and pervasive computing, cloud, big data, artificial intelligence and robotics, and social media) are poised to bring great academic and industrial breakthroughs. All stakeholders want to understand how to best harness these forces to their advantage. While literature exists for understanding each force independently, there is a lack of knowledge on how to utilize ... Leer más

$197.99 USD

The five digital forces (mobility and pervasive computing, cloud, big data, artificial intelligence and robotics, and social media) are poised to bring great academic and industrial breakthroughs. All stakeholders want to understand how to best harness these forces to their advantage. While literature exists for understanding each force independently, there is a lack of knowledge on how to utilize
... Leer más
Software Process Improvement and Management: Approaches and Tools for Practical Development

Edición de Shukor Sanim Mohd Fauzi, Mohd Hairul Nizam Md Nasir, Nuraminah Ramli, Shamsul Sahibuddin ...

Over the past decade, there has been an increase in attention and focus on the discipline of software engineering. Software engineering tools and techniques have been developed to gain more predictable quality improvement results. Process standards such as Capability Maturity Model Integration (CMMI), ISO 9000, Software Process Improvement and Capability dEtermination (SPICE), Agile Methodologies, ... Leer más

$166.49 USD

PEDIDO ANTICIPADO

Over the past decade, there has been an increase in attention and focus on the discipline of software engineering. Software engineering tools and techniques have been developed to gain more predictable quality improvement results. Process standards such as Capability Maturity Model Integration (CMMI), ISO 9000, Software Process Improvement and Capability dEtermination (SPICE), Agile Methodologies,
... Leer más
Artificial General Intelligence

17th International Conference, AGI 2024, Seattle, WA, USA, August 13–16, 2024, Proceedings

Edición de Kristinn R. Thórisson, Peter Isaev, Arash Sheikhlar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Artificial General Intelligence, AGI 2024, held in Seattle, Washington, USA in August 2024.The 25 papers presented in this book were carefully reviewed and selected from 55 submissions. The papers focus on the main theme of AGI 2024: 'Understanding Artificial General Intelligence', with discussions on various ... Leer más

$107.09 USD

This book constitutes the refereed proceedings of the 17th International Conference on Artificial General Intelligence, AGI 2024, held in Seattle, Washington, USA in August 2024.The 25 papers presented in this book were carefully reviewed and selected from 55 submissions. The papers focus on the main theme of AGI 2024: 'Understanding Artificial General Intelligence', with discussions on various
... Leer más
BiSL ® Next in uitvoering

de Machteld Meijer, Yvette Backer ...

Business-informatiemanagement (BIM) speelt een grote rol in de aansluiting tussen business en IT. In 2001 is voor het eerst een model beschreven voor business-informatiemanagement: BiSL® (Business information Services Library). In die tijd was er veelal sprake van watervalsgewijze systeemontwikkeling. Bovendien was de wereld nog lang niet zo gedigitaliseerd als nu en was het samenwerken als ... Leer más

$50.99 USD o gratis con Kobo Plus

Business-informatiemanagement (BIM) speelt een grote rol in de aansluiting tussen business en IT. In 2001 is voor het eerst een model beschreven voor business-informatiemanagement: BiSL® (Business information Services Library). In die tijd was er veelal sprake van watervalsgewijze systeemontwikkeling. Bovendien was de wereld nog lang niet zo gedigitaliseerd als nu en was het samenwerken als
... Leer más
Konzeption und Umsetzung automatisierter Softwaretests

Testautomatisierung zur Optimierung von Testabdeckung und Softwarequalität

de Frank Witte ...

Series series Computer Science and Engineering (German Language)
Für die erfolgreiche Umsetzung von Testautomatisierung im Unternehmen wird konkrete Hilfestellung geboten. Das Buch geht auf unterschiedliche Formen und Ausprägungen der Testautomatisierung, ihre Chancen und Risiken und ihren Einsatz in der betrieblichen Praxis ein. Dabei werden sowohl die Auswirkungen auf andere Bereiche (z.B. Anforderungsmanagement, Releasemanagement, Entwicklung) als auch ... Leer más

$40.49 USD

Für die erfolgreiche Umsetzung von Testautomatisierung im Unternehmen wird konkrete Hilfestellung geboten. Das Buch geht auf unterschiedliche Formen und Ausprägungen der Testautomatisierung, ihre Chancen und Risiken und ihren Einsatz in der betrieblichen Praxis ein. Dabei werden sowohl die Auswirkungen auf andere Bereiche (z.B. Anforderungsmanagement, Releasemanagement, Entwicklung) als auch
... Leer más
Mastering Python Network Automation

de Tim Peters ...

With "Mastering Python Network Automation," you can streamline container orchestration, configuration management, and resilient networking with Python and its libraries, allowing you to emerge as a skilled network engineer or a strong DevOps professional.From the ground up, this guide walks readers through setting up a network automation lab using the NS3 network simulator and Python programming. ... Leer más

$29.99 USD o gratis con Kobo Plus

With "Mastering Python Network Automation," you can streamline container orchestration, configuration management, and resilient networking with Python and its libraries, allowing you to emerge as a skilled network engineer or a strong DevOps professional.From the ground up, this guide walks readers through setting up a network automation lab using the NS3 network simulator and Python programming.
... Leer más
Catia V5

Guida completa

de Luca Sclafani ...

CATIA V5 (Computer Aided Three dimensional Interactive Application) è un software sviluppato dall’azienda francese Dassault Systèmes e venduto tramite IBM, specializzato nella progettazione di componenti 3D in grado di supportare la realizzazione del prodotto in tutti i suoi stadi, dalla progettazione (CAD, Computer Aided Design) alla produzione (CAM, Computer Aided Manufacturing). In particolare, ... Leer más

$35.99 USD

CATIA V5 (Computer Aided Three dimensional Interactive Application) è un software sviluppato dall’azienda francese Dassault Systèmes e venduto tramite IBM, specializzato nella progettazione di componenti 3D in grado di supportare la realizzazione del prodotto in tutti i suoi stadi, dalla progettazione (CAD, Computer Aided Design) alla produzione (CAM, Computer Aided Manufacturing). In particolare,
... Leer más
The The DevOps 2.2 Toolkit

Self-Sufficient Docker Clusters

de Viktor Farcic ...

Learn from an expert on how use self-adapting and self-healing systems within Docker.Key FeaturesViktor Farcic shows you all aspects in the creation of self-adapting and self-healing systems in both a practical and hands-on approach.Learn how to choose a successful solution for metrics storage and query, including InfluxDB, Nagios and Sensu, Prometheus and Graphite.Discover how to integrate Docker ... Leer más

$35.99 USD o gratis con Kobo Plus

Learn from an expert on how use self-adapting and self-healing systems within Docker.Key FeaturesViktor Farcic shows you all aspects in the creation of self-adapting and self-healing systems in both a practical and hands-on approach.Learn how to choose a successful solution for metrics storage and query, including InfluxDB, Nagios and Sensu, Prometheus and Graphite.Discover how to integrate Docker
... Leer más
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

Edición de Abdelkader Hameurlain, Roland Wagner ...

Series series Computer Science (R0)
This, the 37th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains five revised selected regular papers. Topics covered include data security in clouds, privacy languages, probabilistic modelling in linked data integration, business intelligence based on multi-agent systems, collaborative filtering, and prediction accuracy. ... Leer más

$49.49 USD

This, the 37th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains five revised selected regular papers. Topics covered include data security in clouds, privacy languages, probabilistic modelling in linked data integration, business intelligence based on multi-agent systems, collaborative filtering, and prediction accuracy.
... Leer más
Formal Verification of Floating-Point Hardware Design

A Mathematical Approach

de David M. Russinoff ...

Series series Engineering (R0)
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating ... Leer más

$80.09 USD

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating
... 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 Desarrollo de software

Mostrar: