Rakuten Kobo

Provenance and Annotation of Data and Processes

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

Edited by Khalid Belhajjame, Ashish Gehani, Pinar Alper ...

Series series 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 ... Read more

$49.49 USD

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
... Read more
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

Edited by Martin Serrano, Ivana Podnar Žarko, Krešimir Pripužić ...

Series series 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 ... Read more

$40.49 USD

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
... Read more
Diagrammatic Representation and Inference

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

Edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci ...

Series series 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 ... Read more

$89.09 USD

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
... Read more
Human-Computer Interaction – INTERACT 2021

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

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

Series Book 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 ... Read more

$49.49 USD

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
... Read more
Human-Computer Interaction – INTERACT 2021

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

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

Series Book 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 ... Read more

$49.49 USD

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
... Read more
Search Based Software Engineering

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

Edited by Tim Menzies, Justyna Petke ...

Series series 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 ... Read more

$49.49 USD

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
... Read more
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

Edited by Ronald Böck, Francesca Bonin, Nick Campbell, Ronald Poppe ...

Series series 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 ... Read more

$40.49 USD

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
... Read more
Godel's Incompleteness Theorems

by Raymond M. Smullyan ...

Series series 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 ... Read more

$305.99 USD

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
... Read more
Weirdware

Touchable Unconventional Computers

by Andrew Adamatzky ...

Series Book 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 ... Read more

$41.99 USD

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
... Read more
Mastering Dart Programming: Modern Web Development

by 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 ... Read more

$9.99 USD or Free with 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
... Read more
Socio-Informatics

Edited by 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 ... Read more

$97.19 USD

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
... Read more
The Handbook of Formal Methods in Human-Computer Interaction

Edited by Judy Bowen, Benjamin Weyers, Philippe Palanque, Alan Dix ...

Series series 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 ... Read more

$332.09 USD

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
... Read more
Excel draaitabellen en -grafieken Visuele handleiding in stappen

by 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 ... Read more

$9.99 USD

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
... Read more
Open Multithreaded Transactions

A Transaction Model for Concurrent Object-Oriented Programming

by Jörg Kienzle ...

Series series Computer Science (R0)
$89.09 USD
Artificial and Cognitive Computing for Sustainable Healthcare Systems in Smart Cities

Edited by 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 ... Read more

$136.00 USD

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
... Read more
SAP HANA – Datenmodellierung

by 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 ... Read more

$84.49 USD

Ü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
... Read more
Hugging Face in Action

Build intelligent applications with transformers, agents, and RAG

by Wei-Meng Lee ...

Everything you need to know about using the tools, libraries, and models at Hugging Face—from transformers, to RAG, LangChain, and Gradio.Hugging Face in Action reveals how to get the absolute best out of everything Hugging Face, from accessing state-of-the-art models to building intuitive frontends for AI apps.With Hugging Face in Action you’ll learn:Utilizing Hugging Face Transformers and ... Read more

$49.99 USD

Everything you need to know about using the tools, libraries, and models at Hugging Face—from transformers, to RAG, LangChain, and Gradio.Hugging Face in Action reveals how to get the absolute best out of everything Hugging Face, from accessing state-of-the-art models to building intuitive frontends for AI apps.With Hugging Face in Action you’ll learn:Utilizing Hugging Face Transformers and
... Read more
Applied Satisfiability

Cryptography, Scheduling, and Coalitional Games

by 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 ... Read more

$119.00 USD

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
... Read more
Compiler Construction Using Java, JavaCC, and Yacc

by 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 ... Read more

$102.00 USD

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
... Read more
Introducing Spoken Dialogue Systems into Intelligent Environments

by Wolfgang Minker, Tobias Heinroth ...

Series series 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 ... Read more

$89.09 USD

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
... Read more
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

Edited by Harriet Taylor, Pieter Hogenbirk ...

Series series 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 ... Read more

$188.09 USD

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
... Read more
Separation Logic for High-level Synthesis

by Felix Winterstein ...

Series series 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 ... Read more

$89.09 USD

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
... Read more
Tele-oncology

Edited by Giovanna Gatti, Gabriella Pravettoni, Fabio Capello ...

Series series 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 ... Read more

$49.49 USD

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
... Read more
Security and Privacy in Biometrics

Edited by Patrizio Campisi ...

Series series Computer Science (R0)
This important text/reference presents the latest secure and privacy-compliant techniques in automatic human recognition. Featuring viewpoints from an international selection of experts in the field, the comprehensive coverage spans both theory and practical implementations, taking into consideration all ethical and legal issues. Topics and features: presents a unique focus on novel approaches and ... Read more

$89.09 USD

This important text/reference presents the latest secure and privacy-compliant techniques in automatic human recognition. Featuring viewpoints from an international selection of experts in the field, the comprehensive coverage spans both theory and practical implementations, taking into consideration all ethical and legal issues. Topics and features: presents a unique focus on novel approaches and
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Programming eBooks

Show: