Rakuten Kobo

Nákupní košík

Položka(y), kterou si nemůžete koupit

Prosím, zkontrolujte svůj košík. Nedostupnou položku (y) můžete odebrat nyní nebo ji automaticky odebereme v pokladně.

položkypoložka

- Zahrnuje elektronické knihy
  
  Zahrnuje audioknihy
  
  Zahrnuje 30 hodin poslechu
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  
  Získejte každý měsíc jeden kredit na audioknihu podle vlastního výběru.
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  
  Zahrnuje elektronické knihy
  
  Zahrnuje audioknihy
  
  Zahrnuje 30 hodin poslechu
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  Audiokniha
  podle ,
  
  Dostupné:
  
  . Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions.
  
  Předobjednávka
  1 audiokniha měsíčně
  
  + 30denní zkušební verze ZDARMA
  
  Zvláštní nabídka
  
  Každý měsíc získáte 1 kredit, který můžete vyměnit za audioknihu dle svého výběru
  
  * Žádný závazek, lze zrušit kdykoliv
  
  ZDARMA

položkypoložka

Zahrnuje elektronické knihy

Zahrnuje audioknihy

Zahrnuje 30 hodin poslechu

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions

Získejte každý měsíc jeden kredit na audioknihu podle vlastního výběru.

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions

Zahrnuje elektronické knihy

Zahrnuje audioknihy

Zahrnuje 30 hodin poslechu

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
Audiokniha
podle ,

Dostupné:
. Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions.

Předobjednávka
1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Zvláštní nabídka

Každý měsíc získáte 1 kredit, který můžete vyměnit za audioknihu dle svého výběru

* Žádný závazek, lze zrušit kdykoliv

ZDARMA

Doporučeno pro vás

Crafting Interpreters

podle Robert Nystrom ...

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That ... Přečtěte si více

833,56 Kč

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That
... Přečtěte si více
Data Parallel C++

Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL

podle James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian ...

Série série Professional and Applied Computing (R0)
Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels. It is full of practical advice, detailed explanations, and code examples to illustrate key topics.Data parallelism in C++ enables access to parallel resources in a modern ... Přečtěte si více

Zdarma

Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels. It is full of practical advice, detailed explanations, and code examples to illustrate key topics.Data parallelism in C++ enables access to parallel resources in a modern
... Přečtěte si více
ChatGPT for Coders

Unlock the Power of AI with ChatGPT: A Comprehensive Guide to Efficient and Effective Coding

podle Sean A Williams ...

Série série How to
This book takes you on a journey through the world of coding with ChatGPT, exploring the benefits and applications of this cutting-edge technology.From understanding basic coding concepts and working with data to web development, machine learning, and beyond, this guide provides a comprehensive understanding of coding with ChatGPT. You will learn how to debug code, integrate ChatGPT with other ... Přečtěte si více

104,12 Kč nebo zdarma s Kobo Plus

This book takes you on a journey through the world of coding with ChatGPT, exploring the benefits and applications of this cutting-edge technology.From understanding basic coding concepts and working with data to web development, machine learning, and beyond, this guide provides a comprehensive understanding of coding with ChatGPT. You will learn how to debug code, integrate ChatGPT with other
... Přečtěte si více
Pro TBB

C++ Parallel Programming with Threading Building Blocks

podle Michael Voss, Rafael Asenjo, James Reinders ...

Série série Professional and Applied Computing (R0)
This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices ... Přečtěte si více

Zdarma

This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices
... Přečtěte si více
Coordination Models and Languages

22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Upravil: Simon Bliudze, Laura Bocchi ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.The 12 full papers and 6 short papers ... Přečtěte si více

1 093,79 Kč

This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic.The 12 full papers and 6 short papers
... Přečtěte si více
Learn Cocoa on the Mac

podle Jack Nutting, Peter Clark ...

The Cocoa frameworks are some of the most powerful for creating native OS X apps available today. However, for a first-time Mac developer, just firing up Xcode 4 and starting to browse the documentation can be a daunting and frustrating task. The Objective-C class reference documentation alone would fill thousands of printed pages, not to mention all the other tutorials and guides included with ... Přečtěte si více

590,49 Kč

The Cocoa frameworks are some of the most powerful for creating native OS X apps available today. However, for a first-time Mac developer, just firing up Xcode 4 and starting to browse the documentation can be a daunting and frustrating task. The Objective-C class reference documentation alone would fill thousands of printed pages, not to mention all the other tutorials and guides included with
... Přečtěte si více
A Practical Guide to Verilog-A

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

podle Slobodan Mijalković ...

Série série 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 ... Přečtěte si více

1 287,99 Kč

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
... Přečtěte si více
ICT Education

50th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2021, Johannesburg, South Africa, July 16, 2021, Revised Selected Papers

Upravil: Wai Sze Leung, Marijke Coetzee, Duncan Coulter, Deon Cotterrell ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 50th Annual Conference of the Southern African Computer Lecturers' Association on ICT Education, SACLA 2021, held in Johannesburg, South Africa in July 2021.The 9 revised full papers presented were carefully reviewed and selected fromthe 23 submissions. One invited paper was also included in this volume. The papers are organized in following ... Přečtěte si více

1 421,89 Kč

This book constitutes the refereed proceedings of the 50th Annual Conference of the Southern African Computer Lecturers' Association on ICT Education, SACLA 2021, held in Johannesburg, South Africa in July 2021.The 9 revised full papers presented were carefully reviewed and selected fromthe 23 submissions. One invited paper was also included in this volume. The papers are organized in following
... Přečtěte si více
Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Upravil: Manuel V Hermenegildo, Pedro Lopez-Garcia ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to ... Přečtěte si více

1 093,79 Kč

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to
... Přečtěte si více
Perspectives of System Informatics

10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Upravil: Manuel Mazzara, Andrei Voronkov ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, ... Přečtěte si více

1 093,79 Kč

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis,
... Přečtěte si více
Future Data and Security Engineering

4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

Upravil: Josef Küng, Roland Wagner, Erich J. Neuhold, Makoto Takizawa, Tran Khanh Dang, Nam Thoai ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and ... Přečtěte si více

1 093,79 Kč

This book constitutes the refereed proceedings of the Third International Conference on Future Data and Security Engineering, FDSE 2016, held in Can Tho City, Vietnam, in November 2016.The 28 revised full papers and 7 short papers presented were carefully reviewed and selected from 128 submissions.The accepted papers were grouped into the following sessions:Advances in query processing and
... Přečtěte si více
Graph Transformation, Specifications, and Nets

In Memory of Hartmut Ehrig

Upravil: Reiko Heckel, Gabriele Taentzer ...

Série série Computer Science (R0)
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular ... Přečtěte si více

1 093,79 Kč

This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in.These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular
... Přečtěte si více
Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Upravil: Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, ... Přečtěte si více

1 093,79 Kč

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018.The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines,
... Přečtěte si více
Topics in Parallel and Distributed Computing

Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

Upravil: Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman, Charles Weems ...

Série série Computer Science (R0)
This book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and ... Přečtěte si více

1 203,09 Kč

This book introduces beginning undergraduate students of computing and computational disciplines to modern parallel and distributed programming languages and environments, including map-reduce, general-purpose graphics processing units (GPUs), and graphical user interfaces (GUI) for mobile applications. The book also guides instructors via selected essays on what and how to introduce parallel and
... Přečtěte si více
Introduction to Octave

For Engineers and Scientists

podle Sandeep Nagar ...

Série série Professional and Applied Computing (R0)
Familiarize yourself with Octave using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Octave, which can run MATLAB files without modification. Introduction to Octave is useful for industry engineers, researchers, and students who are looking for open-source ... Přečtěte si více

1 165,29 Kč

Familiarize yourself with Octave using this concise, practical tutorial that is focused on writing code to learn concepts. Starting from the basics, this book covers array-based computing, plotting, and working with files in Octave, which can run MATLAB files without modification. Introduction to Octave is useful for industry engineers, researchers, and students who are looking for open-source
... Přečtěte si více
Inductive Logic Programming

28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Upravil: Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.The 10 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform ... Přečtěte si více

1 093,79 Kč

This book constitutes the refereed conference proceedings of the 28th International Conference on Inductive Logic Programming, ILP 2018, held in Ferrara, Italy, in September 2018.The 10 full papers presented were carefully reviewed and selected from numerous submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform
... Přečtěte si více
Functional and Logic Programming

13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

Upravil: Andy King, Oleg Kiselyov ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of ... Přečtěte si více

1 028,09 Kč

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016.The 14 papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover the following topics: functional and logic programming; program transformation and re-writing; and extracting programs from proofs of
... Přečtěte si více
Fundamental Approaches to Software Engineering

22nd International Conference, FASE 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

Upravil: Reiner Hähnle, Wil van der Aalst ...

Série série Springer Nature Proceedings Computer Science
This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed ... Přečtěte si více

Zdarma

This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed
... Přečtěte si více
Thinking with Diagrams

Upravil: Alan F. Blackwell ...

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... Přečtěte si více

2 843,99 Kč

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research
... Přečtěte si více
Beginning C for Arduino, Second Edition

Learn C Programming for the Arduino

podle Jack Purdum ...

Série série 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 ... Přečtěte si více

1 369,89 Kč

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
... Přečtěte si více
Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Upravil: Barbara Jobstmann, K. Rustan M. Leino ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.VMCAI provides topics including: program verification, model ... Přečtěte si více

1 093,79 Kč

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.VMCAI provides topics including: program verification, model
... Přečtěte si více
Programming Languages and Systems

23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings

Upravil: Alex Potanin ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum ... Přečtěte si více

1 596,99 Kč

This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27–30, 2025.The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum
... Přečtěte si více
Theory and Practice of Model Transformation

11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Upravil: Arend Rensink, Jesús Sánchez Cuadrado ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of ... Přečtěte si více

1 093,79 Kč

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of
... Přečtěte si více
Essentials of Compilation

An Incremental Approach in Python

podle Jeremy G. Siek ...

A hands-on approach to understanding and building compilers using the programming language Python.Compilers are notoriously difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows ... Přečtěte si více

676,09 Kč

A hands-on approach to understanding and building compilers using the programming language Python.Compilers are notoriously difficult programs to teach and understand. Most books about compilers dedicate one chapter to each progressive stage, a structure that hides how language features motivate design choices. By contrast, this innovative textbook provides an incremental approach that allows
... Přečtěte si více

Rakuten Kobo

Čtečky elektronických knih

Aplikace

Příslušenství

Nákupní košík

Dostáváte VIP zacházení!

Nákupní košík je prázdný

Dostupné:

1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Dostupné:

1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Doporučeno pro vás

Kompilátory elektronické knihy

Crafting Interpreters

Data Parallel C++

ChatGPT for Coders

Pro TBB

Coordination Models and Languages

Learn Cocoa on the Mac

A Practical Guide to Verilog-A

ICT Education

Logic-Based Program Synthesis and Transformation

Perspectives of System Informatics

Future Data and Security Engineering

Graph Transformation, Specifications, and Nets

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Topics in Parallel and Distributed Computing

Introduction to Octave

Inductive Logic Programming

Functional and Logic Programming

Fundamental Approaches to Software Engineering

Thinking with Diagrams

Beginning C for Arduino, Second Edition

Verification, Model Checking, and Abstract Interpretation

Programming Languages and Systems

Theory and Practice of Model Transformation

Essentials of Compilation