Rakuten Kobo

Carrinho

Item(ns) indisponível(is) para compra

Verifique seu carrinho. Você pode remover os itens indisponíveis agora ou os removeremos na finalização de compra.

itensitem

- Acesso ilimitado a eBooks
  
  Acesso ilimitado a audiobooks
  
  Sem compromisso, cancele quando quiser em kobo.com/account/subscriptions
  
  Receba um crédito por mês para o audiolivro de sua escolha
  
  Sem compromisso, cancele quando quiser em kobo.com/account/subscriptions
  
  Acesso ilimitado a eBooks
  
  Acesso ilimitado a audiobooks
  
  Sem compromisso, cancele quando quiser em kobo.com/account/subscriptions
  Audiolivro
  de ,
  
  Disponível:
  
  . Sem compromisso, cancele quando quiser em kobo.com/account/subscriptions.
  
  Pré-encomenda
  1 audiolivro mensal
  
  + Teste gratuito de 30 dias
  
  Oferta especial
  
  Receba 1 crédito por mês para trocar por um audiobook de sua escolha
  
  *Sem compromisso, cancele a qualquer momento
  
  GRATUITO

itensitem

Acesso ilimitado a eBooks

Acesso ilimitado a audiobooks

Sem compromisso, cancele quando quiser em kobo.com/account/subscriptions

Receba um crédito por mês para o audiolivro de sua escolha

Sem compromisso, cancele quando quiser em kobo.com/account/subscriptions

Acesso ilimitado a eBooks

Acesso ilimitado a audiobooks

Sem compromisso, cancele quando quiser em kobo.com/account/subscriptions
Audiolivro
de ,

Disponível:
. Sem compromisso, cancele quando quiser em kobo.com/account/subscriptions.

Pré-encomenda
1 audiolivro mensal

+ Teste gratuito de 30 dias

Oferta especial

Receba 1 crédito por mês para trocar por um audiobook de sua escolha

*Sem compromisso, cancele a qualquer momento

GRATUITO

Recomendados para você

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Editado por Arie Gurfinkel, Sanjit A. Seshia ...

Séries series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... Leia mais

R$ 274,99

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... Leia mais
Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Editado por Marsha Chechik, Jean-François Raskin ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from ... Leia mais

R$ 274,99

This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from
... Leia mais
Human-Computer Interaction. Interaction Platforms and Techniques

18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part II

Editado por Masaaki Kurosu ...

Séries Livros: 2 - Springer Nature Proceedings Computer Science
The 3-volume set LNCS 9731, 9732, and 9733 constitutes the refereed proceedings of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016. The total of 1287 papers and 186 posters presented at the HCII 2016 conferences and were carefully reviewed and selected from 4354 submissions.The papers thoroughly cover the entire field of Human ... Leia mais

R$ 274,99

The 3-volume set LNCS 9731, 9732, and 9733 constitutes the refereed proceedings of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016. The total of 1287 papers and 186 posters presented at the HCII 2016 conferences and were carefully reviewed and selected from 4354 submissions.The papers thoroughly cover the entire field of Human
... Leia mais
Engineering Psychology and Cognitive Ergonomics

13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Editado por Don Harris ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016.The total of 1287 regular papers and 186 poster papers presented at the HCII 2016 conferences was carefully reviewed ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 13th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016.The total of 1287 regular papers and 186 poster papers presented at the HCII 2016 conferences was carefully reviewed
... Leia mais
Design, User Experience, and Usability: Design Thinking and Methods

5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I

Editado por Aaron Marcus ...

Séries Livros: 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016 ... Leia mais

R$ 274,99

The three-volume set LNCS 9746, 9747, and 9748 constitutes the proceedings of the 5th International Conference on Design, User Experience, and Usability, DUXU 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, in Toronto, Canada, in July 2016, jointly with 13 other thematically similar conferences. The total of 1287 papers presented at the HCII 2016
... Leia mais
Advances in Data Mining. Applications and Theoretical Aspects

16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Editado por Petra Perner ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine, ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine,
... Leia mais
Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Editado por Simon Devitt, Ivan Lanese ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing;
... Leia mais
Human Behavior Understanding

7th International Workshop, HBU 2016, Amsterdam, The Netherlands, October 16, 2016, Proceedings

Editado por Mohamed Chetouani, Jeffrey Cohn, Albert Ali Salah ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Workshop on Human Behavior Understanding, HBU 2016, held in Amsterdam, The Netherlands, in October 2016.The 10 full papers were carefully reviewed and selected from 17 initial submissions. They are organized in topical sections named: behavior analysis during play; daily behaviors; gesture and movement analysis; and vision ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 7th International Workshop on Human Behavior Understanding, HBU 2016, held in Amsterdam, The Netherlands, in October 2016.The 10 full papers were carefully reviewed and selected from 17 initial submissions. They are organized in topical sections named: behavior analysis during play; daily behaviors; gesture and movement analysis; and vision
... Leia mais
Serious Games

4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings

Editado por Stefan Göbel, Augusto Garcia-Agundez, Thomas Tregel, Minhua Ma, Jannicke Baalsrud Hauge, Manuel Oliveira, Tim Marsh, Polona Caserman ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 4th International Conference on Serious Games, JCSG 2018, held in Darmstadt, Germany, in November 2018.The 15 full and 12 short papers presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: serious games studies; game-based learning and teaching; game development - serious games ... Leia mais

R$ 274,99

This book constitutes the proceedings of the 4th International Conference on Serious Games, JCSG 2018, held in Darmstadt, Germany, in November 2018.The 15 full and 12 short papers presented in this volume were carefully reviewed and selected from 40 submissions. They were organized in topical sections named: serious games studies; game-based learning and teaching; game development - serious games
... Leia mais
Algorithms and Architectures for Parallel Processing

18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Editado por Jaideep Vaidya, Jin Li ...

Séries Livros: 3 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel ... Leia mais

R$ 274,99

The four-volume set LNCS 11334-11337 constitutes the proceedings of the 18th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2018, held in Guangzhou, China, in November 2018.The 141 full and 50 short papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Distributed and Parallel
... Leia mais
Multi-Agent Systems

16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Editado por Marija Slavkovik ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent ... Leia mais

R$ 274,99

This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent
... Leia mais
Formal Techniques for Distributed Objects, Components, and Systems

39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Editado por Jorge A. Pérez, Nobuko Yoshida ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected ... Leia mais

R$ 346,39

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected
... Leia mais
Human Interface and the Management of Information. Visual Information and Knowledge Management

Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Editado por Sakae Yamamoto, Hirohiko Mori ...

Séries Livros: 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 11569 and 11570 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2019, held as part of HCI International 2019 in Orlando, FL, USA.HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process.The 91 papers presented in ... Leia mais

R$ 494,89

This two-volume set LNCS 11569 and 11570 constitutes the refereed proceedings of the Thematic Area on Human Interface and the Management of Information, HIMI 2019, held as part of HCI International 2019 in Orlando, FL, USA.HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process.The 91 papers presented in
... Leia mais
Human-Computer Interaction. Perspectives on Design

Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Editado por Masaaki Kurosu ...

Séries Livros: 1 - Springer Nature Proceedings Computer Science
The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019.A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions ... Leia mais

R$ 439,89

The 3 volume-set LNCS 11566, 11567 + 11568 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, USA, in July 2019.A total of 1274 papers and 209 posters have been accepted for publication in the HCII 2019 proceedings from a total of 5029 submissions
... Leia mais
Intelligent Robotics and Applications

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

Editado por Haibin Yu, Jinguo Liu, Lianqing Liu, Zhaojie Ju, Yuwang Liu, Dalin Zhou ...

Séries Livros: 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: ... Leia mais

R$ 274,99

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:
... Leia mais
Combinatorial Algorithms

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

Editado por Charles J. Colbourn, Roberto Grossi, Nadia Pisanti ...

Séries 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 ... Leia mais

R$ 401,39

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
... Leia mais
Logic, Rationality, and Interaction

7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Editado por Patrick Blackburn, Emiliano Lorini, Meiyun Guo ...

Séries series Springer Nature Proceedings excluding Computer Science
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and ... Leia mais

R$ 274,99

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and
... Leia mais
Pattern Recognition and Image Analysis

9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part II

Editado por Aythami Morales, Julian Fierrez, José Salvador Sánchez, Bernardete Ribeiro ...

Séries Livros: 2 - Springer Nature Proceedings Computer Science
This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019.The 99 papers in these volumes were carefully reviewed and selected from 137 submissions. They are organized in topical sections named:Part I: best ranked papers; machine learning; pattern recognition; image processing and ... Leia mais

R$ 439,89

This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019.The 99 papers in these volumes were carefully reviewed and selected from 137 submissions. They are organized in topical sections named:Part I: best ranked papers; machine learning; pattern recognition; image processing and
... Leia mais
Entertainment Computing and Serious Games

First IFIP TC 14 Joint International Conference, ICEC-JCSG 2019, Arequipa, Peru, November 11–15, 2019, Proceedings

Editado por Erik van der Spek, Stefan Göbel, Ellen Yi-Luen Do, Esteban Clua, Jannicke Baalsrud Hauge ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the First IFIP TC 14 Joint International Conference on Entertainment Computing and Serious Games, ICEC-JCSG 2019, held in Arequipa, Peru, in November 2019.The 26 full papers, 5 short papers, and 16 poster, demonstration, and workshop papers presented were carefully reviewed and selected from 88 submissions. They cover a large range of topics at the ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the First IFIP TC 14 Joint International Conference on Entertainment Computing and Serious Games, ICEC-JCSG 2019, held in Arequipa, Peru, in November 2019.The 26 full papers, 5 short papers, and 16 poster, demonstration, and workshop papers presented were carefully reviewed and selected from 88 submissions. They cover a large range of topics at the
... Leia mais
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

Editado por Gabriele Meiselwitz ...

Séries Livros: 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 ... Leia mais

R$ 274,99

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
... Leia mais
Transactions on Computational Science XXX

Special Issue on Cyberworlds and Cybersecurity

Editado por Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin ...

Séries 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 ... Leia mais

R$ 274,99

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
... Leia mais
SDL 2017: Model-Driven Engineering for Future Internet

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

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

Séries 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 ... Leia mais

R$ 274,99

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
... Leia mais
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

Editado por Panayiotis Zaphiris, Andri Ioannou ...

Séries Livros: 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 ... Leia mais

R$ 439,89

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
... Leia mais
Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Editado por Didier Galmiche, Stephan Schulz, Roberto Sebastiani ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic
... Leia mais

Kobo Rakuten

eReaders

Aplicativos

Acessórios

Carrinho

Você está recebendo o tratamento VIP!

Seu Carrinho está vazio

Disponível:

1 audiolivro mensal

+ Teste gratuito de 30 dias

Disponível:

1 audiolivro mensal

+ Teste gratuito de 30 dias

Recomendados para você

eBooks sobre Programação

Verified Software: Theories, Tools, and Experiments

Tools and Algorithms for the Construction and Analysis of Systems

Human-Computer Interaction. Interaction Platforms and Techniques

Engineering Psychology and Cognitive Ergonomics

Design, User Experience, and Usability: Design Thinking and Methods

Advances in Data Mining. Applications and Theoretical Aspects

Reversible Computation

Human Behavior Understanding

Serious Games

Algorithms and Architectures for Parallel Processing

Multi-Agent Systems

Formal Techniques for Distributed Objects, Components, and Systems

Human Interface and the Management of Information. Visual Information and Knowledge Management

Human-Computer Interaction. Perspectives on Design

Intelligent Robotics and Applications

Combinatorial Algorithms

Logic, Rationality, and Interaction

Pattern Recognition and Image Analysis

Entertainment Computing and Serious Games

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

Transactions on Computational Science XXX

SDL 2017: Model-Driven Engineering for Future Internet

Learning and Collaboration Technologies. Design, Development and Technological Innovation

Automated Reasoning