Rakuten Kobo

Nákupní košík

Položka(y), kterou si nemůžete koupit

Prosím, zkontrolujte svůj košík. Nedostupnou položku (y) můžete odebrat nyní nebo ji automaticky odebereme v pokladně.

položkypoložka

- Neomezený přístup k elektronickým knihám
  
  Neomezený přístup k audioknihám
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  
  Získejte každý měsíc jeden kredit na audioknihu podle vlastního výběru.
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  
  Neomezený přístup k elektronickým knihám
  
  Neomezený přístup k audioknihám
  
  Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
  Audiokniha
  podle ,
  
  Dostupné:
  
  . Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions.
  
  Předobjednávka
  1 audiokniha měsíčně
  
  + 30denní zkušební verze ZDARMA
  
  Zvláštní nabídka
  
  Každý měsíc získáte 1 kredit, který můžete vyměnit za audioknihu dle svého výběru
  
  * Žádný závazek, lze zrušit kdykoliv
  
  ZDARMA

položkypoložka

Neomezený přístup k elektronickým knihám

Neomezený přístup k audioknihám

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions

Získejte každý měsíc jeden kredit na audioknihu podle vlastního výběru.

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions

Neomezený přístup k elektronickým knihám

Neomezený přístup k audioknihám

Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions
Audiokniha
podle ,

Dostupné:
. Žádné závazky, zrušení kdykoli v kobo.com/account/subscriptions.

Předobjednávka
1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Zvláštní nabídka

Každý měsíc získáte 1 kredit, který můžete vyměnit za audioknihu dle svého výběru

* Žádný závazek, lze zrušit kdykoliv

ZDARMA

Doporučeno pro vás

ChatGPT for Coders

Unlock the Power of AI with ChatGPT: A Comprehensive Guide to Efficient and Effective Coding

podle Sean A Williams ...

Série série How to
This book takes you on a journey through the world of coding with ChatGPT, exploring the benefits and applications of this cutting-edge technology.From understanding basic coding concepts and working with data to web development, machine learning, and beyond, this guide provides a comprehensive understanding of coding with ChatGPT. You will learn how to debug code, integrate ChatGPT with other ... Přečtěte si více

101,88 Kč nebo zdarma s Kobo Plus

This book takes you on a journey through the world of coding with ChatGPT, exploring the benefits and applications of this cutting-edge technology.From understanding basic coding concepts and working with data to web development, machine learning, and beyond, this guide provides a comprehensive understanding of coding with ChatGPT. You will learn how to debug code, integrate ChatGPT with other
... Přečtěte si více
Data Parallel C++

Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL

podle James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian ...

Série série Professional and Applied Computing (R0)
Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels. It is full of practical advice, detailed explanations, and code examples to illustrate key topics.Data parallelism in C++ enables access to parallel resources in a modern ... Přečtěte si více

Zdarma

Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new levels. It is full of practical advice, detailed explanations, and code examples to illustrate key topics.Data parallelism in C++ enables access to parallel resources in a modern
... Přečtěte si více
Pro TBB

C++ Parallel Programming with Threading Building Blocks

podle Michael Voss, Rafael Asenjo, James Reinders ...

Série série Professional and Applied Computing (R0)
This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices ... Přečtěte si více

Zdarma

This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices
... Přečtěte si více
Crafting Interpreters

podle Robert Nystrom ...

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That ... Přečtěte si více

815,68 Kč

Despite using them every day, most software engineers know little about how programming languages are designed and implemented. For many, their only experience with that corner of computer science was a terrifying "compilers" class that they suffered through in undergrad and tried to blot from their memory as soon as they had scribbled their last NFA to DFA conversion on the final exam.That
... Přečtěte si více
Beginning iPhone Development with Swift 5

Exploring the iOS SDK

podle Wallace Wang ...

Série série Professional and Applied Computing (R0)
Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders. In this edition of the best selling book, you’ll also learn about touch gestures, table views, and collection views for displaying data on a user interface.Assuming little or no working knowledge of the Swift programming language, and written in a ... Přečtěte si více

958,99 Kč

Learn how to integrate all the interface elements iOS users have come to know and love, such as buttons, switches, pickers, toolbars, and sliders. In this edition of the best selling book, you’ll also learn about touch gestures, table views, and collection views for displaying data on a user interface.Assuming little or no working knowledge of the Swift programming language, and written in a
... Přečtěte si více
Practical Aspects of Declarative Languages

25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Upravil: Michael Hanus, Daniela Inclezan ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic ... Přečtěte si více

1 637,39 Kč

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic
... Přečtěte si více
Languages and Compilers for Parallel Computing

28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

Upravil: Xipeng Shen, Frank Mueller, James Tuck ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework, ... Přečtěte si více

1 091,49 Kč

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework,
... Přečtěte si více
Euro-Par 2020: Parallel Processing Workshops

Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers

Upravil: Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L. Scott, Didem Unat, Roman Wyrzykowski ...

Série série Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.Euro-Par is an ... Přečtěte si více

1 091,49 Kč

This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually due to the coronavirus pandemic.The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.Euro-Par is an
... Přečtěte si více
Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Upravil: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from ... Přečtěte si více

1 091,49 Kč

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from
... Přečtěte si více
Introduction to Compiler Design

podle Torben Ægidius Mogensen ...

Série série Computer Science (R0)
The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for ... Přečtěte si více

1 091,49 Kč

The third edition of this textbook has been fully revised and adds material about the SSA form, polymorphism, garbage collection, and pattern matching. It presents techniques for making realistic compilers for simple to intermediate-complexity programming languages. The techniques presented in the book are close to those used in professional compilers, albeit in places slightly simplified for
... Přečtěte si více
Functional Programming in R 4

Advanced Statistical Programming for Data Science, Analysis, and Finance

podle Thomas Mailund ...

Série série Professional and Applied Computing (R0)
Master functions and discover how to write functional programs in R. In this book, updated for R 4, you'll learn to make your functions pure by avoiding side effects, write functions that manipulate other functions, and construct complex functions using simpler functions as building blocks.In Functional Programming in R 4, you’ll see how to replace loops, which can have side-effects, with ... Přečtěte si více

1 162,89 Kč

Master functions and discover how to write functional programs in R. In this book, updated for R 4, you'll learn to make your functions pure by avoiding side effects, write functions that manipulate other functions, and construct complex functions using simpler functions as building blocks.In Functional Programming in R 4, you’ll see how to replace loops, which can have side-effects, with
... Přečtěte si více
Einführung in JavaFX/OpenJFX

Moderne GUIs für RIAs und Java-Applikationen

podle Ralph Steyer ...

Série série Computer Science and Engineering (German Language)
Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Seit der Version 2 hat JavaFX jedoch einen festen und ausgereiften Stand erreicht und ist mittlerweile die aktuelle Technologie im Java-Umfeld, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl ... Přečtěte si více

958,99 Kč

Das JavaFX-Framework gibt es schon seit einigen Jahren, hat aber mit den ersten Versionen fast nur noch den Namen gemeinsam. Seit der Version 2 hat JavaFX jedoch einen festen und ausgereiften Stand erreicht und ist mittlerweile die aktuelle Technologie im Java-Umfeld, um leistungsfähige und moderne grafische Benutzeroberflächen (GUI) erstellen zu können. Dieses Buch stellt Ihnen dazu eine Vielzahl
... Přečtěte si více
Monstruo o prodigio

Cómo la IA está transformando la escuela, el trabajo y la vida

podle Eduardo Andere M ...

Série série Educación
La inteligencia artificial ha llegado para quedarse. Su impacto está transformando el mundo y ha abierto un sinfín de preguntas. Una destaca por encima de todas: ¿pueden las máquinas pensar como el ser humano? Junto con esta evolución, Eduardo Andere nos ofrece un panorama de tecnologías que, solas o fusionadas, influyen en la forma en que los seres humanos aprendemos, nos comunicamos, trabajamos ... Přečtěte si více

289,00 Kč nebo zdarma s Kobo Plus

La inteligencia artificial ha llegado para quedarse. Su impacto está transformando el mundo y ha abierto un sinfín de preguntas. Una destaca por encima de todas: ¿pueden las máquinas pensar como el ser humano? Junto con esta evolución, Eduardo Andere nos ofrece un panorama de tecnologías que, solas o fusionadas, influyen en la forma en que los seres humanos aprendemos, nos comunicamos, trabajamos
... Přečtěte si více
Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Upravil: Maurice H. ter Beek, Annabelle McIver, José N. Oliveira ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; ... Přečtěte si více

1 091,49 Kč

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations;
... Přečtěte si více
Euro-Par 2018: Parallel Processing

24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Upravil: Marco Aldinucci, Luca Padovani, Massimo Torquati ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018.The 57 full papers presented in this volume were carefully reviewed and selected from 194 submissions. They were organized in topical sections named: support tools and environments; performance and power modeling, prediction and ... Přečtěte si více

1 091,49 Kč

This book constitutes the proceedings of the 24th International Conference on Parallel and Distributed Computing, Euro-Par 2018, held in Turin, Italy, in August 2018.The 57 full papers presented in this volume were carefully reviewed and selected from 194 submissions. They were organized in topical sections named: support tools and environments; performance and power modeling, prediction and
... Přečtěte si více
Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Upravil: Nicolas Peltier, Viorica Sofronie-Stokkermans ...

Série Kniha 2 - Springer Nature Proceedings Computer Science
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP ... Přečtěte si více

1 593,69 Kč

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP
... Přečtěte si více
Fundamentals of Software Engineering

7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Upravil: Mehdi Dastani, Marjan Sirjani ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to ... Přečtěte si více

1 091,49 Kč

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to
... Přečtěte si více
Trends in Functional Programming

19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Upravil: Michał Pałka, Magnus Myreen ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a ... Přečtěte si více

1 200,69 Kč

This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a
... Přečtěte si více
Graph Transformation

13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Upravil: Fabio Gadducci, Timo Kehrer ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and ... Přečtěte si více

1 091,49 Kč

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and
... Přečtěte si více
It's All About Coordination

Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Upravil: Frank de Boer, Marcello Bonsangue, Jan Rutten ...

Série série Computer Science (R0)
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency ... Přečtěte si více

1 091,49 Kč

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).Over the years Farhad Arbab has sucessfully been engaged in scientific explorations in various directions: Software Composition, Service Oriented Computing, Component-based Software, Concurrency
... Přečtěte si více
Verified Software. Theories, Tools, and Experiments

10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Upravil: Ruzica Piskac, Philipp Rümmer ...

Série série Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, ... Přečtěte si více

1 091,49 Kč

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification,
... Přečtěte si více
Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Upravil: Steve Counsell, Manuel Núñez ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis ... Přečtěte si více

1 091,49 Kč

This book constitutes the revised selected papers of the collocated workshops of the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013.The conference hosted 5 workshops: The Second International Workshop on Behavioural Types (BEAT2). The aim was to pursue research topics in the use of behavioural type theory as the basis
... Přečtěte si více
Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Upravil: Erika Ábrahám, Marieke Huisman ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and ... Přečtěte si více

1 746,59 Kč

This book constitutes the refereed proceedings of the 12th International Conference on Integrated Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: invited contributions; program verification; probabilistic systems; concurrency; safety and
... Přečtěte si více
Theory and Applications of Formal Argumentation

4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Upravil: Elizabeth Black, Sanjay Modgil, Nir Oren ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The ... Přečtěte si více

1 091,49 Kč

This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions.The
... Přečtěte si více

Rakuten Kobo

Čtečky elektronických knih

Aplikace

Příslušenství

Nákupní košík

Dostáváte VIP zacházení!

Nákupní košík je prázdný

Dostupné:

1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Dostupné:

1 audiokniha měsíčně

+ 30denní zkušební verze ZDARMA

Doporučeno pro vás

Kompilátory elektronické knihy

ChatGPT for Coders

Data Parallel C++

Pro TBB

Crafting Interpreters

Beginning iPhone Development with Swift 5

Practical Aspects of Declarative Languages

Languages and Compilers for Parallel Computing

Euro-Par 2020: Parallel Processing Workshops

Critical Systems: Formal Methods and Automated Verification

Introduction to Compiler Design

Functional Programming in R 4

Einführung in JavaFX/OpenJFX

Monstruo o prodigio

Formal Methods – The Next 30 Years

Euro-Par 2018: Parallel Processing

Automated Reasoning

Fundamentals of Software Engineering

Trends in Functional Programming

Graph Transformation

It's All About Coordination

Verified Software. Theories, Tools, and Experiments

Software Engineering and Formal Methods

Integrated Formal Methods

Theory and Applications of Formal Argumentation