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ê

Rigorous State-Based Methods

10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Editado por Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium. ... Leia mais

R$ 412,39

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024.The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.
... Leia mais
OpenMP: Heterogenous Execution and Data Movements

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Editado por Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy. ... Leia mais

R$ 258,49

This book constitutes the refereed proceedings of the 11th International Workshop on OpenMP, held in Aachen, Germany, in October 2015.The 19 technical full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on applications, accelerator applications, tools, extensions, compiler and runtime, and energy.
... Leia mais
Computer Safety, Reliability, and Security

34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Editado por Floor Koornneef, Coen van Gulijk ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive
... Leia mais
Towards Autonomous Robotic Systems

17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

Editado por Lyuba Alboul, Dana Damian, Jonathan M. Aitken ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th Annual Conference on Towards Autonomous Robotics, TAROS 2016, held in Sheffield UK, in June/July 2016.The 23 revised full papers presented together with 15 short papers were carefully reviewed and selected from 56 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 17th Annual Conference on Towards Autonomous Robotics, TAROS 2016, held in Sheffield UK, in June/July 2016.The 23 revised full papers presented together with 15 short papers were carefully reviewed and selected from 56 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception,
... Leia mais
Software Reuse: Bridging with Social-Awareness

15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

Editado por Eduardo Santana de Almeida, Georgia M. Kapitsaki ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.The 21 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 51 submissions. The papers cover different areas of software engineering, where software reuse plays an important role, such as ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016.The 21 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 51 submissions. The papers cover different areas of software engineering, where software reuse plays an important role, such as
... Leia mais
Practical Aspects of Declarative Languages

19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Editado por Yuliya Lierler, Walid Taha ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and ... Leia mais

R$ 274,99

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages.The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions.They deal with novel applications and
... Leia mais
Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments

Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 – 27, 2015, Revised Contributions

Editado por Daniel Archambault, Tobias Hoßfeld, Helen Purchase ...

Séries series Springer Nature Proceedings Computer Science
As the outcome of the Dagstuhl Seminar 15481 on Crowdsourcing and Human-Centered Experiments, this book is a primer for computer science researchers who intend to use crowdsourcing technology for human centered experiments.The focus of this Dagstuhl seminar, held in Dagstuhl Castle in November 2015, was to discuss experiences and methodological considerations when using crowdsourcing platforms to ... Leia mais

R$ 274,99

As the outcome of the Dagstuhl Seminar 15481 on Crowdsourcing and Human-Centered Experiments, this book is a primer for computer science researchers who intend to use crowdsourcing technology for human centered experiments.The focus of this Dagstuhl seminar, held in Dagstuhl Castle in November 2015, was to discuss experiences and methodological considerations when using crowdsourcing platforms to
... Leia mais
Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Editado por Phillip James, Markus Roggenbach ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations ... Leia mais

R$ 274,99

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations
... Leia mais
Model and Data Engineering

8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

Editado por El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 8h International Conference on Model and Data Engineering, MEDI 2018, held in Marrakesh, Morocco, in October 2018.The 23 full papers and 4 short papers presented together with 2 invited talks were carefully reviewed and selected from 86 submissions. The papers covered the recent and relevant topics in the areas of databases; ontology and model
... Leia mais
Theoretical Aspects of Computing – ICTAC 2018

15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Editado por Bernd Fischer, Tarmo Uustalu ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and ... Leia mais

R$ 439,89

This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018.The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions.The ICTAC conference aims at bringing together researchers and
... Leia mais
Formal Methods: Foundations and Applications

21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

Editado por Tiago Massoni, Mohammad Reza Mousavi ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical ... Leia mais

R$ 313,39

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical
... Leia mais
Interactive Storytelling

11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings

Editado por Rebecca Rouse, Hartmut Koenitz, Mads Haahr ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, held in Dublin, Ireland, in December 2018.The 20 revised full papers and 16 short papers presented together with 17 posters, 11 demos, and 4 workshops were carefully reviewed and selected from 56, respectively 29, submissions. The papers are organized in the ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, held in Dublin, Ireland, in December 2018.The 20 revised full papers and 16 short papers presented together with 17 posters, 11 demos, and 4 workshops were carefully reviewed and selected from 56, respectively 29, submissions. The papers are organized in the
... Leia mais
Internet Science

INSCI 2018 International Workshops, St. Petersburg, Russia, October 24–26, 2018, Revised Selected Papers

Editado por Svetlana S. Bodrunova, Olessia Koltsova, Asbjørn Følstad, Harry Halpin, Polina Kolozaridi, Leonid Yuldashev, Anna Smoliarova, Heiko Niedermayer ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of 4 workshops, held at the 5th International Conference on Internet Science, St. Petersburg, Russia, in October 2018: Workshop 1 : Detecting Social Problems in Online Content, Workshop 2: CONVERSATIONS, Workshop 3: The Future of Decentralized Governance: A Workshop on Encryption,Blockchains, and Personal Data, and Workshop 4: Internet ... Leia mais

R$ 313,39

This book constitutes the refereed post-conference proceedings of 4 workshops, held at the 5th International Conference on Internet Science, St. Petersburg, Russia, in October 2018: Workshop 1 : Detecting Social Problems in Online Content, Workshop 2: CONVERSATIONS, Workshop 3: The Future of Decentralized Governance: A Workshop on Encryption,Blockchains, and Personal Data, and Workshop 4: Internet
... Leia mais
Computational Intelligence in Music, Sound, Art and Design

8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings

Editado por Anikó Ekárt, Antonios Liapis, María Luz Castro Pena ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoApplications.The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of ... Leia mais

R$ 313,39

This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Computation in Combinatorial Optimization, EvoMUSART 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo*2019 events EuroGP, EvoCOP and EvoApplications.The 16 revised full papers presented were carefully reviewed and selected from 24 submissions. The papers cover a wide range of
... Leia mais
Persuasive Technology: Development of Persuasive and Behavior Change Support Systems

14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9–11, 2019, Proceedings

Editado por Harri Oinas-Kukkonen, Khin Than Win, Evangelos Karapanos, Pasi Karppinen, Eleni Kyza ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Persuasive Technology, PERSUASIVE 2019, held in Limassol, Cyprus, in April 2019.The 29 full papers presented were carefully reviewed and selected from 79 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They were subsequently grouped in the following topical ... Leia mais

R$ 357,39

This book constitutes the refereed proceedings of the 14th International Conference on Persuasive Technology, PERSUASIVE 2019, held in Limassol, Cyprus, in April 2019.The 29 full papers presented were carefully reviewed and selected from 79 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They were subsequently grouped in the following topical
... Leia mais
Principles and Practice of Constraint Programming

25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Editado por Thomas Schiex, Simon de Givry ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms, ... Leia mais

R$ 274,99

This book constitutes the proceedings of the 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, held in Stamford, CT, USA, France, in September/October 2019.The 44 full papers presented in this volume were carefully reviewed and selected from 118 submissions. They deal with all aspects of computing with constraints including theory, algorithms,
... Leia mais
Graph-Theoretic Concepts in Computer Science

45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Editado por Ignasi Sau, Dimitrios M. Thilikos ...

Séries series Springer Nature Proceedings excluding Computer Science
This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic ... Leia mais

R$ 357,39

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019.The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic
... Leia mais
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design

8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

Editado por Vincent G. Duffy ...

Séries Livros: 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful ... Leia mais

R$ 274,99

The two-volume set LNCS 10286 + 10287 constitutes the refereed proceedings of the 8th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful
... Leia mais
Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Editado por Jonathan P. Bowen, Huibiao Zhu ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of
... Leia mais
Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Editado por Francesco Ranzato ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is
... Leia mais
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management

9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

Editado por Vincent G. Duffy ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process ... Leia mais

R$ 549,89

This book constitutes the refereed proceedings of the 9th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management, DHM 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process
... Leia mais
Persuasive Technology

13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

Editado por Jaap Ham, Evangelos Karapanos, Plinio P. Morita, Catherine M. Burns ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Persuasive Technology, PERSUASIVE 2018, held in Waterloo, ON, Canada, in April 2018.The 21 revised full papers and 4 short papers presented were carefully reviewed and selected from 59 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They explore new frontiers for ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 13th International Conference on Persuasive Technology, PERSUASIVE 2018, held in Waterloo, ON, Canada, in April 2018.The 21 revised full papers and 4 short papers presented were carefully reviewed and selected from 59 submissions. The papers demonstrate how persuasive technologies can help solve societal issues. They explore new frontiers for
... Leia mais
Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry

10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

Editado por Jessie Y.C. Chen, Gino Fragomeni ...

Séries Livros: 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process.The 65 papers presented ... Leia mais

R$ 274,99

This two-volume set LNCS 10909 and 10910 constitutes the refereed proceedings of the 10th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2018, held as part of HCI International 2018 in Las Vegas, NV, USA.HCII 2018 received a total of 4346 submissions, of which 1171 papers and 160 posters were accepted for publication after a careful reviewing process.The 65 papers presented
... Leia mais
Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Editado por Cas Cremers, Anja Lehmann ...

Séries series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Leia mais

R$ 274,99

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and
... 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

Rigorous State-Based Methods

OpenMP: Heterogenous Execution and Data Movements

Computer Safety, Reliability, and Security

Towards Autonomous Robotic Systems

Software Reuse: Bridging with Social-Awareness

Practical Aspects of Declarative Languages

Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments

Recent Trends in Algebraic Development Techniques

Model and Data Engineering

Theoretical Aspects of Computing – ICTAC 2018

Formal Methods: Foundations and Applications

Interactive Storytelling

Internet Science

Computational Intelligence in Music, Sound, Art and Design

Persuasive Technology: Development of Persuasive and Behavior Change Support Systems

Principles and Practice of Constraint Programming

Graph-Theoretic Concepts in Computer Science

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design

Unifying Theories of Programming

Static Analysis

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

Persuasive Technology

Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry

Security Standardisation Research