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

- Inkluderer e-bøger
  
  Inkluderer lydbøger
  
  Inkluderer 30 timers lyttetid
  
  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
  
  Inkluderer e-bøger
  
  Inkluderer lydbøger
  
  Inkluderer 30 timers lyttetid
  
  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

Inkluderer e-bøger

Inkluderer lydbøger

Inkluderer 30 timers lyttetid

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

Inkluderer e-bøger

Inkluderer lydbøger

Inkluderer 30 timers lyttetid

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

Kompetenzentwicklung mit humanoiden Computern

Die Revolution des Lernens via Cloud Computing und semantischen Netzen

af John Erpenbeck, Werner Sauter ...

Serier serie Business and Economics (German Language)
John Erpenbeck und Werner Sauter analysieren die zukünftigen Entwicklungen im Bereich des betrieblichen Lernens und leiten daraus die Anforderungen an die aktuellen Lernkonzeptionen ab. Das Essential enthält praxiserprobte Anwendungsvorschläge für die Kompetenzentwicklung mit innovativen Lernformen. Lernräume und Lernkulturen in Unternehmen müssen sich schrittweise im Hinblick auf die kommenden ... Læs mere

43,53 kr.

John Erpenbeck und Werner Sauter analysieren die zukünftigen Entwicklungen im Bereich des betrieblichen Lernens und leiten daraus die Anforderungen an die aktuellen Lernkonzeptionen ab. Das Essential enthält praxiserprobte Anwendungsvorschläge für die Kompetenzentwicklung mit innovativen Lernformen. Lernräume und Lernkulturen in Unternehmen müssen sich schrittweise im Hinblick auf die kommenden
... Læs mere
Switching to the Mac: The Missing Manual, Yosemite Edition

af David Pogue ...

What makes Windows refugees decide to get a Mac? Enthusiastic friends? The Apple Stores? Great-looking laptops? A "halo effect" from the popularity of iPhones and iPads? The absence of viruses and spyware? The freedom to run Windows on a Mac? In any case, there’s never been a better time to switch to OS X—and there’s never been a better, more authoritative book to help you do it.The important ... Læs mere

177,11 kr.

What makes Windows refugees decide to get a Mac? Enthusiastic friends? The Apple Stores? Great-looking laptops? A "halo effect" from the popularity of iPhones and iPads? The absence of viruses and spyware? The freedom to run Windows on a Mac? In any case, there’s never been a better time to switch to OS X—and there’s never been a better, more authoritative book to help you do it.The important
... Læs mere
Social Computing and Social Media

16th International Conference, SCSM 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29–July 4, 2024, Proceedings, Part I

Redigeret af Adela Coman, Simona Vasilache ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Social Computing and Social Media, SCSM 2024, held as part of the 26th HCI International Conference, HCII 2024, which took place in Washington, DC, USA, during June 29–July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully reviewed and selected from 5108 ... Læs mere

1.952,31 kr.

This book constitutes the refereed proceedings of the 16th International Conference on Social Computing and Social Media, SCSM 2024, held as part of the 26th HCI International Conference, HCII 2024, which took place in Washington, DC, USA, during June 29–July 4, 2024.The total of 1271 papers and 309 posters included in the HCII 2024 proceedings was carefully reviewed and selected from 5108
... Læs mere
Eye Tracking and Visualization

Foundations, Techniques, and Applications. ETVIS 2015

Redigeret af Michael Burch, Lewis Chuang, Brian Fisher, Albrecht Schmidt, Daniel Weiskopf ...

Serier serie Springer Nature Proceedings excluding Computer Science
This book discusses research, methods, and recent developments in the interdisciplinary field that spans research in visualization, eye tracking, human-computer interaction, and psychology. It presents extended versions of papers from the First Workshop on Eye Tracking and Visualization (ETVIS), which was organized as a workshop of the IEEE VIS Conference 2015. Topics include visualization and ... Læs mere

1.027,44 kr.

This book discusses research, methods, and recent developments in the interdisciplinary field that spans research in visualization, eye tracking, human-computer interaction, and psychology. It presents extended versions of papers from the First Workshop on Eye Tracking and Visualization (ETVIS), which was organized as a workshop of the IEEE VIS Conference 2015. Topics include visualization and
... Læs mere
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers

Redigeret af Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non ... Læs mere

466,97 kr.

This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD, USA, in August 2016. The 14 full papers and 3 short papers presented were carefully reviewed and selected from 25 submissions. The papers discuss a variety of ideas of extending the OpenSHMEM specification and making it efficient for current and next generation systems. This included active messages, non
... Læs mere
Human Aspects of IT for the Aged Population. Design for Aging

Second International Conference, ITAP 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17–22, 2016, Proceedings, Part I

Redigeret af Jia Zhou, Gavriel Salvendy ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
The two LNCS volume set 9754-9755 constitutes the refereed proceedings of the Second International Conference on Human Aspects of IT for the Aged Population, ITAP 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016, jointly with 14 other thematically conferences. The total of 1287 papers and 186 poster papers ... Læs mere

466,97 kr.

The two LNCS volume set 9754-9755 constitutes the refereed proceedings of the Second International Conference on Human Aspects of IT for the Aged Population, ITAP 2016, held as part of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016, jointly with 14 other thematically conferences. The total of 1287 papers and 186 poster papers
... Læs mere
Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Redigeret af Kazuhiro Ogata, Mark Lawford, Shaoying Liu ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veriﬁcation and
... Læs mere
HCI in Business, Government and Organizations. Interacting with Information Systems

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

Redigeret af Fiona Fui-Hoon Nah, Chuan-Hoo Tan ...

Serier Bog 1 - Springer Nature Proceedings Computer Science
This 2-volume set constitutes the refereed proceedings of the 4th International Conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19 International Conference on Human-Computer Interaction , HCII 2017, which took place in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication ... Læs mere

466,97 kr.

This 2-volume set constitutes the refereed proceedings of the 4th International Conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19 International Conference on Human-Computer Interaction , HCII 2017, which took place in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication
... Læs mere
Computer Vision – ECCV 2026

19th European Conference, Malmö, Sweden, September 8–12, 2026, Proceedings, Part XXI

Redigeret af Paolo Favaro, Zuzana Kukelova, Atsuto Maki, Anna Rohrbach, Konrad Schindler, Federico Tombari ...

Serier serie Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine ... Læs mere

840,61 kr.

The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine
... Læs mere
Context-Aware Systems and Applications

13th EAI International Conference, ICCASA 2024, Dalat City, Vietnam, October 15–16, 2024, Proceedings

Redigeret af Phan Cong Vinh, Nguyen Thanh Tung, Abdur Rakib ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of 13th EAI International Conference on Context-Aware Systems and Applications, ICCASA 2024, held in Dalat City, Vietnam, during October 15–16, 2024.The 9 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems ... Læs mere

653,79 kr.

This book constitutes the refereed post proceedings of 13th EAI International Conference on Context-Aware Systems and Applications, ICCASA 2024, held in Dalat City, Vietnam, during October 15–16, 2024.The 9 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide spectrum of modern approaches and techniques for smart computing systems
... Læs mere
The Python Workbook

A Brief Introduction with Exercises and Solutions

af Ben Stephenson ...

Serier serie Computer Science (R0)
While other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice. Designed to support and encourage hands-on learning about programming, this student-friendly work contains 174 exercises, spanning a variety of ... Læs mere

420,26 kr.

While other textbooks devote their pages to explaining introductory programming concepts, The Python Workbook focuses exclusively on exercises, following the philosophy that computer programming is a skill best learned through experience and practice. Designed to support and encourage hands-on learning about programming, this student-friendly work contains 174 exercises, spanning a variety of
... Læs mere
Recent Trends of Mobile Collaborative Augmented Reality Systems

Redigeret af Leila Alem, Weidong Huang ...

Serier serie Springer Nature Proceedings Computer Science
The use of mobile collaborative AR has expended rapidly in recent years, due to the major advances in hardware and networking. The application areas are diverse and multidisciplinary. Recent Trends of Mobile Collaborative Augmented Reality Systems provides a historical overview of previous mobile collaborative AR systems, presents case studies of latest developments in current mobile collaborative ... Læs mere

1.307,67 kr.

The use of mobile collaborative AR has expended rapidly in recent years, due to the major advances in hardware and networking. The application areas are diverse and multidisciplinary. Recent Trends of Mobile Collaborative Augmented Reality Systems provides a historical overview of previous mobile collaborative AR systems, presents case studies of latest developments in current mobile collaborative
... Læs mere
Advances in Visual Informatics

4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings

Redigeret af Halimah Badioze Zaman, Peter Robinson, Timothy K. Shih, Sergio Velastin, Azizah Jaafar, Alan Smeaton, Mohamad Ali Nazlena ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Fourth International Conference on Advances in Visual Informatics, IVIC 2015, held in Bangi, Malaysia, in November 2015.The five keynotes and 45 papers presented were carefully reviewed and selected from 82 initial submissions. The papers are organized in four tracks on visualization and big data; machine learning and computer vision; computer ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the Fourth International Conference on Advances in Visual Informatics, IVIC 2015, held in Bangi, Malaysia, in November 2015.The five keynotes and 45 papers presented were carefully reviewed and selected from 82 initial submissions. The papers are organized in four tracks on visualization and big data; machine learning and computer vision; computer
... Læs mere
Intelligent Robotics and Applications

16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part VIII

Redigeret af Huayong Yang, Honghai Liu, Jun Zou, Zhouping Yin, Lianqing Liu, Geng Yang, Xiaoping Ouyang, Zhiyong Wang ...

Serier Bog 8 - Springer Nature Proceedings Computer Science
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric ... Læs mere

840,61 kr.

The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5–7, 2023.The 413 papers included in these proceedings were carefully reviewed and selected from 630 submissions. They were organized in topical sections as follows:Part I: Human-Centric
... Læs mere
Exploring Blazor

Creating Server-side and Client-side Applications in .NET 7

af Taurius Litvinavicius ...

Serier serie Professional and Applied Computing (R0)
Build and develop web applications with Blazor in C#. This book covers both server-side and client-side Blazor, along with its latest features and the structure of the technology. You’ll see that Blazor is a web UI framework based on C#, Razor, and HTML, and how it runs front-end logic using C#, either on the server or on the browser, using WebAssembly.This new edition not only covers the new ... Læs mere

549,92 kr.

Build and develop web applications with Blazor in C#. This book covers both server-side and client-side Blazor, along with its latest features and the structure of the technology. You’ll see that Blazor is a web UI framework based on C#, Razor, and HTML, and how it runs front-end logic using C#, either on the server or on the browser, using WebAssembly.This new edition not only covers the new
... Læs mere
The Insurance UX Survival Guide

A Field Guide for Building Digital Experiences That Exceed Expectations

af Steve Johnson ...

Your go-to guide for building better digital experiences in one of the world's most unique industries.Written by Steve Johnson, Co-Founder and Chief Product Officer of insured.io, this pocket-sized guide distills more than two decades of insurance and UX experience, plus insights from over 250,000 customer interactions, into clear, practical advice you can actually use.Learn how to simplify, ... Læs mere

48,03 kr.

Your go-to guide for building better digital experiences in one of the world's most unique industries.Written by Steve Johnson, Co-Founder and Chief Product Officer of insured.io, this pocket-sized guide distills more than two decades of insurance and UX experience, plus insights from over 250,000 customer interactions, into clear, practical advice you can actually use.Learn how to simplify,
... Læs mere
Practical Microservices Architectural Patterns

Build Highly Scalable Distributed Applications with Spring Boot 3 and Spring Cloud

af Binildas Christudas, Tarun Telang ...

Serier serie Professional and Applied Computing (R0)
Upgrade your distributed applications with microservices. This practical guide bridges core concepts and advanced patterns to help you build resilient, scalable and high performing microservices, whether you're transitioning from monolithic architectures or starting fresh with microservices.Fully updated for Spring Boot 3 and Spring Cloud, The Secondcovers modern capabilities, like reactive ... Læs mere

549,92 kr.

Upgrade your distributed applications with microservices. This practical guide bridges core concepts and advanced patterns to help you build resilient, scalable and high performing microservices, whether you're transitioning from monolithic architectures or starting fresh with microservices.Fully updated for Spring Boot 3 and Spring Cloud, The Secondcovers modern capabilities, like reactive
... Læs mere
Innovative Design and Creation of Visual Interfaces: Advancements and Trends

Redigeret af Ben Falchuk, Adérito Fernandes-Marcos ...

Computer graphics and digital design have come a long way in recent years, and it is difficult to keep up with the latest trends in software development and output. Innovative Design and Creation of Visual Interfaces: Advancements and Trends offers the cutting-edge in research, development, technologies, case studies, frameworks, and methodologies within the field of visual interfaces. The book ... Læs mere

1.451,25 kr.

FORUDBESTIL

Computer graphics and digital design have come a long way in recent years, and it is difficult to keep up with the latest trends in software development and output. Innovative Design and Creation of Visual Interfaces: Advancements and Trends offers the cutting-edge in research, development, technologies, case studies, frameworks, and methodologies within the field of visual interfaces. The book
... Læs mere
Emerging Technologies and Applications in Data Processing and Management

Redigeret af Zongmin Ma, Li Yan ...

Advances in web technology and the proliferation of sensors and mobile devices connected to the internet have resulted in the generation of immense data sets available on the web that need to be represented, saved, and exchanged. Massive data can be managed effectively and efficiently to support various problem-solving and decision-making techniques. Emerging Technologies and Applications in Data ... Læs mere

2.015,00 kr.

Advances in web technology and the proliferation of sensors and mobile devices connected to the internet have resulted in the generation of immense data sets available on the web that need to be represented, saved, and exchanged. Massive data can be managed effectively and efficiently to support various problem-solving and decision-making techniques. Emerging Technologies and Applications in Data
... Læs mere
AI in Healthcare: The Doctor Will Code You Now

GoodMan, #1

af Patrick Mukosha ...

Serier Bog 1 - GoodMan
AI in Healthcare: The Doctor Will Code YouNowThe future of medicine is here—and it's powered by AI.From smarter diagnostics and continuous patient monitoring to accelerated drug discovery and advanced medical imaging, artificial intelligence is transforming healthcare at every level.This book explores how AI is helping doctors see deeper, act faster, and treat patients with unprecedented precision ... Læs mere

25,66 kr. eller Gratis med Kobo Plus

AI in Healthcare: The Doctor Will Code YouNowThe future of medicine is here—and it's powered by AI.From smarter diagnostics and continuous patient monitoring to accelerated drug discovery and advanced medical imaging, artificial intelligence is transforming healthcare at every level.This book explores how AI is helping doctors see deeper, act faster, and treat patients with unprecedented precision
... Læs mere
Programmierung mit PASCAL

Eine Einführung für Programmieranfänger

af Thomas Ottmann, Peter Widmayer ...

Serier serie Computer Science and Engineering (German Language)
Dieses Buch gibt eine Einführung in Pascal, die auch für Anfänger ohne Informatikkenntnisse verständlich ist. Schwerpunkt ist eine genaue Formulierung und weitgehend programmiersprachenunabhängige algorithmische Lösung von Problemen. Auf diesem Wege werden die Grundsätze zum Schreiben guter Pascal-Programme illustriert, da es nicht ausreicht, lediglich den Formalisierungsprozess zu erklären, der ... Læs mere

349,08 kr.

Dieses Buch gibt eine Einführung in Pascal, die auch für Anfänger ohne Informatikkenntnisse verständlich ist. Schwerpunkt ist eine genaue Formulierung und weitgehend programmiersprachenunabhängige algorithmische Lösung von Problemen. Auf diesem Wege werden die Grundsätze zum Schreiben guter Pascal-Programme illustriert, da es nicht ausreicht, lediglich den Formalisierungsprozess zu erklären, der
... Læs mere
Human Interface and the Management of Information. Information in Applications and Services

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

Redigeret af Sakae Yamamoto, Hirohiko Mori ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 10904 and 10905 constitutes the refereed proceedings of the 20th International Conference on Human Interface and the Management of Information, HIMI 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373 ... Læs mere

840,61 kr.

This two-volume set LNCS 10904 and 10905 constitutes the refereed proceedings of the 20th International Conference on Human Interface and the Management of Information, HIMI 2018, held as part of HCI International 2018 in Las Vegas, NV, USA, in July 2018.The total of 1170 papers and 195 posters included in the 30 HCII 2018 proceedings volumes was carefully reviewed and selected from 4373
... Læs mere
Python Data Science Essentials

A practitioner's guide covering essential data science principles, tools, and techniques

af Alberto Boschetti, Luca Massaron, Pietro Marinelli, Matteo Malosetti ...

Gain useful insights from your data using popular data science toolsKey FeaturesA one-stop guide to Python libraries such as pandas and NumPyComprehensive coverage of data science operations such as data cleaning and data manipulationChoose scalable learning algorithms for your data science tasksBook DescriptionFully expanded and upgraded, the latest edition of Python Data Science Essentials will ... Læs mere

333,74 kr. eller Gratis med Kobo Plus

Gain useful insights from your data using popular data science toolsKey FeaturesA one-stop guide to Python libraries such as pandas and NumPyComprehensive coverage of data science operations such as data cleaning and data manipulationChoose scalable learning algorithms for your data science tasksBook DescriptionFully expanded and upgraded, the latest edition of Python Data Science Essentials will
... Læs mere
Logical Foundations of Computer Science

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

Redigeret af Sergei Artemov, Anil Nerode ...

Serier serie 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, ... Læs mere

466,97 kr.

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,
... 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

Programmering e-bøger

Kompetenzentwicklung mit humanoiden Computern

Switching to the Mac: The Missing Manual, Yosemite Edition

Social Computing and Social Media

Eye Tracking and Visualization

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments

Human Aspects of IT for the Aged Population. Design for Aging

Formal Methods and Software Engineering

HCI in Business, Government and Organizations. Interacting with Information Systems

Computer Vision – ECCV 2026

Context-Aware Systems and Applications

The Python Workbook

Recent Trends of Mobile Collaborative Augmented Reality Systems

Advances in Visual Informatics

Intelligent Robotics and Applications

Exploring Blazor

The Insurance UX Survival Guide

Practical Microservices Architectural Patterns

Innovative Design and Creation of Visual Interfaces: Advancements and Trends

Emerging Technologies and Applications in Data Processing and Management

AI in Healthcare: The Doctor Will Code You Now

Programmierung mit PASCAL

Human Interface and the Management of Information. Information in Applications and Services

Python Data Science Essentials

Logical Foundations of Computer Science