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

Behavior Modeling -- Foundations and Applications

International Workshops, BM-FA 2009-2014, Revised Selected Papers

Redigeret af Christian Gerth, Ella Roubtsova, Ashley McNeile, Ekkart Kindler ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014.The 9 papers presented in this volume were carefully reviewed and selected from a total of 58 papers presented at these 6 workshops. The contributions were organized in topical sections named: modelling ... Læs mere

466,97 kr.

This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014.The 9 papers presented in this volume were carefully reviewed and selected from a total of 58 papers presented at these 6 workshops. The contributions were organized in topical sections named: modelling
... Læs mere
Introduction to Programming with Fortran

af Ian Chivers, Jane Sleightholme ...

Serier serie Computer Science (R0)
This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran.Key FeaturesHighlights the core language features of modern Fortran including data typing, array processing, control structures, functions, subroutines, ... Læs mere

840,61 kr.

This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran.Key FeaturesHighlights the core language features of modern Fortran including data typing, array processing, control structures, functions, subroutines,
... Læs mere
Provenance and Annotation of Data and Processes

7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings

Redigeret af Khalid Belhajjame, Ashish Gehani, Pinar Alper ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 7th International Provenance and Annotation Workshop, IPAW 2018, held in London, UK, in July 2018.The 12 revised full papers, 19 poster papers, and 2 demonstration papers presented were carefully reviewed and selected from 50 submissions. The papers feature a variety of provenance-related topics ranging from the capture and inference of
... Læs mere
Interoperability and Open-Source Solutions for the Internet of Things

International Workshop, FP7 OpenIoT Project, Held in Conjunction with SoftCOM 2014, Split, Croatia, September 18, 2014, Invited Papers

Redigeret af Martin Serrano, Ivana Podnar Žarko, Krešimir Pripužić ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Interoperability and Open-Source Solutions for the Internet of Things, FP7 OpenIot Project, held in Conjunction with SoftCOM 2014, in Split, Croatia, in September 2014.The 11 revised full papers presented together with the extended abstracts of 2 keynote talks were carefully reviewed and ... Læs mere

373,55 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Interoperability and Open-Source Solutions for the Internet of Things, FP7 OpenIot Project, held in Conjunction with SoftCOM 2014, in Split, Croatia, in September 2014.The 11 revised full papers presented together with the extended abstracts of 2 keynote talks were carefully reviewed and
... Læs mere
Diagrammatic Representation and Inference

10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

Redigeret af Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018.The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and ... Læs mere

840,61 kr.

This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018.The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and
... Læs mere
Human-Computer Interaction – INTERACT 2021

18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part III

Redigeret af Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Helen Petrie, Antonio Piccinno, Giuseppe Desolda, Kori Inkpen ...

Serier Bog 3 - Springer Nature Proceedings Computer Science
The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized ... Læs mere

466,97 kr.

The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized
... Læs mere
Human-Computer Interaction – INTERACT 2021

18th IFIP TC 13 International Conference, Bari, Italy, August 30 – September 3, 2021, Proceedings, Part V

Redigeret af Carmelo Ardito, Rosa Lanzilotti, Alessio Malizia, Helen Petrie, Antonio Piccinno, Giuseppe Desolda, Kori Inkpen ...

Serier Bog 5 - Springer Nature Proceedings Computer Science
The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized ... Læs mere

466,97 kr.

The five-volume set LNCS 12932-12936 constitutes the proceedings of the 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, held in Bari, Italy, in August/September 2021.The total of 105 full papers presented together with 72 short papers and 70 other papers in these books was carefully reviewed and selected from 680 submissions. The contributions are organized
... Læs mere
Search Based Software Engineering

9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Redigeret af Tim Menzies, Justyna Petke ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017.The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.SSBSE welcomes not only applications from ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, held in Paderborn, Germany, in September 2017.The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.SSBSE welcomes not only applications from
... Læs mere
Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction

Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers

Redigeret af Ronald Böck, Francesca Bonin, Nick Campbell, Ronald Poppe ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Workshop on Multimodal Analyses Enabling Artificial Agents in Human Interaction, MA3HMI 2014, held in Conjunction with INTERSPEECH 2014, in Singapore, Singapore, on September 14th, 2014.The 9 revised papers presented together with a keynote talk were carefully reviewed and selected from numerous submissions. They ... Læs mere

373,55 kr.

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Workshop on Multimodal Analyses Enabling Artificial Agents in Human Interaction, MA3HMI 2014, held in Conjunction with INTERSPEECH 2014, in Singapore, Singapore, on September 14th, 2014.The 9 revised papers presented together with a keynote talk were carefully reviewed and selected from numerous submissions. They
... Læs mere
Godel's Incompleteness Theorems

af Raymond M. Smullyan ...

Serier serie Oxford Logic Guides
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this ... Læs mere

2.725,95 kr.

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this
... Læs mere
Weirdware

Touchable Unconventional Computers

af Andrew Adamatzky ...

Serier Bog 7 - WSPC Book Series in Unconventional Computing
Weirdware reveals a universe where computation emerges from life, chemistry, and matter itself—from maze-solving slime moulds and electrically active mushrooms to light-sensing kombucha mats, crystals that compute geometry, droplets that collide like logic gates, and finally, nanoparticles that 'learn' from experience. Drawing on decades of original laboratory research, this book explores eight ... Læs mere

368,82 kr.

Weirdware reveals a universe where computation emerges from life, chemistry, and matter itself—from maze-solving slime moulds and electrically active mushrooms to light-sensing kombucha mats, crystals that compute geometry, droplets that collide like logic gates, and finally, nanoparticles that 'learn' from experience. Drawing on decades of original laboratory research, this book explores eight
... Læs mere
Mastering Dart Programming: Modern Web Development

af Kameron Hussain, Frahaan Hussain ...

Dive into the dynamic world of modern web development with "Mastering Dart Programming: Modern Web Development," a comprehensive guide designed to elevate your programming skills. This book is an indispensable resource for anyone looking to harness the power of Dart, a language optimized for building high-quality, high-performance web applications.In this book, you'll explore the fundamentals of ... Læs mere

64,08 kr. eller Gratis med Kobo Plus

Dive into the dynamic world of modern web development with "Mastering Dart Programming: Modern Web Development," a comprehensive guide designed to elevate your programming skills. This book is an indispensable resource for anyone looking to harness the power of Dart, a language optimized for building high-quality, high-performance web applications.In this book, you'll explore the fundamentals of
... Læs mere
Socio-Informatics

Redigeret af Volker Wulf, Volkmar Pipek, David Randall, Markus Rohde, Kjeld Schmidt, Gunnar Stevens ...

The book is an exploration of the theoretical, conceptual and methodological foundations of human-centred design. Specifically, it critically examines the notion of 'practice' and argues for an understanding of the concept which emanates from engagement with design problems rather than simply from social scientific theory. The contributors to the book in their various ways all subscribe to a ... Læs mere

865,83 kr.

The book is an exploration of the theoretical, conceptual and methodological foundations of human-centred design. Specifically, it critically examines the notion of 'practice' and argues for an understanding of the concept which emanates from engagement with design problems rather than simply from social scientific theory. The contributors to the book in their various ways all subscribe to a
... Læs mere
The Handbook of Formal Methods in Human-Computer Interaction

Redigeret af Judy Bowen, Benjamin Weyers, Philippe Palanque, Alan Dix ...

Serier serie Computer Science (R0)
This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive ... Læs mere

2.979,84 kr.

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive
... Læs mere
Excel draaitabellen en -grafieken Visuele handleiding in stappen

af A. J. Wright ...

Hoe kun je dit boek gebruiken?Dit boek kan worden gebruikt als een handleiding of als een snelle visuele referentiegids. Het is bedoeld voor gebruikers die vertrouwd zijn met de basisbeginselen van Microsoft® Excel® en nu verder willen gaan met draaitabellen en -grafieken.Dit boek gaat ervan uit dat je al weet hoe je een Excel®-werkmap maakt, opent, opslaat en wijzigt en dat je bekend bent met de ... Læs mere

64,08 kr.

Hoe kun je dit boek gebruiken?Dit boek kan worden gebruikt als een handleiding of als een snelle visuele referentiegids. Het is bedoeld voor gebruikers die vertrouwd zijn met de basisbeginselen van Microsoft® Excel® en nu verder willen gaan met draaitabellen en -grafieken.Dit boek gaat ervan uit dat je al weet hoe je een Excel®-werkmap maakt, opent, opslaat en wijzigt en dat je bekend bent met de
... Læs mere
Open Multithreaded Transactions

A Transaction Model for Concurrent Object-Oriented Programming

af Jörg Kienzle ...

Serier serie Computer Science (R0)
840,61 kr.
Artificial and Cognitive Computing for Sustainable Healthcare Systems in Smart Cities

Redigeret af Devasis Pradhan, Prasanna Kumar Sahu, Hla Myo Tun, Prasenjit Chatterjee ...

Artificial and Cognitive Computing for Sustainable Healthcare Systems in Smart Cities delves into the transformative potential of artificial and cognitive computing in the realm of healthcare systems, maintaining a specific emphasis on sustainability.By exploring the integration of advanced technologies in smart cities, the authors examine and discuss how AI and cognitive computing can be ... Læs mere

1.158,61 kr.

Artificial and Cognitive Computing for Sustainable Healthcare Systems in Smart Cities delves into the transformative potential of artificial and cognitive computing in the realm of healthcare systems, maintaining a specific emphasis on sustainability.By exploring the integration of advanced technologies in smart cities, the authors examine and discuss how AI and cognitive computing can be
... Læs mere
SAP HANA – Datenmodellierung

af Ingo Rötting, Dickson Anane Adusei, Stefan Yamada ...

Über dieses BuchSo meistern Sie die Datenmodellierung für SAP HANA! Erfahren Sie, welche Modellierungsfunktionen, -objekte und Werkzeuge es gibt und wie Sie diese einsetzen, um für Ihr Unternehmen passende Datenmodelle zu erstellen. Die Autoren zeigen Ihnen an praxisrelevanten Beispielen die Modellierung der Daten für alle SAP-Komponenten: SAP HANA (nativ), SAP BW auf SAP HANA, SAP BW/4HANA, SAP S ... Læs mere

597,09 kr.

Über dieses BuchSo meistern Sie die Datenmodellierung für SAP HANA! Erfahren Sie, welche Modellierungsfunktionen, -objekte und Werkzeuge es gibt und wie Sie diese einsetzen, um für Ihr Unternehmen passende Datenmodelle zu erstellen. Die Autoren zeigen Ihnen an praxisrelevanten Beispielen die Modellierung der Daten für alle SAP-Komponenten: SAP HANA (nativ), SAP BW auf SAP HANA, SAP BW/4HANA, SAP S
... Læs mere
Applied Satisfiability

Cryptography, Scheduling, and Coalitional Games

af Xiaojuan Liao, Miyuki Koshimura ...

Apply satisfiability to a range of difficult problemsThe Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT and weighted MaxSAT, which assess whether, and to what extent, a solution satisfies a given set of ... Læs mere

1.015,11 kr.

Apply satisfiability to a range of difficult problemsThe Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT and weighted MaxSAT, which assess whether, and to what extent, a solution satisfies a given set of
... Læs mere
Compiler Construction Using Java, JavaCC, and Yacc

af Anthony J. Dos Reis ...

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic ... Læs mere

865,24 kr.

Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic
... Læs mere
Introducing Spoken Dialogue Systems into Intelligent Environments

af Wolfgang Minker, Tobias Heinroth ...

Serier serie Engineering (R0)
Introducing Spoken Dialogue Systems into Intelligent Environments outlines the formalisms of a novel knowledge-driven framework for spoken dialogue management and presents the implementation of a model-based Adaptive Spoken Dialogue Manager(ASDM) called OwlSpeak. The authors have identified three stakeholders that potentially influence the behavior of the ASDM: the user, the SDS, and a complex ... Læs mere

840,61 kr.

Introducing Spoken Dialogue Systems into Intelligent Environments outlines the formalisms of a novel knowledge-driven framework for spoken dialogue management and presents the implementation of a model-based Adaptive Spoken Dialogue Manager(ASDM) called OwlSpeak. The authors have identified three stakeholders that potentially influence the behavior of the ASDM: the user, the SDS, and a complex
... Læs mere
Information and Communication Technologies in Education

The School of the Future. IFIP TC3/WG3.1 International Conference on The Bookmark of the School of the Future April 9–14, 2000, Viña del Mar, Chile

Redigeret af Harriet Taylor, Pieter Hogenbirk ...

Serier serie Computer Science (R0)
Information and Communication Technologies (ICT) have already had a significant impact on education in many countries around the world. As the "Information Revolution" has an impact on world society, education is seen as a priority for the developed as well as the developing countries. It is an opportune moment to reflect on current practice and consider how schools can retain what is best, while ... Læs mere

1.868,14 kr.

Information and Communication Technologies (ICT) have already had a significant impact on education in many countries around the world. As the "Information Revolution" has an impact on world society, education is seen as a priority for the developed as well as the developing countries. It is an opportune moment to reflect on current practice and consider how schools can retain what is best, while
... Læs mere
Separation Logic for High-level Synthesis

af Felix Winterstein ...

Serier serie Engineering (R0)
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance ... Læs mere

840,61 kr.

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance
... Læs mere
Tele-oncology

Redigeret af Giovanna Gatti, Gabriella Pravettoni, Fabio Capello ...

Serier serie Medicine (R0)
This book explains how telemedicine can offer solutions capable of improving the care and survival rates of cancer patients and can also help patients to live a normal life in spite of their condition. Different fields of application – community, hospital and home based – are examined, and detailed attention is paid to the use of tele-oncology in rural/extreme rural settings and in developing ... Læs mere

466,97 kr.

This book explains how telemedicine can offer solutions capable of improving the care and survival rates of cancer patients and can also help patients to live a normal life in spite of their condition. Different fields of application – community, hospital and home based – are examined, and detailed attention is paid to the use of tele-oncology in rural/extreme rural settings and in developing
... 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

Behavior Modeling -- Foundations and Applications

Introduction to Programming with Fortran

Provenance and Annotation of Data and Processes

Interoperability and Open-Source Solutions for the Internet of Things

Diagrammatic Representation and Inference

Human-Computer Interaction – INTERACT 2021

Human-Computer Interaction – INTERACT 2021

Search Based Software Engineering

Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction

Godel's Incompleteness Theorems

Weirdware

Mastering Dart Programming: Modern Web Development

Socio-Informatics

The Handbook of Formal Methods in Human-Computer Interaction

Excel draaitabellen en -grafieken Visuele handleiding in stappen

Open Multithreaded Transactions

Artificial and Cognitive Computing for Sustainable Healthcare Systems in Smart Cities

SAP HANA – Datenmodellierung

Applied Satisfiability

Compiler Construction Using Java, JavaCC, and Yacc

Introducing Spoken Dialogue Systems into Intelligent Environments

Information and Communication Technologies in Education

Separation Logic for High-level Synthesis

Tele-oncology