Rakuten Kobo

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Skip side bar filters

Limnology of the Red Lake, Romania

An Interdisciplinary Study

de Gheorghe Romanescu, Cristian Constantin Stoleriu, Andrei Enea ...

Series series Earth and Environmental Science (R0)
The Red Lake is a natural barrier lake at the foot of the Hasmasu Mare Mountains in the Eastern Carpathian Range in Romania. It was formed when the Bicaz River was blocked by a natural dam resulting from two landslides during an extreme heavy storm in 1837. This book presents an interdisciplinary and comprehensive study on the physical, chemical, geographical and ecological aspects of Red Lake ... Leer más

$89.99 USD

The Red Lake is a natural barrier lake at the foot of the Hasmasu Mare Mountains in the Eastern Carpathian Range in Romania. It was formed when the Bicaz River was blocked by a natural dam resulting from two landslides during an extreme heavy storm in 1837. This book presents an interdisciplinary and comprehensive study on the physical, chemical, geographical and ecological aspects of Red Lake
... Leer más
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Edición de Constantin Enea, Akash Lal ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Leer más

Gratis

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Leer más
Networked Systems

12th International Conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, Proceedings

Edición de Armando Castañeda, Constantin Enea, Nirupam Gupta ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024.The 14 full papers and 3 short papers presented were carefully reviewed and selected from 42 submissions. NETYS aims to bring together researchers and engineers from the theory and practice of distributed and networked systems. The ... Leer más

Antes $107.99 USD Ahora $62.99 USD

This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024.The 14 full papers and 3 short papers presented were carefully reviewed and selected from 42 submissions. NETYS aims to bring together researchers and engineers from the theory and practice of distributed and networked systems. The
... Leer más
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III

Edición de Constantin Enea, Akash Lal ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Leer más

Gratis

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Leer más
Verification, Model Checking, and Abstract Interpretation

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Edición de Constantin Enea, Ruzica Piskac ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification,
... Leer más
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part I

Edición de Constantin Enea, Akash Lal ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Leer más

Gratis

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Leer más

Handbook on Securing Cyber-Physical Critical Infrastructure

de Sajal K Das, Krishna Kant, Nan Zhang ...

The worldwide reach of the Internet allows malicious cyber criminals to coordinate and launch attacks on both cyber and cyber-physical infrastructure from anywhere in the world. This purpose of this handbook is to introduce the theoretical foundations and practical solution techniques for securing critical cyber and physical infrastructures as well as their underlying computing and communication ... Leer más

$89.99 USD

The worldwide reach of the Internet allows malicious cyber criminals to coordinate and launch attacks on both cyber and cyber-physical infrastructure from anywhere in the world. This purpose of this handbook is to introduce the theoretical foundations and practical solution techniques for securing critical cyber and physical infrastructures as well as their underlying computing and communication
... Leer más
Distributed Systems

Theory and Applications

de Ratan K. Ghosh, Hiranmay Ghosh ...

Distributed SystemsComprehensive textbook resource on distributed systems—integrates foundational topics with advanced topics of contemporary importance within the fieldDistributed Systems: Theory and Applications is organized around three layers of abstractions: networks, middleware tools, and application framework. It presents data consistency models suited for requirements of innovative ... Leer más

$90.00 USD

Distributed SystemsComprehensive textbook resource on distributed systems—integrates foundational topics with advanced topics of contemporary importance within the fieldDistributed Systems: Theory and Applications is organized around three layers of abstractions: networks, middleware tools, and application framework. It presents data consistency models suited for requirements of innovative
... Leer más
Information Security

25th International Conference, ISC 2022, Bali, Indonesia, December 18–22, 2022, Proceedings

Edición de Willy Susilo, Xiaofeng Chen, Fuchun Guo, Yudi Zhang, Rolly Intan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Conference on Information Security, ISC 2022, which took place in Bali, Indonesia, in December 2022.The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The contributions were organized in topical sections as follows: Cryptography; Post-Quantum Cryptography; ... Leer más

$80.99 USD

This book constitutes the proceedings of the 25th International Conference on Information Security, ISC 2022, which took place in Bali, Indonesia, in December 2022.The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The contributions were organized in topical sections as follows: Cryptography; Post-Quantum Cryptography;
... Leer más
Information Systems Security

11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings

Edición de Sushil Jajoda, Chandan Mazumdar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Information Systems Security, ICISS 2015, held in Kolkata, India, in December 2015.The 24 revised full papers and 8 short papers presented together with 4 invited papers were carefully reviewed and selected from 133 submissions. The papers address the following topics: access control; attacks and mitigation; ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 11th International Conference on Information Systems Security, ICISS 2015, held in Kolkata, India, in December 2015.The 24 revised full papers and 8 short papers presented together with 4 invited papers were carefully reviewed and selected from 133 submissions. The papers address the following topics: access control; attacks and mitigation;
... Leer más
Handbook of Big Data Technologies

Edición de Albert Y. Zomaya, Sherif Sakr ...

Series series Computer Science (R0)
This handbook offers comprehensive coverage of recent advancements in Big Data technologies and related paradigms. Chapters are authored by international leading experts in the field, and have been reviewed and revised for maximum reader value. The volume consists of twenty-five chapters organized into four main parts. Part one covers the fundamental concepts of Big Data technologies including ... Leer más

$395.99 USD

This handbook offers comprehensive coverage of recent advancements in Big Data technologies and related paradigms. Chapters are authored by international leading experts in the field, and have been reviewed and revised for maximum reader value. The volume consists of twenty-five chapters organized into four main parts. Part one covers the fundamental concepts of Big Data technologies including
... Leer más
Data Privacy Management, Cryptocurrencies and Blockchain Technology

ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings

Edición de Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Hannes Hartenstein, Jordi Herrera-Joancomartí ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 12th International Workshop on Data Privacy Management, DPM 2017, on conjunction with the 22nd European Symposium on Research in computer Security, ESORICS 2017 and the First International Workshop on Cryprocurrencies and Blockchain Technology (CBT 2017) held in Oslo, Norway, in September 2017.The DPM Workshop received 51 submissions ... Leer más

$71.99 USD

This book constitutes the refereed conference proceedings of the 12th International Workshop on Data Privacy Management, DPM 2017, on conjunction with the 22nd European Symposium on Research in computer Security, ESORICS 2017 and the First International Workshop on Cryprocurrencies and Blockchain Technology (CBT 2017) held in Oslo, Norway, in September 2017.The DPM Workshop received 51 submissions
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

¿Qué es Kobo Super Points?

Prémiate

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

Serie m´´as popular en Estados Unidos

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Earth and Environmental Science (R0)

Limnology of the Red Lake, Romania

Computer Aided Verification

Networked Systems

Computer Aided Verification

Verification, Model Checking, and Abstract Interpretation

Computer Aided Verification

La gente que leyó estos también disfrutó

Handbook on Securing Cyber-Physical Critical Infrastructure

Distributed Systems

Information Security

Information Systems Security

Handbook of Big Data Technologies

Data Privacy Management, Cryptocurrencies and Blockchain Technology

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

Serie m´´as popular en Estados Unidos

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Earth and Environmental Science (R0)

Mostrar:

La gente que leyó estos también disfrutó