Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

PRIMA 2020: Principles and Practice of Multi-Agent Systems

23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings

Redigeret af Takahiro Uchiya, Quan Bai, Iván Marsá Maestre ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in Nagoya, Japan, in November 2020. The 19 full papers presented and 13 short papers were carefully reviewed and selected from 50 submissions.Due to COVID-19, the conference was held online.The conference covers a wide range of ranging from ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in Nagoya, Japan, in November 2020. The 19 full papers presented and 13 short papers were carefully reviewed and selected from 50 submissions.Due to COVID-19, the conference was held online.The conference covers a wide range of ranging from
... Læs mere
Genetic Programming

25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings

Redigeret af Eric Medvet, Gisele Pappa, Bing Xue ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of ... Læs mere

606,85 kr.

This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of
... Læs mere
Cryptology and Network Security

20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings

Redigeret af Mauro Conti, Marc Stevens, Stephan Krenn ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Cryptology and Network Security, CANS 2021, which was held during December 13-15, 2021. The conference was originally planned to take place in Vienna, Austria, and changed to an online event due to the COVID-19 pandemic.The 25 full and 3 short papers presented in these proceedings were carefully reviewed and ... Læs mere

840,29 kr.

This book constitutes the refereed proceedings of the 20th International Conference on Cryptology and Network Security, CANS 2021, which was held during December 13-15, 2021. The conference was originally planned to take place in Vienna, Austria, and changed to an online event due to the COVID-19 pandemic.The 25 full and 3 short papers presented in these proceedings were carefully reviewed and
... Læs mere
Services – SERVICES 2021

17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings

Redigeret af Mohamed Adel Serhani, Liang-Jie Zhang ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th World Congress on Services, SERVICES 2021, held as part of the Services Conference Federation, SCF 2021, in December 2021. The conference was held virtually due to the COVID-19 pandemic. The 7 full papers and 2 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover topics in the field of ... Læs mere

513,48 kr.

This book constitutes the refereed proceedings of the 17th World Congress on Services, SERVICES 2021, held as part of the Services Conference Federation, SCF 2021, in December 2021. The conference was held virtually due to the COVID-19 pandemic. The 7 full papers and 2 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover topics in the field of
... Læs mere
HCI in Mobility, Transport, and Automotive Systems

5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I

Redigeret af Heidi Krömker ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472 ... Læs mere

746,92 kr.

This book constitutes the refereed proceedings of the 5th International Conference on HCI in Mobility, Transport, and Automotive Systems, MobiTAS 2023, held as part of the 25th International Conference, HCI International 2023, held in Copenhagen, Denmark, in July 2023.The total of 1578 papers and 396 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 7472
... Læs mere
Design, User Experience, and Usability

12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I

Redigeret af Aaron Marcus, Elizabeth Rosenzweig, Marcelo M. Soares ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings ... Læs mere

933,67 kr.

This 5-volume HCII-DUXU 2023 book set constitutes the refereed proceedings of the 12th International Conference on Design, User Experience, and Usability, DUXU 2023, held as part of the 24th International Conference, HCI International 2023, which took place in Copenhagen, Denmark, in July 2023.A total of 1578 papers and 396 posters have been accepted for publication in the HCII 2023 proceedings
... Læs mere
Computer Aided Verification

35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II

Redigeret af Constantin Enea, Akash Lal ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata ... Læs mere

Gratis

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata
... Læs mere
Machine Learning and Knowledge Discovery in Databases: Research Track

European Conference, ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Proceedings, Part IV

Redigeret af Danai Koutra, Claudia Plant, Manuel Gomez Rodriguez, Elena Baralis, Francesco Bonchi ...

Serier Bog 4 - Springer Nature Proceedings Computer Science
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track ... Læs mere

933,67 kr.

The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track
... Læs mere
Electronic Government

20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings

Redigeret af Hans Jochen Scholl, J. Ramon Gil-Garcia, Marijn Janssen, Evangelos Kalampokis, Ida Lindgren, Manuel Pedro Rodríguez Bolívar ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2021, held in Granada, Spain, in September 2021, in conjunction with the IFIP WG 8.5 IFIP International Conference on Electronic Participation (ePart 2021) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2021).The 23 full papers presented were ... Læs mere

700,23 kr.

This book constitutes the proceedings of the 20th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2021, held in Granada, Spain, in September 2021, in conjunction with the IFIP WG 8.5 IFIP International Conference on Electronic Participation (ePart 2021) and the International Conference for E-Democracy and Open Government Conference (CeDEM 2021).The 23 full papers presented were
... Læs mere
Runtime Verification

21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

Redigeret af Lu Feng, Dana Fisman ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.The RV conference is concerned with all aspects of monitoring and ... Læs mere

700,23 kr.

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.The RV conference is concerned with all aspects of monitoring and
... Læs mere
Secure IT Systems

26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings

Redigeret af Nicola Tuveri, Antonis Michalas, Billy Bob Brumley ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 26th Nordic Conference on Secure IT Systems, NordSec 2021, which was held online during November 2021.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They were organized in topical sections named: Applied Cryptography, Security in Internet of Things, Machine Learning and Security, Network ... Læs mere

606,85 kr.

This book constitutes the refereed proceedings of the 26th Nordic Conference on Secure IT Systems, NordSec 2021, which was held online during November 2021.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They were organized in topical sections named: Applied Cryptography, Security in Internet of Things, Machine Learning and Security, Network
... Læs mere
Intelligent Systems

10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I

Redigeret af André Britto, Karina Valdivia Delgado ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent ... Læs mere

840,29 kr.

The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021.The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent
... Læs mere
Testing Software and Systems

33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings

Redigeret af David Clark, Hector Menendez, Ana Rosa Cavalli ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. ... Læs mere

840,29 kr.

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports.
... Læs mere
Linking Theory and Practice of Digital Libraries

26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20–23, 2022, Proceedings

Redigeret af Gianmaria Silvello, Oscar Corcho, Paolo Manghi, Giorgio Maria Di Nunzio, Koraljka Golub, Nicola Ferro, Antonella Poggi ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, which took place in Padua, Italy, in September 2022.The 18 full papers, 27 short papers and 15 accelerating innovation papers included in these proceedings were carefully reviewed and selected from 107 submissions. They focus on digital libraries and associated ... Læs mere

746,92 kr.

This book constitutes the proceedings of the 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, which took place in Padua, Italy, in September 2022.The 18 full papers, 27 short papers and 15 accelerating innovation papers included in these proceedings were carefully reviewed and selected from 107 submissions. They focus on digital libraries and associated
... Læs mere
Networked Systems

10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings

Redigeret af Mohammed-Amine Koulali, Mira Mezini ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design ... Læs mere

466,79 kr.

This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design
... Læs mere
Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Redigeret af Jan Friso Groote, Marieke Huisman ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and ... Læs mere

653,54 kr.

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022.The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 4 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program ... Læs mere

606,85 kr.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program
... Læs mere
Software Verification and Formal Methods for ML-Enabled Autonomous Systems

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Redigeret af Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the ... Læs mere

606,85 kr.

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program ... Læs mere

793,60 kr.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

Redigeret af Tiziana Margaria, Bernhard Steffen ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program ... Læs mere

653,54 kr.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program
... Læs mere
Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

Redigeret af Akash Lal, Stefano Tonetta ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool ... Læs mere

466,79 kr.

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool
... Læs mere
Performance Evaluation and Benchmarking

14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers

Redigeret af Raghunath Nambiar, Meikel Poess ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings the 14th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2022, which was held in Sydney, NSW, Australia, on September 5, 2022.The 5 revised full papers presented were carefully selected from 12 submissions. The conference focuses on Pick and Mix Isolation Levels; Benchmarking considerations for Trustworthy ... Læs mere

513,48 kr.

This book constitutes the refereed post-conference proceedings the 14th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2022, which was held in Sydney, NSW, Australia, on September 5, 2022.The 5 revised full papers presented were carefully selected from 12 submissions. The conference focuses on Pick and Mix Isolation Levels; Benchmarking considerations for Trustworthy
... Læs mere
Artificial General Intelligence

16th International Conference, AGI 2023, Stockholm, Sweden, June 16–19, 2023, Proceedings

Redigeret af Patrick Hammer, Marjan Alirezaie, Claes Strannegård ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Artificial General Intelligence, AGI 2023, held in Stockholm, Sweden in June 2023.The 35 full papers and one short paper presented in this book were carefully reviewed and selected from 72 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems ... Læs mere

746,92 kr.

This book constitutes the refereed proceedings of the 16th International Conference on Artificial General Intelligence, AGI 2023, held in Stockholm, Sweden in June 2023.The 35 full papers and one short paper presented in this book were carefully reviewed and selected from 72 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems
... Læs mere
Human-Computer Interaction – INTERACT 2015

15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I

Redigeret af Julio Abascal, Philippe Palanque, Mirko Fetter, Marco Winckler, Tom Gross, Simone Barbosa ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 41 papers included in the first volume are organized in topical sections on accessibility; accessible interfaces for blind people; accessible interfaces for older adults; affective HCI ... Læs mere

840,29 kr.

The four-volume set LNCS 9296-9299 constitutes the refereed proceedings of the 15th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2015, held in Bamberg, Germany, in September 2015. The 41 papers included in the first volume are organized in topical sections on accessibility; accessible interfaces for blind people; accessible interfaces for older adults; affective HCI
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Softwareudvikling e-bøger

PRIMA 2020: Principles and Practice of Multi-Agent Systems

Genetic Programming

Cryptology and Network Security

Services – SERVICES 2021

HCI in Mobility, Transport, and Automotive Systems

Design, User Experience, and Usability

Computer Aided Verification

Machine Learning and Knowledge Discovery in Databases: Research Track

Electronic Government

Runtime Verification

Secure IT Systems

Intelligent Systems

Testing Software and Systems

Linking Theory and Practice of Digital Libraries

Networked Systems

Formal Methods for Industrial Critical Systems

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Verified Software. Theories, Tools and Experiments.

Performance Evaluation and Benchmarking

Artificial General Intelligence

Human-Computer Interaction – INTERACT 2015