Rakuten Kobo

Shopping Cart

Item(s) unavailable for purchase

Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.

itemsitem

- Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Unlimited access to eBooks
  
  Unlimited access to audiobooks
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Unlimited access to eBooks

Unlimited access to audiobooks

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Edited by Mikołaj Bojańczyk, Alex Simpson ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from ... Read more

Free

This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from
... Read more
Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their ... Read more

RM 208.49

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their
... Read more
Beginning C++ Compilers

An Introductory Guide to Microsoft C/C++ and MinGW Compilers

by Berik I. Tuleuov, Ademi B. Ospanova ...

Series series Professional and Applied Computing (R0)
This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is ... Read more

RM 214.29

This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is
... Read more
On the Move to Meaningful Internet Systems. OTM 2017 Workshops

Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers

Edited by Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS), ... Read more

RM 208.49

This volume constitutes the refereed proceedings of the Confederated International International Workshop on Enterprise Integration, Interoperability and Networking (EI2N ), Fact Based Modeling ( FBM), Industry Case Studies Program ( ICSP ), International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption of Structured Data for the e-Society (Meta4eS),
... Read more
Math Mutation Classics

Exploring Interesting, Fun and Weird Corners of Mathematics

by Erik Seligman ...

Series series Professional and Applied Computing (R0)
Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a mathematical spin on everything from politicians to hippos. Along the way, you will enjoy the different point of view and ... Read more

RM 111.09

Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a mathematical spin on everything from politicians to hippos. Along the way, you will enjoy the different point of view and
... Read more
Theoretical Aspects of Computing – ICTAC 2016

13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Edited by Augusto Sampaio, Farn Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections ... Read more

RM 208.49

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections
... Read more
Hands-on Signal Analysis with Python

An Introduction

by Thomas Haslwanter ...

Series series Engineering (R0)
This book provides the tools for analyzing data in Python: different types of filters are introduced and explained, such as FIR-, IIR- and morphological filters, as well as their application to one- and two-dimensional data. The required mathematics are kept to a minimum, and numerous examples and working Python programs are included for a quick start. The goal of the book is to enable also novice ... Read more

RM 229.39

This book provides the tools for analyzing data in Python: different types of filters are introduced and explained, such as FIR-, IIR- and morphological filters, as well as their application to one- and two-dimensional data. The required mathematics are kept to a minimum, and numerous examples and working Python programs are included for a quick start. The goal of the book is to enable also novice
... Read more
Options and Derivatives Programming in C++20

Algorithms and Programming Techniques for the Financial Industry

by Carlos Oliveira ...

Series series Professional and Applied Computing (R0)
Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools ... Read more

RM 245.49

Master the features of C++ that are frequently used to write financial software for options and derivatives, including the STL, templates, functional programming, and numerical libraries. This book also covers new features introduced in C++20 and other recent standard releases: modules, concepts, spaceship operators, and smart pointers.You will explore how-to examples covering all the major tools
... Read more
Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Edited by Arie Gurfinkel, Sanjit A. Seshia ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... Read more

RM 208.49

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 4 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Read more

RM 208.49

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Read more
Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Edited by Ralf Hinze ...

Series series Springer Nature Proceedings Computer Science
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate ... Read more

RM 187.69

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate
... Read more
Formal Methods for Industrial Critical Systems

29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings

Edited by Anne E. Haxthausen, Wendelin Serwe ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and ... Read more

RM 271.09

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and
... Read more
Advanced Python Development

Using Powerful Language Features in Real-World Applications

by Matthew Wilkes ...

Series series Professional and Applied Computing (R0)
This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking ... Read more

RM 222.09

This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking
... Read more
Guide to Scientific Computing in C++

by Joe Pitt-Francis, Jonathan Whiteley ...

Series series Computer Science (R0)
This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a ... Read more

RM 208.49

This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a
... Read more
Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of ... Read more

RM 208.49

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... Read more
Interactive Theorem Proving

9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Edited by Jeremy Avigad, Assia Mahboubi ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical ... Read more

RM 375.29

This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical
... Read more
Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Edited by Shuvendu K. Lahiri, Chao Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical ... Read more

RM 208.49

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical
... Read more
Numerical Methods using MATLAB

by Abhishek Gupta ...

Series series Professional and Applied Computing (R0)
Numerical Methods with MATLAB provides a highly-practical reference work to assist anyone working with numerical methods. A wide range of techniques are introduced, their merits discussed and fully working MATLAB code samples supplied to demonstrate how they can be coded and applied.Numerical methods have wide applicability across many scientific, mathematical, and engineering disciplines and are ... Read more

RM 222.09

Numerical Methods with MATLAB provides a highly-practical reference work to assist anyone working with numerical methods. A wide range of techniques are introduced, their merits discussed and fully working MATLAB code samples supplied to demonstrate how they can be coded and applied.Numerical methods have wide applicability across many scientific, mathematical, and engineering disciplines and are
... Read more
Advanced R Statistical Programming and Data Models

Analysis, Machine Learning, and Visualization

by Matt Wiley, Joshua F. Wiley ...

Series series Professional and Applied Computing (R0)
Carry out a variety of advanced statistical analyses including generalized additive models, mixed effects models, multiple imputation, machine learning, and missing data techniques using R. Each chapter starts with conceptual background information about the techniques, includes multiple examples using R to achieve results, and concludes with a case study.Written by Matt and Joshua F. Wiley, ... Read more

RM 311.79

Carry out a variety of advanced statistical analyses including generalized additive models, mixed effects models, multiple imputation, machine learning, and missing data techniques using R. Each chapter starts with conceptual background information about the techniques, includes multiple examples using R to achieve results, and concludes with a case study.Written by Matt and Joshua F. Wiley,
... Read more
Bayesian Networks in R

with Applications in Systems Biology

by Radhakrishnan Nagarajan, Marco Scutari, Sophie Lèbre ...

Series series Mathematics and Statistics (R0)
Bayesian Networks in R with Applications in Systems Biology is unique as it introduces the reader to the essential concepts in Bayesian network modeling and inference in conjunction with examples in the open-source statistical environment R. The level of sophistication is also gradually increased across the chapters with exercises and solutions for enhanced understanding for hands-on ... Read more

RM 354.39

Bayesian Networks in R with Applications in Systems Biology is unique as it introduces the reader to the essential concepts in Bayesian network modeling and inference in conjunction with examples in the open-source statistical environment R. The level of sophistication is also gradually increased across the chapters with exercises and solutions for enhanced understanding for hands-on
... Read more
Usability

Gaining a Competitive Edge

Edited by Judy Hammond, Tom Gross, Janet Wesson ...

Series series Computer Science (R0)
Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government and education, as well as a topic of research. Today, we can safely say that, in many parts of the world, information technology and communications is or is becoming a central force in revolutionising the way that we all ... Read more

RM 375.29

Usability has become increasingly important as an essential part of the design and development of software and systems for all sectors of society, business, industry, government and education, as well as a topic of research. Today, we can safely say that, in many parts of the world, information technology and communications is or is becoming a central force in revolutionising the way that we all
... Read more
Modelling Foundations and Applications

12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Edited by Andrzej Wąsowski, Henrik Lönn ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track ... Read more

RM 208.49

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track
... Read more
Exploring the .NET Core 3.0 Runtime

Through Code Generation and Metadata Inspection

by Roger Villela ...

Series series Professional and Applied Computing (R0)
Explore advanced .NET APIs and create a basic .NET core library with dynamic code generation and metadata inspection to be used by other libraries or client applications. This book starts with the benefits of .NET including its fundamental tasks and tools where you will learn .NET SDK tools and the ILDasm tool. This is followed by a detailed discussion on code generation in .NET API programming ... Read more

RM 144.19

Explore advanced .NET APIs and create a basic .NET core library with dynamic code generation and metadata inspection to be used by other libraries or client applications. This book starts with the benefits of .NET including its fundamental tasks and tools where you will learn .NET SDK tools and the ILDasm tool. This is followed by a detailed discussion on code generation in .NET API programming
... Read more
Pro TypeScript

Application-Scale JavaScript Development

by Steve Fenton ...

Series series Professional and Applied Computing (R0)
Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New ... Read more

RM 311.79

Explore the features of this innovative open source language in depth, from working with the type system through object-orientation to understanding the runtime and the TypeScript compiler. This fully revised and updated second edition of Steve Fenton’s popular book covers everything you need to discover this fascinating language and transform your experience of JavaScript development.What’s New
... Read more

Rakuten Kobo

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

Foundations of Software Science and Computation Structures

Integrated Formal Methods

Beginning C++ Compilers

On the Move to Meaningful Internet Systems. OTM 2017 Workshops

Math Mutation Classics

Theoretical Aspects of Computing – ICTAC 2016

Hands-on Signal Analysis with Python

Options and Derivatives Programming in C++20

Verified Software: Theories, Tools, and Experiments

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Implementation and Application of Functional Languages

Formal Methods for Industrial Critical Systems

Advanced Python Development

Guide to Scientific Computing in C++

Formal Methods and Software Engineering

Interactive Theorem Proving

Automated Technology for Verification and Analysis

Numerical Methods using MATLAB

Advanced R Statistical Programming and Data Models

Bayesian Networks in R

Usability

Modelling Foundations and Applications

Exploring the .NET Core 3.0 Runtime

Pro TypeScript