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

Haskell-Intensivkurs

Ein kompakter Einstieg in die funktionale Programmierung

af Marco Block, Adrian Neumann ...

Serier serie Computer Science and Engineering (German Language)
Das Buch bietet eine kompakte Einführung in die funktionale Programmierung mit Haskell. Zunächst werden grundlegende Konzepte anhand von anschaulichen Beispielen vermittelt, die das Fundament für die funktionale Programmentwicklung bilden. Anschließend werden fortgeschrittene Aspekte behandelt, um das Verständnis weiter zu vertiefen. Mit zahlreichen Anwendungen und Themengebieten, die gemeinsam ... Læs mere

349,02 kr.

Das Buch bietet eine kompakte Einführung in die funktionale Programmierung mit Haskell. Zunächst werden grundlegende Konzepte anhand von anschaulichen Beispielen vermittelt, die das Fundament für die funktionale Programmentwicklung bilden. Anschließend werden fortgeschrittene Aspekte behandelt, um das Verständnis weiter zu vertiefen. Mit zahlreichen Anwendungen und Themengebieten, die gemeinsam
... Læs mere
The Joys of Hashing

Hash Table Programming with C

af Thomas Mailund ...

Serier serie Professional and Applied Computing (R0)
Build working implementations of hash tables, written in the C programming language. The new and revised Second Edition has been enhanced with simplified code and more comprehensive explanations, aimed at improving clarity and comprehension while exploiting the latest features in C programming.This book starts with simple first attempts devoid of collision resolution strategies. It then progresses ... Læs mere

479,96 kr.

Build working implementations of hash tables, written in the C programming language. The new and revised Second Edition has been enhanced with simplified code and more comprehensive explanations, aimed at improving clarity and comprehension while exploiting the latest features in C programming.This book starts with simple first attempts devoid of collision resolution strategies. It then progresses
... Læs mere
Building Secure Defenses Against Code-Reuse Attacks

af Lucas Davi, Ahmad-Reza Sadeghi ...

Serier serie Computer Science (R0)
This book provides an in-depth look at return-oriented programming attacks. It explores several conventional return-oriented programming attacks and analyzes the effectiveness of defense techniques including address space layout randomization (ASLR) and the control-flow restrictions implemented in security watchdogs such as Microsoft EMET.Chapters also explain the principle of control-flow ... Læs mere

466,89 kr.

This book provides an in-depth look at return-oriented programming attacks. It explores several conventional return-oriented programming attacks and analyzes the effectiveness of defense techniques including address space layout randomization (ASLR) and the control-flow restrictions implemented in security watchdogs such as Microsoft EMET.Chapters also explain the principle of control-flow
... Læs mere
Rules and Reasoning

International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings

Redigeret af Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2 ... Læs mere

466,89 kr.

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2017, held in London, UK, during July 2017. This is the first conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 16 regular papers presented together with 2
... Læs mere
Implementation and Application of Functional Languages

24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Redigeret af Ralf Hinze ...

Serier serie Springer Nature Proceedings Computer Science
This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate ... Læs mere

420,19 kr.

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate
... Læs mere
Programming Languages and Systems

34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Redigeret af Viktor Vafeiadis ...

Serier Bog 2 - Springer Nature Proceedings Computer Science
The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025.The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88 ... Læs mere

Gratis

The open access book set LNCS 15694 + LNCS 15695 constitutes the proceedings of the 34th European Symposium on Programming, ESOP 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, in Hamilton, Canada, during May 3-8, 2025.The 30 full papers included in the proceedings were carefully reviewed and selected from a total of 88
... Læs mere
Graph Transformation

18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings

Redigeret af Jörg Endrullis, Matthias Tichy ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025.The 10 full papers and 1 short paper included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum, ranging from advancements in the classical theory of ... Læs mere

606,98 kr.

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during June 11-12, 2025.The 10 full papers and 1 short paper included in this book were carefully reviewed and selected from 19 submissions. The topics of the accepted papers cover a wide spectrum, ranging from advancements in the classical theory of
... Læs mere
Die Modularität von Java 9

Projekt Jigsaw und skalierbare Java-Anwendungen

af Alexandru Jecan ...

Serier serie Computer Science and Engineering (German Language)
Entwickeln Sie modulare Anwendungen mit dem Java Platform Module System, dem am meisten erwarteten Feature von Java 9. Sie werden die Wartbarkeit und Leistung Ihrer Java-Anwendungen verbessern, indem Sie nur die Module einsetzen, die benötigt werden, und deren Implementierungsdetails kapseln.Bis jetzt war Java monolithisch. Die Verwendung eines beliebigen Teils von Java bedeutete die Einbindung ... Læs mere

200,71 kr.

Entwickeln Sie modulare Anwendungen mit dem Java Platform Module System, dem am meisten erwarteten Feature von Java 9. Sie werden die Wartbarkeit und Leistung Ihrer Java-Anwendungen verbessern, indem Sie nur die Module einsetzen, die benötigt werden, und deren Implementierungsdetails kapseln.Bis jetzt war Java monolithisch. Die Verwendung eines beliebigen Teils von Java bedeutete die Einbindung
... Læs mere
Building Telegram Bots

Develop Bots in 12 Programming Languages using the Telegram Bot API

af Nicolas Modrzyk ...

Serier serie Professional and Applied Computing (R0)
Learn about bot programming, using all the latest and greatest programming languages, including Python, Go, and Clojure, so you can feel at ease writing your Telegram bot in a way that suits you.This book shows how you can use bots for just about everything: they connect, they respond, they enhance your job search chances, they do technical research for you, they remind you about your last train, ... Læs mere

322,87 kr.

Learn about bot programming, using all the latest and greatest programming languages, including Python, Go, and Clojure, so you can feel at ease writing your Telegram bot in a way that suits you.This book shows how you can use bots for just about everything: they connect, they respond, they enhance your job search chances, they do technical research for you, they remind you about your last train,
... 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,38 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
Formal Aspects of Component Software

15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Redigeret af Kyungmin Bae, Peter Csaba Ölveczky ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make
... Læs mere
Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Redigeret af Shuvendu K. Lahiri, Chao Wang ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.The symposium is dedicated to the promotion of research on theoretical
... Læs mere
Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Redigeret af Falk Howar, Jiří Barnat ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in ... Læs mere

466,89 kr.

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.The 9 regular papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains two invited talks in full-paper length. In addition, there are 8 invited contributions in
... Læs mere
Coordination Models and Languages

21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Redigeret af Emilio Tuosto, Hanne Riis Nielson ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are ... Læs mere

466,89 kr.

This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full papers included in this volume were carefully reviewed and selected from 25 submissions. The papers are
... Læs mere
Search-Based Software Engineering

11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

Redigeret af Shiva Nejati, Gregory Gay ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of
... Læs mere
Deep Belief Nets in C++ and CUDA C: Volume 2

Autoencoding in the Complex Domain

af Timothy Masters ...

Serier serie Professional and Applied Computing (R0)
Discover the essential building blocks of a common and powerful form of deep belief net: the autoencoder. You’ll take this topic beyond current usage by extending it to the complex domain for signal and image processing applications. Deep Belief Nets in C++ and CUDA C: Volume 2 also covers several algorithms for preprocessing time series and image data. These algorithms focus on the creation of ... Læs mere

497,43 kr.

Discover the essential building blocks of a common and powerful form of deep belief net: the autoencoder. You’ll take this topic beyond current usage by extending it to the complex domain for signal and image processing applications. Deep Belief Nets in C++ and CUDA C: Volume 2 also covers several algorithms for preprocessing time series and image data. These algorithms focus on the creation of
... Læs mere
Real-Time Web Application Development

With ASP.NET Core, SignalR, Docker, and Azure

af Rami Vemula ...

Serier serie Professional and Applied Computing (R0)
Design, develop, and deploy a real-world web application by leveraging modern open source technologies. This book shows you how to use ASP.NET Core to build cross-platform web applications along with SignalR to enrich the application by enabling real-time communication between server and clients. You will use Docker to containerize your application, integrate with GitHub to package the application ... Læs mere

584,75 kr.

Design, develop, and deploy a real-world web application by leveraging modern open source technologies. This book shows you how to use ASP.NET Core to build cross-platform web applications along with SignalR to enrich the application by enabling real-time communication between server and clients. You will use Docker to containerize your application, integrate with GitHub to package the application
... Læs mere
Identifying Relevant Information for Testing Technique Selection

An Instantiated Characterization Schema

af Sira Vegas, Natalia Juristo, Victor R. Basili ...

Serier Bog 8 - International Series in Software Engineering
Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering ... Læs mere

840,47 kr.

Engineering tasks are supposed to achieve defined goals under certain project constraints. Example goals of software engineering tasks include achieving a certain functionality together with some level of reliability or performance. Example constraints of software engineering tasks include budget and time limitations or experience limitations of the developers at hand. Planning of an engineering
... Læs mere
Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

Redigeret af Dirk Beyer, Chantal Keller ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and
... Læs mere
Design Patterns mit Java

Eine Einführung

af Olaf Musch ...

Serier serie Computer Science and Engineering (German Language)
Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch genannt „Gang of Four“, kurz GoF, also „Viererbande“) Erwähnung finden.Alle Muster werden anhand von Beispielen detailliert erläutert und auch kritisch gewürdigt. Darüber hinaus werden ... Læs mere

345,47 kr.

Eine praxisnahe Beschreibung der Software Design Patterns, wie sie im 1994 erschienen Buch „Design Patterns – Elements of Reusable Object-Oriented Software“ der Autorengruppe Gamma, Helm, Johnson und Vlissides (auch genannt „Gang of Four“, kurz GoF, also „Viererbande“) Erwähnung finden.Alle Muster werden anhand von Beispielen detailliert erläutert und auch kritisch gewürdigt. Darüber hinaus werden
... Læs mere
Computer Safety, Reliability, and Security

34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

Redigeret af Floor Koornneef, Coen van Gulijk ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive
... Læs mere
Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Redigeret af Carlo A. Furia, Kirsten Winter ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and ... Læs mere

466,89 kr.

This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions. The conference covers a broad spectrum of topics: from language design, to verification and
... Læs mere
C++ 14 Quick Syntax Reference

Second Edition

af Mikael Olsson ...

Serier serie Professional and Applied Computing (R0)
This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a ... Læs mere

235,55 kr.

This updated handy quick C++ 14 guide is a condensed code and syntax reference based on the newly updated C++ 14 release of the popular programming language. It presents the essential C++ syntax in a well-organized format that can be used as a handy reference.You won’t find any technical jargon, bloated samples, drawn out history lessons, or witty stories in this book. What you will find is a
... Læs mere
Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Redigeret af Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov ...

Serier serie Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, ... Læs mere

466,89 kr.

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,
... 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

Haskell-Intensivkurs

The Joys of Hashing

Building Secure Defenses Against Code-Reuse Attacks

Rules and Reasoning

Implementation and Application of Functional Languages

Programming Languages and Systems

Graph Transformation

Die Modularität von Java 9

Building Telegram Bots

Database Systems for Advanced Applications. DASFAA 2024 International Workshops

Formal Aspects of Component Software

Automated Technology for Verification and Analysis

Formal Methods for Industrial Critical Systems

Coordination Models and Languages

Search-Based Software Engineering

Deep Belief Nets in C++ and CUDA C: Volume 2

Real-Time Web Application Development

Identifying Relevant Information for Testing Technique Selection

Tests and Proofs

Design Patterns mit Java

Computer Safety, Reliability, and Security

Integrated Formal Methods

C++ 14 Quick Syntax Reference

Logic for Programming, Artificial Intelligence, and Reasoning