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
Beginning C for Arduino, Second Edition

Learn C Programming for the Arduino

by Jack Purdum ...

Series series Professional and Applied Computing (R0)
Beginning C for Arduino, Second Edition is written for those who have no prior experience with microcontrollers or programming but would like to experiment and learn both. Updated with new projects and new boards, this book introduces you to the C programming language, reinforcing each programming structure with a simple demonstration of how you can use C to control the Arduino family of ... Read more

RM 261.09

Beginning C for Arduino, Second Edition is written for those who have no prior experience with microcontrollers or programming but would like to experiment and learn both. Updated with new projects and new boards, this book introduces you to the C programming language, reinforcing each programming structure with a simple demonstration of how you can use C to control the Arduino family of
... Read more
Information and Communication Technologies in Education, Research, and Industrial Applications

11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

Edited by Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and ... Read more

RM 208.49

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015.The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and
... Read more
Advanced Topics in C

Core Concepts in Data Structures

by Noel Kalicharan ...

Series series Professional and Applied Computing (R0)
C is the most widely used programming language of all time. It has been used to create almost every category of software imaginable and the list keeps growing every day. Cutting-edge applications, such as Arduino, embeddable and wearable computing are ready-made for C.Advanced Topics In C teaches concepts that any budding programmer should know. You'll delve into topics such as sorting, searching, ... Read more

RM 311.79

C is the most widely used programming language of all time. It has been used to create almost every category of software imaginable and the list keeps growing every day. Cutting-edge applications, such as Arduino, embeddable and wearable computing are ready-made for C.Advanced Topics In C teaches concepts that any budding programmer should know. You'll delve into topics such as sorting, searching,
... Read more
Practical R 4

Applying R to Data Manipulation, Processing and Integration

by Jon Westfall ...

Series series Professional and Applied Computing (R0)
Get started with an accelerated introduction to the R ecosystem, programming language, and tools including R script and RStudio. Utilizing many examples and projects, this book teaches you how to get data into R and how to work with that data using R. Once grounded in the fundamentals, the rest of Practical R 4 dives into specific projects and examples starting with running and analyzing a survey ... Read more

RM 245.49

Get started with an accelerated introduction to the R ecosystem, programming language, and tools including R script and RStudio. Utilizing many examples and projects, this book teaches you how to get data into R and how to work with that data using R. Once grounded in the fundamentals, the rest of Practical R 4 dives into specific projects and examples starting with running and analyzing a survey
... Read more
Search Based Software Engineering

8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

Edited by Federica Sarro, Kalyanmoy Deb ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE) ... Read more

RM 208.49

This book constitutes the refereed proceedings of the 8th International Symposium on Search-Based Software Engineering, SSBSE 2016, held in Raleigh, NC, USA, in October 2016.The 13 revised full papers and 4 short papers presented together with 7 challenge track and 4 graduate student track papers were carefully reviewed and selected from 48 submissions. Search Based Software Engineering (SBSE)
... Read more
Android Studio IDE Quick Reference

A Pocket Guide to Android Studio Development

by Ted Hagos ...

Series series Professional and Applied Computing (R0)
This concise reference book for Android Studio 3 presents the essential Android Studio functions in a well-organized format that can be used as a handy reference. It will quickly demonstrate the usage of the Android Studio IDE to build an Android mobile app step by step.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will ... Read more

RM 144.19

This concise reference book for Android Studio 3 presents the essential Android Studio functions in a well-organized format that can be used as a handy reference. It will quickly demonstrate the usage of the Android Studio IDE to build an Android mobile app step by step.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will
... Read more
Languages and Compilers for Parallel Computing

30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Edited by Lawrence Rauchwerger ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017.The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions ... Read more

RM 208.49

This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017.The 17 full papers presented together with abstracts of 5 keynote talks, 11 invited speakers and 4 poster papers in this volume were carefully reviewed and selected from 26 submissions. LCPC encourages submissions
... Read more
Schnellstart Python

Ein Einstieg ins Programmieren für MINT-Studierende

by Christoph Schäfer ...

Series series Life Science and Basic Disciplines (German Language)
Christoph Schäfer stellt die großartige Welt der Programmierung mit Python vor und ermöglicht einen schnellen Einstieg zur eigenständigen Entwicklung von Skripten. Er verweist darauf, wie die Programmiersprache Python sich in den letzten Jahren neben MATLAB und R als Standard an naturwissenschaftlichen Arbeitsplätzen in Forschung und Entwicklung etabliert hat, und zeigt, dass die große Popularität ... Read more

RM 21.59

Christoph Schäfer stellt die großartige Welt der Programmierung mit Python vor und ermöglicht einen schnellen Einstieg zur eigenständigen Entwicklung von Skripten. Er verweist darauf, wie die Programmiersprache Python sich in den letzten Jahren neben MATLAB und R als Standard an naturwissenschaftlichen Arbeitsplätzen in Forschung und Entwicklung etabliert hat, und zeigt, dass die große Popularität
... Read more
PHP 7 Solutions

Dynamic Web Design Made Easy

by David Powers ...

Series series Professional and Applied Computing (R0)
Make your websites more dynamic by adding a feedback form, creating a private area where members can upload images that are automatically resized, or perhaps storing all your content in a database. David Powers has updated his definitive book to incorporate the latest techniques and changes to PHP, including the arrival of PHP 7. New features include the spaceship and null coalesce operators, ... Read more

RM 222.09

Make your websites more dynamic by adding a feedback form, creating a private area where members can upload images that are automatically resized, or perhaps storing all your content in a database. David Powers has updated his definitive book to incorporate the latest techniques and changes to PHP, including the arrival of PHP 7. New features include the spaceship and null coalesce operators,
... Read more
Rails 5 Revealed

by Alan Bradburne ...

This short early adopter book details both how you'll upgrade existing web applications from Rails 4.2 to 5 and how to create new applications in Rails 5. The headline features, Rails API and Action Cable are each looked at in detail, building small example projects to demonstrate how to build a JSON API and add real-time interactions in order to create a single-page application.All the breaking ... Read more

RM 82.29

This short early adopter book details both how you'll upgrade existing web applications from Rails 4.2 to 5 and how to create new applications in Rails 5. The headline features, Rails API and Action Cable are each looked at in detail, building small example projects to demonstrate how to build a JSON API and add real-time interactions in order to create a single-page application.All the breaking
... Read more
Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Edited by Vlad Rusu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, ... Read more

RM 208.49

This book constitutes revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency,
... Read more
Transactions on Modularity and Composition I

Edited by Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens ...

Series series Computer Science (R0)
The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution. The focus of the journal also includes modelling techniques, new paradigms and languages, development tools, measurement, novel verification and testing approaches, ... Read more

RM 321.09

The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution. The focus of the journal also includes modelling techniques, new paradigms and languages, development tools, measurement, novel verification and testing approaches,
... Read more
SDL 2017: Model-Driven Engineering for Future Internet

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

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

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL ... Read more

RM 208.49

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL
... Read more
Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen ...

Series series Computer Science (R0)
This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, ... Read more

RM 208.49

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems,
... Read more
Tools and Methods of Program Analysis

4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Edited by Vladimir Itsykson, Andre Scedrov, Victor Zakharov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, ... Read more

RM 208.49

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation,
... Read more
Advances in Data Mining. Applications and Theoretical Aspects

16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Edited by Petra Perner ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine, ... Read more

RM 208.49

This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine,
... Read more
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Edited by Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Series Book 1 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... Read more

RM 333.59

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... Read more
NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Edited by Julia M. Badger, Kristin Yvonne Rozier ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem ... Read more

RM 271.09

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem
... Read more
Python Unit Test Automation

Automate, Organize, and Execute Unit Tests in Python

by Ashwin Pajankar ...

Series series Professional and Applied Computing (R0)
Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging.This new edition starts with an ... Read more

RM 222.09

Learn how to automate unit tests of Python 3 with automation libraries, such as doctest, unittest, nose, nose2, pytest, and selenium. This book explores important concepts in software test automation and demonstrates how to automate, organize, and execute unit tests with Python. It also introduces readers to the concepts of web browser automation and logging.This new edition starts with an
... Read more
Essential UMLTm fast

Using SELECT Use Case Tool for Rapid Applications Development

by Aladdin Ayesh ...

Series series Computer Science (R0)
Introduces object-oriented analysis, design and programming using UML - Unified Modeling Language ... Read more

RM 208.49

Introduces object-oriented analysis, design and programming using UML - Unified Modeling Language
... Read more
Pro Functional PHP Programming

Application Development Strategies for Performance Optimization, Concurrency, Testability, and Code Brevity

by Rob Aley ...

Series series Professional and Applied Computing (R0)
Bring the power of functional programming to your PHP applications. From performance optimizations to concurrency, improved testability to code brevity, functional programming has a host of benefits when compared to traditional imperative programming.Part one of Pro Functional PHP Programming takes you through the basics of functional programming, outlining the key concepts and how they translate ... Read more

RM 183.19

Bring the power of functional programming to your PHP applications. From performance optimizations to concurrency, improved testability to code brevity, functional programming has a host of benefits when compared to traditional imperative programming.Part one of Pro Functional PHP Programming takes you through the basics of functional programming, outlining the key concepts and how they translate
... Read more
Good Habits for Great Coding

Improving Programming Skills with Examples in Python

by Michael Stueben ...

Series series Professional and Applied Computing (R0)
Improve your coding skills and learn how to write readable code. Rather than teach basic programming, this book presumes that readers understand the fundamentals, and offers time-honed best practices for style, design, documenting, testing, refactoring, and more.Taking an informal, conversational tone, author Michael Stueben offers programming stories, anecdotes, observations, advice, tricks, ... Read more

RM 183.19

Improve your coding skills and learn how to write readable code. Rather than teach basic programming, this book presumes that readers understand the fundamentals, and offers time-honed best practices for style, design, documenting, testing, refactoring, and more.Taking an informal, conversational tone, author Michael Stueben offers programming stories, anecdotes, observations, advice, tricks,
... Read more
Exploring Robotics with ROBOTIS Systems

by Chi N. Thai ...

Series series Computer Science (R0)
This book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self-learner. It covers wheel-based robots, as well as walking robots. Although it uses the standard “Sense, Think, Act” approach, communications (bot-to-bot and PC-to-bot) programming concepts are ... Read more

RM 166.79

This book presents foundational robotics concepts using the ROBOTIS BIOLOID and OpenCM-904 robotic systems, and is suitable as a curriculum for a first course in robotics for undergraduate students or a self-learner. It covers wheel-based robots, as well as walking robots. Although it uses the standard “Sense, Think, Act” approach, communications (bot-to-bot and PC-to-bot) programming concepts are
... 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

Beginning C for Arduino, Second Edition

Information and Communication Technologies in Education, Research, and Industrial Applications

Advanced Topics in C

Practical R 4

Search Based Software Engineering

Android Studio IDE Quick Reference

Languages and Compilers for Parallel Computing

Schnellstart Python

PHP 7 Solutions

Rails 5 Revealed

Rewriting Logic and Its Applications

Transactions on Modularity and Composition I

SDL 2017: Model-Driven Engineering for Future Internet

Theory and Practice of Formal Methods

Tools and Methods of Program Analysis

Advances in Data Mining. Applications and Theoretical Aspects

Automated Reasoning

NASA Formal Methods

Python Unit Test Automation

Essential UMLTm fast

Pro Functional PHP Programming

Good Habits for Great Coding

Exploring Robotics with ROBOTIS Systems