Rakuten Kobo

UML - User Mode Linux

Ausbruch aus User Mode Linux

de Christoph Scharnböck ...

Bachelorarbeit aus dem Jahr 2007 im Fachbereich Informatik - Software, Note: 1, Fachhochschule Oberösterreich Standort Hagenberg (Computer- und Mediensicherheit), Sprache: Deutsch, Abstract: User-Mode-Linux ist eine Software, die sowohl in die Bereiche Benutzerprogramme, als auch Betriebssysteme zugeordnet werden kann. UML ist der Kategorie der Systemvirtualisierung zuzuordnen, dessen ... Leer más

$42.63 USD

Bachelorarbeit aus dem Jahr 2007 im Fachbereich Informatik - Software, Note: 1, Fachhochschule Oberösterreich Standort Hagenberg (Computer- und Mediensicherheit), Sprache: Deutsch, Abstract: User-Mode-Linux ist eine Software, die sowohl in die Bereiche Benutzerprogramme, als auch Betriebssysteme zugeordnet werden kann. UML ist der Kategorie der Systemvirtualisierung zuzuordnen, dessen
... Leer más
Verified Software. Theories, Tools, and Experiments

8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers

Edición de Sandrine Blazy, Marsha Chechik ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.The goal of the VSTTE conference is to advance ... Leer más

$49.49 USD

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.The 8 full papers together with 4 short papers and 5 invited papers presented were carefully revised and selected 21 submissions.The goal of the VSTTE conference is to advance
... Leer más
Learn Java for Android Development

Migrating Java SE Programming Skills to Mobile Development

de Peter Späth, Jeff Friesen ...

Series series Professional and Applied Computing (R0)
Gain the essential Java language skills necessary for using the Android SDK platform to build Java-based Android apps. This book includes the latest Java SE releases that Android supports, and is geared towards the Android SDK version 10. It includes new content including JSON documents, functional programming, and lambdas as well as other language features important for migrating Java skills to ... Leer más

$80.09 USD

Gain the essential Java language skills necessary for using the Android SDK platform to build Java-based Android apps. This book includes the latest Java SE releases that Android supports, and is geared towards the Android SDK version 10. It includes new content including JSON documents, functional programming, and lambdas as well as other language features important for migrating Java skills to
... Leer más
Agile Processes in Software Engineering and Extreme Programming

23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13–17, 2022, Proceedings

Edición de Viktoria Stray, Klaas-Jan Stol, Maria Paasivaara, Philippe Kruchten ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022.XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and ... Leer más

Gratis

This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022.XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and
... Leer más
Provable and Practical Security

14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings

Edición de Khoa Nguyen, Wenling Wu, Kwok Yan Lam, Huaxiong Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. The 20 full papers presented were carefully reviewed and selected from 59 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020. The 20 full papers presented were carefully reviewed and selected from 59 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following
... Leer más
Formal Methods: Foundations and Applications

23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

Edición de Gustavo Carvalho, Volker Stolz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers ... Leer más

$62.99 USD

This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions. The papers
... Leer más
Advances in Computer Games

16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers

Edición de Tristan Cazenave, Jaap van den Herik, Abdallah Saffidine, I-Chen Wu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019.The 12 full papers presented together with 2 invited papers were carefully reviewed and selected from 19 submissions. The selected papers are devoted to topics such as cooperation; single player games; mathematical ... Leer más

$49.49 USD

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019.The 12 full papers presented together with 2 invited papers were carefully reviewed and selected from 19 submissions. The selected papers are devoted to topics such as cooperation; single player games; mathematical
... Leer más
Implementing Effective Code Reviews

How to Build and Maintain Clean Code

de Giuliana Carullo ...

Series series Professional and Applied Computing (R0)
The ideal code review process differs from organization to organization, but the needs all boil down to the same foundational factors. A software development team cannot properly grow if its code reviews are not consistent, straightforward, and aspire to hit several company goals at once, such as security, performance, longevity, and more. Implementing Effective Code Reviews is the manual your ... Leer más

$62.99 USD

The ideal code review process differs from organization to organization, but the needs all boil down to the same foundational factors. A software development team cannot properly grow if its code reviews are not consistent, straightforward, and aspire to hit several company goals at once, such as security, performance, longevity, and more. Implementing Effective Code Reviews is the manual your
... Leer más
Critical Information Infrastructures Security

16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27–29, 2021, Revised Selected Papers

Edición de Dimitri Percia David, Alain Mermoud, Thomas Maillart ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Critical Information Infrastructures Security, CRITIS 2021, which took place in Lausanne, Switzerland, during September 27-29, 2021.The 12 full papers included in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: protection of cyber-physical ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 16th International Conference on Critical Information Infrastructures Security, CRITIS 2021, which took place in Lausanne, Switzerland, during September 27-29, 2021.The 12 full papers included in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: protection of cyber-physical
... Leer más
Remote Engineering Management

Managing an Engineering Team in a Remote-First World

de Alexandra Sunderland ...

Series series Professional and Applied Computing (R0)
Managing an engineering team is hard, managing a remote engineering team is even harder—but dedicating effort to setting up a proper remote-first environment will allow for your team to thrive. This book breaks down the most important processes in engineering teams, and demonstrates how to make them work effectively in a remote organization.How do you organize code deployments, onboard new hires, ... Leer más

$58.49 USD

Managing an engineering team is hard, managing a remote engineering team is even harder—but dedicating effort to setting up a proper remote-first environment will allow for your team to thrive. This book breaks down the most important processes in engineering teams, and demonstrates how to make them work effectively in a remote organization.How do you organize code deployments, onboard new hires,
... Leer más
Interactive Storytelling

13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3–6, 2020, Proceedings

Edición de Anne-Gwenn Bosser, David E. Millard, Charlie Hargood ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, held in Bournemouth, UK, in November 2020.The 15 full papers and 8 short papers presented together with 5 posters, were carefully reviewed and selected from 70 submissions. The conference offers topics in game narrative and interactive storytelling, including the ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, held in Bournemouth, UK, in November 2020.The 15 full papers and 8 short papers presented together with 5 posters, were carefully reviewed and selected from 70 submissions. The conference offers topics in game narrative and interactive storytelling, including the
... Leer más
Developing Sustainable and Energy-Efficient Software Systems

de Artem Kruglov, Giancarlo Succi ...

Series series Computer Science (R0)
This open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify ... Leer más

Gratis

This open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify
... Leer más
Autonomous Agents and Multiagent Systems. Best and Visionary Papers

AAMAS 2022 Workshops, Virtual Event, May 9–13, 2022, Revised Selected Papers

Edición de Francisco S. Melo, Fei Fang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes thoroughly refereed and revised selected best and visionary papers from the Workshops held at the International Conference on Autonomous Agents and Multiagent Systems AAMAS 2022, which took place online, during May 9–13, 2022.The 5 best papers and 4 visionary papers included in this book stem from the following workshops:- 13th Workshop on Optimization and Learning in Multi ... Leer más

$53.99 USD

This book constitutes thoroughly refereed and revised selected best and visionary papers from the Workshops held at the International Conference on Autonomous Agents and Multiagent Systems AAMAS 2022, which took place online, during May 9–13, 2022.The 5 best papers and 4 visionary papers included in this book stem from the following workshops:- 13th Workshop on Optimization and Learning in Multi
... Leer más
Services – SERVICES 2020

16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

Edición de Joao Eduardo Ferreira, Balaji Palanisamy, Kejiang Ye, Siva Kantamneni, Liang-Jie Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th World Congress on Services, SERVICES 2020, held as part of the Services Conference Federation, SCF 2020, in Honolulu, HI, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 5 full papers and 4 short papers presented were carefully reviewed and selected from 10 submissions. The papers cover topics in ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the 16th World Congress on Services, SERVICES 2020, held as part of the Services Conference Federation, SCF 2020, in Honolulu, HI, USA, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 5 full papers and 4 short papers presented were carefully reviewed and selected from 10 submissions. The papers cover topics in
... Leer más
Intelligent Systems

10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I

Edición de André Britto, Karina Valdivia Delgado ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent ... Leer más

$80.09 USD

The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent
... Leer más
Intelligent Data Engineering and Automated Learning – IDEAL 2023

24th International Conference, Évora, Portugal, November 22–24, 2023, Proceedings

Edición de Paulo Quaresma, David Camacho, Hujun Yin, Teresa Gonçalves, Vicente Julian, Antonio J. Tallón-Ballesteros ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Évora, Portugal, during November 22–24, 2023.The 45 full papers and 4 short papers presented in this book were carefully reviewed and selected from 77 submissions. IDEAL 2023 is focusing on big data challenges, machine learning, deep learning, data ... Leer más

$80.09 USD

This book constitutes the proceedings of the 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023, held in Évora, Portugal, during November 22–24, 2023.The 45 full papers and 4 short papers presented in this book were carefully reviewed and selected from 77 submissions. IDEAL 2023 is focusing on big data challenges, machine learning, deep learning, data
... Leer más
Quality of Information and Communications Technology

16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11–13, 2023, Proceedings

Edición de José Maria Fernandes, Guilherme H. Travassos, Valentina Lenarduzzi, Xiaozhou Li ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Quality of Information and Communications Technology, QUATIC 2023, held in Aveiro, Portugal, during September 11–13, 2023.The 17 full papers and 4 short papers included in this book were carefully reviewed and selected from 37 submissions. They were organized in topical sections as follows: Disseminating ... Leer más

$98.09 USD

This book constitutes the refereed proceedings of the 16th International Conference on Quality of Information and Communications Technology, QUATIC 2023, held in Aveiro, Portugal, during September 11–13, 2023.The 17 full papers and 4 short papers included in this book were carefully reviewed and selected from 37 submissions. They were organized in topical sections as follows: Disseminating
... Leer más
Computational Methods in Systems Biology

19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings

Edición de Eugenio Cinquemani, Loïc Paulevé ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*The 13 full papers and 5 tool papers were carefully reviewed and selected from 32 submissions. The topics of interest include biological process modelling; biological system model verification, validation, ... Leer más

$53.99 USD

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.*The 13 full papers and 5 tool papers were carefully reviewed and selected from 32 submissions. The topics of interest include biological process modelling; biological system model verification, validation,
... Leer más
Becoming a Leader in Product Development

An Evidence-Based Guide to the Essentials

de Ebenezer C. Ikonne ...

Series series Business and Management (R0)
It is becoming increasingly challenging for product development leaders to effectively lead as workplace demands continue to increase. The rate of change in technology, society, and business places immense pressure on leaders to ensure their groups move in the direction of their goals. What might have worked in the past no longer works.Organizational surveys show that firms struggle with ... Leer más

$44.99 USD

It is becoming increasingly challenging for product development leaders to effectively lead as workplace demands continue to increase. The rate of change in technology, society, and business places immense pressure on leaders to ensure their groups move in the direction of their goals. What might have worked in the past no longer works.Organizational surveys show that firms struggle with
... Leer más
Parallel Problem Solving from Nature – PPSN XVII

17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part II

Edición de Günter Rudolph, Anna V. Kononova, Hernán Aguirre, Pascal Kerschke, Gabriela Ochoa, Tea Tušar ...

Series Libro 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.The 87 revised full papers were carefully reviewed and selected from numerous submissions. The conference presents a study of computing methods derived from natural models. Amorphous ... Leer más

$116.09 USD

This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference on Parallel Problem Solving from Nature, PPSN 2022, held in Dortmund, Germany, in September 2022.The 87 revised full papers were carefully reviewed and selected from numerous submissions. The conference presents a study of computing methods derived from natural models. Amorphous
... Leer más
Patterns of Software Construction

How to Predictably Build Results

de Stephen Rylander ...

Series series Professional and Applied Computing (R0)
Master how to implement a repeatable software construction system. This book closely examines how a system is designed to tie a series of activities together that are needed when building software-intensive systems.Software construction and operations don't get enough attention as a repeatable system. The world is stuck in agile backlog grooming sessions, and quality is not increasing. Companies' ... Leer más

$49.49 USD

Master how to implement a repeatable software construction system. This book closely examines how a system is designed to tie a series of activities together that are needed when building software-intensive systems.Software construction and operations don't get enough attention as a repeatable system. The world is stuck in agile backlog grooming sessions, and quality is not increasing. Companies'
... Leer más
Building Applications with Azure Resource Manager (ARM)

Leverage IaC to Vastly Improve the Life Cycle of Your Applications

de David Rendón ...

Series series Professional and Applied Computing (R0)
Learn how to leverage infrastructure as code with Azure Resource Manager (ARM) and the best practices to build, test, debug, and deploy your applications in Microsoft Azure using ARM templates and the new domain-specific language Bicep.As organizations consider moving partially or fully to the cloud, infrastructure as code (IaC) has become a key component to improving time to market for their ... Leer más

$53.99 USD

Learn how to leverage infrastructure as code with Azure Resource Manager (ARM) and the best practices to build, test, debug, and deploy your applications in Microsoft Azure using ARM templates and the new domain-specific language Bicep.As organizations consider moving partially or fully to the cloud, infrastructure as code (IaC) has become a key component to improving time to market for their
... Leer más
Enterprise Information Systems

24th International Conference, ICEIS 2022, Virtual Event, April 25–27, 2022, Revised Selected Papers

Edición de Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, This conference was held virtually due to the COVID-19 crisis, during April 25-27, 2022.The 20 full papers included in this book were carefully reviewed and selected from 197 submissions. They were organized in topical sections as follows: Databases and ... Leer más

$80.99 USD

This book constitutes the refereed post-conference proceedings of the 24th International Conference on Enterprise Information Systems, ICEIS 2022, This conference was held virtually due to the COVID-19 crisis, during April 25-27, 2022.The 20 full papers included in this book were carefully reviewed and selected from 197 submissions. They were organized in topical sections as follows: Databases and
... Leer más
Euro-Par 2022: Parallel Processing

28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings

Edición de José Cano, Phil Trinder ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022.The 25 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The conference Euro-Par 2022 covers all aspects of parallel and distributed computing, ranging from theory to practice, scaling from ... Leer más

$71.99 USD

This book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022.The 25 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The conference Euro-Par 2022 covers all aspects of parallel and distributed computing, ranging from theory to practice, scaling from
... 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: