Rakuten Kobo

Panier

Article(s) non disponible(s) à la vente

Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.

articlesarticle

- Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  
  Obtenez 1•crédit chaque mois pour le livre audio de votre choix
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  
  Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  Livre audio
  par ,
  
  Disponible:
  
  . Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions.
  
  Pré-commander
  1 livre audio par mois
  
  + Essai gratuit pendant 30 jours
  
  Offre spéciale
  
  Obtenez 1 crédit chaque mois pour un livre audio de votre choix
  
  * Sans engagement, résiliez à tout moment
  
  GRATUIT

articlesarticle

Accès illimité aux eBooks

Accès illimité aux livres audio

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions

Obtenez 1•crédit chaque mois pour le livre audio de votre choix

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions

Accès illimité aux eBooks

Accès illimité aux livres audio

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
Livre audio
par ,

Disponible:
. Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions.

Pré-commander
1 livre audio par mois

+ Essai gratuit pendant 30 jours

Offre spéciale

Obtenez 1 crédit chaque mois pour un livre audio de votre choix

* Sans engagement, résiliez à tout moment

GRATUIT

Recommandé pour vous

Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis

First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Modifié par Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed joint proceedings of the First International Workshop on Data Driven Treatment Response Assessment, DATRA 2018 and the Third International Workshop on Preterm, Perinatal and Paediatric Image Analysis, PIPPI 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in ... En savoir plus

46,34 €

This book constitutes the refereed joint proceedings of the First International Workshop on Data Driven Treatment Response Assessment, DATRA 2018 and the Third International Workshop on Preterm, Perinatal and Paediatric Image Analysis, PIPPI 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in
... En savoir plus
Computational Science – ICCS 2019

19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

Modifié par João M. F. Rodrigues, Pedro J. S. Cardoso, Jânio Monteiro, Roberto Lam, Valeria V. Krzhizhanovskaya, Michael H. Lees, Jack J. Dongarra, Peter M.A. Sloot ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the ... En savoir plus

83,42 €

The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop papers presented in this book set were carefully reviewed and selected from 573 submissions (228 submissions to the main track and 345 submissions to the
... En savoir plus
Intelligent Robotics and Applications

12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II

Modifié par Haibin Yu, Jinguo Liu, Lianqing Liu, Zhaojie Ju, Yuwang Liu, Dalin Zhou ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows:Part I: ... En savoir plus

46,34 €

The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.The total of 378 full and 25 short papers presented in these proceedings was carefully reviewed and selected from 522 submissions. The papers are organized in topical sections as follows:Part I:
... En savoir plus
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

Modifié par Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five ... En savoir plus

83,42 €

The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five
... En savoir plus
Artificial Intelligence in Education

20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II

Modifié par Seiji Isotani, Eva Millán, Amy Ogan, Peter Hastings, Bruce McLaren, Rose Luckin ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 11625 and 11626 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Education, AIED 2019, held in Chicago, IL, USA, in June 2019.The 45 full papers presented together with 41 short, 10 doctoral consortium, 6 industry, and 10 workshop papers were carefully reviewed and selected from 177 submissions. AIED 2019 solicits ... En savoir plus

74,15 €

This two-volume set LNCS 11625 and 11626 constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Education, AIED 2019, held in Chicago, IL, USA, in June 2019.The 45 full papers presented together with 41 short, 10 doctoral consortium, 6 industry, and 10 workshop papers were carefully reviewed and selected from 177 submissions. AIED 2019 solicits
... En savoir plus
Design, User Experience, and Usability. User Experience in Advanced Technological Environments

8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II

Modifié par Aaron Marcus, Wentao Wang ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was ... En savoir plus

46,34 €

The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was
... En savoir plus
Euro-Par 2019: Parallel Processing

25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

Modifié par Ramin Yahyapour ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, held in Göttingen, Germany, in August 2019.The 36 full papers presented in this volume were carefully reviewed and selected from 142 submissions. They deal with parallel and distributed computing in general, focusing on support tools and environments; performance and ... En savoir plus

67,66 €

This book constitutes the proceedings of the 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, held in Göttingen, Germany, in August 2019.The 36 full papers presented in this volume were carefully reviewed and selected from 142 submissions. They deal with parallel and distributed computing in general, focusing on support tools and environments; performance and
... En savoir plus
Image Analysis and Processing – ICIAP 2019

20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part I

Modifié par Elisa Ricci, Samuel Rota Bulò, Cees Snoek, Oswald Lanz, Stefano Messelodi, Nicu Sebe ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 11751 and 11752 constitutes the refereed proceedings of the 20th International Conference on Image Analysis and Processing, ICIAP 2019, held in Trento, Italy, in September 2019.The 117 papers presented were carefully reviewed and selected from 207 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern ... En savoir plus

74,15 €

The two-volume set LNCS 11751 and 11752 constitutes the refereed proceedings of the 20th International Conference on Image Analysis and Processing, ICIAP 2019, held in Trento, Italy, in September 2019.The 117 papers presented were carefully reviewed and selected from 207 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern
... En savoir plus
Symbolic and Quantitative Approaches to Reasoning with Uncertainty

15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

Modifié par Gabriele Kern-Isberner, Zoran Ognjanović ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections ... En savoir plus

46,34 €

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019.The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections
... En savoir plus
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Modifié par Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in ... En savoir plus

46,34 €

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in
... En savoir plus
HCI International 2019 – Late Breaking Papers

21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings

Modifié par Constantine Stephanidis ...

Collection series Springer Nature Proceedings Computer Science
This year the 21st International Conference on Human-Computer Interaction, HCII 2019, which was held in Orlando, Florida, USA, in July 2019, introduced the additional option of "late-breaking work", which applied both for papers and posters with the corresponding volumes of the proceedings.The 47 late-breaking papers included in this volume were published after the conference has taken place. They ... En savoir plus

46,34 €

This year the 21st International Conference on Human-Computer Interaction, HCII 2019, which was held in Orlando, Florida, USA, in July 2019, introduced the additional option of "late-breaking work", which applied both for papers and posters with the corresponding volumes of the proceedings.The 47 late-breaking papers included in this volume were published after the conference has taken place. They
... En savoir plus
NII Testbeds and Community for Information Access Research

14th International Conference, NTCIR 2019, Tokyo, Japan, June 10–13, 2019, Revised Selected Papers

Modifié par Makoto P. Kato, Yiqun Liu, Noriko Kando, Charles L. A. Clarke ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on NII Testbeds and Community for Information Access Research, NTCIR 2019, held in Tokyo, Japan, in June 2019.The 15 full papers presented in this book were carefully reviewed and selected from 55 submissions.This NTCIR 2019 proceedings was structured in the following topics: lifelog search; open live test for ... En savoir plus

46,34 €

This book constitutes the refereed proceedings of the 14th International Conference on NII Testbeds and Community for Information Access Research, NTCIR 2019, held in Tokyo, Japan, in June 2019.The 15 full papers presented in this book were carefully reviewed and selected from 55 submissions.This NTCIR 2019 proceedings was structured in the following topics: lifelog search; open live test for
... En savoir plus
Transactions on Computational Collective Intelligence XXXII

Modifié par Ngoc Thanh Nguyen, Ryszard Kowalczyk, Marcin Hernes ...

Collection series Computer Science (R0)
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition ... En savoir plus

46,34 €

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition
... En savoir plus
Virtual, Augmented and Mixed Reality. Design and Interaction

12th International Conference, VAMR 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

Modifié par Jessie Y. C. Chen, Gino Fragomeni ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
The 2 volume-set of LNCS 12190 and 12191 constitutes the refereed proceedings of the 12th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2020, which was due to be held in July 2020 as part of HCI International 2020 in Copenhagen, Denmark. The conference was held virtually due to the COVID-19 pandemic.A total of 1439 papers and 238 posters have been accepted for publication ... En savoir plus

46,34 €

The 2 volume-set of LNCS 12190 and 12191 constitutes the refereed proceedings of the 12th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2020, which was due to be held in July 2020 as part of HCI International 2020 in Copenhagen, Denmark. The conference was held virtually due to the COVID-19 pandemic.A total of 1439 papers and 238 posters have been accepted for publication
... En savoir plus
Accelerator Programming Using Directives

6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

Modifié par Sandra Wienke, Sridutt Bhalachandra ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... En savoir plus

46,34 €

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming Using Directives, WACCPD 2019, held in Denver, CO, USA, in November 2019.The 7 full papers presented have been carefully reviewed and selected from 13 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... En savoir plus
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Communication, Organization and Work

11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II

Modifié par Vincent G. Duffy ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12198 and 12199 constitutes the thoroughly refereed proceedings of the 11th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2020, which was supposed to be held as part of the 22st HCI International Conference, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to ... En savoir plus

46,34 €

This two-volume set LNCS 12198 and 12199 constitutes the thoroughly refereed proceedings of the 11th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2020, which was supposed to be held as part of the 22st HCI International Conference, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to
... En savoir plus
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Posture, Motion and Health

11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

Modifié par Vincent G. Duffy ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12198 and 12199 constitutes the thoroughly refereed proceedings of the 11th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2020, which was supposed to be held as part of the 22st HCI International Conference, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to ... En savoir plus

46,34 €

This two-volume set LNCS 12198 and 12199 constitutes the thoroughly refereed proceedings of the 11th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, DHM 2020, which was supposed to be held as part of the 22st HCI International Conference, HCII 2020, in Copenhagen, Denmark, in July 2020. The conference was held virtually due to
... En savoir plus
Mastering Firebase: The Complete Guide to Building and Scaling Apps

par Kameron Hussain, Frahaan Hussain ...

"Mastering Firebase: The Complete Guide to Building and Scaling Apps" is an indispensable resource for developers looking to harness the full potential of Firebase. This comprehensive guide takes you on a journey through the intricacies of Firebase, from the basics of setting up your project to advanced techniques for scaling your applications efficiently.Dive deep into Firebase's suite of ... En savoir plus

9,49 €

"Mastering Firebase: The Complete Guide to Building and Scaling Apps" is an indispensable resource for developers looking to harness the full potential of Firebase. This comprehensive guide takes you on a journey through the intricacies of Firebase, from the basics of setting up your project to advanced techniques for scaling your applications efficiently.Dive deep into Firebase's suite of
... En savoir plus
Online Riches: Mastering AI and GPT for Profit

par Dale Allman ...

Artificial Intelligence (AI) has revolutionized the way we live, work and communicate. It has become an integral part of our daily lives, from voice assistants to self-driving cars. The impact of AI is widespread and it has now extended its reach into the field of content writing.In today's fast-paced world, businesses need to produce high-quality content at a rapid pace to keep up with the ... En savoir plus

3,99 €

Artificial Intelligence (AI) has revolutionized the way we live, work and communicate. It has become an integral part of our daily lives, from voice assistants to self-driving cars. The impact of AI is widespread and it has now extended its reach into the field of content writing.In today's fast-paced world, businesses need to produce high-quality content at a rapid pace to keep up with the
... En savoir plus
A I(M) Here to Stay

par Jonathon Wetzel ...

In an age where artificial intelligence is rapidly transforming every facet of our lives, AI(M) Here to Stay is your essential guide to mastering the AI revolution. This book takes you on a practical, hands-on journey through the cutting-edge AI tools of today, including Grok, ChatGPT, Gemini, DeepSeek, and Apple Intelligence. Whether you're an entrepreneur, creative, or professional looking to ... En savoir plus

9,49 €

In an age where artificial intelligence is rapidly transforming every facet of our lives, AI(M) Here to Stay is your essential guide to mastering the AI revolution. This book takes you on a practical, hands-on journey through the cutting-edge AI tools of today, including Grok, ChatGPT, Gemini, DeepSeek, and Apple Intelligence. Whether you're an entrepreneur, creative, or professional looking to
... En savoir plus
Next.js: Navigating the Future of Web Development

par Kameron Hussain, Frahaan Hussain ...

"Next.js: Navigating the Future of Web Development" is an in-depth exploration of one of today's most powerful and popular web development frameworks. This comprehensive guide dives deep into the capabilities of Next.js, a framework built on React.js, offering a blend of server-side rendering, static site generation, and client-side rendering to create fast, scalable, and reliable web applications ... En savoir plus

9,49 €

"Next.js: Navigating the Future of Web Development" is an in-depth exploration of one of today's most powerful and popular web development frameworks. This comprehensive guide dives deep into the capabilities of Next.js, a framework built on React.js, offering a blend of server-side rendering, static site generation, and client-side rendering to create fast, scalable, and reliable web applications
... En savoir plus
AI for Social Sciences

With an Introduction to Security, Privacy, Ethics and Society Impacts

par Vicenç Torra ...

Collection series Artificial Intelligence (R0)
The use of AI in social sciences is on the rise and gaining significant momentum. The book aims to demystify AI and its applications in social sciences by offering a straightforward description of its key concepts and tools, all in an easy-to-understand language.The book delves into the fundamental elements of AI systems, shedding light on their capabilities as well as their inherent constraints. ... En savoir plus

55,61 €

The use of AI in social sciences is on the rise and gaining significant momentum. The book aims to demystify AI and its applications in social sciences by offering a straightforward description of its key concepts and tools, all in an easy-to-understand language.The book delves into the fundamental elements of AI systems, shedding light on their capabilities as well as their inherent constraints.
... En savoir plus
Semantics, Logics, and Calculi

Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Modifié par Christian W. Probst, Chris Hankin, René Rydhof Hansen ...

Collection series Computer Science (R0)
This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are ... En savoir plus

46,34 €

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are
... En savoir plus
Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Modifié par Bernd Finkbeiner, Leonardo Mariani ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. ... En savoir plus

60,24 €

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
... En savoir plus

Kobo Rakuten

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai gratuit pendant 30 jours

Disponible:

1 livre audio par mois

+ Essai gratuit pendant 30 jours

Recommandé pour vous

eBooks Programmation

Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis

Computational Science – ICCS 2019

Intelligent Robotics and Applications

Computational Science and Its Applications – ICCSA 2019

Artificial Intelligence in Education

Design, User Experience, and Usability. User Experience in Advanced Technological Environments

Euro-Par 2019: Parallel Processing

Image Analysis and Processing – ICIAP 2019

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

HCI International 2019 – Late Breaking Papers

NII Testbeds and Community for Information Access Research

Transactions on Computational Collective Intelligence XXXII

Virtual, Augmented and Mixed Reality. Design and Interaction

Accelerator Programming Using Directives

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Communication, Organization and Work

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Posture, Motion and Health

Mastering Firebase: The Complete Guide to Building and Scaling Apps

Online Riches: Mastering AI and GPT for Profit

A I(M) Here to Stay

Next.js: Navigating the Future of Web Development

AI for Social Sciences

Semantics, Logics, and Calculi

Runtime Verification