Rakuten Kobo

Indkøbskurv

Vare(r) ikke tilgængelig til køb

Gennemgå din indkøbskurv. Du kan fjerne de(n) tilgængelige vare(r) nu, ellers fjerner vi det automatisk ved kassen.

varervare

- Inkluderer e-bøger
  
  Inkluderer lydbøger
  
  Inkluderer 30 timers lyttetid
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Få 1 kredit hver måned til en lydbog efter eget valg
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  
  Inkluderer e-bøger
  
  Inkluderer lydbøger
  
  Inkluderer 30 timers lyttetid
  
  Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
  lydbog
  af ,
  
  Ledig:
  
  . Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.
  
  Forudbestilling
  1 lydbog om måneden
  
  + GRATIS 30-dages prøve
  
  Særtilbud
  
  Få 1 kredit hver måned til at bytte til en lydbog efter eget valg
  
  *Ingen forpligtelse, annuller når som helst
  
  GRATIS

varervare

Inkluderer e-bøger

Inkluderer lydbøger

Inkluderer 30 timers lyttetid

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Få 1 kredit hver måned til en lydbog efter eget valg

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions

Inkluderer e-bøger

Inkluderer lydbøger

Inkluderer 30 timers lyttetid

Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions
lydbog
af ,

Ledig:
. Ingen forpligtelse, aflys når som helst på kobo.com/account/subscriptions.

Forudbestilling
1 lydbog om måneden

+ GRATIS 30-dages prøve

Særtilbud

Få 1 kredit hver måned til at bytte til en lydbog efter eget valg

*Ingen forpligtelse, annuller når som helst

GRATIS

Anbefalet til dig

CMake Cookbook

Building, testing, and packaging modular software with modern CMake

af Radovan Bast, Roberto Di Remigio ...

Learn CMake through a series of task-based recipes that provide you with practical, simple, and ready-to-use CMake solutions for your codeKey FeaturesLearn to configure, build, test, and package software written in C, C++, and FortranProgress from simple to advanced tasks with examples tested on Linux, macOS, and WindowsManage code complexity and library dependencies with reusable CMake building ... Læs mere

418,74 kr. eller Gratis med Kobo Plus

Learn CMake through a series of task-based recipes that provide you with practical, simple, and ready-to-use CMake solutions for your codeKey FeaturesLearn to configure, build, test, and package software written in C, C++, and FortranProgress from simple to advanced tasks with examples tested on Linux, macOS, and WindowsManage code complexity and library dependencies with reusable CMake building
... Læs mere
The Definitive ANTLR 4 Reference

af Terence Parr ...

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on ... Læs mere

218,11 kr.

Programmers run into parsing problems all the time. Whether it's a data format like JSON, a network protocol like SMTP, a server configuration file for Apache, a PostScript/PDF file, or a simple spreadsheet macro language--ANTLR v4 and this book will demystify the process. ANTLR v4 has been rewritten from scratch to make it easier than ever to build parsers and the language applications built on
... Læs mere
Optimizing HPC Applications with Intel Cluster Tools

Hunting Petaflops

af Alexander Supalov, Christopher Dahnken, Michael Klemm, Andrey Semin ...

Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low ... Læs mere

Gratis

Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low
... Læs mere
Crafting Interpreters

af 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 ... Læs mere

256,25 kr. eller Gratis med Kobo Plus

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
... Læs mere
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

Redigeret af Simon Bliudze, Laura Bocchi ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Learn Cocoa on the Mac

af 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 ... Læs mere

252,12 kr.

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
... Læs mere
A Practical Guide to Verilog-A

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

af Slobodan Mijalković ...

Serier serie 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 ... Læs mere

549,92 kr.

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
... Læs mere
ICT Education

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

Redigeret af Wai Sze Leung, Marijke Coetzee, Duncan Coulter, Deon Cotterrell ...

Serier serie 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 ... Læs mere

607,08 kr.

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
... Læs mere
Logic-Based Program Synthesis and Transformation

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

Redigeret af Manuel V Hermenegildo, Pedro Lopez-Garcia ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
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

Redigeret af Manuel Mazzara, Andrei Voronkov ...

Serier serie 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, ... Læs mere

466,97 kr.

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,
... Læs mere
Future Data and Security Engineering

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

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

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Graph Transformation, Specifications, and Nets

In Memory of Hartmut Ehrig

Redigeret af Reiko Heckel, Gabriele Taentzer ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Abstract State Machines, Alloy, B, TLA, VDM, and Z

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

Redigeret af Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl ...

Serier serie 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, ... Læs mere

466,97 kr.

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,
... Læs mere
Topics in Parallel and Distributed Computing

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

Redigeret af Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman, Charles Weems ...

Serier serie 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 ... Læs mere

513,67 kr.

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
... Læs mere
Introduction to Octave

For Engineers and Scientists

af Sandeep Nagar ...

Serier serie 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 ... Læs mere

497,51 kr.

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
... Læs mere
Inductive Logic Programming

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

Redigeret af Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Functional and Logic Programming

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

Redigeret af Andy King, Oleg Kiselyov ...

Serier serie 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 ... Læs mere

438,94 kr.

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
... Læs mere
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

Redigeret af Reiner Hähnle, Wil van der Aalst ...

Serier serie 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 ... Læs mere

Gratis

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
... Læs mere
Thinking with Diagrams

Redigeret af 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 ... Læs mere

1.214,26 kr.

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
... Læs mere
Beginning C for Arduino, Second Edition

Learn C Programming for the Arduino

af Jack Purdum ...

Serier serie 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 ... Læs mere

584,85 kr.

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
... Læs mere
Verification, Model Checking, and Abstract Interpretation

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

Redigeret af Barbara Jobstmann, K. Rustan M. Leino ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Programming Languages and Systems

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

Redigeret af Alex Potanin ...

Serier serie 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 ... Læs mere

681,81 kr.

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
... Læs mere
Theory and Practice of Model Transformation

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

Redigeret af Arend Rensink, Jesús Sánchez Cuadrado ...

Serier serie 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 ... Læs mere

466,97 kr.

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
... Læs mere
Essentials of Compilation

An Incremental Approach in Python

af 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 ... Læs mere

306,74 kr.

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
... Læs mere

Kobo Rakuten

e-læsere

Apps

Tilbehør

Indkøbskurv

Du får VIP-behandling!

Din indkøbskurv er tom

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Ledig:

1 lydbog om måneden

+ GRATIS 30-dages prøve

Anbefalet til dig

Udarbejdere e-bøger

CMake Cookbook

The Definitive ANTLR 4 Reference

Optimizing HPC Applications with Intel Cluster Tools

Crafting Interpreters

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