Rakuten Kobo

Winkelwagen

Artikel(en) niet beschikbaar voor aankoop

Bekijk je winkelwagentje. Je kunt de niet-beschikbare artikelen nu verwijderen of we verwijderen ze bij de kassa automatisch.

artikelenartikel

- Onbeperkt toegang tot eBooks
  
  Onbeperkt toegang tot luisterboeken
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  
  Ontvang elke maand 1 credit voor een luisterboek naar keuze
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  
  Onbeperkt toegang tot eBooks
  
  Onbeperkt toegang tot luisterboeken
  
  Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
  Luisterboek
  door ,
  
  Verkrijgbaar:
  
  . Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions.
  
  Reserveren
  1 audioboek per maand
  
  + Probeer het 30 dagen gratis
  
  Speciale aanbieding
  
  Ontvang elke maand 1 credit om in te wisselen voor een audioboek naar keuze
  
  *Geen verplichtingen, annuleren kan altijd
  
  GRATIS

artikelenartikel

Onbeperkt toegang tot eBooks

Onbeperkt toegang tot luisterboeken

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions

Ontvang elke maand 1 credit voor een luisterboek naar keuze

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions

Onbeperkt toegang tot eBooks

Onbeperkt toegang tot luisterboeken

Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions
Luisterboek
door ,

Verkrijgbaar:
. Zonder verplichtingen, annuleer op elk moment via kobo.com/account/subscriptions.

Reserveren
1 audioboek per maand

+ Probeer het 30 dagen gratis

Speciale aanbieding

Ontvang elke maand 1 credit om in te wisselen voor een audioboek naar keuze

*Geen verplichtingen, annuleren kan altijd

GRATIS

Aanbevolen voor jou

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

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

Bewerkt door Isaac Woungang, Ahmed Awad, Issa Traore ...

Serie 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 ... Meer lezen

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
... Meer lezen
Computer Vision Systems

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

Bewerkt door Markus Vincze, Ming Liu, Haoyao Chen ...

Serie 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 ... Meer lezen

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
... Meer lezen
Transactions on Computational Science XXX

Special Issue on Cyberworlds and Cybersecurity

Bewerkt door Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin ...

Serie 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 ... Meer lezen

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
... Meer lezen
Programming Languages and Systems

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

Bewerkt door Bor-Yuh Evan Chang ...

Serie 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; ... Meer lezen

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;
... Meer lezen
SDL 2017: Model-Driven Engineering for Future Internet

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

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

Serie 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 ... Meer lezen

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
... Meer lezen
Logical Foundations of Computer Science

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

Bewerkt door Sergei Artemov, Anil Nerode ...

Serie 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, ... Meer lezen

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,
... Meer lezen
Transforming Digital Worlds

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

Bewerkt door Gobinda Chowdhury, Julie McLeod, Val Gillet, Peter Willett ...

Serie 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 ... Meer lezen

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
... Meer lezen
Human-Computer Interaction. Interaction in Context

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

Bewerkt door Masaaki Kurosu ...

Serie Boek 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; ... Meer lezen

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;
... Meer lezen
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

Bewerkt door Panayiotis Zaphiris, Andri Ioannou ...

Serie Boek 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 ... Meer lezen

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
... Meer lezen
Intelligent Robotics and Applications

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

Bewerkt door Haibin Yu, Jinguo Liu, Lianqing Liu, Zhaojie Ju, Yuwang Liu, Dalin Zhou ...

Serie Boek 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: ... Meer lezen

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:
... Meer lezen
Combinatorial Algorithms

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

Bewerkt door Charles J. Colbourn, Roberto Grossi, Nadia Pisanti ...

Serie 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 ... Meer lezen

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
... Meer lezen
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

Bewerkt door Gabriele Meiselwitz ...

Serie Boek 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 ... Meer lezen

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
... Meer lezen
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

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

Serie 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 ... Meer lezen

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
... Meer lezen
Persuasive Technology. Designing for Future Change

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

Bewerkt door Sandra Burri Gram-Hansen, Tanja Svarre Jonasen, Cees Midden ...

Serie 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; ... Meer lezen

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;
... Meer lezen
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

Bewerkt door Margherita Antona, Constantine Stephanidis ...

Serie Boek 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 ... Meer lezen

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
... Meer lezen
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

Bewerkt door Sakae Yamamoto, Hirohiko Mori ...

Serie Boek 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 ... Meer lezen

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
... Meer lezen
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

Bewerkt door Helmut Degen, Lauren Reinerman-Jones ...

Serie 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 ... Meer lezen

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
... Meer lezen
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

Bewerkt door Sakae Yamamoto, Hirohiko Mori ...

Serie Boek 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 ... Meer lezen

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
... Meer lezen
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

Bewerkt door Matteo Baldoni, Stefania Bandini ...

Serie 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 ... Meer lezen

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
... Meer lezen
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

Bewerkt door Masaaki Kurosu ...

Serie Boek 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 ... Meer lezen

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
... Meer lezen
Web Services and Formal Methods

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

Bewerkt door Emilio Tuosto, Chun Ouyang ...

Serie 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 ... Meer lezen

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
... Meer lezen
Computer Vision Systems

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

Bewerkt door Lazaros Nalpantidis, Jan-Olof Eklundh, Antonios Gasteratos, Volker Krüger ...

Serie 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; ... Meer lezen

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;
... Meer lezen
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

Bewerkt door Santiago Escobar ...

Serie 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 ... Meer lezen

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
... Meer lezen
Verified Software: Theories, Tools and Experiments

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

Bewerkt door Dimitra Giannakopoulou, Daniel Kroening ...

Serie 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 ... Meer lezen

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
... Meer lezen

Kobo Rakuten

eReaders

Apps

Accessoires

Winkelwagen

Je krijgt de VIP-behandeling!

Je winkelwagen is leeg

Verkrijgbaar:

1 audioboek per maand

+ Probeer het 30 dagen gratis

Verkrijgbaar:

1 audioboek per maand

+ Probeer het 30 dagen gratis

Aanbevolen voor jou

eBooks in de categorie Programmeren

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