Rakuten Kobo

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... En savoir plus

$64.09 CAD

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each
... En savoir plus
SQL Server 2016 Reporting Services Cookbook

Your one-stop guide to operational reporting and mobile dashboards using SSRS 2016

par Dinesh Priyankara, Robert Cain ...

Create interactive cross-platform reports and dashboards using SQL Server 2016 Reporting ServicesKey Features\[\*\] Get up to speed with the newly-introduced enhancements and the more advanced query and reporting features\[\*\] Easily access your important data by creating visually appealing dashboards in the Power BI practical recipe\[\*\] Create cross-browser and cross-platform reports using SQL ... En savoir plus

$51.99 CAD ou Gratuit avec Kobo Plus

Create interactive cross-platform reports and dashboards using SQL Server 2016 Reporting ServicesKey Features\[\*\] Get up to speed with the newly-introduced enhancements and the more advanced query and reporting features\[\*\] Easily access your important data by creating visually appealing dashboards in the Power BI practical recipe\[\*\] Create cross-browser and cross-platform reports using SQL
... En savoir plus
New Data Structures and Algorithms for Logic Synthesis and Verification

par Luca Gaetano Amaru ...

Collections series Engineering (R0)
This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, ... En savoir plus

$64.09 CAD

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation,
... En savoir plus
KI 2016: Advances in Artificial Intelligence

39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

Modifié par Franz Wotawa, Malte Helmert, Gerhard Friedrich ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 39th Annual German Conference on Artificial Intelligence, KI 2016, in conjunction with the Österreichische Gesellschaft für Artificial Intelligence, ÖGAI, held in Klagenfurt, Austria, in September 2016.The 8 revised full technical papers presented together with 12 technical communications, and 16 extended abstracts were carefully reviewed and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 39th Annual German Conference on Artificial Intelligence, KI 2016, in conjunction with the Österreichische Gesellschaft für Artificial Intelligence, ÖGAI, held in Klagenfurt, Austria, in September 2016.The 8 revised full technical papers presented together with 12 technical communications, and 16 extended abstracts were carefully reviewed and
... En savoir plus
Rewriting Logic and Its Applications

11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Modifié par Dorel Lucanu ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers
... En savoir plus
Big Data in Cognitive Science

Modifié par Michael N. Jones ...

Collections series Frontiers of Cognitive Psychology
While laboratory research is the backbone of collecting experimental data in cognitive science, a rapidly increasing amount of research is now capitalizing on large-scale and real-world digital data. Each piece of data is a trace of human behavior and offers us a potential clue to understanding basic cognitive principles. However, we have to be able to put the pieces together in a reasonable way, ... En savoir plus

$111.30 CAD

While laboratory research is the backbone of collecting experimental data in cognitive science, a rapidly increasing amount of research is now capitalizing on large-scale and real-world digital data. Each piece of data is a trace of human behavior and offers us a potential clue to understanding basic cognitive principles. However, we have to be able to put the pieces together in a reasonable way,
... En savoir plus
Learning Robotic Process Automation

Create Software robots and automate business processes with the leading RPA tool – UiPath

par Alok Mani Tripathi ...

Design RPA solutions to perform a wide range of transactional tasks with minimal cost and maximum ROIKey FeaturesA beginner's guide to learn Robotic Process Automation and its impact on the modern worldDesign, test, and perform enterprise automation task with UiPathCreate Automation apps and deploy them to all the computers in your departmentBook DescriptionRobotic Process Automation (RPA) enables ... En savoir plus

$37.59 CAD ou Gratuit avec Kobo Plus

Design RPA solutions to perform a wide range of transactional tasks with minimal cost and maximum ROIKey FeaturesA beginner's guide to learn Robotic Process Automation and its impact on the modern worldDesign, test, and perform enterprise automation task with UiPathCreate Automation apps and deploy them to all the computers in your departmentBook DescriptionRobotic Process Automation (RPA) enables
... En savoir plus
Gehirn-Computer-Schnittstellen-Technologien

Beschleunigung der Neurotechnologie zum Nutzen der Menschen

par Claude Clément ...

Collections series Medicine (German Language)
Dieses Buch befasst sich mit dem Bereich der Gehirn-Computer-Schnittstellen (BCI) und dem einzigartigen und besonderen Umfeld aktiver Implantate, die eine elektrische Schnittstelle zum Gehirn, zum Rückenmark, zu peripheren Nerven und zu Organen bilden. Im Mittelpunkt des Buches steht die Heilung und Rehabilitation von Patienten mit schweren neurologischen Beeinträchtigungen, von Lähmungen bis hin ... En savoir plus

$56.29 CAD

Dieses Buch befasst sich mit dem Bereich der Gehirn-Computer-Schnittstellen (BCI) und dem einzigartigen und besonderen Umfeld aktiver Implantate, die eine elektrische Schnittstelle zum Gehirn, zum Rückenmark, zu peripheren Nerven und zu Organen bilden. Im Mittelpunkt des Buches steht die Heilung und Rehabilitation von Patienten mit schweren neurologischen Beeinträchtigungen, von Lähmungen bis hin
... En savoir plus
Hands-On Exploratory Data Analysis with R

Become an expert in exploratory data analysis using R packages

par Radhika Datar, Harish Garg ...

Learn exploratory data analysis concepts using powerful R packages to enhance your R data analysis skillsKey FeaturesSpeed up your data analysis projects using powerful R packages and techniquesCreate multiple hands-on data analysis projects using real-world dataDiscover and practice graphical exploratory analysis techniques across domainsBook DescriptionHands-On Exploratory Data Analysis with R ... En savoir plus

$28.79 CAD ou Gratuit avec Kobo Plus

Learn exploratory data analysis concepts using powerful R packages to enhance your R data analysis skillsKey FeaturesSpeed up your data analysis projects using powerful R packages and techniquesCreate multiple hands-on data analysis projects using real-world dataDiscover and practice graphical exploratory analysis techniques across domainsBook DescriptionHands-On Exploratory Data Analysis with R
... En savoir plus
HCI International 2025 – Late Breaking Papers

27th International Conference on Human-Computer Interaction, HCII 2025, Gothenburg, Sweden, June 22–27, 2025, Proceedings, Part VII

Modifié par Adela Coman, Simona Vasilache, Abbas Moallem ...

Collections Livre 7 - Springer Nature Proceedings Computer Science
The 16-volume set LNCS 16331–16346 constitutes late breaking papers from the 27th International Conference on Human-Computer Interaction, HCI International 2025, held in Gothenburg, Sweden, during June 22-27, 2025.A total of 7972 individuals from academia, research institutes, industry, and government agencies from 92 countries submitted contributions. 1430 papers and 355 posters (as short ... En savoir plus

$102.49 CAD

The 16-volume set LNCS 16331–16346 constitutes late breaking papers from the 27th International Conference on Human-Computer Interaction, HCI International 2025, held in Gothenburg, Sweden, during June 22-27, 2025.A total of 7972 individuals from academia, research institutes, industry, and government agencies from 92 countries submitted contributions. 1430 papers and 355 posters (as short
... En savoir plus
The Django Admin Handbook

The Ultimate Guide to Building Your Back Office in Hours, Not Days

par Christophe Surbier ...

Collections series Professional and Applied Computing (R0)
Django Admin stands as a powerful tool for rapidly developing your business back office interfaces, offering an impressive array of built-in features that can handle many common administrative tasks out of the box. Its strength lies in its ability to quickly generate functional interfaces for data management, user administration, and business operations with minimal code. However developers find ... En savoir plus

$75.49 CAD

PRÉCOMMANDER

Django Admin stands as a powerful tool for rapidly developing your business back office interfaces, offering an impressive array of built-in features that can handle many common administrative tasks out of the box. Its strength lies in its ability to quickly generate functional interfaces for data management, user administration, and business operations with minimal code. However developers find
... En savoir plus
Computer Vision – ECCV 2026

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

Modifié par Paolo Favaro, Zuzana Kukelova, Atsuto Maki, Anna Rohrbach, Konrad Schindler, Federico Tombari ...

Collections Livre 15 - Computer Science (R0)
The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine ... En savoir plus

$115.29 CAD

The multi-volume set of LNCS books with volume numbers 17001 up to 17078 constitutes the refereed proceedings of the 19th European Conference on Computer Vision, ECCV 2026, held in Malmö, Sweden, during September 8–12, 2026.The 2834 papers presented in these proceedings were carefully reviewed and selected from a total of 10,473 submissions. They deal with topics such as computer vision; machine
... En savoir plus
Machine Learning for Time-Series with Python

Forecast, predict, and detect anomalies with state-of-the-art machine learning methods

par Ben Auffarth ...

Get better insights from time-series data and become proficient in model performance analysisKey FeaturesExplore popular and modern machine learning methods including the latest online and deep learning algorithmsLearn to increase the accuracy of your predictions by matching the right model with the right problemMaster time series via real-world case studies on operations management, digital ... En savoir plus

$47.19 CAD ou Gratuit avec Kobo Plus

Get better insights from time-series data and become proficient in model performance analysisKey FeaturesExplore popular and modern machine learning methods including the latest online and deep learning algorithmsLearn to increase the accuracy of your predictions by matching the right model with the right problemMaster time series via real-world case studies on operations management, digital
... En savoir plus
Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Modifié par Shaoying Liu, Zhenhua Duan ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model ... En savoir plus

$51.29 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model
... En savoir plus
Crack the Data Analyst Interview: Real-Time Questions & Expert Answers

par Yash d. ...

The Ultimate Guide to Acing Your Data Analyst Interview—Master SQL, Python, Statistics, Business Analytics & More!Are you preparing for a data analyst interview and feeling overwhelmed by the vast amount of concepts, technical skills, and business scenarios you need to master? Look no further! "Crack the Data Analyst Interview: Real-Time Questions & Expert Answers" is your all-in-one guide to ... En savoir plus

$4.99 CAD ou Gratuit avec Kobo Plus

The Ultimate Guide to Acing Your Data Analyst Interview—Master SQL, Python, Statistics, Business Analytics & More!Are you preparing for a data analyst interview and feeling overwhelmed by the vast amount of concepts, technical skills, and business scenarios you need to master? Look no further! "Crack the Data Analyst Interview: Real-Time Questions & Expert Answers" is your all-in-one guide to
... En savoir plus
Artificial Intelligence in the 21st Century

par Stephen Lucci, Danny Kopec ...

This new edition provides a comprehensive, colorful, up-to-date, and accessible presentation of AI without sacrificing theoretical foundations. It includes numerous examples, applications, full color images, and human interest boxes to enhance student interest. New chapters on robotics and machine learning are now included. Advanced topics cover neural nets, genetic algorithms, natural language ... En savoir plus

$54.99 CAD ou Gratuit avec Kobo Plus

This new edition provides a comprehensive, colorful, up-to-date, and accessible presentation of AI without sacrificing theoretical foundations. It includes numerous examples, applications, full color images, and human interest boxes to enhance student interest. New chapters on robotics and machine learning are now included. Advanced topics cover neural nets, genetic algorithms, natural language
... En savoir plus
Monitoring Hadoop

Get to grips with the intricacies of Hadoop monitoring using the power of Ganglia and Nagios

par Aman Singh ...

Key FeaturesBook DescriptionThis book is useful for Hadoop administrators who need to learn how to monitor and diagnose their clusters. Also, the book will prove useful for new users of the technology, as the language used is simple and easy to grasp.What you will learnInstall Nagios and Ganglia and understand logging at the operating system levelCreate and configure Nagios nodes for monitoring ... En savoir plus

$28.79 CAD ou Gratuit avec Kobo Plus

Key FeaturesBook DescriptionThis book is useful for Hadoop administrators who need to learn how to monitor and diagnose their clusters. Also, the book will prove useful for new users of the technology, as the language used is simple and easy to grasp.What you will learnInstall Nagios and Ganglia and understand logging at the operating system levelCreate and configure Nagios nodes for monitoring
... En savoir plus
Advances in Human Aspects of Transportation

Proceedings of the AHFE 2018 International Conference on Human Factors in Transportation, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

Modifié par Neville Stanton ...

Collections series Springer Nature Proceedings excluding Computer Science
This book discusses the latest advances in research and development, design, operation and analysis of transportation systems and their complementary infrastructures. It reports on both theories and case studies on road and rail, aviation and maritime transportation. Further, it covers a wealth of topics, from accident analysis, vehicle intelligent control, and human-error and safety issues to ... En savoir plus

$370.19 CAD

This book discusses the latest advances in research and development, design, operation and analysis of transportation systems and their complementary infrastructures. It reports on both theories and case studies on road and rail, aviation and maritime transportation. Further, it covers a wealth of topics, from accident analysis, vehicle intelligent control, and human-error and safety issues to
... En savoir plus
Foundations of Information and Knowledge Systems

11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings

Modifié par Andreas Herzig, Juha Kontinen ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020.The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020.The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion;
... En savoir plus
Das C++ Kompendium

STL, Objektfabriken, Exceptions

par Gilbert Brands ...

Collections series Computer Science and Engineering (German Language)
Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft.In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu ... En savoir plus

$32.29 CAD

Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft.In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu
... En savoir plus
La Era Virtual: Un mundo de algoritmos, bots e inteligencia artificial para ti

Espiritual, crecimiento personal, #2

par Ana Elizabeth Duarte Hernandez ...

Collections Livre 2 - Espiritual, crecimiento personal
"La Era Virtual: Un mundo de algoritmos, bots e inteligencia artificial para ti"Describe cómo hoy damos lo mejor de nosotros cuando hacemos clic a una determinada propuesta, damos nuestro amor en una entrega incondicional basada en la confianza y el compromiso de lealtad e integridad, a través de la red esperando recibir otro tanto. Y es que…El amor es el punto de cohesión del universo creado.A lo ... En savoir plus

$9.99 CAD ou Gratuit avec Kobo Plus

"La Era Virtual: Un mundo de algoritmos, bots e inteligencia artificial para ti"Describe cómo hoy damos lo mejor de nosotros cuando hacemos clic a una determinada propuesta, damos nuestro amor en una entrega incondicional basada en la confianza y el compromiso de lealtad e integridad, a través de la red esperando recibir otro tanto. Y es que…El amor es el punto de cohesión del universo creado.A lo
... En savoir plus
Organizational and End-User Interactions: New Explorations

Modifié par Steve Clarke, Ashish Dwivedi ...

As technology continues to advance so does the need for understanding how this will affect us. We, as the users are subject to actions which bring into conflict the needs and characteristics of human actors, the demands of technology, and the wealth of research in End-User Interactions (EUC). Organizational and End-User Interactions: New Explorations provides a comprehensive look at studies that ... En savoir plus

$189.59 CAD

PRÉCOMMANDER

As technology continues to advance so does the need for understanding how this will affect us. We, as the users are subject to actions which bring into conflict the needs and characteristics of human actors, the demands of technology, and the wealth of research in End-User Interactions (EUC). Organizational and End-User Interactions: New Explorations provides a comprehensive look at studies that
... En savoir plus
Advanced Metaprogramming in Classic C++

par Davide Di Gennaro ...

Collections series Professional and Applied Computing (R0)
Advanced Metaprogramming in Classic C++ aims to be both an introduction and a reference to C++ template metaprogramming (TMP); TMP is presented in the book as a set of techniques that will bring a new style in C++ and make code exceptionally clear and efficient. The book deals with language aspects, design patterns, examples and applications (seen as case studies). Special emphasis is put on small ... En savoir plus

$107.79 CAD

Advanced Metaprogramming in Classic C++ aims to be both an introduction and a reference to C++ template metaprogramming (TMP); TMP is presented in the book as a set of techniques that will bring a new style in C++ and make code exceptionally clear and efficient. The book deals with language aspects, design patterns, examples and applications (seen as case studies). Special emphasis is put on small
... En savoir plus
Android NDK Game Development Cookbook

par Sergey Kosarevsky, Viktor Latypov ...

A systematic guide consisting of over 70 recipes which focus on helping you build portable mobile games and aims to enhance your game development skills with clear instructions.If you are a C++ developer who wants to jump into the world of Android game development and who wants to use the power of existing C++ libraries in your existing Android Java applications, then this book is for you. You ... En savoir plus

$34.09 CAD ou Gratuit avec Kobo Plus

A systematic guide consisting of over 70 recipes which focus on helping you build portable mobile games and aims to enhance your game development skills with clear instructions.If you are a C++ developer who wants to jump into the world of Android game development and who wants to use the power of existing C++ libraries in your existing Android Java applications, then this book is for you. You
... 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 :