Rakuten Kobo

Functional Data Structures and Algorithms

A Proof Assistant Approach

by Tobias Nipkow ...

Series series ACM Books
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph ... Read more

$39.99 USD

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph
... Read more
The Official Guide to Mermaid.js

Create complex diagrams and beautiful flowcharts easily using text and code

by Knut Sveidqvist, Ashish Jain ...

Get up to speed with using Mermaid diagrams to facilitate a seamless development workflow with the help of real-world examples and expert tips from the creators of the toolKey FeaturesLearn how to use and customize the different diagram types in MermaidDiscover examples of how to add Mermaid to a documentation systemUse Mermaid with various tools available such as editors, wiki, and moreBook ... Read more

$34.99 USD or Free with Kobo Plus

Get up to speed with using Mermaid diagrams to facilitate a seamless development workflow with the help of real-world examples and expert tips from the creators of the toolKey FeaturesLearn how to use and customize the different diagram types in MermaidDiscover examples of how to add Mermaid to a documentation systemUse Mermaid with various tools available such as editors, wiki, and moreBook
... Read more
Conversing With ChatGPT

by Kevin Klein ...

In this captivating exploration of conversational AI, Kevin Klein, an esteemed AI engineer, takes readers on a journey into the world of ChatGPT and its transformative potential. Drawing on his extensive experience and groundbreaking experiments with ChatGPT, Klein provides invaluable insights, practical guidance, and thought-provoking perspectives for readers interested in understanding and ... Read more

$0.99 USD or Free with Kobo Plus

In this captivating exploration of conversational AI, Kevin Klein, an esteemed AI engineer, takes readers on a journey into the world of ChatGPT and its transformative potential. Drawing on his extensive experience and groundbreaking experiments with ChatGPT, Klein provides invaluable insights, practical guidance, and thought-provoking perspectives for readers interested in understanding and
... Read more
Linux For Beginners: The Comprehensive Guide To Learning Linux Operating System And Mastering Linux Command Line Like A Pro

by Voltaire Lumiere ...

Linux For Beginners: The Comprehensive Guide To Learning Linux Operating System And Mastering Linux Command Line Like A ProHave you been looking for a simple guide to Linux that will help you grasp how this amazing operating system functions?Do excessively technical manuals or books written by staff members with little experience overwhelm you?Are you prepared to quickly learn one of the most ... Read more

$9.99 USD or Free with Kobo Plus

Linux For Beginners: The Comprehensive Guide To Learning Linux Operating System And Mastering Linux Command Line Like A ProHave you been looking for a simple guide to Linux that will help you grasp how this amazing operating system functions?Do excessively technical manuals or books written by staff members with little experience overwhelm you?Are you prepared to quickly learn one of the most
... Read more
Proceedings of the Fourth European Conference on Computer-Supported Cooperative Work ECSCW ’95

10–14 September, 1995, Stockholm, Sweden

Edited by H. Marmolin, Y. Sundblad, K. Schmidt ...

Series series Computer Science (R0)
Computer Supported Cooperative Work (CSCW) is an interdisciplinary research area devoted to exploring the issues of designing computer-based systems that enhance the abilities to cooperate and integrate activities in an efficient and flexible manner for people in cooperative work situations.This volume is a rigorous selection of papers that represent both practical and theoretical approaches to ... Read more

$89.99 USD

Computer Supported Cooperative Work (CSCW) is an interdisciplinary research area devoted to exploring the issues of designing computer-based systems that enhance the abilities to cooperate and integrate activities in an efficient and flexible manner for people in cooperative work situations.This volume is a rigorous selection of papers that represent both practical and theoretical approaches to
... Read more
Practical Java Machine Learning

Projects with Google Cloud Platform and Amazon Web Services

by Mark Wickham ...

Series series Professional and Applied Computing (R0)
Build machine learning (ML) solutions for Java development. This book shows you that when designing ML apps, data is the key driver and must be considered throughout all phases of the project life cycle. Practical Java Machine Learning helps you understand the importance of data and how to organize it for use within your ML project. You will be introduced to tools which can help you identify and ... Read more

$44.99 USD

Build machine learning (ML) solutions for Java development. This book shows you that when designing ML apps, data is the key driver and must be considered throughout all phases of the project life cycle. Practical Java Machine Learning helps you understand the importance of data and how to organize it for use within your ML project. You will be introduced to tools which can help you identify and
... Read more
Big Data Analytics and Knowledge Discovery

21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings

Edited by Carlos Ordonez, Il-Yeol Song, Gabriele Anderst-Kotsis, A Min Tjoa, Ismail Khalil ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 21st International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2019, held in Linz, Austria, in September 2019.The 12 full papers and 10 short papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: Applications; patterns; RDF and streams; big data ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 21st International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2019, held in Linz, Austria, in September 2019.The 12 full papers and 10 short papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: Applications; patterns; RDF and streams; big data
... Read more
Julia Quick Syntax Reference

A Pocket Guide for Data Science Programming

by Antonello Lobianco ...

Series series Professional and Applied Computing (R0)
This quick Julia programming language guide is a condensed code and syntax reference to the Julia 1.x programming language, updated with the latest features of the Julia APIs, libraries, and packages. It presents the essential Julia syntax in a well-organized format that can be used as a handy reference.This book provides an introduction that reveals basic Julia structures and syntax; discusses ... Read more

$49.99 USD

This quick Julia programming language guide is a condensed code and syntax reference to the Julia 1.x programming language, updated with the latest features of the Julia APIs, libraries, and packages. It presents the essential Julia syntax in a well-organized format that can be used as a handy reference.This book provides an introduction that reveals basic Julia structures and syntax; discusses
... Read more
PIC® Micro Principles Teachers Pack V11

by Clive W. Humphris ...

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students ... Read more

$3.99 USD

An enhanced eBook published in full colour. Now including extensive interactive content enabling exploration by inserting any values that would occur in a real situation whereby the graphics are redrawn to reflect those changes.Calculations can be also tested against any standard subject textbook to compare the results.Interactive Technology when used in the classroom can motivate passive students
... Read more
Modern Programming Made Easy

Using Java, Scala, Groovy, and JavaScript

by Adam L. Davis ...

Series series Professional and Applied Computing (R0)
Get up and running fast with the basics of programming using Java as an example language. This short book gets you thinking like a programmer in an easy and entertaining way. Modern Programming Made Easy teaches you basic coding principles, including working with lists, sets, arrays, and maps; coding in the object-oriented style; and writing a web application.This book is largely language agnostic ... Read more

$31.99 USD

Get up and running fast with the basics of programming using Java as an example language. This short book gets you thinking like a programmer in an easy and entertaining way. Modern Programming Made Easy teaches you basic coding principles, including working with lists, sets, arrays, and maps; coding in the object-oriented style; and writing a web application.This book is largely language agnostic
... Read more
Complete Guide to Test Automation

Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects

by Arnon Axelrod ...

Series series Professional and Applied Computing (R0)
Rely on this robust and thorough guide to build and maintain successful test automation. As the software industry shifts from traditional waterfall paradigms into more agile ones, test automation becomes a highly important tool that allows your development teams to deliver software at an ever-increasing pace without compromising quality.Even though it may seem trivial to automate the repetitive ... Read more

$53.99 USD

Rely on this robust and thorough guide to build and maintain successful test automation. As the software industry shifts from traditional waterfall paradigms into more agile ones, test automation becomes a highly important tool that allows your development teams to deliver software at an ever-increasing pace without compromising quality.Even though it may seem trivial to automate the repetitive
... Read more
Mastering Ethereum

Implement advanced blockchain applications using Ethereum-supported tools, services, and protocols

by Merunas Grincalaitis ...

An expert guide to implementing fast, secure, and scalable decentralized applications that work with thousands of users in real timeKey FeaturesImplement advanced features of the Ethereum network to build powerful decentralized applicationsBuild smart contracts on different domains using the programming techniques of Solidity and VyperExplore the architecture of Ethereum network to understand ... Read more

$26.99 USD or Free with Kobo Plus

An expert guide to implementing fast, secure, and scalable decentralized applications that work with thousands of users in real timeKey FeaturesImplement advanced features of the Ethereum network to build powerful decentralized applicationsBuild smart contracts on different domains using the programming techniques of Solidity and VyperExplore the architecture of Ethereum network to understand
... Read more
Human Aspects of IT for the Aged Population

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

Edited by Qin Gao, Jia Zhou ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNCS 14725-14726 constitutes the thoroughly refereed proceedings of the 10th International Conference on Human Aspects of IT for the Aged Population (ITAP 2024), held as part of the 26th International Conference on Human-Computer Interaction, HCI International 2024 (HCII 2024), was held as a hybrid event in Washington DC, USA, during June/July 2024.The total of 1271 papers and ... Read more

$116.99 USD

This two-volume set LNCS 14725-14726 constitutes the thoroughly refereed proceedings of the 10th International Conference on Human Aspects of IT for the Aged Population (ITAP 2024), held as part of the 26th International Conference on Human-Computer Interaction, HCI International 2024 (HCII 2024), was held as a hybrid event in Washington DC, USA, during June/July 2024.The total of 1271 papers and
... Read more
Computer Science – Theory and Applications

14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings

Edited by René van Bevern, Gregory Kucherov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019.The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms; ... Read more

$49.99 USD

This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019.The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms;
... Read more
Reliable Software Technologies – Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Edited by Johann Blieberger, Markus Bader ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the ... Read more

$53.99 USD

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the
... Read more
Human Aspects of IT for the Aged Population. Applications, Services and Contexts

Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Edited by Gavriel Salvendy, Jia Zhou ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10297 + 10298 constitutes the refereed proceedings of the Third International Conference on Human Aspects of IT for the Aged Population, ITAP 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process.The 83 papers presented in the ... Read more

$49.99 USD

The two-volume set LNCS 10297 + 10298 constitutes the refereed proceedings of the Third International Conference on Human Aspects of IT for the Aged Population, ITAP 2017, held as part of HCI International 2017 in Vancouver, BC, Canada.HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process.The 83 papers presented in the
... Read more
Enterprise Information Systems

18th International Conference, ICEIS 2016, Rome, Italy, April 25–28, 2016, Revised Selected Papers

Edited by Slimane Hammoudi, Leszek A. Maciaszek, Michele M. Missikoff, Olivier Camp, José Cordeiro ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 18th International Conference on Enterprise Information Systems, ICEIS 2016, held in Rome, Italy, in April 2016.The 23 papers presented in this volume were carefully reviewed and selected from a total of 257 submissions to ICEIS 2016. The volume also contains one invited talk in full paper length. The papers selected to be included in this ... Read more

$49.99 USD

This book constitutes revised selected papers from the 18th International Conference on Enterprise Information Systems, ICEIS 2016, held in Rome, Italy, in April 2016.The 23 papers presented in this volume were carefully reviewed and selected from a total of 257 submissions to ICEIS 2016. The volume also contains one invited talk in full paper length. The papers selected to be included in this
... Read more
Home Informatics and Telematics

Information, Technology and Society

Edited by Andy Sloane, Felix van Rijn ...

Series series Computer Science (R0)
This volume is composed of the best papers submitted to the HOIT2000 conference held in Wolverhampton, U. K. in June 2000. The conference, entitled "IT at home: Virtual influences on everyday life", and the papers reflect the wide variety of these influences that are coming to bear on our everyday experience, be it through the increasing use of computers or the rapid development of new ... Read more

$143.99 USD

This volume is composed of the best papers submitted to the HOIT2000 conference held in Wolverhampton, U. K. in June 2000. The conference, entitled "IT at home: Virtual influences on everyday life", and the papers reflect the wide variety of these influences that are coming to bear on our everyday experience, be it through the increasing use of computers or the rapid development of new
... Read more
Augmented Reality Art

From an Emerging Technology to a Novel Creative Medium

Edited by Vladimir Geroimenko ...

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

$134.99 USD

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
... Read more
Learn to Program with C

by Noel Kalicharan ...

Series series Professional and Applied Computing (R0)
This book teaches computer programming to the complete beginner using the native C language. As such, it assumes you have no knowledge whatsoever about programming. The main goal of this book is to teach fundamental programming principles using C, one of the most widely used programming languages in the world today.We discuss only those features and statements in C that are necessary to achieve ... Read more

$49.99 USD

This book teaches computer programming to the complete beginner using the native C language. As such, it assumes you have no knowledge whatsoever about programming. The main goal of this book is to teach fundamental programming principles using C, one of the most widely used programming languages in the world today.We discuss only those features and statements in C that are necessary to achieve
... Read more
Knowledge Management in the SocioTechnical World

The Graffiti Continues

Edited by Elayne Coakes, Dianne Willis, Steve Clarke ...

Series series Computer Science (R0)
$89.99 USD
Reputation in Artificial Societies

Social Beliefs for Social Order

by Rosaria Conte, Mario Paolucci ...

Series series Computer Science (R0)
Reputation In Artificial Societies discusses the role of reputation in the achievement of social order. The book proposes that reputation is an agent property that results from transmission of beliefs about how the agents are evaluated with regard to a socially desirable conduct. This desirable conduct represents one or another of the solutions to the problem of social order and may consist of ... Read more

$143.99 USD

Reputation In Artificial Societies discusses the role of reputation in the achievement of social order. The book proposes that reputation is an agent property that results from transmission of beliefs about how the agents are evaluated with regard to a socially desirable conduct. This desirable conduct represents one or another of the solutions to the problem of social order and may consist of
... Read more
Advances in Usability, User Experience, Wearable and Assistive Technology

Proceedings of the AHFE 2021 Virtual Conferences on Usability and User Experience, Human Factors and Wearable Technologies, Human Factors in Virtual Environments and Game Design, and Human Factors and Assistive Technology, July 25-29, 2021, USA

Edited by Tareq Z. Ahram, Christianne S. Falcão ...

Series series Springer Nature Proceedings excluding Computer Science
This book addresses emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human interactions with products, services and systems and focuses on finding effective approaches for improving the user experience. It also discusses key issues in designing and providing assistive devices and ... Read more

$260.99 USD

This book addresses emerging issues in usability, interface design, human–computer interaction, user experience and assistive technology. It highlights research aimed at understanding human interactions with products, services and systems and focuses on finding effective approaches for improving the user experience. It also discusses key issues in designing and providing assistive devices and
... Read more
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part IX

Edited by Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky, Torsten Sattler, Gül Varol ...

Series Book 9 - Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. They deal with topics such as computer vision; ... Read more

$89.99 USD

The multi-volume set of LNCS books with volume numbers 15059 up to 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. They deal with topics such as computer vision;
... 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: