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

- Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  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
  
  Ubegrænset adgang til e-bøger
  
  Ubegrænset adgang til lydbøger
  
  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

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

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

Ubegrænset adgang til e-bøger

Ubegrænset adgang til lydbøger

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

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Redigeret af Cyrille Artho, Peter Csaba Ölveczky ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway
... Læs mere
Model-Driven Engineering and Software Development

4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

Redigeret af Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016.The 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. They are organized in topical sections named: modeling ... Læs mere

420,24 kr.

This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016.The 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. They are organized in topical sections named: modeling
... Læs mere
Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Redigeret af Cyrille Artho, Peter Csaba Ölveczky ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal ... Læs mere

420,24 kr.

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal
... Læs mere
PROGRAMMING IN C# 10 - Basic Techniques

af Mario De Ghetto ...

Do you want to learn the basic techniques for programming in C# 10 and gain enough knowledge to start creating your own applications? Do you want to know how .NET 6.0, the compiler, Garbage Collector and Visual Studio 2022 work? Do you want to start laying the foundation for your new profession in software development? Or do you simply need to pass college exams in computer science or computer ... Læs mere

94,26 kr. eller Gratis med Kobo Plus

Do you want to learn the basic techniques for programming in C# 10 and gain enough knowledge to start creating your own applications? Do you want to know how .NET 6.0, the compiler, Garbage Collector and Visual Studio 2022 work? Do you want to start laying the foundation for your new profession in software development? Or do you simply need to pass college exams in computer science or computer
... Læs mere
Navigating Azure: A Comprehensive Guide to Microsoft's Cloud Platform

af Kameron Hussain, Frahaan Hussain ...

Discover the ultimate roadmap to mastering Microsoft's Azure with "Navigating Azure: A Comprehensive Guide to Microsoft's Cloud Platform." This essential guidebook is meticulously designed for beginners and advanced users alike, offering a deep dive into the vast ecosystem of Azure services. From fundamental concepts to advanced deployment strategies, this book covers the breadth and depth of ... Læs mere

62,82 kr. eller Gratis med Kobo Plus

Discover the ultimate roadmap to mastering Microsoft's Azure with "Navigating Azure: A Comprehensive Guide to Microsoft's Cloud Platform." This essential guidebook is meticulously designed for beginners and advanced users alike, offering a deep dive into the vast ecosystem of Azure services. From fundamental concepts to advanced deployment strategies, this book covers the breadth and depth of
... Læs mere
Separation Logic for High-level Synthesis

af Felix Winterstein ...

Serier serie Engineering (R0)
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance ... Læs mere

840,47 kr.

This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance
... Læs mere
Automatic Tuning of Compilers Using Machine Learning

af Amir H. Ashouri, Gianluca Palermo, John Cavazos, Cristina Silvano ...

Serier serie Engineering (R0)
This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques. It demonstrates that not all the optimization passes are suitable for use within an optimization sequence and that, in fact, many of the available passes tend to counteract one another. After providing a ... Læs mere

466,89 kr.

This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques. It demonstrates that not all the optimization passes are suitable for use within an optimization sequence and that, in fact, many of the available passes tend to counteract one another. After providing a
... Læs mere
Bughunting

A Four-Course Debugging Feast

af Rob Botwright ...

�� Discover Bughunting: A Four-Course Debugging Feast! ��Are you ready to transform the way you tackle software defects? ��️ Dive into Bughunting, a mouthwatering series of four "courses" designed to make you a debugging master. Each book is packed with practical recipes, real-world examples, and powerful techniques to conquer even the trickiest bugs. Whether you're a junior developer or a ... Læs mere

62,80 kr.

�� Discover Bughunting: A Four-Course Debugging Feast! ��Are you ready to transform the way you tackle software defects? ��️ Dive into Bughunting, a mouthwatering series of four "courses" designed to make you a debugging master. Each book is packed with practical recipes, real-world examples, and powerful techniques to conquer even the trickiest bugs. Whether you're a junior developer or a
... Læs mere
Beginning Programming Using Retro Computing

Learn BASIC with a Commodore Emulator

af Gerald Friedland ...

Serier serie Professional and Applied Computing (R0)
Learn programming using the Commodore 16/Plus 4 system. Following this book, you and your children will not only learn BASIC programming, but also have fun emulating a retro Commodore system. There are many ways to bring the fun of learning to program in the 1980s back to life. For example, downloading the VICE emulator to a Raspberry Pi allows for the classic “turn on and program” experience and ... Læs mere

235,55 kr.

Learn programming using the Commodore 16/Plus 4 system. Following this book, you and your children will not only learn BASIC programming, but also have fun emulating a retro Commodore system. There are many ways to bring the fun of learning to program in the 1980s back to life. For example, downloading the VICE emulator to a Raspberry Pi allows for the classic “turn on and program” experience and
... Læs mere
Smart Card Research and Advanced Applications

15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers

Redigeret af Kerstin Lemke-Rust, Michael Tunstall ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development, ... Læs mere

466,89 kr.

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Smart Card Research and Advanced Applications, CARDIS 2016, held in Cannes, France, in November 2016.The 15 revised full papers presented in this book were carefully reviewed and selected from 29 submissions. The focus of the conference was on all aspects of the design, development,
... Læs mere
ModelEd, TestEd, TrustEd

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Redigeret af Arend Rensink, Joost-Pieter Katoen, Rom Langerak ...

Serier serie Computer Science (R0)
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The ... Læs mere

466,89 kr.

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The
... Læs mere
The R Software

Fundamentals of Programming and Statistical Analysis

af Pierre Lafaye de Micheaux, Rémy Drouilhet, Benoit Liquet ...

Serier serie Mathematics and Statistics (R0)
The contents of The R Software are presented so as to be both comprehensive and easy for the reader to use. Besides its application as a self-learning text, this book can support lectures on R at any level from beginner to advanced. This book can serve as a textbook on R for beginners as well as more advanced users, working on Windows, MacOs or Linux OSes. The first part of the book deals with the ... Læs mere

1.681,04 kr.

The contents of The R Software are presented so as to be both comprehensive and easy for the reader to use. Besides its application as a self-learning text, this book can support lectures on R at any level from beginner to advanced. This book can serve as a textbook on R for beginners as well as more advanced users, working on Windows, MacOs or Linux OSes. The first part of the book deals with the
... Læs mere
Delphi Quick Syntax Reference

A Pocket Guide to the Delphi and Object Pascal Language

af John Kouraklis ...

Serier serie Professional and Applied Computing (R0)
The Delphi Quick Syntax Reference is a succinct code and syntax reference guide to Delphi. It presents the fundamental knowledge to get newcomers started with the language and provides a refresher to seasoned or returning Delphi developers.It covers all the new features added by Embarcadero during the last few years. Delphi celebrates 25 years in 2020 and, alongside the free community version that ... Læs mere

410,20 kr.

The Delphi Quick Syntax Reference is a succinct code and syntax reference guide to Delphi. It presents the fundamental knowledge to get newcomers started with the language and provides a refresher to seasoned or returning Delphi developers.It covers all the new features added by Embarcadero during the last few years. Delphi celebrates 25 years in 2020 and, alongside the free community version that
... Læs mere
C Quick Syntax Reference

af Mikael Olsson ...

Serier serie Professional and Applied Computing (R0)
The C Quick Syntax Reference is a condensed code and syntax reference to the popular C programming language, which has enjoyed some resurgence of late. C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to, for instance, wearables, game programming, system level programming, embedded device/firmware programming and in Arduino ... Læs mere

200,71 kr.

The C Quick Syntax Reference is a condensed code and syntax reference to the popular C programming language, which has enjoyed some resurgence of late. C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to, for instance, wearables, game programming, system level programming, embedded device/firmware programming and in Arduino
... Læs mere
Pro Design Patterns in Swift

af Adam Freeman ...

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

462,50 kr.

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

Over 80 engaging recipes that will help you build a compiler frontend, optimizer, and code generator using LLVM

af Mayur Pandey, Suyog Sarda ...

Key FeaturesBook DescriptionThe book is for compiler programmers who are familiar with concepts of compilers and want to indulge in understanding, exploring, and using LLVM infrastructure in a meaningful way in their work. This book is also for programmers who are not directly involved in compiler projects but are often involved in development phases where they write thousands of lines of code. ... Læs mere

333,74 kr. eller Gratis med Kobo Plus

Key FeaturesBook DescriptionThe book is for compiler programmers who are familiar with concepts of compilers and want to indulge in understanding, exploring, and using LLVM infrastructure in a meaningful way in their work. This book is also for programmers who are not directly involved in compiler projects but are often involved in development phases where they write thousands of lines of code.
... Læs mere
Economics of Grids, Clouds, Systems, and Services

14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings

Redigeret af Congduc Pham, Jörn Altmann, José Ángel Bañares ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2017, held in Biarritz, France, in September 2017.The 10 full papers and 10 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions.This volume of the GECON 2017 proceedings has been structured in ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 14th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2017, held in Biarritz, France, in September 2017.The 10 full papers and 10 short papers presented together with 3 invited talks were carefully reviewed and selected from 38 submissions.This volume of the GECON 2017 proceedings has been structured in
... Læs mere
Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Redigeret af Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci, Giorgio Bacci, Luca Aceto ...

Serier serie Computer Science (R0)
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and ... Læs mere

466,89 kr.

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and
... Læs mere
Python Bees

af Williams Asiedu ...

An intelligently crafted Python programming book designed for individuals at all levels, from beginners to seasoned professionals. This comprehensive guide features a well-structured format and simple tutorials, accompanied by a plethora of programming examples, fostering a deep and thorough understanding of the language. ... Læs mere

157,21 kr. eller Gratis med Kobo Plus

An intelligently crafted Python programming book designed for individuals at all levels, from beginners to seasoned professionals. This comprehensive guide features a well-structured format and simple tutorials, accompanied by a plethora of programming examples, fostering a deep and thorough understanding of the language.
... Læs mere
Advanced Python Development

Using Powerful Language Features in Real-World Applications

af Matthew Wilkes ...

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

497,43 kr.

This book builds on basic Python tutorials to explain various Python language features that aren’t routinely covered: from reusable console scripts that play double duty as micro-services by leveraging entry points, to using asyncio efficiently to collate data from a large number of sources. Along the way, it covers type-hint based linting, low-overhead testing and other automated quality checking
... Læs mere
Kotlin Unleashed: Harnessing the Power of Modern Android Development

af Kameron Hussain, Frahaan Hussain ...

"Kotlin Unleashed: Harnessing the Power of Modern Android Development" is your comprehensive guide to mastering Android app development using the Kotlin programming language. Whether you're a novice looking to start your Android development journey or an experienced developer seeking to leverage Kotlin's power, this book is your key to creating cutting-edge Android applications.This in-depth guide ... Læs mere

62,82 kr.

"Kotlin Unleashed: Harnessing the Power of Modern Android Development" is your comprehensive guide to mastering Android app development using the Kotlin programming language. Whether you're a novice looking to start your Android development journey or an experienced developer seeking to leverage Kotlin's power, this book is your key to creating cutting-edge Android applications.This in-depth guide
... Læs mere
Formal Methods and Software Engineering

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

Redigeret af Michael Butler, Sylvain Conchon, Fatiha Zaïdi ...

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

466,89 kr.

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of
... Læs mere
Programmieren spielend gelernt mit dem Java-Hamster-Modell

af Dietrich Boles ...

Serier serie Computer Science and Engineering (German Language)
Das Hamster-Modell ist ein spezielles didaktisches Modell zum spielerischen Erlernen der Programmierung. Es orientiert sich an der Programmiersprache Java. Programmieranfänger lernen die grundlegenden Programmierkonzepte und den Programmentwurf kennen, indem sie sogenannte „Hamster-Programme“ entwickeln, mit denen sie einen virtuellen Hamster durch eine virtuelle Landschaft steuern und dabei ... Læs mere

261,79 kr.

Das Hamster-Modell ist ein spezielles didaktisches Modell zum spielerischen Erlernen der Programmierung. Es orientiert sich an der Programmiersprache Java. Programmieranfänger lernen die grundlegenden Programmierkonzepte und den Programmentwurf kennen, indem sie sogenannte „Hamster-Programme“ entwickeln, mit denen sie einen virtuellen Hamster durch eine virtuelle Landschaft steuern und dabei
... Læs mere
LLVM Code Generation

A deep dive into compiler backend development

af Quentin Colombet ...

Explore the world of code generation with the LLVM infrastructure, and learn how to extend existing backends or develop your own Get With Your Book: PDF Copy, AI Assistant, and Next-Gen Reader FreeKey FeaturesUnderstand the steps involved in generating assembly code from LLVM IRLearn the key constructs needed to leverage LLVM for your hardware or backendStrengthen your understanding with targeted ... Læs mere

294,74 kr. eller Gratis med Kobo Plus

Explore the world of code generation with the LLVM infrastructure, and learn how to extend existing backends or develop your own Get With Your Book: PDF Copy, AI Assistant, and Next-Gen Reader FreeKey FeaturesUnderstand the steps involved in generating assembly code from LLVM IRLearn the key constructs needed to leverage LLVM for your hardware or backendStrengthen your understanding with targeted
... 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

Formal Techniques for Safety-Critical Systems

Model-Driven Engineering and Software Development

Formal Techniques for Safety-Critical Systems

PROGRAMMING IN C# 10 - Basic Techniques

Navigating Azure: A Comprehensive Guide to Microsoft's Cloud Platform

Separation Logic for High-level Synthesis

Automatic Tuning of Compilers Using Machine Learning

Bughunting

Beginning Programming Using Retro Computing

Smart Card Research and Advanced Applications

ModelEd, TestEd, TrustEd

The R Software

Delphi Quick Syntax Reference

C Quick Syntax Reference

Pro Design Patterns in Swift

LLVM Cookbook

Economics of Grids, Clouds, Systems, and Services

Models, Algorithms, Logics and Tools

Python Bees

Advanced Python Development

Kotlin Unleashed: Harnessing the Power of Modern Android Development

Formal Methods and Software Engineering

Programmieren spielend gelernt mit dem Java-Hamster-Modell

LLVM Code Generation