Rakuten Kobo

Panier

Article(s) non disponible(s) à la vente

Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.

articlesarticle

- Comprend les eBooks
  
  Comprend les livres audio
  
  Comprend 30 heures d'écoute
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  
  Obtenez 1•crédit chaque mois pour le livre audio de votre choix
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  
  Comprend les eBooks
  
  Comprend les livres audio
  
  Comprend 30 heures d'écoute
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  Livre audio
  par ,
  
  Disponible:
  
  . Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions.
  
  Pré-commander
  1 livre audio par mois
  
  + Essai gratuit pendant 30 jours
  
  Offre spéciale
  
  Obtenez 1 crédit chaque mois pour un livre audio de votre choix
  
  * Sans engagement, résiliez à tout moment
  
  GRATUIT

articlesarticle

Comprend les eBooks

Comprend les livres audio

Comprend 30 heures d'écoute

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions

Obtenez 1•crédit chaque mois pour le livre audio de votre choix

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions

Comprend les eBooks

Comprend les livres audio

Comprend 30 heures d'écoute

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
Livre audio
par ,

Disponible:
. Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions.

Pré-commander
1 livre audio par mois

+ Essai gratuit pendant 30 jours

Offre spéciale

Obtenez 1 crédit chaque mois pour un livre audio de votre choix

* Sans engagement, résiliez à tout moment

GRATUIT

Recommandé pour vous

Logikkalküle in der Informatik

Wie wird Logik vom Rechner genutzt?

par Michael Schenke ...

Collection series Computer Science and Engineering (German Language)
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, ... En savoir plus

15,65 €

Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale,
... En savoir plus
Ensemble Machine Learning

Methods and Applications

Modifié par Cha Zhang, Yunqian Ma ...

It is common wisdom that gathering a variety of views and inputs improves the process of decision making, and, indeed, underpins a democratic society. Dubbed “ensemble learning” by researchers in computational intelligence and machine learning, it is known to improve a decision system’s robustness and accuracy. Now, fresh developments are allowing researchers to unleash the power of ensemble ... En savoir plus

203,00 €

It is common wisdom that gathering a variety of views and inputs improves the process of decision making, and, indeed, underpins a democratic society. Dubbed “ensemble learning” by researchers in computational intelligence and machine learning, it is known to improve a decision system’s robustness and accuracy. Now, fresh developments are allowing researchers to unleash the power of ensemble
... En savoir plus
Advanced C and C++ Compiling

par Milan Stevanovic ...

Collection series Professional and Applied Computing (R0)
Learning how to write C/C++ code is only the first step. To be a serious programmer, you need to understand the structure and purpose of the binary files produced by the compiler: object files, static libraries, shared libraries, and, of course, executables.Advanced C and C++ Compiling explains the build process in detail and shows how to integrate code from other developers in the form of ... En savoir plus

86,72 €

Learning how to write C/C++ code is only the first step. To be a serious programmer, you need to understand the structure and purpose of the binary files produced by the compiler: object files, static libraries, shared libraries, and, of course, executables.Advanced C and C++ Compiling explains the build process in detail and shows how to integrate code from other developers in the form of
... En savoir plus
Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Modifié par Nadia Polikarpova, Steve Schneider ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, ... En savoir plus

46,34 €

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems,
... En savoir plus
Logic And Language Models For Computer Science (Third Edition)

par Dana Richards, Henry Hamburger ...

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes. ... En savoir plus

36,66 €

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
... En savoir plus
Learn iOS Application Distribution

Successfully Distribute Apps

par Hagop Panosian ...

Collection series Professional and Applied Computing (R0)
Cover every aspect of the app industry, from app idea generation through to marketing and performance monitoring. With this book you'll receive complete, reliable, up-to-date, and professional information and guidance.Learn iOS App Distribution is every developers thorough and accessible guide to successfully distributing apps. For readers who already know how to code and create apps, this book ... En savoir plus

34,70 €

Cover every aspect of the app industry, from app idea generation through to marketing and performance monitoring. With this book you'll receive complete, reliable, up-to-date, and professional information and guidance.Learn iOS App Distribution is every developers thorough and accessible guide to successfully distributing apps. For readers who already know how to code and create apps, this book
... En savoir plus
Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Modifié par K. Narayan Kumar, Deepak D'Souza ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in ... En savoir plus

46,34 €

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.The contributions are organized in
... En savoir plus
User Experience

par Alessandro Stella ...

Di cosa parla questo libro?Questo libro parla della user experience come se ne parlerebbe in un corso universitario, ossia facendo riferimento agli studi scientifici e ai relativi ricercatori. Si è ritenuto di utilizzare un tale approccio perché la user experience è ancora un oggetto misterioso, qualcosa da confondere volentieri con l'usabilità o con il design. Ma è sufficiente collegare il ... En savoir plus

5,99 €

Di cosa parla questo libro?Questo libro parla della user experience come se ne parlerebbe in un corso universitario, ossia facendo riferimento agli studi scientifici e ai relativi ricercatori. Si è ritenuto di utilizzare un tale approccio perché la user experience è ancora un oggetto misterioso, qualcosa da confondere volentieri con l'usabilità o con il design. Ma è sufficiente collegare il
... En savoir plus
Coordination, Organizations, Institutions, and Norms in Agent Systems XII

COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

Modifié par Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016.The 9 full papers were carefully reviewed ... En savoir plus

46,34 €

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016.The 9 full papers were carefully reviewed
... En savoir plus
Practical Computer Vision

Extract insightful information from images using TensorFlow, Keras, and OpenCV

par Abhinav Dadhich ...

A practical guide designed to get you from basics to current state of art in computer vision systems.Key FeaturesMaster the different tasks associated with Computer Vision and develop your own Computer Vision applications with easeLeverage the power of Python, Tensorflow, Keras, and OpenCV to perform image processing, object detection, feature detection and moreWith real-world datasets and fully ... En savoir plus

23,16 € ou Gratuit avec Kobo Plus

A practical guide designed to get you from basics to current state of art in computer vision systems.Key FeaturesMaster the different tasks associated with Computer Vision and develop your own Computer Vision applications with easeLeverage the power of Python, Tensorflow, Keras, and OpenCV to perform image processing, object detection, feature detection and moreWith real-world datasets and fully
... En savoir plus
Making Sense of Haptics

Fundamentals of Perception and Implications for Device Design

par Femke Elise van Beek ...

Collection series Computer Science (R0)
Tele operation systems, in which robots are controlled remotely, are a potential solution to performing tasks in remote, small, and hazardous environments. However, there is a big disadvantage to these systems; as the direct connection between the human and the environment is lost and operators are deprived of their sense of touch. The recreation of touch feedback through haptic devices is a ... En savoir plus

83,42 €

Tele operation systems, in which robots are controlled remotely, are a potential solution to performing tasks in remote, small, and hazardous environments. However, there is a big disadvantage to these systems; as the direct connection between the human and the environment is lost and operators are deprived of their sense of touch. The recreation of touch feedback through haptic devices is a
... En savoir plus
Computers Helping People with Special Needs

16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part I

Modifié par Klaus Miesenberger, Georgios Kouroupetroglou ...

Collection Livre 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10896 and 10897 constitutes the refereed proceedings of the 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018, held in Linz, Austria, in JulyThe 101 revised full papers and 78 short papers presented were carefully reviewed and selected from 356 submissions. The papers are organized in the following topical sections: Web accessibility ... En savoir plus

69,51 €

The two-volume set LNCS 10896 and 10897 constitutes the refereed proceedings of the 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018, held in Linz, Austria, in JulyThe 101 revised full papers and 78 short papers presented were carefully reviewed and selected from 356 submissions. The papers are organized in the following topical sections: Web accessibility
... En savoir plus
Rules and Reasoning

Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Modifié par Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together ... En savoir plus

46,34 €

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 10 full research papers presented together
... En savoir plus
Delphi GUI Programming with FireMonkey

Unleash the full potential of the FMX framework to build exciting cross-platform apps with Embarcadero Delphi

par Andrea Magni ...

Create modern yet effective multi-platform applications by building interactive UIs following a single codebase approach to boost productivityKey FeaturesDelve into the FireMonkey framework and explore its powerful capabilitiesEnhance the user experience by using various technologies included in Delphi and FMXBoost developer productivity through the cross-platform capabilities enabled by the ... En savoir plus

32,43 € ou Gratuit avec Kobo Plus

Create modern yet effective multi-platform applications by building interactive UIs following a single codebase approach to boost productivityKey FeaturesDelve into the FireMonkey framework and explore its powerful capabilitiesEnhance the user experience by using various technologies included in Delphi and FMXBoost developer productivity through the cross-platform capabilities enabled by the
... En savoir plus
Augmented Reality Art

From an Emerging Technology to a Novel Creative Medium

Modifié par Vladimir Geroimenko ...

Collection series Computer Science (R0)
This is the second edition of the first ever book to explore the exciting new field of augmented reality art and its enabling technologies. The new edition has been thoroughly revised and updated, and contains 5 new chapters. As well as investigating augmented reality as a novel artistic medium the book covers cultural, social, spatial and cognitive facets of augmented reality art.Intended as a ... En savoir plus

120,50 €

This is the second edition of the first ever book to explore the exciting new field of augmented reality art and its enabling technologies. The new edition has been thoroughly revised and updated, and contains 5 new chapters. As well as investigating augmented reality as a novel artistic medium the book covers cultural, social, spatial and cognitive facets of augmented reality art.Intended as a
... En savoir plus
New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies

Modifié par Michael Filimowicz, Veronika Tzankova ...

Collection series Computer Science (R0)
This is the first extensive compilation documenting contemporary third wave HCI, covering key methodological developments at the leading edge of human-computer interactions. Now in its second decade as a major current of HCI research, the third wave integrates insights from the humanities and social sciences to emphasize human dimensions beyond workplace efficiency or cognitive capacities. Where ... En savoir plus

129,77 €

This is the first extensive compilation documenting contemporary third wave HCI, covering key methodological developments at the leading edge of human-computer interactions. Now in its second decade as a major current of HCI research, the third wave integrates insights from the humanities and social sciences to emphasize human dimensions beyond workplace efficiency or cognitive capacities. Where
... En savoir plus
Practical Video Game Bots

Automating Game Processes using C++, Python, and AutoIt

par Ilya Shpigor ...

Collection series Professional and Applied Computing (R0)
Develop and use bots in video gaming to automate game processes and see possible ways to avoid this kind of automation. This book explains how bots can be very helpful in games such as multiplayer online games, both for training your character and for automating repetitious game processes in order to start a competition with human opponents much faster.Some players might use bots for cheating or ... En savoir plus

40,78 €

Develop and use bots in video gaming to automate game processes and see possible ways to avoid this kind of automation. This book explains how bots can be very helpful in games such as multiplayer online games, both for training your character and for automating repetitious game processes in order to start a competition with human opponents much faster.Some players might use bots for cheating or
... En savoir plus
Adaptive User Support

Ergonomic Design of Manually and Automatically Adaptable Software

Modifié par Reinhard Oppermann ...

Collection series Computers, Cognition, and Work Series
The potential of software applications to solve an array of office and administrative problems is increasing faster than the ability of users to exploit it. We need to make systems easier to learn and more comfortable to use. This book reports a major advance in the effort to accomplish both goals.Flexcel enables users to modify access and dialog dynamics to their specific requirements. Relying on ... En savoir plus

83,06 €

The potential of software applications to solve an array of office and administrative problems is increasing faster than the ability of users to exploit it. We need to make systems easier to learn and more comfortable to use. This book reports a major advance in the effort to accomplish both goals.Flexcel enables users to modify access and dialog dynamics to their specific requirements. Relying on
... En savoir plus
Data Science with Semantic Technologies

Deployment and Exploration

Modifié par Archana Patel, Narayan C. Debnath ...

Gone are the days when data was interlinked with related data by humans and human interpretation was required. Data is no longer just data. It is now considered a Thing or Entity or Concept with meaning, so that a machine not only understands the concept but also extrapolates the way humans do.Data Science with Semantic Technologies: Deployment and Exploration, the second volume of a two-volume ... En savoir plus

81,87 €

Gone are the days when data was interlinked with related data by humans and human interpretation was required. Data is no longer just data. It is now considered a Thing or Entity or Concept with meaning, so that a machine not only understands the concept but also extrapolates the way humans do.Data Science with Semantic Technologies: Deployment and Exploration, the second volume of a two-volume
... En savoir plus
Neural Networks and Deep Learning

A Textbook

par Charu C. Aggarwal ...

Collection series Mathematics and Statistics (R0)
This book covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. The theory and algorithms of neural networks are particularly important for understanding important concepts, so that one can understand the important design concepts of neural architectures in different applications. Why do neural networks work? When do they work ... En savoir plus

50,97 €

This book covers both classical and modern models in deep learning. The primary focus is on the theory and algorithms of deep learning. The theory and algorithms of neural networks are particularly important for understanding important concepts, so that one can understand the important design concepts of neural architectures in different applications. Why do neural networks work? When do they work
... En savoir plus
Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

par Paul Lokuciejewski, Peter Marwedel ...

Collection series Engineering (R0)
For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations ... En savoir plus

129,77 €

For real-time systems, the worst-case execution time (WCET) is the key objective to be considered. Traditionally, code for real-time systems is generated without taking this objective into account and the WCET is computed only after code generation. Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems presents the first comprehensive approach integrating WCET considerations
... En savoir plus
Emergent Web Intelligence: Advanced Semantic Technologies

Modifié par Youakim Badr, Richard Chbeir, Ajith Abraham, Aboul-Ella Hassanien ...

Collection series Computer Science (R0)
The success of the World Wide Web depends on the ability of users to store, p- cess and retrieve digital information regardless of distance boundaries, languages and domains of knowledge. The universality and ?exibility of the World Wide Web have also enabled the rapid growth of a variety of new services and applications based on human–machine interaction. The semantics of exchanged information ... En savoir plus

129,77 €

The success of the World Wide Web depends on the ability of users to store, p- cess and retrieve digital information regardless of distance boundaries, languages and domains of knowledge. The universality and ?exibility of the World Wide Web have also enabled the rapid growth of a variety of new services and applications based on human–machine interaction. The semantics of exchanged information
... En savoir plus
Data Wrangling with Python

Tips and Tools to Make Your Life Easier

par Jacqueline Kazil, Katharine Jarmul ...

How do you take your data analysis skills beyond Excel to the next level? By learning just enough Python to get stuff done. This hands-on guide shows non-programmers like you how to process information that’s initially too messy or difficult to access. You don't need to know a thing about the Python programming language to get started.Through various step-by-step exercises, you’ll learn how to ... En savoir plus

22,65 €

How do you take your data analysis skills beyond Excel to the next level? By learning just enough Python to get stuff done. This hands-on guide shows non-programmers like you how to process information that’s initially too messy or difficult to access. You don't need to know a thing about the Python programming language to get started.Through various step-by-step exercises, you’ll learn how to
... En savoir plus
Spatial Auditory Human-Computer Interfaces

par Jaka Sodnik, Sašo Tomažič ...

Collection series Computer Science (R0)
This book focuses on a special group of auditory interfaces using spatial sound for the representation of information. The addition of information on the location of a selected sound source or a group of sources shows many advantages over a mere single-channel audio. This survey explains the most important limitations of the human hearing system and the perception of spatial sound. It also ... En savoir plus

46,34 €

This book focuses on a special group of auditory interfaces using spatial sound for the representation of information. The addition of information on the location of a selected sound source or a group of sources shows many advantages over a mere single-channel audio. This survey explains the most important limitations of the human hearing system and the perception of spatial sound. It also
... En savoir plus

Kobo Rakuten

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 pendant 30 jours

Disponible:

1 livre audio par mois

+ Essai gratuit pendant 30 jours

Recommandé pour vous

eBooks Programmation

Logikkalküle in der Informatik

Ensemble Machine Learning

Advanced C and C++ Compiling

Integrated Formal Methods

Logic And Language Models For Computer Science (Third Edition)

Learn iOS Application Distribution

Automated Technology for Verification and Analysis

User Experience

Coordination, Organizations, Institutions, and Norms in Agent Systems XII

Practical Computer Vision

Making Sense of Haptics

Computers Helping People with Special Needs

Rules and Reasoning

Delphi GUI Programming with FireMonkey

Augmented Reality Art

New Directions in Third Wave Human-Computer Interaction: Volume 2 - Methodologies

Practical Video Game Bots

Adaptive User Support

Data Science with Semantic Technologies

Neural Networks and Deep Learning

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Emergent Web Intelligence: Advanced Semantic Technologies

Data Wrangling with Python

Spatial Auditory Human-Computer Interfaces