Rakuten Kobo

Automated Deduction – CADE 30

30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings

Edited by Clark Barrett, Uwe Waldmann ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.The 33 full papers and 4 short papers included ... Read more

Free

This open access book constitutes the proceedings of the 30th International Conference on Automated Deduction, CADE 30, which took place in Stuttgart, Germany, during July 2025.CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.The 33 full papers and 4 short papers included
... Read more
Packaging and Distribution Essentials: How to Prepare, Package, and Ship Applications for Open-Source Operating Systems

by Jordan Vale ...

Master the Final Mile of Software DevelopmentYou have spent weeks writing the code for your application. You have squashed the bugs and optimized the performance. But how do you get your software into the hands of your users reliably and securely?Packaging and Distribution Essentials is your definitive guide to preparing, packaging, and shipping applications for open source operating systems. ... Read more

$6.99 CAD or Free with Kobo Plus

Master the Final Mile of Software DevelopmentYou have spent weeks writing the code for your application. You have squashed the bugs and optimized the performance. But how do you get your software into the hands of your users reliably and securely?Packaging and Distribution Essentials is your definitive guide to preparing, packaging, and shipping applications for open source operating systems.
... Read more
The Ultimate Technical Behavioral Interview Prep Guide

Master STAR Method, Crush System Design & Coding Questions, and Land Your Dream Tech Job with Expert Frameworks

by Albert Shaaden ...

Are you ready to crack the code on technical and behavioral interviews at top-tier tech companies?The modern tech interview landscape is notoriously grueling. It is no longer just about writing flawless code on a whiteboard; hiring managers want to see how you design scalable systems, communicate under pressure, and demonstrate real leadership. If you struggle to balance the technical deep-dives ... Read more

$13.94 CAD or Free with Kobo Plus

Are you ready to crack the code on technical and behavioral interviews at top-tier tech companies?The modern tech interview landscape is notoriously grueling. It is no longer just about writing flawless code on a whiteboard; hiring managers want to see how you design scalable systems, communicate under pressure, and demonstrate real leadership. If you struggle to balance the technical deep-dives
... Read more
Rigorous Methods in Theory and Practice

Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday

Edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, Bernhard Thalheim ...

Series series Computer Science (R0)
This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns ... Read more

$83.29 CAD

This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns
... Read more
Global Sourcing of Digital Services: Micro and Macro Perspectives

11th Global Sourcing Workshop 2017, La Thuile, Italy, February 22-25, 2017, Revised Selected Papers

Edited by Ilan Oshri, Julia Kotlarsky, Leslie P. Willcocks ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 11th international Global Sourcing Workshop 2017, held in La Thuile, Italy, in February 2017. The 10 contributions included were carefully reviewed and selected from 45 submissions.The book offers a review of the key topics in sourcing of services, populated with practical frameworks that serve as a tool kit to students and managers. The range ... Read more

$64.09 CAD

This book constitutes revised selected papers from the 11th international Global Sourcing Workshop 2017, held in La Thuile, Italy, in February 2017. The 10 contributions included were carefully reviewed and selected from 45 submissions.The book offers a review of the key topics in sourcing of services, populated with practical frameworks that serve as a tool kit to students and managers. The range
... Read more
Algorithms and Architectures for Parallel Processing

15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III

Edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li ...

Series Book 3 - Springer Nature Proceedings Computer Science
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602 ... Read more

$64.09 CAD

This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602
... Read more
Stable Design Patterns for Software and Systems

by Mohamed Fayad ...

Attention to design patterns is unquestionably growing in software engineering because there is a strong belief that using made to measure solutions for solving frequently occurring problems encountered throughout the design phase greatly reduces the total cost and the time of developing software products. Stable Design Patterns for Software and Systems presents a new and fresh approach for ... Read more

$83.81 CAD

Attention to design patterns is unquestionably growing in software engineering because there is a strong belief that using made to measure solutions for solving frequently occurring problems encountered throughout the design phase greatly reduces the total cost and the time of developing software products. Stable Design Patterns for Software and Systems presents a new and fresh approach for
... Read more
Future Business Software

Current Trends in Business Software Development

Edited by Christian Webel, Thomas Feld, Joachim Schnitter, Lutz Heuser, Gino Brunetti ...

Series series Springer Nature Proceedings Computer Science
What will business software look like in the future? And how will it be developed?This book covers the proceedings of the first international conference on Future Business Software – a new think tank discussing the trends in enterprise software with speakers from Europe’s most successful software companies and the leading research institutions. The articles focus on two of the most prominent ... Read more

$179.39 CAD

What will business software look like in the future? And how will it be developed?This book covers the proceedings of the first international conference on Future Business Software – a new think tank discussing the trends in enterprise software with speakers from Europe’s most successful software companies and the leading research institutions. The articles focus on two of the most prominent
... Read more
Software and Systems Traceability

Edited by Jane Huang, Orlena Gotel, Andrea Zisman ...

Series series Computer Science (R0)
Software and Systems Traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. The term software traceability is derived from the concept of requirements traceability. Requirements traceability is the ability to track a requirement all the way from its origins to the downstream work products ... Read more

$204.99 CAD

Software and Systems Traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. The term software traceability is derived from the concept of requirements traceability. Requirements traceability is the ability to track a requirement all the way from its origins to the downstream work products
... Read more
Central European Functional Programming School

5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Edited by Lehel Csató, Viktória Zsók, Zoltán Horváth ...

Series series Computer Science (R0)
This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 5 papers are selected papers of the ... Read more

$64.09 CAD

This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 5 papers are selected papers of the
... Read more
Enterprise Interoperability

6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedings

Edited by Vincent Chapurlat, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 6th International IFIP Working Conference on Enterprise Interoperability, IWEI 2015, held in Nîmes, France, in May 2015. The event was organized by the IFIP Working Group 5.8 on Enterprise Interoperability in co-operation with INTEROP-VLab and PGSO (Pole Grand Sud Ouest) from INTEROP-Vlab. The theme for IWEI 2015 was “From Enterprise Interoperability ... Read more

$64.09 CAD

This book constitutes the proceedings of the 6th International IFIP Working Conference on Enterprise Interoperability, IWEI 2015, held in Nîmes, France, in May 2015. The event was organized by the IFIP Working Group 5.8 on Enterprise Interoperability in co-operation with INTEROP-VLab and PGSO (Pole Grand Sud Ouest) from INTEROP-Vlab. The theme for IWEI 2015 was “From Enterprise Interoperability
... Read more
jMonkeyEngine 3.0 : Beginner's Guide

by Ruth Kusterer ...

With plenty of practical examples, screenshots and example code, create a complete game step by step. Learn by doing. Less theory, more results! If you have an inventive mind, are experienced in Java, enjoy looking through the smoke and mirrors of VFX and the world of game mechanics then this book is for you. ... Read more

$34.09 CAD or Free with Kobo Plus

With plenty of practical examples, screenshots and example code, create a complete game step by step. Learn by doing. Less theory, more results! If you have an inventive mind, are experienced in Java, enjoy looking through the smoke and mirrors of VFX and the world of game mechanics then this book is for you.
... Read more
Security, Privacy, and Applied Cryptography Engineering

9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings

Edited by Shivam Bhasin, Avi Mendelson, Mridul Nandi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2019, held in Gandhinagar, India, in December 2019. The 12 full papers presented were carefully reviewed and selected from 24 submissions. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 9th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2019, held in Gandhinagar, India, in December 2019. The 12 full papers presented were carefully reviewed and selected from 24 submissions. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic
... Read more
Democratizing No-Code Application Development with Bubble

A beginner's guide to rapidly building applications with powerful features of Bubble without code

by Caio Calderari ...

No coding skills? No problem. Tap into the potential of Bubble with this hands-on guide for swift business application creation and automationKey FeaturesLearn how the Bubble Editor works to configure, test, and deploy business apps without codingGain hands-on experience with Bubble by building a real-world application step-by-stepDiscover valuable tips and tricks for developing custom ... Read more

$38.39 CAD or Free with Kobo Plus

No coding skills? No problem. Tap into the potential of Bubble with this hands-on guide for swift business application creation and automationKey FeaturesLearn how the Bubble Editor works to configure, test, and deploy business apps without codingGain hands-on experience with Bubble by building a real-world application step-by-stepDiscover valuable tips and tricks for developing custom
... Read more
Processing for Visual Artists

How to Create Expressive Images and Interactive Art

by Andrew Glassner ...

Walk with veteran author Andrew Glassner; see exactly how each of his pieces evolves, including the mistakes he's made along the way (and how to fix them!), and the times when he changed direction. As your knowledge and skills grow, you'll understand why Processing is such a powerful tool for self-expression. It offers a 21st-century medium for expressing new ideas. This book gives you everything ... Read more

Was $120.99 CAD Now $108.55 CAD

Walk with veteran author Andrew Glassner; see exactly how each of his pieces evolves, including the mistakes he's made along the way (and how to fix them!), and the times when he changed direction. As your knowledge and skills grow, you'll understand why Processing is such a powerful tool for self-expression. It offers a 21st-century medium for expressing new ideas. This book gives you everything
... Read more
Ultimate iOS App Development Guide

Master iOS App Development by Building Five End-to-End iOS Applications Using Swift, Xcode, HealthKit, and CoreML (English Edition)

by Surabhi Chopada ...

Build Your Dream iOS Apps: A Project-Based Learning ApproachBook DescriptionUltimate iOS App Development Guide is your gateway to the dynamic world of iOS App development and guides you through the core concepts and techniques essential for iOS app creation. Each chapter delves into crucial components of iOS development, with clear explanations and practical examples to apply your knowledge in ... Read more

$34.29 CAD or Free with Kobo Plus

Build Your Dream iOS Apps: A Project-Based Learning ApproachBook DescriptionUltimate iOS App Development Guide is your gateway to the dynamic world of iOS App development and guides you through the core concepts and techniques essential for iOS app creation. Each chapter delves into crucial components of iOS development, with clear explanations and practical examples to apply your knowledge in
... Read more
Artificial Intelligence and Communication Techniques in Industry 5.0

Edited by Payal Bansal, Rajeev Kumar, Ashwani Kumar, Daniel D. Dasig, Jr. ...

Series series Advances in Manufacturing, Design and Computational Intelligence Techniques
The book highlights the role of artificial intelligence in driving innovation, productivity, and efficiency. It further covers applications of artificial intelligence for digital marketing in Industry 5.0 and discusses data security and privacy issues in artificial intelligence, risk assessments, and identification strategies.This book:Discusses the role of artificial intelligence applications for ... Read more

$321.55 CAD

The book highlights the role of artificial intelligence in driving innovation, productivity, and efficiency. It further covers applications of artificial intelligence for digital marketing in Industry 5.0 and discusses data security and privacy issues in artificial intelligence, risk assessments, and identification strategies.This book:Discusses the role of artificial intelligence applications for
... Read more
Advanced Neo4j Cypher Puzzles with Answers

by Cristian Scutaru ...

Become an expert in Neo4j Cypher programming!• Learn advanced Cypher through a large collection of complex queries.• Study complex and advanced Neo4j Cypher queries.• Queries collected from the Knowledge Base, Neo4j forums, Q&A sites.• Each query, good or bad, is properly discussed in the answers.• Look at multiple ways to implement a Neo4j Cypher query.• Each answer contains a list of references ... Read more

$9.99 CAD or Free with Kobo Plus

Become an expert in Neo4j Cypher programming!• Learn advanced Cypher through a large collection of complex queries.• Study complex and advanced Neo4j Cypher queries.• Queries collected from the Knowledge Base, Neo4j forums, Q&A sites.• Each query, good or bad, is properly discussed in the answers.• Look at multiple ways to implement a Neo4j Cypher query.• Each answer contains a list of references
... Read more
Service-Oriented Computing

22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3–6, 2024, Proceedings, Part I

Edited by Walid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3–6, 2024.The 38 full papers and 19 short papers presented in these proceedings were carefully reviewed and selected from 255 submissions. The papers are organized in the following topical sections:Part ... Read more

$96.09 CAD

The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd International Conference on Service-Oriented Computing, ICSOC 2024, held in Tunis, Tunisia, during December 3–6, 2024.The 38 full papers and 19 short papers presented in these proceedings were carefully reviewed and selected from 255 submissions. The papers are organized in the following topical sections:Part
... Read more
The Practical Linux Handbook

A Beginner's Guide to Mastering Everyday Tasks

by Vajo Lukic ...

This bestselling guide on Amazon is now available on Kobo, helping you to master Linux!Master Linux command line, bash scripting, and system administration with this practical guide covering over 70 essential Linux commands and 190 hands-on examples. This handbook helps you tackle daily tasks with confidence, featuring detailed explanations for Ubuntu, Fedora, and Kali Linux distributions. ... Read more

$11.19 CAD

This bestselling guide on Amazon is now available on Kobo, helping you to master Linux!Master Linux command line, bash scripting, and system administration with this practical guide covering over 70 essential Linux commands and 190 hands-on examples. This handbook helps you tackle daily tasks with confidence, featuring detailed explanations for Ubuntu, Fedora, and Kali Linux distributions.
... Read more
Project Management Quick-N Dirty

by Tom Henricksen ...

Ever felt overwhelmed by the prospect of managing a project? You're not alone. Many project managers, especially those new to the role, struggle with knowing where to begin. This concise resource will equip you with the fundamental skills and knowledge to confidently manage projects of any size, from initial planning to successful completion.This guide will help you avoid common project management ... Read more

$7.99 CAD or Free with Kobo Plus

Ever felt overwhelmed by the prospect of managing a project? You're not alone. Many project managers, especially those new to the role, struggle with knowing where to begin. This concise resource will equip you with the fundamental skills and knowledge to confidently manage projects of any size, from initial planning to successful completion.This guide will help you avoid common project management
... Read more
Seven Mobile Apps in Seven Weeks

Native Apps, Multiple Platforms

by Tony Hillerson ...

Answer the question "Can we build this for ALL the devices?" with a resounding YES. Learn how to build apps using seven different platforms: Mobile Web, iOS, Android, Windows, RubyMotion, React Native, and Xamarin. Find out which cross-platform solution makes the most sense for your needs, whether you're new to mobile or an experienced developer expanding your options. Start covering all of the ... Read more

$37.59 CAD

Answer the question "Can we build this for ALL the devices?" with a resounding YES. Learn how to build apps using seven different platforms: Mobile Web, iOS, Android, Windows, RubyMotion, React Native, and Xamarin. Find out which cross-platform solution makes the most sense for your needs, whether you're new to mobile or an experienced developer expanding your options. Start covering all of the
... Read more
Computer Aided Systems Theory – EUROCAST 2024

19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 – March 1, 2024, Revised Selected Papers, Part III

Edited by Alexis Quesada-Arencibia, Michael Affenzeller, Roberto Moreno-Díaz ...

Series Book 3 - Springer Nature Proceedings Computer Science
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.The 104 full papers included in this book were carefully reviewed and selected from 150 submissions. They were organized in topical sections as follows :Part I : Systems ... Read more

$83.29 CAD

This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.The 104 full papers included in this book were carefully reviewed and selected from 150 submissions. They were organized in topical sections as follows :Part I : Systems
... Read more
Blockchain-based Internet of Things

Opportunities, Challenges and Solutions

Edited by Iraq Ahmad Reshi, Sahil Sholla ...

This book presents an overview of the blockchain-based Internet of Things systems, along with the opportunities, challenges, and solutions in diverse fields such as business, education, agriculture, and healthcare. It discusses scalability, security, layers, threats, and countermeasures in blockchain-based Internet of Things network.Elaborates on the opportunities presented by combining blockchain ... Read more

$101.68 CAD

This book presents an overview of the blockchain-based Internet of Things systems, along with the opportunities, challenges, and solutions in diverse fields such as business, education, agriculture, and healthcare. It discusses scalability, security, layers, threats, and countermeasures in blockchain-based Internet of Things network.Elaborates on the opportunities presented by combining blockchain
... 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

Software Development eBooks

Show: