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

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Redigeret af Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Serier serie Springer Nature Proceedings Computer Science
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been ... Læs mere

466,97 kr.

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been
... Læs mere
Interactive Theorem Proving

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

Redigeret af Mauricio Ayala-Rincón, César A. Muñoz ...

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

466,97 kr.

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in
... Læs mere
Windows 10 Development Recipes

A Problem-Solution Approach in HTML and JavaScript

af Senthil Kumar, Lohith Goudagere Nagaraj, Pathik Rawal, Pryank Rohilla ...

Serier serie Professional and Applied Computing (R0)
This book is a practical guide to solving the everyday problems encountered when building apps for Windows 10 devices, including desktops, laptops, tablets, and phones, using HTML5, CSS3 and JavaScript.Each recipe includes a concise statement of the problem and the approach you should take in order to solve it. A full code solution is also given, along with an in-depth explanation, so you can ... Læs mere

373,55 kr.

This book is a practical guide to solving the everyday problems encountered when building apps for Windows 10 devices, including desktops, laptops, tablets, and phones, using HTML5, CSS3 and JavaScript.Each recipe includes a concise statement of the problem and the approach you should take in order to solve it. A full code solution is also given, along with an in-depth explanation, so you can
... Læs mere
Computer Programming in C for Beginners

af Avelino J. Gonzalez ...

Serier serie Computer Science (R0)
This textbook is an ideal introduction in college courses or self-study for learning computer programming using the C language. Written for those with minimal or no programming experience, Computer Programming in C for Beginners offers a heavily guided, hands-on approach that enables the reader to quickly start programming, and then progresses to cover the major concepts of C programming that are ... Læs mere

466,97 kr.

This textbook is an ideal introduction in college courses or self-study for learning computer programming using the C language. Written for those with minimal or no programming experience, Computer Programming in C for Beginners offers a heavily guided, hands-on approach that enables the reader to quickly start programming, and then progresses to cover the major concepts of C programming that are
... Læs mere
Graph Transformation

12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Redigeret af Esther Guerra, Fernando Orejas ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and
... Læs mere
Das C++ Kompendium

STL, Objektfabriken, Exceptions

af Gilbert Brands ...

Serier serie Computer Science and Engineering (German Language)
Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft.In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu ... Læs mere

235,40 kr.

Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfältiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft.In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu
... Læs mere
Transactions on Foundations for Mastering Change I

Redigeret af Bernhard Steffen ...

Serier serie Computer Science (R0)
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. ... Læs mere

466,97 kr.

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks.
... Læs mere
MATLAB Differential Equations

af Cesar Lopez ...

Serier serie Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Læs mere

497,51 kr.

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Læs mere
Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Redigeret af Nadia Polikarpova, Steve Schneider ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems,
... Læs mere
Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Redigeret af Cas Cremers, Anja Lehmann ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and
... Læs mere
Programming Language Concepts

af Peter Sestoft ...

Serier serie Computer Science (R0)
Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, and garbage collection techniques, as well as the more advanced ... Læs mere

401,58 kr.

Programming Language Concepts uses a functional programming language (F#) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, interpretation, stack machines, compilation, type checking, and garbage collection techniques, as well as the more advanced
... Læs mere
Webanwendungen erstellen mit Vue.js

MVVM-Muster für konventionelle und Single-Page-Webseiten

af Ralph Steyer ...

Serier serie Computer Science and Engineering (German Language)
Steigen Sie mit diesem Buch schnell und unkompliziert in Vue.js einDieses Buch bietet einen kompakten und praxisnahen Einstieg in das populäre Vue.js. Nutzen Sie auf Basis von MVC-Entwurfsmustern das MVVC-Konzept für Anwendungen im Web und erstellen Sie damit auf einfache Weise Single-Page-Webanwendungen. Dabei verwenden Sie eines der leistungsfähigen Frameworks nur auf Basis elementarer WWW ... Læs mere

375,33 kr.

Steigen Sie mit diesem Buch schnell und unkompliziert in Vue.js einDieses Buch bietet einen kompakten und praxisnahen Einstieg in das populäre Vue.js. Nutzen Sie auf Basis von MVC-Entwurfsmustern das MVVC-Konzept für Anwendungen im Web und erstellen Sie damit auf einfache Weise Single-Page-Webanwendungen. Dabei verwenden Sie eines der leistungsfähigen Frameworks nur auf Basis elementarer WWW
... Læs mere
Computer Safety, Reliability, and Security

36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Redigeret af Erwin Schoitsch, Stefano Tonetta, Friedemann Bitsch ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 36th International Conference on ComputerSafety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017.The 22 revised full papers and two abstracts of keynotes presented were carefully reviewedand selected from 65 submissions.The papers are organized in topical sections on dynamic fault trees; safety case and
... Læs mere
Expert T-SQL Window Functions in SQL Server

af Clayton Groom, Kathi Kellenberger ...

Serier serie Professional and Applied Computing (R0)
Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window ... Læs mere

235,58 kr.

Expert T-SQL Window Functions in SQL Server takes you from any level of knowledge of windowing functions and turns you into an expert who can use these powerful functions to solve many T-SQL queries. Replace slow cursors and self-joins with queries that are easy to write and fantastically better performing, all through the magic of window functions.First introduced in SQL Server 2005, window
... Læs mere
Modern Compiler Implementation in C

af Andrew W. Appel ...

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and ... Læs mere

833,84 kr.

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and
... Læs mere
Advanced C and C++ Compiling

af Milan Stevanovic ...

Serier serie Professional and Applied Computing (R0)
Learning how to write C/C++ code is only the first step. To be a serious programmer, you need to understand the structure and purpose of the binary files produced by the compiler: object files, static libraries, shared libraries, and, of course, executables.Advanced C and C++ Compiling explains the build process in detail and shows how to integrate code from other developers in the form of ... Læs mere

872,93 kr.

Learning how to write C/C++ code is only the first step. To be a serious programmer, you need to understand the structure and purpose of the binary files produced by the compiler: object files, static libraries, shared libraries, and, of course, executables.Advanced C and C++ Compiling explains the build process in detail and shows how to integrate code from other developers in the form of
... Læs mere
Introduction to React

af Cory Gackenheimer ...

Serier serie Professional and Applied Computing (R0)
Introduction to Reactteaches you React, the JavaScript framework created by developers at Facebook, to solve the problem of building complex user interfaces in a consistent and maintainable way. React.js shrugs away common front-end conventions in an effort to make things more efficient - use Introduction to React to learn about this framework and more today.Get to know the React API and it’s ... Læs mere

235,58 kr.

Introduction to Reactteaches you React, the JavaScript framework created by developers at Facebook, to solve the problem of building complex user interfaces in a consistent and maintainable way. React.js shrugs away common front-end conventions in an effort to make things more efficient - use Introduction to React to learn about this framework and more today.Get to know the React API and it’s
... Læs mere
Mastering Assembly Programming

From instruction set to kernel module with Intel processor

af Alexey Lyashko ...

Incorporate the assembly language routines in your high level language applicationsKey FeaturesUnderstand the Assembly programming concepts and the benefits of examining the AL codes generated from high level languagesLearn to incorporate the assembly language routines in your high level language applicationsUnderstand how a CPU works when programming in high level languagesBook DescriptionThe ... Læs mere

274,99 kr. eller Gratis med Kobo Plus

Incorporate the assembly language routines in your high level language applicationsKey FeaturesUnderstand the Assembly programming concepts and the benefits of examining the AL codes generated from high level languagesLearn to incorporate the assembly language routines in your high level language applicationsUnderstand how a CPU works when programming in high level languagesBook DescriptionThe
... Læs mere
Beginning Django

Web Application Development and Deployment with Python

af Daniel Rubio ...

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also covers ancillary, but essential, development topics, including configuration settings, static resource management, logging, debugging, and email. ... Læs mere

345,53 kr.

Discover the Django web application framework and get started building Python-based web applications. This book takes you from the basics of Django all the way through to cutting-edge topics such as creating RESTful applications. Beginning Django also covers ancillary, but essential, development topics, including configuration settings, static resource management, logging, debugging, and email.
... Læs mere
Database Systems for Advanced Applications. DASFAA 2024 International Workshops

BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

Redigeret af Atsuyuki Morishima, Guoliang Li, Yoshiharu Ishikawa, Sihem Amer-Yahia, H. V. Jagadish, Kejing Lu ...

Serier serie Springer Nature Proceedings Computer Science
This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th ... Læs mere

700,49 kr.

This volume constitutes the papers of several workshops which were held in conjunction with the 29th International Conference on Database Systems for Advanced Applications, held in Gifu, Japan, during July 2-5, 2024.The 26 full papers and 9 short papers included in this book were carefully reviewed and selected from 43 submissions.DASFAA 2024 presents the following four workshops:The 10th
... Læs mere
Advanced Guide to Python 3 Programming

af John Hunt ...

Serier serie Computer Science (R0)
Advanced Guide to Python 3 Programming delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.There are nine different sections within the book covering Computer Graphics(including GUIs), ... Læs mere

560,38 kr.

Advanced Guide to Python 3 Programming delves deeply into a host of subjects that you need to understand if you are to develop sophisticated real-world programs. Each topic is preceded by an introduction followed by more advanced topics, along with numerous examples, that take you to an advanced level.There are nine different sections within the book covering Computer Graphics(including GUIs),
... Læs mere
Exploring Blazor

Creating Hosted, Server-side, and Client-side Applications with C#

af Taurius Litvinavicius ...

Serier serie Professional and Applied Computing (R0)
Build and develop web applications with Blazor in C#. This book will cover all three types of Blazor – server-side, client-side, and hosted along with other features of the technology. You’ll see that Blazor is a web UI framework based on C#, Razor, and HTML and how it runs front-end logic using C# either on the server or on the browser using WebAssembly.The author starts by introducing ... Læs mere

410,26 kr.

Build and develop web applications with Blazor in C#. This book will cover all three types of Blazor – server-side, client-side, and hosted along with other features of the technology. You’ll see that Blazor is a web UI framework based on C#, Razor, and HTML and how it runs front-end logic using C# either on the server or on the browser using WebAssembly.The author starts by introducing
... Læs mere
Swift for Absolute Beginners

af Gary Bennett, Brad Lees ...

Serier serie Professional and Applied Computing (R0)
The professional development team that brought you two editions of Objective-C for the Absolute Beginners and have taught thousands of developers around the world to write some of the most popular iPhone apps in their categories on the app store, have now leveraged their instruction for Swift.Swift for Absolute Beginners is perfect for those with no programming background, those with some ... Læs mere

345,53 kr.

The professional development team that brought you two editions of Objective-C for the Absolute Beginners and have taught thousands of developers around the world to write some of the most popular iPhone apps in their categories on the app store, have now leveraged their instruction for Swift.Swift for Absolute Beginners is perfect for those with no programming background, those with some
... Læs mere
Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Redigeret af Alexander K. Petrenko, Andrei Voronkov ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and ... Læs mere

466,97 kr.

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and
... 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

Engineering Trustworthy Software Systems

Interactive Theorem Proving

Windows 10 Development Recipes

Computer Programming in C for Beginners

Graph Transformation

Das C++ Kompendium

Transactions on Foundations for Mastering Change I

MATLAB Differential Equations

Integrated Formal Methods

Security Standardisation Research

Programming Language Concepts

Webanwendungen erstellen mit Vue.js

Computer Safety, Reliability, and Security

Expert T-SQL Window Functions in SQL Server

Modern Compiler Implementation in C

Advanced C and C++ Compiling

Introduction to React

Mastering Assembly Programming

Beginning Django

Database Systems for Advanced Applications. DASFAA 2024 International Workshops

Advanced Guide to Python 3 Programming

Exploring Blazor

Swift for Absolute Beginners

Perspectives of System Informatics