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 Aspects of Component Software

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

Redigeret af Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the ... Læs mere

466,89 kr.

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the
... Læs mere
Spring REST

Building Java Microservices and Cloud Applications

af Balaji Varanasi, Maxim Bartkov ...

Serier serie Professional and Applied Computing (R0)
Design and develop Java-based RESTful APIs using the latest versions of the Spring MVC and Spring Boot frameworks. This book walks you through the process of designing and building a REST application while delving into design principles and best practices for versioning, security, documentation, error handling, paging, and sorting.Spring REST provides a brief introduction to REST, HTTP, and web ... Læs mere

322,87 kr.

Design and develop Java-based RESTful APIs using the latest versions of the Spring MVC and Spring Boot frameworks. This book walks you through the process of designing and building a REST application while delving into design principles and best practices for versioning, security, documentation, error handling, paging, and sorting.Spring REST provides a brief introduction to REST, HTTP, and web
... Læs mere
Java Lambdas and Parallel Streams

af Michael Müller ...

Serier serie Professional and Applied Computing (R0)
This compact book introduces the concepts of Java lambdas and parallel streams in a concise form. It begins by introducing new supporting features such as functional interfaces, default methods and more. After this, the author demonstrates how streams can be parallelized in a very simple way—within certain limits, no knowledge about the thread management is needed. Nevertheless, some basic ... Læs mere

200,71 kr.

This compact book introduces the concepts of Java lambdas and parallel streams in a concise form. It begins by introducing new supporting features such as functional interfaces, default methods and more. After this, the author demonstrates how streams can be parallelized in a very simple way—within certain limits, no knowledge about the thread management is needed. Nevertheless, some basic
... Læs mere
Design and Implementation of the MTX Operating System

af K. C. Wang ...

Serier serie Computer Science (R0)
This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, complete ... Læs mere

793,77 kr.

This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, complete
... Læs mere
Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Redigeret af Francesco Calimeri, Kevin Hamlen, Nicola Leone ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected ... Læs mere

373,49 kr.

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected
... Læs mere
Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Redigeret af Xavier Rival ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow
... 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
Requirements Engineering: Foundation for Software Quality

24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

Redigeret af Erik Kamsties, Jennifer Horkoff, Fabiano Dalpiaz ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018.The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers were organized in topical sections named: RE in Industrial ... Læs mere

466,89 kr.

This book constitutes the proceedings of the 24th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2018, held in Utrecht, The Netherlands, in March 2018.The 23 full and 2 invited talks papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers were organized in topical sections named: RE in Industrial
... Læs mere
Reliable Software Technologies – Ada-Europe 2017

22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

Redigeret af Johann Blieberger, Markus Bader ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the ... Læs mere

513,59 kr.

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and selected from 37 submissions. They are organized in topical sections on runtimes, safety and security, timing verification, programming models, the
... Læs mere
DevOps in Python

Infrastructure as Python

af Moshe Zadka ...

Serier serie Professional and Applied Computing (R0)
Explore and apply best practices for efficient application deployment. This book draws upon author Moshe Zadka's years of Dev Ops experience and focuses on the parts of Python, and the Python ecosystem, that are relevant for DevOps engineers.You'll start by writing command-line scripts and automating simple DevOps-style tasks. You'll then move on to more advanced cases, like using Jupyter as an ... Læs mere

462,50 kr.

Explore and apply best practices for efficient application deployment. This book draws upon author Moshe Zadka's years of Dev Ops experience and focuses on the parts of Python, and the Python ecosystem, that are relevant for DevOps engineers.You'll start by writing command-line scripts and automating simple DevOps-style tasks. You'll then move on to more advanced cases, like using Jupyter as an
... Læs mere
Android Studio Game Development

Concepts and Design

af Jerome DiMarzio ...

Serier serie Professional and Applied Computing (R0)
This short book walks you through the process of creating mobile games using the new Android Studio IDE. Android Studio Game Development introduces you to the key tools in Android Studio and gives you the knowledge you need to develop games in Android Studio.This book takes you from installing Android Studio, through exploring the IDE to creating a new project and setting up GitHub as a VCS. You ... Læs mere

349,02 kr.

This short book walks you through the process of creating mobile games using the new Android Studio IDE. Android Studio Game Development introduces you to the key tools in Android Studio and gives you the knowledge you need to develop games in Android Studio.This book takes you from installing Android Studio, through exploring the IDE to creating a new project and setting up GitHub as a VCS. You
... Læs mere
Haskell Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

af Stefania Loredana Nita, Marius Mihailescu ...

Serier serie Professional and Applied Computing (R0)
This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical ... Læs mere

322,87 kr.

This condensed code and syntax reference presents the essential Haskell syntax in a well-organized format that can be used as a quick and handy reference, including applications to cloud computing and data analysis. This book covers the functional programming features of Haskell as well as strong static typing, lazy evaluation, extensive parallelism, and concurrencyYou won’t find any technical
... Læs mere
Beginning MATLAB and Simulink

From Novice to Professional

af Sulaymon Eshkabilov ...

Serier serie Professional and Applied Computing (R0)
Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling essentials. You’ll become efficient with many of the built-in tools and ... Læs mere

322,87 kr.

Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of simulation models and solved problems via m-files/scripts and Simulink models which help you to learn programming and modeling essentials. You’ll become efficient with many of the built-in tools and
... Læs mere
Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Redigeret af Arie Gurfinkel, Sanjit A. Seshia ...

Serier serie Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... Læs mere

466,89 kr.

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... Læs mere
Modern C Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

af Mikael Olsson ...

Serier serie Professional and Applied Computing (R0)
Discover how C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to wearables, game programming, system level programming, embedded device/firmware programming and in Arduino and related electronics hobbies in this condensed code and syntax guide. This book presents the essential C syntax in a well-organized format that can be ... Læs mere

322,87 kr.

Discover how C's efficiency makes it a popular choice in a wide variety of applications and operating systems with special applicability to wearables, game programming, system level programming, embedded device/firmware programming and in Arduino and related electronics hobbies in this condensed code and syntax guide. This book presents the essential C syntax in a well-organized format that can be
... Læs mere
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

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

Redigeret af Tiziana Margaria, Bernhard Steffen ...

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

466,89 kr.

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
... Læs mere
Trends in Functional Programming

17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Redigeret af David Van Horn, John Hughes ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming. ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 17th International Conference on Trends in Functional Programming, TFP 2016, held in College Park, USA, in June 2016.The 10 full papers presented in this volume were carefully reviewed and selected from 18 submissions. The papers were organized in topical sections named: implementation techniques; types and verification; and programming.
... Læs mere
Secure the Cloud: Azure Networking for Engineers

af Kameron Hussain, Frahaan Hussain ...

Secure the Cloud: Azure Networking for Engineers is your ultimate guide to building robust, scalable, and secure network architectures in Microsoft Azure. Designed for cloud engineers, architects, and IT professionals, this book delivers a structured, in-depth approach to mastering Azure networking—from foundational concepts to advanced implementations.Start your journey with an overview of cloud ... Læs mere

62,82 kr. eller Gratis med Kobo Plus

Secure the Cloud: Azure Networking for Engineers is your ultimate guide to building robust, scalable, and secure network architectures in Microsoft Azure. Designed for cloud engineers, architects, and IT professionals, this book delivers a structured, in-depth approach to mastering Azure networking—from foundational concepts to advanced implementations.Start your journey with an overview of cloud
... Læs mere
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers

Redigeret af Pavel Shamis, Manjunath Gorentla Venkata, Neena Imam, M. Graham Lopez ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug ... Læs mere

373,49 kr.

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015.The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug
... Læs mere
Python for Beginners

Codes for starters

af Célio Azevedo ...

This is the book Python for Beginners (Codes for starters). In this book, you will be guided through the fundamentals of the Python programming language, from basic concepts to slightly more advanced techniques. ... Læs mere

62,02 kr. eller Gratis med Kobo Plus

This is the book Python for Beginners (Codes for starters). In this book, you will be guided through the fundamentals of the Python programming language, from basic concepts to slightly more advanced techniques.
... Læs mere
Formal Aspects of Component Software

14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Redigeret af José Proença, Markus Lumpe ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software ... Læs mere

466,89 kr.

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017.The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software
... Læs mere
Network Programming with Go

Essential Skills for Using and Securing Networks

af Jan Newmarch ...

Serier serie Professional and Applied Computing (R0)
Dive into key topics in network architecture and Go, such as data serialization, application level protocols, character sets and encodings. This book covers network architecture and gives an overview of the Go language as a primer, covering the latest Go release.Beyond the fundamentals, Network Programming with Go covers key networking and security issues such as HTTP and HTTPS, templates, remote ... Læs mere

584,75 kr.

Dive into key topics in network architecture and Go, such as data serialization, application level protocols, character sets and encodings. This book covers network architecture and gives an overview of the Go language as a primer, covering the latest Go release.Beyond the fundamentals, Network Programming with Go covers key networking and security issues such as HTTP and HTTPS, templates, remote
... Læs mere
Ant: The Definitive Guide

Complete Build Management for Java

af Steve Holzner ...

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full ... Læs mere

240,49 kr.

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full
... Læs mere
Funktionale Programmierung und Metaprogrammierung

Interaktiv in Common Lisp

af Patrick M. Krusenotto ...

Dieses Buch vermittelt die einzigartige Idee hinter der Programmiersprache Lisp. Aus der Verbindung von interaktiver und funktionaler Programmierung entsteht eine Arbeitsstrategie in der Software-Entwicklung, mit der ein Programmierer schneller als mit konventionellen Verfahren einen korrekten, verständlichen und leicht anpassbaren Code entwickeln kann.Durch die Anwendung algebraischer Methoden ... Læs mere

375,27 kr.

Dieses Buch vermittelt die einzigartige Idee hinter der Programmiersprache Lisp. Aus der Verbindung von interaktiver und funktionaler Programmierung entsteht eine Arbeitsstrategie in der Software-Entwicklung, mit der ein Programmierer schneller als mit konventionellen Verfahren einen korrekten, verständlichen und leicht anpassbaren Code entwickeln kann.Durch die Anwendung algebraischer Methoden
... 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 Aspects of Component Software

Spring REST

Java Lambdas and Parallel Streams

Design and Implementation of the MTX Operating System

Practical Aspects of Declarative Languages

Static Analysis

PROGRAMMING IN C# 10 - Basic Techniques

Requirements Engineering: Foundation for Software Quality

Reliable Software Technologies – Ada-Europe 2017

DevOps in Python

Android Studio Game Development

Haskell Quick Syntax Reference

Beginning MATLAB and Simulink

Verified Software: Theories, Tools, and Experiments

Modern C Quick Syntax Reference

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Trends in Functional Programming

Secure the Cloud: Azure Networking for Engineers

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies

Python for Beginners

Formal Aspects of Component Software

Network Programming with Go

Ant: The Definitive Guide

Funktionale Programmierung und Metaprogrammierung