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

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Edición de Swarat Chaudhuri, Azadeh Farzan ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems ... Leer más

$49.99 USD

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems
... Leer más
Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Edición de Swarat Chaudhuri, Azadeh Farzan ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems ... Leer más

$49.99 USD

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems
... Leer más

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Edición de Daniel Kroening, Corina S. Păsăreanu ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking ... Leer más

$49.99 USD

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking
... Leer más
Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Edición de Daniel Kroening, Corina S. Păsăreanu ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking ... Leer más

$49.99 USD

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking
... Leer más
Dynamic Logic. New Trends and Applications

First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Edición de Alexandre Madeira, Mário Benevides ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017.Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project ... Leer más

$49.49 USD

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017.Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project
... Leer más
Measurement, Modelling and Evaluation of Computing Systems

19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

Edición de Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, Germany, in February 2018.The 16 full papers, 4 PhD track papers, and 9 tool papers presented in this volume were carefully reviewed and selected from 42 submissions. They are dealing with performance and dependability ... Leer más

$49.99 USD

This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, Germany, in February 2018.The 16 full papers, 4 PhD track papers, and 9 tool papers presented in this volume were carefully reviewed and selected from 42 submissions. They are dealing with performance and dependability
... Leer más
Computer Logic

Design Principles and Applications

de John Y. Hsu ...

Series series Computer Science (R0)
An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern ... Leer más

$49.99 USD

An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits - is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern
... Leer más
Trustworthy Global Computing

10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers

Edición de Pierre Ganty, Michele Loreti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015.The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols ... Leer más

$40.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Symposium on Trustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September 2015.The 10 revised full papers presented were carefully reviewed and selected from 19 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols
... Leer más
Trustworthy Global Computing

8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Edición de Martín Abadi, Alberto Lluch Lafuente ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing
... Leer más
Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Edición de Bernd Finkbeiner, Geguang Pu, Lijun Zhang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, ... Leer más

$49.99 USD

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis,
... Leer más
Building Arduino Projects for the Internet of Things

Experiments with Real-World Applications

de Adeel Javed ...

Series series Professional and Applied Computing (R0)
Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects ... Leer más

$62.99 USD

Gain a strong foundation of Arduino-based device development, from which you can go in any direction according to your specific development needs and desires. You'll build Arduino-powered devices for everyday use, and then connect those devices to the Internet.You'll be introduced to the building blocks of IoT, and then deploy those principles to by building a variety of useful projects. Projects
... Leer más
Digital Imaging and Communications in Medicine (DICOM)

A Practical Introduction and Survival Guide

de Oleg S. Pianykh ...

Series series Medicine (R0)
This is the second edition of a very popular book on DICOM that introduces this complex standard from a very practical point of view. It is aimed at a broad audience of radiologists, clinical administrators, information technologists, medical students, and lecturers. The book provides a gradual, down to earth introduction to DICOM, accompanied by an analysis of the most common problems associated ... Leer más

$80.99 USD

This is the second edition of a very popular book on DICOM that introduces this complex standard from a very practical point of view. It is aimed at a broad audience of radiologists, clinical administrators, information technologists, medical students, and lecturers. The book provides a gradual, down to earth introduction to DICOM, accompanied by an analysis of the most common problems associated
... 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

Computer Aided Verification

Computer Aided Verification

La gente que leyó estos también disfrutó

Computer Aided Verification

Computer Aided Verification

Dynamic Logic. New Trends and Applications

Measurement, Modelling and Evaluation of Computing Systems

Computer Logic

Trustworthy Global Computing

Trustworthy Global Computing

Automated Technology for Verification and Analysis

Building Arduino Projects for the Internet of Things

Digital Imaging and Communications in Medicine (DICOM)

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

Mostrar:

La gente que leyó estos también disfrutó