Rakuten Kobo

Interactive Theorem Proving

7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Edición de Stephan Merz, Jasmin Christian Blanchette ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and
... Leer más
Near Field Communications Technology and Applications

de Mike Hendry ...

Whether you are a developer, engineer, researcher or student, this practical guide gives you everything you need to know about NFC technology and its applications. You will learn what differentiates NFC from other short-range technologies such as contactless cards, RFID and Bluetooth, as well as discovering the opportunities it provides, from a fast and instinctive user interface with no ... Leer más

$46.99 USD

Whether you are a developer, engineer, researcher or student, this practical guide gives you everything you need to know about NFC technology and its applications. You will learn what differentiates NFC from other short-range technologies such as contactless cards, RFID and Bluetooth, as well as discovering the opportunities it provides, from a fast and instinctive user interface with no
... Leer más
Theory and Practice of Model Transformation

10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Edición de Esther Guerra, Mark van den Brand ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies;
... Leer más
Programming WCF Services

de Juval Lowy ...

Programming WCF Services is the authoritative, bestselling introduction to Microsoft's unified platform for developing service-oriented applications (SOA) on Windows. Hailed as the most definitive treatment of WCF available, this relentlessly practical book provides insight, not documentation, to help you learn the topics and skills you need for building WCF-based applications that are ... Leer más

$28.99 USD

Programming WCF Services is the authoritative, bestselling introduction to Microsoft's unified platform for developing service-oriented applications (SOA) on Windows. Hailed as the most definitive treatment of WCF available, this relentlessly practical book provides insight, not documentation, to help you learn the topics and skills you need for building WCF-based applications that are
... Leer más
Evaluierung des kollaborativen Lifecycle-Managements mit der IBM Jazz Plattform

Edición de Margret Dr. Stanierowski ...

Im Rahmen der Veranstaltung Management der Anwendungsentwicklung, ein Bestandteil des WI-Masterstudiums an der HTW Berlin, wurden im Wintersemester 2010/11 die Einsatzmöglichkeiten des kollaborativen Lifecycle Management auf der Basis der IBM Rational Jazz – Plattform untersucht. Die empirische Grundlage bildet ein mit WI-Masterstudenten durchgeführtes Praxisprojekt, das die Untersuchung ... Leer más

$1.99 USD o gratis con Kobo Plus

Im Rahmen der Veranstaltung Management der Anwendungsentwicklung, ein Bestandteil des WI-Masterstudiums an der HTW Berlin, wurden im Wintersemester 2010/11 die Einsatzmöglichkeiten des kollaborativen Lifecycle Management auf der Basis der IBM Rational Jazz – Plattform untersucht. Die empirische Grundlage bildet ein mit WI-Masterstudenten durchgeführtes Praxisprojekt, das die Untersuchung
... Leer más
Computing and Software Science

State of the Art and Perspectives

Edición de Bernhard Steffen, Gerhard Woeginger ...

Series series Computer Science (R0)
The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The ... Leer más

$28.99 USD

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.They are organized in two parts:The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.The
... Leer más
Machine Learning and Knowledge Discovery in Databases. Research Track

European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part III

Edición de Albert Bifet, Jesse Davis, Tomas Krilavičius, Meelis Kull, Eirini Ntoutsi, Indrė Žliobaitė ...

Series Libro 3 - Springer Nature Proceedings Computer Science
This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.The papers presented in these proceedings are from the following three conference tracks: -Research Track: The 202 full papers presented here, from this track, were ... Leer más

Antes $152.99 USD Ahora $80.99 USD

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024.The papers presented in these proceedings are from the following three conference tracks: -Research Track: The 202 full papers presented here, from this track, were
... Leer más
DevOps Beginners to Advanced with Projects

de Adil Khan ...

Decoding DevOps book is for anybody who wants to get started with DevOps.As there are many tools & technologies in DevOps, it has become difficult for people to choose the right technologies.This book starts from the very basics of command line, hands on demonstrations of many tools & technologies.Also most importantly it will show you how various technologies in DevOps work together by setting up ... Leer más

$2.99 USD

Decoding DevOps book is for anybody who wants to get started with DevOps.As there are many tools & technologies in DevOps, it has become difficult for people to choose the right technologies.This book starts from the very basics of command line, hands on demonstrations of many tools & technologies.Also most importantly it will show you how various technologies in DevOps work together by setting up
... Leer más
Desarrollo de componentes software para servicios de comunicaciones. IFCT0609

de Federico Huércano Ruíz, José Villar Cueli ...

Libro especializado que se ajusta al desarrollo de la cualificación profesional y adquisición del certificado de profesionalidad "IFCT0609 - PROGRAMACIÓN DE SISTEMAS INFORMÁTICOS". Manual imprescindible para la formación y la capacitación, que se basa en los principios de la cualificación y dinamización del conocimiento, como premisas para la mejora de la empleabilidad y eficacia para el desempeño ... Leer más

$8.99 USD o gratis con Kobo Plus

Libro especializado que se ajusta al desarrollo de la cualificación profesional y adquisición del certificado de profesionalidad "IFCT0609 - PROGRAMACIÓN DE SISTEMAS INFORMÁTICOS". Manual imprescindible para la formación y la capacitación, que se basa en los principios de la cualificación y dinamización del conocimiento, como premisas para la mejora de la empleabilidad y eficacia para el desempeño
... Leer más
Process Mining

Discovery, Conformance and Enhancement of Business Processes

de Wil M. P. van der Aalst ...

Series series Computer Science (R0)
More and more information about business processes is recorded by information systems in the form of so-called “event logs”. Despite the omnipresence of such data, most organizations diagnose problems based on fiction rather than facts. Process mining is an emerging discipline based on process model-driven approaches and data mining. It not only allows organizations to fully benefit from the ... Leer más

$58.99 USD

More and more information about business processes is recorded by information systems in the form of so-called “event logs”. Despite the omnipresence of such data, most organizations diagnose problems based on fiction rather than facts. Process mining is an emerging discipline based on process model-driven approaches and data mining. It not only allows organizations to fully benefit from the
... Leer más
Agile Quick-N Dirty

de Tom Henricksen ...

Stop struggling with complex projects!Learn Agile fundamentals quickly and transform your team's productivity.This guide covers Scrum, Kanban, Lean, and scaling techniques, showing you how to:Deliver projects on time and within budgetImprove team collaboration and communicationAdapt to changing requirements with ease Get started with Agile today! ... Leer más

$4.99 USD o gratis con Kobo Plus

Stop struggling with complex projects!Learn Agile fundamentals quickly and transform your team's productivity.This guide covers Scrum, Kanban, Lean, and scaling techniques, showing you how to:Deliver projects on time and within budgetImprove team collaboration and communicationAdapt to changing requirements with ease Get started with Agile today!
... Leer más
Accelerating DevSecOps on AWS

Create secure CI/CD pipelines using Chaos and AIOps

de Nikit Swaraj ...

Build high-performance CI/CD pipelines that are powered by AWS and the most cutting-edge tools and techniquesKey FeaturesMaster the full AWS developer toolchain for building high-performance, resilient, and powerful CI/CD pipelinesGet to grips with Chaos engineering, DevSecOps, and AIOps as applied to CI/CDEmploy the latest tools and techniques to build a CI/CD pipeline for application and ... Leer más

$39.99 USD o gratis con Kobo Plus

Build high-performance CI/CD pipelines that are powered by AWS and the most cutting-edge tools and techniquesKey FeaturesMaster the full AWS developer toolchain for building high-performance, resilient, and powerful CI/CD pipelinesGet to grips with Chaos engineering, DevSecOps, and AIOps as applied to CI/CDEmploy the latest tools and techniques to build a CI/CD pipeline for application and
... Leer más
Beginning Python Games Development, Second Edition

With PyGame

de Will McGugan, Harrison Kinsley ...

Series series Professional and Applied Computing (R0)
Beginning Python Games Development, Second Edition teaches you how to create compelling games using Python and the PyGame games development library. It will teach you how to create visuals, do event handling, create 3D games, add media elements, and integrate OpenGL into your Python game.In this update to the first ever book to cover the popular open source PyGame games development library, you'll ... Leer más

$71.99 USD

Beginning Python Games Development, Second Edition teaches you how to create compelling games using Python and the PyGame games development library. It will teach you how to create visuals, do event handling, create 3D games, add media elements, and integrate OpenGL into your Python game.In this update to the first ever book to cover the popular open source PyGame games development library, you'll
... Leer más
El Proceso de Desarrollo de Software

de Raúl Noriega Martínez ...

La ingeniería de software es una forma de ingeniería que aplica los principios de la ciencia de la computación y de la matemática para alcanzar soluciones con una mejor relación entre el coste y el beneficio para el problema de software. Asimismo, se trata de la aplicación sistemática, disciplinada y cuantificable para el desarrollo, operación y mantenimiento de un software.Al principio, los ... Leer más

$5.25 USD o gratis con Kobo Plus

La ingeniería de software es una forma de ingeniería que aplica los principios de la ciencia de la computación y de la matemática para alcanzar soluciones con una mejor relación entre el coste y el beneficio para el problema de software. Asimismo, se trata de la aplicación sistemática, disciplinada y cuantificable para el desarrollo, operación y mantenimiento de un software.Al principio, los
... Leer más
Security and Trust Management

20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19–20, 2024, Proceedings

Edición de Fabio Martinelli, Ruben Rios ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19–20, 2024 and co-located with ESORICS 2024 conference.The 6 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 22 submissions.They were organized in topical sections as ... Leer más

$53.99 USD

This book constitutes the refereed proceedings of the 20th International Workshop on Security and Trust Management (ERCIM STM 2024), held in Bydgoszcz, Poland, during September 19–20, 2024 and co-located with ESORICS 2024 conference.The 6 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 22 submissions.They were organized in topical sections as
... Leer más
Ultimate Agile Administration with Jira

de Yogita Chhaya ...

Empowering Administrators and Teams With Ultimate Solutions for Agile Project Success with Jira SoftwareBook DescriptionThe "Ultimate Agile Administration with Jira" begins with an in-depth exploration of Agile fundamentals, providing a comprehensive overview of Scrum and Kanban frameworks. Readers will gain proficiency in setting up projects, covering the Jira product family, key terminologies, ... Leer más

$23.99 USD

Empowering Administrators and Teams With Ultimate Solutions for Agile Project Success with Jira SoftwareBook DescriptionThe "Ultimate Agile Administration with Jira" begins with an in-depth exploration of Agile fundamentals, providing a comprehensive overview of Scrum and Kanban frameworks. Readers will gain proficiency in setting up projects, covering the Jira product family, key terminologies,
... Leer más
Building Scalable Web Apps with Node.js and Express

de Yamini Panchal, Ravi Kumar Gupta ...

Easy API Design Using Express.js and Node.js (TypeScript)Key Features● Step-by-step instructions using TypeScript for efficient backend development on Node.js, enhancing code quality and maintainability.● Practical insights using Redis to implement efficient API caching methods, optimizing performance and scalability.● Provides practical examples of API testing using Mocha and Chai, ensuring ... Leer más

$28.99 USD

Easy API Design Using Express.js and Node.js (TypeScript)Key Features● Step-by-step instructions using TypeScript for efficient backend development on Node.js, enhancing code quality and maintainability.● Practical insights using Redis to implement efficient API caching methods, optimizing performance and scalability.● Provides practical examples of API testing using Mocha and Chai, ensuring
... Leer más
Parallel Computing Technologies

15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings

Edición de Victor Malyshkin ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Conference on Parallel Computing Technologies, PaCT 2019, held in Almaty, Kazakhstan, in August 2019.The 24 full papers and 10 short papers presented were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on Programming Languages and Execution Environments; Methods and Tools for Parallel ... Leer más

$71.99 USD

This book constitutes the proceedings of the 15th International Conference on Parallel Computing Technologies, PaCT 2019, held in Almaty, Kazakhstan, in August 2019.The 24 full papers and 10 short papers presented were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on Programming Languages and Execution Environments; Methods and Tools for Parallel
... Leer más
DevOps Tools for Java Developers

Best Practices from Source Code to Production Containers

de Stephen Chin, Melissa McKay, Ixchel Ruiz, Baruch Sadogursky ...

With the rise of DevOps, low-cost cloud computing, and container technologies, the way Java developers approach development today has changed dramatically. This practical guide helps you take advantage of microservices, serverless, and cloud native technologies using the latest DevOps techniques to simplify your build process and create hyperproductive teams.Stephen Chin, Melissa McKay, Ixchel ... Leer más

$41.99 USD

With the rise of DevOps, low-cost cloud computing, and container technologies, the way Java developers approach development today has changed dramatically. This practical guide helps you take advantage of microservices, serverless, and cloud native technologies using the latest DevOps techniques to simplify your build process and create hyperproductive teams.Stephen Chin, Melissa McKay, Ixchel
... Leer más
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT

MICCAI Challenge, FLARE 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings

Edición de Jun Ma, Bo Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023.The 27 full papers presented in this book were carefully reviewed and selected from 37 submissions. The papers present research and results for abdominal organ segmentation which has many important clinical applications, such as organ ... Leer más

$107.99 USD

This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023.The 27 full papers presented in this book were carefully reviewed and selected from 37 submissions. The papers present research and results for abdominal organ segmentation which has many important clinical applications, such as organ
... Leer más
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

Edición de Pavel Shamis, Manjunath Gorentla Venkata, Neena Imam, M. Graham Lopez ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug ... Leer más

$40.99 USD

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug
... Leer más
Python深度学习与项目实战

de 周北著 ...

本书基于Python以及两个深度学习框架Keras与TensorFlow，讲述深度学习在实际项目中的应用。本书共10章，首先介绍线性回归模型、逻辑回归模型、Softmax多分类器，然后讲述全连接神经网络、神经网络模型的优化、卷积神经网络、循环神经网络，最后讨论自编码模型、生成对抗网络、深度强化学习。本书结合计算机视觉、自然语言处理、金融领域等方面的项目，系统讲述深度学习技术，可操作性强。 ... Leer más

$19.99 USD

本书基于Python以及两个深度学习框架Keras与TensorFlow，讲述深度学习在实际项目中的应用。本书共10章，首先介绍线性回归模型、逻辑回归模型、Softmax多分类器，然后讲述全连接神经网络、神经网络模型的优化、卷积神经网络、循环神经网络，最后讨论自编码模型、生成对抗网络、深度强化学习。本书结合计算机视觉、自然语言处理、金融领域等方面的项目，系统讲述深度学习技术，可操作性强。
... Leer más
Embedded Computer Systems: Architectures, Modeling, and Simulation

24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part I

Edición de Luigi Carro, Francesco Regazzoni, Christian Pilato ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in Samos, Greece, during June 29–July 4, 2024.The 24 full papers, 10 full papers in 2 special sessions and 4 poster session included in this book were carefully reviewed and selected from 57 ... Leer más

$62.99 USD

The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2024, held in Samos, Greece, during June 29–July 4, 2024.The 24 full papers, 10 full papers in 2 special sessions and 4 poster session included in this book were carefully reviewed and selected from 57
... Leer más
Symbolic Computation in Software Science

10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings

Edición de Stephen M. Watt, Tetsuo Ida ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite ... Leer más

$116.99 USD

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite
... 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: