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

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings

Modifié par Isaac Woungang, Ahmed Awad, Issa Traore ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the First International Conference on Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments, ISDDC 2017, held in Vancouver, BC, Canada, in October 2017.The 12 full papers presented together with 1 short paper were carefully reviewed and selected from 43 submissions. This book also contains 3 keynote talks and 2 tutorials ... En savoir plus

47,69 €

This book constitutes the refereed proceedings of the First International Conference on Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments, ISDDC 2017, held in Vancouver, BC, Canada, in October 2017.The 12 full papers presented together with 1 short paper were carefully reviewed and selected from 43 submissions. This book also contains 3 keynote talks and 2 tutorials
... En savoir plus
Computer Vision Systems

11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers

Modifié par Markus Vincze, Ming Liu, Haoyao Chen ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Computer Vision Systems, ICVS 2017, held in Shenzhen, China, in July 2017.The 61 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on visual control, visual navigation, visual inspection, image processing, human robot interaction, stereo ... En savoir plus

47,69 €

This book constitutes the refereed proceedings of the 11th International Conference on Computer Vision Systems, ICVS 2017, held in Shenzhen, China, in July 2017.The 61 papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in topical sections on visual control, visual navigation, visual inspection, image processing, human robot interaction, stereo
... En savoir plus
Transactions on Computational Science XXX

Special Issue on Cyberworlds and Cybersecurity

Modifié par Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin ...

Collection series Computer Science (R0)
This, the 30th issue of the Transactions on Computational Science journal, is comprised of extended versions of selected papers from the International Conference on Cyberworlds, held in Chongqing, China, in September 2016. The first paper is a position paper giving an outline of current research at the intersection of cybersecurity and cyberworlds, and specifically focusing on mining behavioral ... En savoir plus

47,69 €

This, the 30th issue of the Transactions on Computational Science journal, is comprised of extended versions of selected papers from the International Conference on Cyberworlds, held in Chongqing, China, in September 2016. The first paper is a position paper giving an outline of current research at the intersection of cybersecurity and cyberworlds, and specifically focusing on mining behavioral
... En savoir plus
Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Modifié par Bor-Yuh Evan Chang ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; ... En savoir plus

47,69 €

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages;
... En savoir plus
SDL 2017: Model-Driven Engineering for Future Internet

18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

Modifié par Gábor Kovács, György Réthy, Tibor Csöndes ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL ... En savoir plus

47,69 €

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL
... En savoir plus
Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Modifié par Sergei Artemov, Anil Nerode ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... En savoir plus

47,69 €

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... En savoir plus
Transforming Digital Worlds

13th International Conference, iConference 2018, Sheffield, UK, March 25-28, 2018, Proceedings

Modifié par Gobinda Chowdhury, Julie McLeod, Val Gillet, Peter Willett ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Conference on Transforming Digital Worlds, iConference 2018, held in Sheffield, UK, in March 2018.The 42 full papers and 40 short papers presented together with the abstracts of 3 invited talks in this volume were carefully reviewed and selected from 219 submissions. The papers address topics such as social media; communication ... En savoir plus

133,55 €

This book constitutes the proceedings of the 13th International Conference on Transforming Digital Worlds, iConference 2018, held in Sheffield, UK, in March 2018.The 42 full papers and 40 short papers presented together with the abstracts of 3 invited talks in this volume were carefully reviewed and selected from 219 submissions. The papers address topics such as social media; communication
... En savoir plus
Human-Computer Interaction. Interaction in Context

20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

Modifié par Masaaki Kurosu ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
The 3 volume-set LNCS 10901, 10902 + 10903 constitutes the refereed proceedings of the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018.The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4346 submissions.HCI 2018 includes a total of 145 papers; ... En savoir plus

85,85 €

The 3 volume-set LNCS 10901, 10902 + 10903 constitutes the refereed proceedings of the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018.The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4346 submissions.HCI 2018 includes a total of 145 papers;
... En savoir plus
Learning and Collaboration Technologies. Design, Development and Technological Innovation

5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

Modifié par Panayiotis Zaphiris, Andri Ioannou ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 10924 and 10925 constitute the refereed proceedings of the 5th International Conference on Learning and Collaboration Technologies, LCT 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The 1171 papers presented at HCII 2018 conferences were carefully reviewed and selected from 4346 ... En savoir plus

76,31 €

This two-volume set LNCS 10924 and 10925 constitute the refereed proceedings of the 5th International Conference on Learning and Collaboration Technologies, LCT 2018, held as part of the 20th International Conference on Human-Computer Interaction, HCII 2018, in Las Vegas, NV, USA in July 2018. The 1171 papers presented at HCII 2018 conferences were carefully reviewed and selected from 4346
... En savoir plus
Intelligent Robotics and Applications

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

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

Collection Livre 4 - 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

47,69 €

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
Combinatorial Algorithms

30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings

Modifié par Charles J. Colbourn, Roberto Grossi, Nadia Pisanti ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 30th International Workshop on Combinatorial Algorithms, IWOCA 2019, held in Pisa, Italy, in July 2019. The 36 regular papers presented in this volume were carefully reviewed and selected from 73 submissions. They cover diverse areas of combinatorical algorithms, complexity theory, graph theory and combinatorics, combinatorial ... En savoir plus

69,63 €

This book constitutes the refereed post-conference proceedings of the 30th International Workshop on Combinatorial Algorithms, IWOCA 2019, held in Pisa, Italy, in July 2019. The 36 regular papers presented in this volume were carefully reviewed and selected from 73 submissions. They cover diverse areas of combinatorical algorithms, complexity theory, graph theory and combinatorics, combinatorial
... En savoir plus
Social Computing and Social Media. Participation, User Experience, Consumer Experience, and Applications of Social Computing

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

Modifié par Gabriele Meiselwitz ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12194 and 12195 constitutes the refereed proceedings of the 12th International Conference on Social Computing and Social Media, SCSM 2020, held as part of the 22nd International Conference, HCI International 2020, which was planned to be held in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers and ... En savoir plus

47,69 €

This two-volume set LNCS 12194 and 12195 constitutes the refereed proceedings of the 12th International Conference on Social Computing and Social Media, SCSM 2020, held as part of the 22nd International Conference, HCI International 2020, which was planned to be held in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers and
... En savoir plus
On the Move to Meaningful Internet Systems: OTM 2019 Workshops

Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers

Modifié par Christophe Debruyne, Hervé Panetto, Wided Guédria, Peter Bollen, Ioana Ciuciu, George Karabatis, Robert Meersman ...

Collection series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS) and, 1st ... En savoir plus

47,69 €

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS) and, 1st
... En savoir plus
Persuasive Technology. Designing for Future Change

15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 20–23, 2020, Proceedings

Modifié par Sandra Burri Gram-Hansen, Tanja Svarre Jonasen, Cees Midden ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Persuasive Technology, PERSUASIVE 2020, held in Aalborg, Denmark, in April 2020.The 18 full papers presented in this book were carefully reviewed and selected from 79 submissions. The papers are grouped in the following topical sections: methodological and theoretical perspectives on persuasive design; ... En savoir plus

54,37 €

This book constitutes the refereed proceedings of the 15th International Conference on Persuasive Technology, PERSUASIVE 2020, held in Aalborg, Denmark, in April 2020.The 18 full papers presented in this book were carefully reviewed and selected from 79 submissions. The papers are grouped in the following topical sections: methodological and theoretical perspectives on persuasive design;
... En savoir plus
Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies

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

Modifié par Margherita Antona, Constantine Stephanidis ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
This two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers ... En savoir plus

76,31 €

This two-volume set of LNCS 12188 and 12189 constitutes the refereed proceedings of the 14th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The conference was held virtually due to the COVID-19 pandemic. The total of 1439 papers
... En savoir plus
Human Interface and the Management of Information. Interacting with Information

Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II

Modifié par Sakae Yamamoto, Hirohiko Mori ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12184 and 12185 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2020, held as part of HCI International 2020 in Copenhagen, Denmark.*HCII 2020 received a total of 6326 submissions, of which 1439 papers and 238 posters were accepted for publication after a careful reviewing process.The 72 papers presented ... En savoir plus

47,69 €

This two-volume set LNCS 12184 and 12185 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2020, held as part of HCI International 2020 in Copenhagen, Denmark.*HCII 2020 received a total of 6326 submissions, of which 1439 papers and 238 posters were accepted for publication after a careful reviewing process.The 72 papers presented
... En savoir plus
Artificial Intelligence in HCI

First International Conference, AI-HCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings

Modifié par Helmut Degen, Lauren Reinerman-Jones ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in July 2020. The conference was planned to be held in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.The conference presents ... En savoir plus

47,69 €

This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI 2020, held as part of the 22nd International Conference on Human-Computer Interaction, HCII 2020, in July 2020. The conference was planned to be held in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.The conference presents
... En savoir plus
Human Interface and the Management of Information. Designing Information

Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I

Modifié par Sakae Yamamoto, Hirohiko Mori ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12184 and 12185 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2020, held as part of HCI International 2020 in Copenhagen, Denmark.*HCII 2020 received a total of 6326 submissions, of which 1439 papers and 238 posters were accepted for publication after a careful reviewing process.The 72 papers presented ... En savoir plus

47,69 €

This two-volume set LNCS 12184 and 12185 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2020, held as part of HCI International 2020 in Copenhagen, Denmark.*HCII 2020 received a total of 6326 submissions, of which 1439 papers and 238 posters were accepted for publication after a careful reviewing process.The 72 papers presented
... En savoir plus
AIxIA 2020 – Advances in Artificial Intelligence

XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers

Modifié par Matteo Baldoni, Stefania Bandini ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at ... En savoir plus

85,85 €

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at
... En savoir plus
Human-Computer Interaction. Theoretical Approaches and Design Methods

Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26–July 1, 2022, Proceedings, Part I

Modifié par Masaaki Kurosu ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 13302, 13303 and 13304 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 24th International Conference on Human-Computer Interaction, HCII 2022, which took place virtually in June-July 2022.The 132 papers included in this HCI 2022 proceedings were organized in topical sections as follows:Part I: Theoretical and Multidisciplinary ... En savoir plus

85,85 €

The three-volume set LNCS 13302, 13303 and 13304 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 24th International Conference on Human-Computer Interaction, HCII 2022, which took place virtually in June-July 2022.The 132 papers included in this HCI 2022 proceedings were organized in topical sections as follows:Part I: Theoretical and Multidisciplinary
... En savoir plus
Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Modifié par Emilio Tuosto, Chun Ouyang ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model ... En savoir plus

38,15 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model
... En savoir plus
Computer Vision Systems

10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings

Modifié par Lazaros Nalpantidis, Jan-Olof Eklundh, Antonios Gasteratos, Volker Krüger ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Computer Vision Systems, ICVS 2015, held in Copenhagen, Denmark, in July 2015. The 48 papers presented were carefully reviewed and selected from 92 submissions. The paper are organized in topical sections on biological and cognitive vision; hardware-implemented and real-time vision systems; high-level vision; ... En savoir plus

47,69 €

This book constitutes the refereed proceedings of the 10th International Conference on Computer Vision Systems, ICVS 2015, held in Copenhagen, Denmark, in July 2015. The 48 papers presented were carefully reviewed and selected from 92 submissions. The paper are organized in topical sections on biological and cognitive vision; hardware-implemented and real-time vision systems; high-level vision;
... En savoir plus
Rewriting Logic and Its Applications

10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Modifié par Santiago Escobar ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of ... En savoir plus

44,83 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of
... En savoir plus
Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Modifié par Dimitra Giannakopoulou, Daniel Kroening ...

Collection series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully ... En savoir plus

44,83 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully
... 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

Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments

Computer Vision Systems

Transactions on Computational Science XXX

Programming Languages and Systems

SDL 2017: Model-Driven Engineering for Future Internet

Logical Foundations of Computer Science

Transforming Digital Worlds

Human-Computer Interaction. Interaction in Context

Learning and Collaboration Technologies. Design, Development and Technological Innovation

Intelligent Robotics and Applications

Combinatorial Algorithms

Social Computing and Social Media. Participation, User Experience, Consumer Experience, and Applications of Social Computing

On the Move to Meaningful Internet Systems: OTM 2019 Workshops

Persuasive Technology. Designing for Future Change

Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies

Human Interface and the Management of Information. Interacting with Information

Artificial Intelligence in HCI

Human Interface and the Management of Information. Designing Information

AIxIA 2020 – Advances in Artificial Intelligence

Human-Computer Interaction. Theoretical Approaches and Design Methods

Web Services and Formal Methods

Computer Vision Systems

Rewriting Logic and Its Applications

Verified Software: Theories, Tools and Experiments