Rakuten Kobo

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Edited by Kim Guldstrand Larsen, Tim Willemse ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), ... Read more

$49.99 USD

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University),
... Read more
Intelligent Multidimensional Data Clustering and Analysis

Edited by Siddhartha Bhattacharyya, Sourav De, Indrajit Pan, Paramartha Dutta ...

Data mining analysis techniques have undergone significant developments in recent years. This has led to improved uses throughout numerous functions and applications. Intelligent Multidimensional Data Clustering and Analysis is an authoritative reference source for the latest scholarly research on the advantages and challenges presented by the use of cluster analysis techniques. Highlighting ... Read more

$179.99 USD

Data mining analysis techniques have undergone significant developments in recent years. This has led to improved uses throughout numerous functions and applications. Intelligent Multidimensional Data Clustering and Analysis is an authoritative reference source for the latest scholarly research on the advantages and challenges presented by the use of cluster analysis techniques. Highlighting
... Read more
Computer Vision – ECCV 2026

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

Edited by Paolo Favaro, Zuzana Kukelova, Atsuto Maki, Anna Rohrbach, Konrad Schindler, Federico Tombari ...

Series Book 19 - Springer Nature Proceedings Computer Science
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 ... Read more

$98.99 USD

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
... Read more
Cross-Cultural Design

18th International Conference, CCD 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26–31, 2026, Proceedings, Part II

Edited by Pei-Luen Patrick Rau ...

Series Book 2 - Springer Nature Proceedings Computer Science
The 18th International Conference on Cross-Cultural Design, CCD 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026. ... Read more

$80.99 USD

The 18th International Conference on Cross-Cultural Design, CCD 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026.
... Read more
Ensemble Machine Learning

Methods and Applications

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

$215.99 USD

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
... Read more
Man–Machine Interactions 4

4th International Conference on Man–Machine Interactions, ICMMI 2015 Kocierz Pass, Poland, October 6–9, 2015

Edited by Stanisław Kozielski, Aleksandra Gruca, Tadeusz Czachórski, Agnieszka Brachman ...

Series series Springer Nature Proceedings excluding Computer Science
This book provides an overview of the current state of research on development and application of methods, algorithms, tools and systems associated with the studies on man-machine interaction. Modern machines and computer systems are designed not only to process information, but also to work in dynamic environment, supporting or even replacing human activities in areas such as business, industry, ... Read more

$143.99 USD

This book provides an overview of the current state of research on development and application of methods, algorithms, tools and systems associated with the studies on man-machine interaction. Modern machines and computer systems are designed not only to process information, but also to work in dynamic environment, supporting or even replacing human activities in areas such as business, industry,
... Read more
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems

18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

Edited by Anne Remke, Boudewijn R. Haverkort ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of ... Read more

$49.99 USD

This book constitutes the proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2016, held in Münster, Germany, in April 2016.The 12 full papers and 3 short papers included in this volume were carefully reviewed and selected from 23 submissions. The papers deal with the fields of
... Read more
HCI in Business, Government and Organizations

11th International Conference, HCIBGO 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 – July 4, 2024, Proceedings, Part II

Edited by Fiona Fui-Hoon Nah, Keng Leng Siau ...

Series Book 2 - Springer Nature Proceedings Computer Science
This two-volume set of HCIBGO 2024 constitutes the refereed proceedings of the 11h International Conference on HCI in Business, Government and Organizations, held as part of the 26th International Conference, HCI International 2024, which took place in from June 29 - July 4, 2024 in Washington DC, USA.Two volumes of the HCII 2024 proceedings are dedicated to this year’s edition of the HCIBGO ... Read more

$143.99 USD

This two-volume set of HCIBGO 2024 constitutes the refereed proceedings of the 11h International Conference on HCI in Business, Government and Organizations, held as part of the 26th International Conference, HCI International 2024, which took place in from June 29 - July 4, 2024 in Washington DC, USA.Two volumes of the HCII 2024 proceedings are dedicated to this year’s edition of the HCIBGO
... Read more
HCI International 2025 Posters

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

Edited by Constantine Stephanidis, Margherita Antona, Stavroula Ntoa, Gavriel Salvendy ...

Series Book 1 - Springer Nature Proceedings Computer Science
The eight-volume set, CCIS 2522-2529, constitutes the extended abstracts of the posters presented during the 27th International Conference on Human-Computer Interaction, HCII 2025, held in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings were carefully reviewed and selected from 7972 submissions.The papers presented in these ... Read more

$98.99 USD

The eight-volume set, CCIS 2522-2529, constitutes the extended abstracts of the posters presented during the 27th International Conference on Human-Computer Interaction, HCII 2025, held in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings were carefully reviewed and selected from 7972 submissions.The papers presented in these
... Read more
Adaptive User Support

Ergonomic Design of Manually and Automatically Adaptable Software

Edited by Reinhard Oppermann ...

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

$94.99 USD

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
... Read more
Languages and Compilers for Parallel Computing

32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers

Edited by Santosh Pande, Vivek Sarkar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for ... Read more

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.The 8 revised full papers and 3 revised short papers were carefully reviewed and selected from 17 submissions. The scope of the workshop includes advances in programming systems for
... Read more
Open Space

The Global Effort for Open Access to Environmental Satellite Data

by Mariel Borowitz ...

Series series Information Policy
An examination of environmental satellite data sharing policies, offering a model of data-sharing policy development, case and practical recommendations for increasing global data sharing.Key to understanding and addressing climate change is continuous and precise monitoring of environmental conditions. Satellites play an important role in collecting climate data, offering comprehensive global ... Read more

$28.99 USD

An examination of environmental satellite data sharing policies, offering a model of data-sharing policy development, case and practical recommendations for increasing global data sharing.Key to understanding and addressing climate change is continuous and precise monitoring of environmental conditions. Satellites play an important role in collecting climate data, offering comprehensive global
... Read more
Learning Java with Games

by Chong-wei Xu ...

Series series Computer Science (R0)
This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts.Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective. Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does ... Read more

$62.99 USD

This innovative approach to teaching Java language and programming uses game design development as the method to applying concepts.Instead of teaching game design using Java, projects are designed to teach Java in a problem-solving approach that is both a fun and effective. Learning Java with Games introduces the concepts of Java and coding; then uses a project to emphasize those ideas. It does
... Read more
SDL 2017: Model-Driven Engineering for Future Internet

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

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

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

$49.99 USD

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
... Read more
Mastering Machine Learning Algorithms

Expert techniques to implement popular machine learning algorithms and fine-tune your models

by Giuseppe Bonaccorso ...

Explore and master the most important algorithms for solving complex machine learning problems.Key FeaturesDiscover high-performing machine learning algorithms and understand how they work in depthOne-stop solution to mastering supervised, unsupervised, and semi-supervised machine learning algorithms and their implementationMaster concepts related to algorithm tuning, parameter optimization, and ... Read more

$37.99 USD or Free with Kobo Plus

Explore and master the most important algorithms for solving complex machine learning problems.Key FeaturesDiscover high-performing machine learning algorithms and understand how they work in depthOne-stop solution to mastering supervised, unsupervised, and semi-supervised machine learning algorithms and their implementationMaster concepts related to algorithm tuning, parameter optimization, and
... Read more
Rendu 3D avec Blender et Cycles

Le rendu photoréaliste libre

by Henri Hebeisen ...

Series series Accès libre
Le rendu photoréaliste libreOn ne présente plus Blender, le logiciel libre de modélisation, d'animation et de rendu 3D, dont la popularité n'a cessé de croître au fil de ses versions. Mais c'est grâce à la performance de son moteur de rendu Cycles qu'il a pu réellement se hisser parmi les meilleures solutions du marché. Intégré par défaut au logiciel, ce moteur est en effet une petit révolution ... Read more

$20.50 USD or Free with Kobo Plus

Le rendu photoréaliste libreOn ne présente plus Blender, le logiciel libre de modélisation, d'animation et de rendu 3D, dont la popularité n'a cessé de croître au fil de ses versions. Mais c'est grâce à la performance de son moteur de rendu Cycles qu'il a pu réellement se hisser parmi les meilleures solutions du marché. Intégré par défaut au logiciel, ce moteur est en effet une petit révolution
... Read more
The New Relational Database Dictionary

Terms, Concepts, and Examples

by C.J. Date ...

No matter what DBMS you are using—Oracle, DB2, SQL Server, MySQL, PostgreSQL—misunderstandings can always arise over the precise meanings of terms, misunderstandings that can have a serious effect on the success of your database projects. For example, here are some common database terms: attribute, BCNF, consistency, denormalization, predicate, repeating group, join dependency. Do you know what ... Read more

$19.99 USD

No matter what DBMS you are using—Oracle, DB2, SQL Server, MySQL, PostgreSQL—misunderstandings can always arise over the precise meanings of terms, misunderstandings that can have a serious effect on the success of your database projects. For example, here are some common database terms: attribute, BCNF, consistency, denormalization, predicate, repeating group, join dependency. Do you know what
... Read more
Java XML and JSON

Document Processing for Java SE

by Jeff Friesen ...

Series series Professional and Applied Computing (R0)
Use this guide to master the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML and JSON documents from the Java language. New in this edition is coverage of Jackson (a JSON processor for Java) and Oracle’s own Java API for JSON processing (JSON-P), which is a JSON processing API for Java EE that also can be used with Java SE. This new edition of ... Read more

$71.99 USD

Use this guide to master the XML metalanguage and JSON data format along with significant Java APIs for parsing and creating XML and JSON documents from the Java language. New in this edition is coverage of Jackson (a JSON processor for Java) and Oracle’s own Java API for JSON processing (JSON-P), which is a JSON processing API for Java EE that also can be used with Java SE. This new edition of
... Read more
Building REST APIs with Flask

Create Python Web Services with MySQL

by Kunal Relan ...

Series series Professional and Applied Computing (R0)
Develop RESTful web services using the Flask micro-framework and integrate them using MySQL. Use Flask to develop, deploy, and manage REST APIs with easy-to-read and understand Python code. Solve your problem from a choice of libraries. Learn to use MySQL as the web services database for your Flask API using SQLAlchemy ORM.Building REST APIs with Flask provides a primer on Flask, RESTful services, ... Read more

$49.99 USD

Develop RESTful web services using the Flask micro-framework and integrate them using MySQL. Use Flask to develop, deploy, and manage REST APIs with easy-to-read and understand Python code. Solve your problem from a choice of libraries. Learn to use MySQL as the web services database for your Flask API using SQLAlchemy ORM.Building REST APIs with Flask provides a primer on Flask, RESTful services,
... Read more
Le BIM entre recherche et industrialisation

Ingénierie et architecture, enseignement et recherche - Édition bilingue

by Charles-Edouard Tolmer, Régine Teulier ...

Series series Blanche BTP
Édition bilangue français/anglaisLe BIM est actuellement testé dans de multiples démarches d'entreprises de la construction. Ce qui relevait jusqu'ici du questionnement et des expérimentations est désormais à maturité, les entreprises ayant dépassé le stade de l'exploration pour mettre en oeuvre des solutions. On trouvera ici un choix représentatif de travaux portant sur les infrastructures comme ... Read more

$31.89 USD

Édition bilangue français/anglaisLe BIM est actuellement testé dans de multiples démarches d'entreprises de la construction. Ce qui relevait jusqu'ici du questionnement et des expérimentations est désormais à maturité, les entreprises ayant dépassé le stade de l'exploration pour mettre en oeuvre des solutions. On trouvera ici un choix représentatif de travaux portant sur les infrastructures comme
... Read more
Human Interface and the Management of Information. Information Presentation and Visualization

Thematic Area, HIMI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I

Edited by Sakae Yamamoto, Hirohiko Mori ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 12765-12766 constitutes the refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2021, which was held as part of HCI International 2021 and took place virtually during July 24-29, 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 ... Read more

$49.99 USD

The two-volume set LNCS 12765-12766 constitutes the refereed proceedings of the thematic area Human Interface and the Management of Information, HIMI 2021, which was held as part of HCI International 2021 and took place virtually during July 24-29, 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222
... Read more
Adaptive Instructional Systems

4th International Conference, AIS 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings

Edited by Robert A. Sottilare, Jessica Schwarz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Adaptive Instructional Systems, AIS 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The AIS 2022 ... Read more

$76.99 USD

This book constitutes the refereed proceedings of the 4th International Conference on Adaptive Instructional Systems, AIS 2022, held as part of the 23rd International Conference, HCI International 2022, which was held virtually in June/July 2022.The total of 1271 papers and 275 posters included in the HCII 2022 proceedings was carefully reviewed and selected from 5487 submissions.The AIS 2022
... Read more
Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Edited by Jonathan P. Bowen, Huibiao Zhu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of
... Read more
Software Engineering: Specification, Implementation, Verification

by Suad Alagić ...

Series series Computer Science (R0)
This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is ... Read more

$71.99 USD

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification of software systems. In addition, data management is
... 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: