Rakuten Kobo

Reversible Computation

10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

Edited by Jarkko Kari, Irek Ulidowski ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible
... 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

$51.29 CAD

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
Go Recipes

A Problem-Solution Approach

by Shiju Varghese ...

Series series Professional and Applied Computing (R0)
Solve your Go problems using a problem-solution approach. Each recipe is a self-contained answer to a practical programming problem in Go. Go Recipes contains recipes that deal with the fundamentals of Go, allowing you to build simple, reliable, and efficient software. Other topics include working with data using modern NoSQL databases such as MongoDB and RethinkDB. The book provides in-depth ... Read more

$56.29 CAD

Solve your Go problems using a problem-solution approach. Each recipe is a self-contained answer to a practical programming problem in Go. Go Recipes contains recipes that deal with the fundamentals of Go, allowing you to build simple, reliable, and efficient software. Other topics include working with data using modern NoSQL databases such as MongoDB and RethinkDB. The book provides in-depth
... Read more
Einführung in die Bash

Konzepte, Kommandos und Programmierung

by Peter Mandl ...

Series series Computer Science and Engineering (German Language)
Das Buch vermittelt praktisch verwertbare Shell-Kenntnisse mit einem Fokus auf Bash unter Linux. Neben den grundlegenden Konzepten werden die wichtigsten Bash-Kommandos für die Dateibearbeitung, die Vergabe von Rechten und die Prozessverwaltung knapp und prägnant erläutert. Die Kommandos werden mit vielen Übungen praktisch erprobt. Erste Shell-Programme können nach kurzer Zeit eigenständig ... Read more

$21.59 CAD

Das Buch vermittelt praktisch verwertbare Shell-Kenntnisse mit einem Fokus auf Bash unter Linux. Neben den grundlegenden Konzepten werden die wichtigsten Bash-Kommandos für die Dateibearbeitung, die Vergabe von Rechten und die Prozessverwaltung knapp und prägnant erläutert. Die Kommandos werden mit vielen Übungen praktisch erprobt. Erste Shell-Programme können nach kurzer Zeit eigenständig
... Read more
Python 3 - Intensivkurs

Projekte erfolgreich realisieren

Translated by Florian Wollenschein ...

by Mark Pilgrim ...

Series series Computer Science and Engineering (German Language)
Python ist eine übersichtliche Programmiersprache, die objektorientierte und strukturierte Programmierung ermöglicht sowie Aspekt-orientierte und funktionale Features besitzt. In den letzten Jahren kamen immer mehr Python-programmierte Anwendungen hinzu. Mit Python 3 steht nun eine Version zur Verfügung, die wesentliche Änderungen zu früheren Versionen enthält.In Python 3 - Intensivkurs gibt der ... Read more

$50.59 CAD

Python ist eine übersichtliche Programmiersprache, die objektorientierte und strukturierte Programmierung ermöglicht sowie Aspekt-orientierte und funktionale Features besitzt. In den letzten Jahren kamen immer mehr Python-programmierte Anwendungen hinzu. Mit Python 3 steht nun eine Version zur Verfügung, die wesentliche Änderungen zu früheren Versionen enthält.In Python 3 - Intensivkurs gibt der
... Read more
Introduction to Concurrency in Programming Languages

by Matthew J. Sottile, Timothy G. Mattson, Craig E Rasmussen ...

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book ... Read more

Was $126.41 CAD Now $112.67 CAD

Illustrating the effect of concurrency on programs written in familiar languages, this text focuses on novel language abstractions that truly bring concurrency into the language and aid analysis and compilation tools in generating efficient, correct programs. It also explains the complexity involved in taking advantage of concurrency with regard to program correctness and performance. The book
... Read more
Die ultimative FRITZ!Box Bibel - Das Praxisbuch 2. aktualisierte Auflage - mit vielen Insider Tipps und Tricks - komplett in Farbe

by Wolfram Gieseke ...

Die ultimative FRITZ!Box-Bibel - Das Praxisbuch – komplett in Farbe! 2. aktualisierte AuflageUnd sollten einmal Probleme auftreten, steht Ihnen der erfahrene Autor Wolfram Gieseke ebenfalls mit Rat und Tat zur Seite.Aus dem Inhalt: ... Read more

$21.99 CAD or Free with Kobo Plus

Die ultimative FRITZ!Box-Bibel - Das Praxisbuch – komplett in Farbe! 2. aktualisierte AuflageUnd sollten einmal Probleme auftreten, steht Ihnen der erfahrene Autor Wolfram Gieseke ebenfalls mit Rat und Tat zur Seite.Aus dem Inhalt:
... Read more
Interpreting LISP

Programming and Data Structures

by Gary D. Knott ...

Series series Professional and Applied Computing (R0)
Learn Lisp programming in a data structures context, including tables, functions, forms, expressions, typed-pointers, I/O, garbage collection and some applications. This short primer contains a careful description of the data structures manipulated by Lisp functions. These data structures and others, notably hash tables, are also used in constructing a Lisp interpreter.Interpreting Lisp will be of ... Read more

$44.29 CAD

Learn Lisp programming in a data structures context, including tables, functions, forms, expressions, typed-pointers, I/O, garbage collection and some applications. This short primer contains a careful description of the data structures manipulated by Lisp functions. These data structures and others, notably hash tables, are also used in constructing a Lisp interpreter.Interpreting Lisp will be of
... 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

$64.09 CAD

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
Complete Guide to Test Automation

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

by Arnon Axelrod ...

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

$75.49 CAD

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

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Edited by Mauricio Ayala-Rincón, César A. Muñoz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in
... Read more
Die ultimative Synology NAS Bibel

mit vielen Insider Tipps und Tricks - komplett in Farbe

by Wolfram Gieseke ...

Die ultimative Synology NAS BibelMit diesem umfassenden Praxisbuch zu NAS-Systemen der bekannten Firma Synology bekommen Sie nicht nur einen tiefen Einblick in das komplette Thema der Network-Attached-Storage-Geräte, sondern einen Ratgeber mit vielen Tipps, Tricks und praktischen Hinweisen. Sie erfahren alles von der Kaufberatung über die Installation bis zur Nutzung als Musikarchiv, Fotospeicher, ... Read more

$21.99 CAD or Free with Kobo Plus

Die ultimative Synology NAS BibelMit diesem umfassenden Praxisbuch zu NAS-Systemen der bekannten Firma Synology bekommen Sie nicht nur einen tiefen Einblick in das komplette Thema der Network-Attached-Storage-Geräte, sondern einen Ratgeber mit vielen Tipps, Tricks und praktischen Hinweisen. Sie erfahren alles von der Kaufberatung über die Installation bis zur Nutzung als Musikarchiv, Fotospeicher,
... Read more
Languages and Compilers for Parallel Computing

28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Edited by Xipeng Shen, Frank Mueller, James Tuck ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework, ... Read more

$64.09 CAD

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework,
... Read more
A Concise Introduction to Software Engineering

With Open Source and GenAI

by Pankaj Jalote ...

Series series Computer Science (R0)
Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering – a key goal of this textbook.This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices ... Read more

$64.09 CAD

Software engineering has changed: A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-source software. It is therefore important to integrate open source and use of LLMs in teaching software engineering – a key goal of this textbook.This reader-friendly textbook/reference introduces a carefully curated set of concepts and practices
... Read more
Theory and Practice of Model Transformations

8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

Edited by Dimitris Kolovos, Manuel Wimmer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse ... Read more

$60.19 CAD

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse
... Read more
Trends in Functional Programming

18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

Edited by Meng Wang, Scott Owens ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. ... Read more

$51.29 CAD

This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.
... Read more
Practical Scala DSLs

Real-World Applications Using Domain Specific Languages

by Pierluigi Riti ...

Series series Professional and Applied Computing (R0)
Build domain specific languages (DSLs) using Java's most popular functional programming language: Scala. This book introduces the basics of Scala and DSLs using a series of practical examples. In Practical Scala DSLs, you’ll learn to create pragmatic and complete code examples that explain the actual use of DSLs with Scala: a web API and microservices; a custom language; a mobile app; a Forex ... Read more

$57.69 CAD

Build domain specific languages (DSLs) using Java's most popular functional programming language: Scala. This book introduces the basics of Scala and DSLs using a series of practical examples. In Practical Scala DSLs, you’ll learn to create pragmatic and complete code examples that explain the actual use of DSLs with Scala: a web API and microservices; a custom language; a mobile app; a Forex
... Read more
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

Edited by Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in ... Read more

$64.09 CAD

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019.The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Modeling

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

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 1 - 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

$64.09 CAD

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
Beginning Data Science in R

Data Analysis, Visualization, and Modelling for the Data Scientist

by Thomas Mailund ...

Series series Professional and Applied Computing (R0)
Discover best practices for data analysis and software development in R and start on the path to becoming a fully-fledged data scientist. This book teaches you techniques for both data manipulation and visualization and shows you the best way for developing new software packages for R.Beginning Data Science in R details how data science is a combination of statistics, computational science, and ... Read more

$75.49 CAD

Discover best practices for data analysis and software development in R and start on the path to becoming a fully-fledged data scientist. This book teaches you techniques for both data manipulation and visualization and shows you the best way for developing new software packages for R.Beginning Data Science in R details how data science is a combination of statistics, computational science, and
... Read more
Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Edited by Nicola Olivetti, Ashish Tiwari ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International ... Read more

$102.49 CAD

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International
... Read more
Runtime Verification

25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings

Edited by Bettina Könighofer, Hazem Torfah ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring, ... Read more

$83.29 CAD

This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15–19, 2025.The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.The RV conference focuses on all aspects of formal methods for monitoring,
... Read more
Programming Languages

20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Edited by Fernando Castor, Yu David Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016.The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems. ... Read more

$64.09 CAD

This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringá, Brazil, in September 2016.The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
... Read more
Pro Design Patterns in Swift

by Adam Freeman ...

Series series Professional and Applied Computing (R0)
The Swift programming language has transformed the world of iOS development and started a new age of modern development. Pro Design Patterns in Swift shows you how to harness the power and flexibility of Swift to apply the most important and enduring design patterns to your applications, taking your development projects to master level.This book will teach you those design patterns that have ... Read more

$63.49 CAD

The Swift programming language has transformed the world of iOS development and started a new age of modern development. Pro Design Patterns in Swift shows you how to harness the power and flexibility of Swift to apply the most important and enduring design patterns to your applications, taking your development projects to master level.This book will teach you those design patterns that have
... 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: