Rakuten Kobo

Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Modifié par Vlad Rusu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, ... En savoir plus

$64.99 CAD

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency,
... En savoir plus
Azure The One Part 1

Azure Cloud, Data Fundamentals & Migrations

par Team The One ...

Book Highlights:Coverage: Deep dive into Azure Fundamentals (Cloud, Entra, Networking, Storage), fundamentals of data analytics and data modelling, and Azure Migrations (SQL, NoSQL, Heterogeneous databases, Storage, etc.).DualFaceted Answers: Questions are answered concisely for quick reference, followed by an indepth exploration section with use cases and examples for detailed understanding ... En savoir plus

$5.43 CAD

Book Highlights:Coverage: Deep dive into Azure Fundamentals (Cloud, Entra, Networking, Storage), fundamentals of data analytics and data modelling, and Azure Migrations (SQL, NoSQL, Heterogeneous databases, Storage, etc.).DualFaceted Answers: Questions are answered concisely for quick reference, followed by an indepth exploration section with use cases and examples for detailed understanding
... En savoir plus
Culture and Computing

13th International Conference, C&C 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II

Modifié par Matthias Rauterberg ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Culture and Computing, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from 7972 submissions.Two volumes of ... En savoir plus

$102.99 CAD

This book constitutes the refereed proceedings of the 13th International Conference on Culture and Computing, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from 7972 submissions.Two volumes of
... En savoir plus
Digital Design from the VLSI Perspective

Concepts for VLSI Beginners

par Vaibbhav Taraate ...

Collections series Engineering (R0)
This volume covers digital design techniques, exercises and applications. The book discusses digital design and implementation in the context of VLSI and embedded system design. It covers basic digital design techniques to high speed design techniques. The contents also cover performance improvement, optimization concepts and design case studies. It includes pedagogical features such as design ... En savoir plus

$64.99 CAD

This volume covers digital design techniques, exercises and applications. The book discusses digital design and implementation in the context of VLSI and embedded system design. It covers basic digital design techniques to high speed design techniques. The contents also cover performance improvement, optimization concepts and design case studies. It includes pedagogical features such as design
... En savoir plus
Cross-Cultural Design

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

Modifié par Pei-Luen Patrick Rau ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This four-volume set LNCS 14699-14702 constitutes the refereed proceedings of the 16th International Conference on Cross-Cultural Design, CCD 2024, held as part of the 26th International Conference, HCI International 2024, 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 ... En savoir plus

$153.99 CAD

This four-volume set LNCS 14699-14702 constitutes the refereed proceedings of the 16th International Conference on Cross-Cultural Design, CCD 2024, held as part of the 26th International Conference, HCI International 2024, 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
... En savoir plus
Oracle SQL Developer Data Modeler for Database Design Mastery

par Heli Helskyaho ...

Design Databases with Oracle SQL Developer Data ModelerIn this practical guide, Oracle ACE Director Heli Helskyaho explains the process of database design using Oracle SQL Developer Data Modeler—the powerful, free tool that flawlessly supports Oracle and other database environments, including Microsoft SQL Server and IBM DB2. Oracle SQL Developer Data Modeler for Database Design Mastery covers ... En savoir plus

$75.99 CAD

Design Databases with Oracle SQL Developer Data ModelerIn this practical guide, Oracle ACE Director Heli Helskyaho explains the process of database design using Oracle SQL Developer Data Modeler—the powerful, free tool that flawlessly supports Oracle and other database environments, including Microsoft SQL Server and IBM DB2. Oracle SQL Developer Data Modeler for Database Design Mastery covers
... En savoir plus
Haptics: Science, Technology, and Applications

11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II

Modifié par Domenico Prattichizzo, Hiroyuki Shinoda, Hong Z. Tan, Emanuele Ruffaldi, Antonio Frisoli ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10893 and 10894 constitutes the refereed proceedings of the 11th International Conference EuroHaptics 2018, held in Pisa, Italy, in June 2018.The 95 papers (40 oral presentations and 554 poster presentations) presented were carefully reviewed and selected from 138 submissions. These proceedings reflect the multidisciplinary nature of EuroHaptics and cover all aspects of ... En savoir plus

$64.99 CAD

The two-volume set LNCS 10893 and 10894 constitutes the refereed proceedings of the 11th International Conference EuroHaptics 2018, held in Pisa, Italy, in June 2018.The 95 papers (40 oral presentations and 554 poster presentations) presented were carefully reviewed and selected from 138 submissions. These proceedings reflect the multidisciplinary nature of EuroHaptics and cover all aspects of
... En savoir plus
Electronic Books and ePublishing

A Practical Guide for Authors

par Harold Henke ...

Collections series Computer Science (R0)
Since the advent of personal computers, experts have predicted the paperless office, the rise of the electronic book, and the mass communication effect of the World Wide Web as the beginning of the end of the book. However, trends show that sales of paper increased with sales of computer networks - people have been trained to read books, and are more familiar with the act of picking up a book and ... En savoir plus

$64.99 CAD

Since the advent of personal computers, experts have predicted the paperless office, the rise of the electronic book, and the mass communication effect of the World Wide Web as the beginning of the end of the book. However, trends show that sales of paper increased with sales of computer networks - people have been trained to read books, and are more familiar with the act of picking up a book and
... En savoir plus
SDL 2017: Model-Driven Engineering for Future Internet

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

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

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL ... En savoir plus

$64.99 CAD

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL
... En savoir plus
The Handbook of Multimodal-Multisensor Interfaces, Volume 2

Signal Processing, Architectures, and Detection of Emotion and Cognition

Modifié par Sharon Oviatt, Björn Schuller, Philip Cohen, Daniel Sonntag, Gerasimos Potamianos, Antonio Krüger ...

Collections series ACM Books
The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces: user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing) embedded in multimodal-multisensor interfaces that often include biosignals. This edited collection is written by international ... En savoir plus

$87.99 CAD

The Handbook of Multimodal-Multisensor Interfaces provides the first authoritative resource on what has become the dominant paradigm for new computer interfaces: user input involving new media (speech, multi-touch, hand and body gestures, facial expressions, writing) embedded in multimodal-multisensor interfaces that often include biosignals. This edited collection is written by international
... En savoir plus
Scala for Machine Learning

Build systems for data processing, machine learning, and deep learning

par Patrick R. Nicolas, Mohammed Rafi ...

Leverage Scala and Machine Learning to study and construct systems that can learn from dataKey Features\[\*\]Explore a broad variety of data processing, machine learning, and genetic algorithms through diagrams, mathematical formulation, and updated source code in Scala\[\*\]Take your expertise in Scala programming to the next level by creating and customizing AI applications\[\*\]Experiment with ... En savoir plus

$55.99 CAD ou Gratuit avec Kobo Plus

Leverage Scala and Machine Learning to study and construct systems that can learn from dataKey Features\[\*\]Explore a broad variety of data processing, machine learning, and genetic algorithms through diagrams, mathematical formulation, and updated source code in Scala\[\*\]Take your expertise in Scala programming to the next level by creating and customizing AI applications\[\*\]Experiment with
... En savoir plus
Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Modifié par Vladimir Itsykson, Andre Scedrov, Victor Zakharov ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation,
... En savoir plus
Advances in Data Mining. Applications and Theoretical Aspects

16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Modifié par Petra Perner ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine, ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine,
... En savoir plus
Natural Interaction in Medical Training

Tools and Applications

par Alberto Del Bimbo, Andrea Ferracani, Daniele Pezzatini, Lorenzo Seidenari ...

Collections series Computer Science (R0)
This book covers state of the art techniques for health personnel training using natural interfaces, immersive systems and serious games paradigms.Opening with a comprehensive introduction to the state of immersive visualisation techniques of interaction and simulation used in the industry and training research, the authors then focus on computer vision techniques used to develop realtime training ... En savoir plus

$64.99 CAD

This book covers state of the art techniques for health personnel training using natural interfaces, immersive systems and serious games paradigms.Opening with a comprehensive introduction to the state of immersive visualisation techniques of interaction and simulation used in the industry and training research, the authors then focus on computer vision techniques used to develop realtime training
... En savoir plus
Demystifying the Brain

A Computational Approach

par V. Srinivasa Chakravarthy ...

This book presents an emerging new vision of the brain, which is essentially expressed in computational terms, for non-experts. As such, it presents the fundamental concepts of neuroscience in simple language, without overwhelming non-biologists with excessive biological jargon. In addition, the book presents a novel computational perspective on the brain for biologists, without resorting to ... En savoir plus

$217.99 CAD

This book presents an emerging new vision of the brain, which is essentially expressed in computational terms, for non-experts. As such, it presents the fundamental concepts of neuroscience in simple language, without overwhelming non-biologists with excessive biological jargon. In addition, the book presents a novel computational perspective on the brain for biologists, without resorting to
... En savoir plus
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Modifié par Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... En savoir plus

$102.99 CAD

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... En savoir plus
Mastering Invideo AI

par Robert Keyser ...

Unleash your creativity with Mastering InVideo AI: A Beginner's Guide!Ready to transform your video creation game? This guide is your ultimate ticket to mastering InVideo AI, the cutting-edge tool that's revolutionizing how we create, edit, and share videos. Whether you're a budding content creator, a marketing professional, or just someone with a passion for storytelling, this book will elevate ... En savoir plus

$9.99 CAD ou Gratuit avec Kobo Plus

Unleash your creativity with Mastering InVideo AI: A Beginner's Guide!Ready to transform your video creation game? This guide is your ultimate ticket to mastering InVideo AI, the cutting-edge tool that's revolutionizing how we create, edit, and share videos. Whether you're a budding content creator, a marketing professional, or just someone with a passion for storytelling, this book will elevate
... En savoir plus
Universal Access in Human-Computer Interaction

19th International Conference, UAHCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part II

Modifié par Margherita Antona, Constantine Stephanidis ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
This 2-volume set LNCS 15780-15781 constitutes the refereed proceedings of the 19th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2025, held as part of the 27th International Conference, HCI International 2025, in Gothemburg, Sweden during June 22nd to 27th, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully ... En savoir plus

$153.99 CAD

This 2-volume set LNCS 15780-15781 constitutes the refereed proceedings of the 19th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2025, held as part of the 27th International Conference, HCI International 2025, in Gothemburg, Sweden during June 22nd to 27th, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully
... En savoir plus
Social Robotics

11th International Conference, ICSR 2019, Madrid, Spain, November 26–29, 2019, Proceedings

Modifié par Miguel A. Salichs, Shuzhi Sam Ge, Emilia Ivanova Barakova, John-John Cabibihan, Alan R. Wagner, Álvaro Castro-González, Hongsheng He ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Social Robotics, ICSR 2019, held in Madrid, Spain, in November 2019.The 69 full papers presented were carefully reviewed and selected from 92 submissions. The theme of the 2018 conference is: Friendly Robotics.The papers focus on the following topics: perceptions and expectations of social robots; cognition and ... En savoir plus

$64.99 CAD

This book constitutes the refereed proceedings of the 11th International Conference on Social Robotics, ICSR 2019, held in Madrid, Spain, in November 2019.The 69 full papers presented were carefully reviewed and selected from 92 submissions. The theme of the 2018 conference is: Friendly Robotics.The papers focus on the following topics: perceptions and expectations of social robots; cognition and
... En savoir plus
NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Modifié par Julia M. Badger, Kristin Yvonne Rozier ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem ... En savoir plus

$83.99 CAD

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem
... En savoir plus
Hands-On Differential Privacy

Introduction to the Theory and Practice Using OpenDP

par Ethan Cowan, Michael Shoemate, Mayana Pereira ...

Many organizations today analyze and share large, sensitive datasets about individuals. Whether these datasets cover healthcare details, financial records, or exam scores, it's become more difficult for organizations to protect an individual's information through deidentification, anonymization, and other traditional statistical disclosure limitation techniques. This practical book explains how ... En savoir plus

$67.99 CAD

Many organizations today analyze and share large, sensitive datasets about individuals. Whether these datasets cover healthcare details, financial records, or exam scores, it's become more difficult for organizations to protect an individual's information through deidentification, anonymization, and other traditional statistical disclosure limitation techniques. This practical book explains how
... En savoir plus
Digital Twins for Sustainable Development

Modifié par Valentina Emilia Balas, Shamik Tiwari, Lalit Garg, Ferdous Sohel, Anurag Jain ...

Digital Twins for Sustainable Development covers digital twins for sustainability as a virtual representation of a physical system or environment, such as a building, city, or natural ecosystem and how they are used to support sustainable development and management practices. The book demonstrates how data from a variety of sources, such as sensors, satellite imagery, and other monitoring tools ... En savoir plus

$165.99 CAD

Digital Twins for Sustainable Development covers digital twins for sustainability as a virtual representation of a physical system or environment, such as a building, city, or natural ecosystem and how they are used to support sustainable development and management practices. The book demonstrates how data from a variety of sources, such as sensors, satellite imagery, and other monitoring tools
... En savoir plus
Learning and Collaboration Technologies: Games and Virtual Environments for Learning

8th International Conference, LCT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II

Modifié par Panayiotis Zaphiris, Andri Ioannou ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 12784 and 12785 constitutes the refereed proceedings of the 8th International Conference on Learning and Collaboration Technologies, LCT 2021, held as Part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually. The total of 1276 papers and 241 posters included in the 39 HCII ... En savoir plus

$83.99 CAD

This two-volume set LNCS 12784 and 12785 constitutes the refereed proceedings of the 8th International Conference on Learning and Collaboration Technologies, LCT 2021, held as Part of the 23rd International Conference, HCI International 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually. The total of 1276 papers and 241 posters included in the 39 HCII
... En savoir plus
The Language of Creative AI

Practices, Aesthetics and Structures

Modifié par Craig Vear, Fabrizio Poltronieri ...

Collections series Computer Science (R0)
Creative AI defines art and media practices that have AI embedded into the process of creation, but also encompass novel AI approaches in the realisation and experience of such work, e.g. robotic art, distributed AI artworks across locations, AI performers, artificial musicians, synthetic images generated by neural networks, AI authors and journalist bots.This book builds on the discourse of AI ... En savoir plus

$204.99 CAD

Creative AI defines art and media practices that have AI embedded into the process of creation, but also encompass novel AI approaches in the realisation and experience of such work, e.g. robotic art, distributed AI artworks across locations, AI performers, artificial musicians, synthetic images generated by neural networks, AI authors and journalist bots.This book builds on the discourse of AI
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Programmation

Afficher :