Rakuten Kobo

Networks and Systems in Cybernetics

Proceedings of 12th Computer Science On-line Conference 2023, Volume 2

Edición de Radek Silhavy, Petr Silhavy ...

Series series Springer Nature Proceedings excluding Computer Science
The Networks and Systems in Cybernetics section continues to be a highly relevant and rapidly evolving area of research, encompassing modern advancements in informatics and cybernetics within network and system contexts. This field is at the forefront of developing cutting-edge technologies that can tackle complex challenges and improve various aspects of our lives. The latest research in this ... Leer más

$215.09 USD

The Networks and Systems in Cybernetics section continues to be a highly relevant and rapidly evolving area of research, encompassing modern advancements in informatics and cybernetics within network and system contexts. This field is at the forefront of developing cutting-edge technologies that can tackle complex challenges and improve various aspects of our lives. The latest research in this
... Leer más
Open Agile Architecture™ - A Standard of The Open Group

de Andrew Josey ...

Open Agile Architecture™, a standard of The Open Group, offers an approach to architect at scale with agility. It provides guidance and best practices for Enterprise Architects seeking to transition into Agile and Digital contexts. Empowering an Enterprise to Succeed with its Digital-Agile Transformation Agile teams drive the enterprise’s Digital Transformation by inventing new business models, ... Leer más

$50.99 USD o gratis con Kobo Plus

Open Agile Architecture™, a standard of The Open Group, offers an approach to architect at scale with agility. It provides guidance and best practices for Enterprise Architects seeking to transition into Agile and Digital contexts. Empowering an Enterprise to Succeed with its Digital-Agile Transformation Agile teams drive the enterprise’s Digital Transformation by inventing new business models,
... Leer más
High Performance Computing

37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings

Edición de Ana-Lucia Varbanescu, Abhinav Bhatele, Piotr Luszczek, Baboulin Marc ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 37th International Conference on High Performance Computing, ISC High Performance 2022, held in Hamburg, Germany, during May 29 – June 2, 2022.The 18 full papers presented were carefully reviewed and selected from 53 submissions. The papers are categorized into the following topical sub-headings: Architecture, Networks, and Storage; Machine ... Leer más

$80.99 USD

This book constitutes the refereed proceedings of the 37th International Conference on High Performance Computing, ISC High Performance 2022, held in Hamburg, Germany, during May 29 – June 2, 2022.The 18 full papers presented were carefully reviewed and selected from 53 submissions. The papers are categorized into the following topical sub-headings: Architecture, Networks, and Storage; Machine
... Leer más
Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Edición de Shuvendu K. Lahiri, Chao Wang ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Leer más

Gratis

The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical
... Leer más
Human-Centered Artificial Intelligence

Advanced Lectures

Edición de Mohamed Chetouani, Virginia Dignum, Paul Lukowicz, Carles Sierra ...

Series series Computer Science (R0)
The 18th European Advanced Course on AI (ACAI) took place in Berlin on 11-15 October 2021, organized by the European project Humane-AI Net in collaboration with the European AI Association (EURAI). The school included tutorials on different topics, which were selected through an open call to top European AI researchers. In addition, the school also included 4 invited talks, a student poster ... Leer más

$71.99 USD

The 18th European Advanced Course on AI (ACAI) took place in Berlin on 11-15 October 2021, organized by the European project Humane-AI Net in collaboration with the European AI Association (EURAI). The school included tutorials on different topics, which were selected through an open call to top European AI researchers. In addition, the school also included 4 invited talks, a student poster
... Leer más
HCI for Cybersecurity, Privacy and Trust

4th International Conference, HCI-CPT 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings

Edición de Abbas Moallem ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The ... Leer más

$80.09 USD

This book constitutes the refereed proceedings of the 4th International Conference on HCI for Cybersecurity, Privacy and Trust, HCI-CPT 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The
... Leer más
Service-Oriented Computing

16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3–9, 2022, Revised Selected Papers

Edición de Johanna Barzen, Frank Leymann, Schahram Dustdar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 16th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2022, held in Hersonissos, Crete, Greece, in July 2022.The 8 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Advanced Application Architecture; Data ... Leer más

$49.49 USD

This book constitutes the revised selected papers of the 16th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2022, held in Hersonissos, Crete, Greece, in July 2022.The 8 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Advanced Application Architecture; Data
... Leer más
Parallel Processing and Applied Mathematics

14th International Conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022, Revised Selected Papers, Part I

Edición de Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski ...

Series Libro 1 - Springer Nature Proceedings Computer Science
This two-volume set, LNCS 13826 and LNCS 13827, constitutes the proceedings of the 14th International Conference on Parallel Processing and Applied Mathematics, PPAM 2022, held in Gdansk, Poland, in September 2022.The 77 regular papers presented in these volumes were selected from 132 submissions. For regular tracks of the conference, 33 papers were selected from 62 submissions.The papers were ... Leer más

$71.99 USD

This two-volume set, LNCS 13826 and LNCS 13827, constitutes the proceedings of the 14th International Conference on Parallel Processing and Applied Mathematics, PPAM 2022, held in Gdansk, Poland, in September 2022.The 77 regular papers presented in these volumes were selected from 132 submissions. For regular tracks of the conference, 33 papers were selected from 62 submissions.The papers were
... Leer más
Politics in Software Development

Navigating Stakeholder Power and Conflict in Organizations

de Peter Wendorff ...

Series series Business and Management (R0)
Equip yourself to navigate organizational politics in the world of software development. This book will help you understand the power dynamics at work between competing stakeholders with conflicting goals in projects and organizations.Politics in Software Development consists of three main parts. Author Peter Wendorff begins by defining key concepts in organizational politics. He then moves on to ... Leer más

$35.99 USD

Equip yourself to navigate organizational politics in the world of software development. This book will help you understand the power dynamics at work between competing stakeholders with conflicting goals in projects and organizations.Politics in Software Development consists of three main parts. Author Peter Wendorff begins by defining key concepts in organizational politics. He then moves on to
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

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

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

Series Libro 2 - 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

$71.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
Análisis de datos con el programa estadístico R

Una introducción aplicada

de Christian Salas Eljatib ...

El propósito de este libro es introducir al lector al mundo del software estadístico R. El análisis de datos y la construcción de modelos estadísticos son vitales en todas las disciplinas, desde la ingeniería, medicina, epidemiología, biología, genética, ecología, agronomía, hasta la economía y las políticas públicas. R es un software gratuito y de código abierto, que junto con permitir el ... Leer más

$12.99 USD o gratis con Kobo Plus

El propósito de este libro es introducir al lector al mundo del software estadístico R. El análisis de datos y la construcción de modelos estadísticos son vitales en todas las disciplinas, desde la ingeniería, medicina, epidemiología, biología, genética, ecología, agronomía, hasta la economía y las políticas públicas. R es un software gratuito y de código abierto, que junto con permitir el
... Leer más
Delta: Closing the Specification Gap

de Sandeep Dhuri ...

Generation got cheap; verification did not. Delta is a specification-first framework for AI-assisted enterprise software development — a practical discipline for teams whose AI-generated code must survive regulated production systems.Inside: the Ten Laws of enterprise AI prompting, the Specification Frame, and more than one hundred field-tested recipes covering the places generic AI code fails ... Leer más

Gratis

Generation got cheap; verification did not. Delta is a specification-first framework for AI-assisted enterprise software development — a practical discipline for teams whose AI-generated code must survive regulated production systems.Inside: the Ten Laws of enterprise AI prompting, the Specification Frame, and more than one hundred field-tested recipes covering the places generic AI code fails
... Leer más
Message- and Event-Driven Systems with CQRS and Event Sourcing

Web and Cloud Architecture

de Alex Lawrence ...

Series series Addison-Wesley Signature Series (Vernon)
Learn to Design and Build Scalable Message-Driven SystemsIn today's fast-paced digital landscape, businesses must adapt rapidly to evolving demands. Message- and Event-Driven Systems with CQRS and Event Sourcing reveals how modern message-driven web and cloud architectures can fuel digital transformation, drive agility, and ensure robust scalability. This book bridges the gap between theory and ... Leer más

$39.59 USD

PEDIDO ANTICIPADO

Learn to Design and Build Scalable Message-Driven SystemsIn today's fast-paced digital landscape, businesses must adapt rapidly to evolving demands. Message- and Event-Driven Systems with CQRS and Event Sourcing reveals how modern message-driven web and cloud architectures can fuel digital transformation, drive agility, and ensure robust scalability. This book bridges the gap between theory and
... Leer más
The Authoritative Guide on Harbor

Management and Practice of Cloud Native Artifacts Such as Container Images and Helm Charts

de Haining Zhang, Yan Wang ...

Series series Computer Science (R0)
Harbor is a major CNCF open source project, with thousands of production users all over the world. This book provides a comprehensive explanation of the open source cloud native registry: Harbor. Written by experts who contributed to and now maintain Harbor, the content covers its architecture, principles, functions, deployment and configuration, scanning artifacts, remote replication, operation ... Leer más

$62.99 USD

Harbor is a major CNCF open source project, with thousands of production users all over the world. This book provides a comprehensive explanation of the open source cloud native registry: Harbor. Written by experts who contributed to and now maintain Harbor, the content covers its architecture, principles, functions, deployment and configuration, scanning artifacts, remote replication, operation
... Leer más
SQL- & NoSQL-Datenbanken

9. erweiterte und aktualisierte Auflage

de Michael Kaufmann, Andreas Meier ...

Series series Computer Science and Engineering (German Language)
Die Autoren führen in relationale (SQL) und nicht-relationale (NoSQL) Datenbanken ein. Die 9. Auflage erklärt die drei Typen relationale Datenbanken, Graphdatenbanken und Dokumentdatenbanken im Detail anhand der Themen Datenbankmanagement, Datenbankmodellierung, Datenbanksprachen, Datenbanksicherheit und Systemarchitektur. Das Buch bietet außerdem einen Überblick auf postrelationale und nicht ... Leer más

$31.49 USD

Die Autoren führen in relationale (SQL) und nicht-relationale (NoSQL) Datenbanken ein. Die 9. Auflage erklärt die drei Typen relationale Datenbanken, Graphdatenbanken und Dokumentdatenbanken im Detail anhand der Themen Datenbankmanagement, Datenbankmodellierung, Datenbanksprachen, Datenbanksicherheit und Systemarchitektur. Das Buch bietet außerdem einen Überblick auf postrelationale und nicht
... Leer más
Petri Nets

Theoretical Models and Analysis Methods for Concurrent Systems

de Guanjun Liu ...

Series series Computer Science (R0)
This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph ... Leer más

$179.99 USD

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph
... Leer más
Balancing Coupling in Software Design

Universal Design Principles for Architecting Modular Software Systems

de Vlad Khononov ...

Series series Addison-Wesley Signature Series (Vernon)
Learn How Coupling Impacts Every Software Design Decision You Make--and How to Control ItIf you want to build modular, evolvable, and resilient software systems, you have to get coupling right. Every design decision you make influences coupling, which in turn shapes the design options available to you. Despite its importance, coupling often doesn't receive the attention it deserves--until now ... Leer más

$38.69 USD

Learn How Coupling Impacts Every Software Design Decision You Make--and How to Control ItIf you want to build modular, evolvable, and resilient software systems, you have to get coupling right. Every design decision you make influences coupling, which in turn shapes the design options available to you. Despite its importance, coupling often doesn't receive the attention it deserves--until now
... Leer más
Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage

Second International Conference, TMM_CH 2021, Athens, Greece, December 13–15, 2021, Revised Selected Papers

Edición de Antonia Moropoulou, Andreas Georgopoulos, Anastasios Doulamis, Marinos Ioannides, Alfredo Ronchi ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2021, held in Athens, Greece, in December 2021.The 17 full papers and 6 short papers presented in ths volume were thoroughly reviewed and selected from 310 submissions. The papers are ... Leer más

$76.99 USD

This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2021, held in Athens, Greece, in December 2021.The 17 full papers and 6 short papers presented in ths volume were thoroughly reviewed and selected from 310 submissions. The papers are
... Leer más
Information Systems Reengineering, Integration and Normalization

Heterogeneous Database Connectivity

de Joseph S. P. Fong, Kenneth Wong Ting Yan ...

Series series Computer Science (R0)
Database technology is an important subject in Computer Science. Every large company and nation needs a database to store information. The technology has evolved from file systems in the 60’s, to Hierarchical and Network databases in the 70’s, to relational databases in the 80’s, object-oriented databases in the 90’s, and to XML documents and NoSQL today. As a result, there is a need to reengineer ... Leer más

$53.99 USD

Database technology is an important subject in Computer Science. Every large company and nation needs a database to store information. The technology has evolved from file systems in the 60’s, to Hierarchical and Network databases in the 70’s, to relational databases in the 80’s, object-oriented databases in the 90’s, and to XML documents and NoSQL today. As a result, there is a need to reengineer
... Leer más
Progress in Cryptology – LATINCRYPT 2017

5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

Edición de Tanja Lange, Orr Dunkelman ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 5th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2017, held in Havana, Cuba, in September 2017.The 20 papers presented were carefully reviewed and selected from 64 submissions. They are organized in the following topical sections: security protocols; public-key implementation; ... Leer más

$67.99 USD

This book constitutes the refereed post-conference proceedings of the 5th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2017, held in Havana, Cuba, in September 2017.The 20 papers presented were carefully reviewed and selected from 64 submissions. They are organized in the following topical sections: security protocols; public-key implementation;
... Leer más
Requirements Engineering for Service and Cloud Computing

Edición de Zaigham Mahmood, Muthu Ramachandran ...

Series series Computer Science (R0)
This authoritative text/reference describes the state of the art in requirements engineering for software systems for distributed computing. A particular focus is placed on integrated solutions, which take into account the requirements of scalability, flexibility, sustainability and operability for distributed environments. Topics and features: discusses the latest developments, tools, ... Leer más

$89.99 USD

This authoritative text/reference describes the state of the art in requirements engineering for software systems for distributed computing. A particular focus is placed on integrated solutions, which take into account the requirements of scalability, flexibility, sustainability and operability for distributed environments. Topics and features: discusses the latest developments, tools,
... Leer más
Choose your WoW - Second Edition (FRENCH)

A Disciplined Agile Approach to Optimizing Your Way of Working

de Mark Lines, Scott Ambler ...

Hundreds of organizations around the world have already benefited from Disciplined Agile Delivery (DAD). Disciplined Agile® (DA™) is the only comprehensive tool kit available for guidance on building high-performance agile teams and optimizing your way of working (WoW). As a hybrid of the leading agile, lean, and predictive approaches, DA provides hundreds of strategies to help you make better ... Leer más

$19.95 USD o gratis con Kobo Plus

Hundreds of organizations around the world have already benefited from Disciplined Agile Delivery (DAD). Disciplined Agile® (DA™) is the only comprehensive tool kit available for guidance on building high-performance agile teams and optimizing your way of working (WoW). As a hybrid of the leading agile, lean, and predictive approaches, DA provides hundreds of strategies to help you make better
... Leer más
Earth Systems Data Processing and Visualization Using MATLAB

de Zekâi Şen ...

Series series Earth and Environmental Science (R0)
This book is designed to provide easy means of problem solving based on the science philosophical and logical rules that lead to effective and reliable software at the service of professional earth system scientists through numerical scientific computation techniques. Through careful examination of software illuminated by brief scientific explanations given in the book the reader may develop his ... Leer más

$80.99 USD

This book is designed to provide easy means of problem solving based on the science philosophical and logical rules that lead to effective and reliable software at the service of professional earth system scientists through numerical scientific computation techniques. Through careful examination of software illuminated by brief scientific explanations given in the book the reader may develop his
... Leer más
Reliable Software Technologies – Ada-Europe 2018

23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

Edición de António Casimiro, Pedro M. Ferreira ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018.The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling ... Leer más

$49.99 USD

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018.The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling
... 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: