Rakuten Kobo

A List of Successes That Can Change the World

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella ...

Series series Computer Science (R0)
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute ... Read more

$64.99 CAD

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute
... Read more
Ant: The Definitive Guide

Complete Build Management for Java

by Steve Holzner ...

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full ... Read more

$32.99 CAD

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full
... Read more
Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is ... Read more

$64.99 CAD

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is
... Read more
CODING INTERVIEWS G U I D E

Essential Guide to Prepare You with the Most Effective Case Studies and Coding Interview Questions

by Olivia Miller ...

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike. ... Read more

$6.99 CAD

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike.
... Read more
JavaScript Object Programming

by Martin Rinehart ...

Series series Professional and Applied Computing (R0)
This brief book explains the advantages of the object model, inheritance, both classical and prototypical, and shows how these concepts can be implemented in JavaScript. It also shows how object programming (OP) opens a new world of design possibilities that go far beyond inheritance.This book will help the intermediate JavaScript programmer learn to use both types of inheritance. For classical ... Read more

$42.99 CAD

This brief book explains the advantages of the object model, inheritance, both classical and prototypical, and shows how these concepts can be implemented in JavaScript. It also shows how object programming (OP) opens a new world of design possibilities that go far beyond inheritance.This book will help the intermediate JavaScript programmer learn to use both types of inheritance. For classical
... Read more
Make a 2D RPG in a Weekend

Second Edition: With RPG Maker MV

by Darrin Perez ...

Series series Professional and Applied Computing (R0)
Updated for RPG Maker MV using JavaScript, Make a 2D RPG in a Weekend shows you how to create your very own dungeon crawler game in RPG Maker MV in a single weekend. The entire process, from start to finish, is covered within this book. You will see a variety of dungeon maps and events, all broken down for your convenience.One of the hardest parts of game development is actually finishing a game, ... Read more

$80.99 CAD

Updated for RPG Maker MV using JavaScript, Make a 2D RPG in a Weekend shows you how to create your very own dungeon crawler game in RPG Maker MV in a single weekend. The entire process, from start to finish, is covered within this book. You will see a variety of dungeon maps and events, all broken down for your convenience.One of the hardest parts of game development is actually finishing a game,
... Read more
Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Edited by Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions.
... Read more
Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Edited by Cas Cremers, Anja Lehmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and
... Read more
Euro-Par 2021: Parallel Processing

27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings

Edited by Leonel Sousa, Nuno Roma, Pedro Tomás ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general, ... Read more

$141.99 CAD

This book constitutes the proceedings of the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, held in Lisbon, Portugal, in August 2021. The conference was held virtually due to the COVID-19 pandemic.The 38 full papers presented in this volume were carefully reviewed and selected from 136 submissions. They deal with parallel and distributed computing in general,
... Read more
Accelerator Programming Using Directives

5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Edited by Sunita Chandrasekaran, Guido Juckeland, Sandra Wienke ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are ... Read more

$64.99 CAD

This book constitutes the refereed post-conference proceedings of the 5th International Workshop on Accelerator Programming Using Directives, WACCPD 2018, held in Dallas, TX, USA, in November 2018.The 6 full papers presented have been carefully reviewed and selected from 12 submissions. The papers share knowledge and experiences to program emerging complex parallel computing systems. They are
... Read more
Swift 3 for Absolute Beginners

by Gary Bennett, Brad Lees ...

Series series Professional and Applied Computing (R0)
Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer. This book is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 3.Many people have a difficult time ... Read more

$56.99 CAD

Stay motivated and overcome obstacles while learning to use Swift Playgrounds to be a great iOS developer. This book is perfect for those with no programming background, those with some programming experience but no object-oriented experience, or those that have a great idea for an app but haven’t programmed since school, and it is now updated for Swift 3.Many people have a difficult time
... Read more
String Analysis for Software Verification and Security

by Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin ...

Series series Computer Science (R0)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string ... Read more

$83.99 CAD

This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string
... Read more
Beginning R 4

From Beginner to Pro

by Matt Wiley, Joshua F. Wiley ...

Series series Professional and Applied Computing (R0)
Learn how to use R 4, write and save R scripts, read in and write out data files, use built-in functions, and understand common statistical methods. This in-depth tutorial includes key R 4 features including a new color palette for charts, an enhanced reference counting system (useful for big data), and new data import settings for text (as well as the statistical methods to model text-based, ... Read more

$75.99 CAD

Learn how to use R 4, write and save R scripts, read in and write out data files, use built-in functions, and understand common statistical methods. This in-depth tutorial includes key R 4 features including a new color palette for charts, an enhanced reference counting system (useful for big data), and new data import settings for text (as well as the statistical methods to model text-based,
... Read more
Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Edited by Cyrille Artho, Peter Csaba Ölveczky ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and
... Read more
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

Edited by Tiziana Margaria, Bernhard Steffen ...

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

$64.99 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
... Read more
Mastering Scale and Complexity in Software Reuse

16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Edited by Goetz Botterweck, Claudia Werner ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 16th International Conference on Software Reuse, ICSR 2017, held in Salvador, Brazil, in May 2017.The 8 revised full papers presented together with 3 short papers and 2 keynote presentations were carefully reviewed and selected from 34 submissions. The papers are grouped in topical sections on documentation reuse and repositories; software
... Read more
Beginning Robotics Programming in Java with LEGO Mindstorms

by Wei Lu ...

Series series Professional and Applied Computing (R0)
Discover the difference between making a robot move and making a robot think.Using Mindstorms EV3 and LeJOS—an open source project for Java Mindstorms projects—you’ll learn how to create Artificial Intelligence (AI) for your bot. Your robot will learn how to problem solve, how to plan, and how to communicate. Along the way, you’ll learn about classical AI algorithms for teaching hardware how to ... Read more

$80.99 CAD

Discover the difference between making a robot move and making a robot think.Using Mindstorms EV3 and LeJOS—an open source project for Java Mindstorms projects—you’ll learn how to create Artificial Intelligence (AI) for your bot. Your robot will learn how to problem solve, how to plan, and how to communicate. Along the way, you’ll learn about classical AI algorithms for teaching hardware how to
... Read more
PowerShell Playbook: Taming the Terminal with Wit, Script, and Wizardry

by Scott Markham ...

PowerShell Playbook: Taming the Terminal with Wit, Script, and WizardryIf you've ever looked at your terminal and thought, "Well, that's an intimidating beast," then PowerShell Playbook is here to change the game. This isn't your typical dry, technical manual. Think of it as a guide to the secret world of scripting, where automation meets magic, and you're the wizard in charge. From your first ... Read more

$10.99 CAD or Free with Kobo Plus

PowerShell Playbook: Taming the Terminal with Wit, Script, and WizardryIf you've ever looked at your terminal and thought, "Well, that's an intimidating beast," then PowerShell Playbook is here to change the game. This isn't your typical dry, technical manual. Think of it as a guide to the secret world of scripting, where automation meets magic, and you're the wizard in charge. From your first
... Read more
Symantec Certification

Find out how to pass Symantec exams and get certifications focusing only on the exam tests. Real Practice Test With Detailed Screenshots, Answers And Explanations

by David Mayer ...

Are you preparing for Symantec certifications and looking for the most comprehensive guide in the industry?If you answered "yes" to this question, then this is the perfect educational and informative book for you!Hi. Welcome to "Symantec Exam Study Guide All in One."This study guide provides the student with all the skills needed to pass the Symantec Certification exam. Join over 50,000 I.T. ... Read more

$14.99 CAD or Free with Kobo Plus

Are you preparing for Symantec certifications and looking for the most comprehensive guide in the industry?If you answered "yes" to this question, then this is the perfect educational and informative book for you!Hi. Welcome to "Symantec Exam Study Guide All in One."This study guide provides the student with all the skills needed to pass the Symantec Certification exam. Join over 50,000 I.T.
... Read more
Python Mini Manual

by CodeCraft Dynamics ...

Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with ... Read more

$4.99 CAD or Free with Kobo Plus

Embark on a journey to master Python with this comprehensive guide that covers everything from the basics to advanced concepts. Whether you're new to programming or looking to enhance your skills, this book offers a blend of focused discussions, real-world examples, and practice exercises to help you become proficient in Python.Begin by exploring an overview of Python and its evolution, along with
... Read more
A Practical Guide to Verilog-A

Mastering the Modeling Language for Analog Devices, Circuits, and Systems

by Slobodan Mijalković ...

Series series Professional and Applied Computing (R0)
Discover how Verilog-A is particularly designed to describe behavior and connectivity of circuits and system components for analog SPICE-class simulators, or for continuous time (SPICE-based) kernels in Verilog-AMS simulators. With continuous updates since it’s release 30 years ago, this practical guide provides a comprehensive foundation and understanding to the modeling language in its most ... Read more

$75.99 CAD

Discover how Verilog-A is particularly designed to describe behavior and connectivity of circuits and system components for analog SPICE-class simulators, or for continuous time (SPICE-based) kernels in Verilog-AMS simulators. With continuous updates since it’s release 30 years ago, this practical guide provides a comprehensive foundation and understanding to the modeling language in its most
... Read more
Silicon Dreams

Inside the Mind of Machine Intelligence

by Usama Bajwa, Danish Ali Bajwa ...

Delve into the captivating world of artificial consciousness with "Silicon Dreams: Inside the Mind of Machine Intelligence." This creative exploration takes readers on a thought-provoking journey, contemplating what consciousness or 'thoughts' could resemble for AI. From tracing the historical roots of machine intelligence to speculating on its future frontiers, each chapter meticulously uncovers ... Read more

$8.99 CAD

Delve into the captivating world of artificial consciousness with "Silicon Dreams: Inside the Mind of Machine Intelligence." This creative exploration takes readers on a thought-provoking journey, contemplating what consciousness or 'thoughts' could resemble for AI. From tracing the historical roots of machine intelligence to speculating on its future frontiers, each chapter meticulously uncovers
... Read more
Beginning PostgreSQL on the Cloud

Simplifying Database as a Service on Cloud Platforms

by Baji Shaik, Avinash Vallarapu ...

Series series Professional and Applied Computing (R0)
Get started with PostgreSQL on the cloud and discover the advantages, disadvantages, and limitations of the cloud services from Amazon, Rackspace, Google, and Azure. Once you have chosen your cloud service, you will focus on securing it and developing a back-up strategy for your PostgreSQL instance as part of your long-term plan. Beginning PostgreSQL on the Cloud covers other essential topics such ... Read more

$96.99 CAD

Get started with PostgreSQL on the cloud and discover the advantages, disadvantages, and limitations of the cloud services from Amazon, Rackspace, Google, and Azure. Once you have chosen your cloud service, you will focus on securing it and developing a back-up strategy for your PostgreSQL instance as part of your long-term plan. Beginning PostgreSQL on the Cloud covers other essential topics such
... Read more
Practical C++20 Financial Programming

Problem Solving for Quantitative Finance, Financial Engineering, Business, and Economics

by Carlos Oliveira ...

Series series Professional and Applied Computing (R0)
Apply C++ to programming problems in the financial industry using this hands-on book, updated for C++20. It explains those aspects of the language that are more frequently used in writing financial software, including the Standard Template Library (STL), templates, and various numerical libraries. Practical C++20 Financial Programming also describes many of the important problems in financial ... Read more

$68.99 CAD

Apply C++ to programming problems in the financial industry using this hands-on book, updated for C++20. It explains those aspects of the language that are more frequently used in writing financial software, including the Standard Template Library (STL), templates, and various numerical libraries. Practical C++20 Financial Programming also describes many of the important problems in financial
... 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

Compilers eBooks

Show: