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

Building and Delivering Microservices on AWS

Master software architecture patterns to develop and deliver microservices to AWS Cloud

podle Amar Deep Singh ...

Quickly deliver microservices with CodeCommit, CodeBuild, CodeDeploy, and CodePipeline using software architecture patterns, microservices, and release pipelines Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesLearn software architecture and microservices design patterns from an AWS certified professional architectDevelop microservices using Spring Boot and automate the ... Přečtěte si více

740,69 Kč nebo zdarma s Kobo Plus

Quickly deliver microservices with CodeCommit, CodeBuild, CodeDeploy, and CodePipeline using software architecture patterns, microservices, and release pipelines Purchase of the print or Kindle book includes a free PDF eBookKey FeaturesLearn software architecture and microservices design patterns from an AWS certified professional architectDevelop microservices using Spring Boot and automate the
... Přečtěte si více
GameCube Architecture

Architecture of Consoles: A Practical Analysis, #10

podle Rodrigo Copetti ...

Série Kniha 10 - Architecture of Consoles: A Practical Analysis
Gone are the days of '3D-attempts', Nintendo's new offering consists of a clean and powerful break from its predecessor that will open the door to new, original and unseen content.It's worth pointing out that the design of this architecture led to one of the most compact hardware of this generation. This was emphasised by the lack of slims or lite revisions.Architecture of Consoles: A Practical ... Přečtěte si více

65,34 Kč

Gone are the days of '3D-attempts', Nintendo's new offering consists of a clean and powerful break from its predecessor that will open the door to new, original and unseen content.It's worth pointing out that the design of this architecture led to one of the most compact hardware of this generation. This was emphasised by the lack of slims or lite revisions.Architecture of Consoles: A Practical
... Přečtěte si více
Nintendo 3DS Architecture

Architecture of Consoles: A Practical Analysis, #22

podle Rodrigo Copetti ...

Série Kniha 22 - Architecture of Consoles: A Practical Analysis
As smartphones surge in adoption, the videogame market is experiencing an unusual growth led by discount App Stores and affordable development licenses. With this, one can only wonder when kids will prefer an iPhone 4 over a Nintendo DSi.In the midst of finding out the answer, Nintendo conceives a thrilling successor to its triumphant portable system. In it, users will find old, present and ... Přečtěte si více

65,34 Kč

As smartphones surge in adoption, the videogame market is experiencing an unusual growth led by discount App Stores and affordable development licenses. With this, one can only wonder when kids will prefer an iPhone 4 over a Nintendo DSi.In the midst of finding out the answer, Nintendo conceives a thrilling successor to its triumphant portable system. In it, users will find old, present and
... Přečtěte si více
Introduction to Logic Circuits & Logic Design with VHDL

podle Brock J. LaMeres ...

Série série Engineering (R0)
This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL) ... Přečtěte si více

1 309,89 Kč

This textbook introduces readers to the fundamental hardware used in modern computers. The only pre-requisite is algebra, so it can be taken by college freshman or sophomore students or even used in Advanced Placement courses in high school. This book presents both the classical approach to digital system design (i.e., pen and paper) in addition to the modern hardware description language (HDL)
... Přečtěte si více
Machine Learning, Optimization, and Data Science

9th International Conference, LOD 2023, Grasmere, UK, September 22–26, 2023, Revised Selected Papers, Part I

Upravil: Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Gabriele La Malfa, Panos M. Pardalos, Renato Umeton ...

Série Kniha 1 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Conference on Machine Learning, Optimization, and Data Science, LOD 2023, which took place in Grasmere, UK, in September 2023.The 72 full papers included in this book were carefully reviewed and selected from 119 submissions. The proceedings also contain 9 papers from and the Third Symposium on Artificial Intelligence and ... Přečtěte si více

1 964,89 Kč

This book constitutes the refereed proceedings of the 9th International Conference on Machine Learning, Optimization, and Data Science, LOD 2023, which took place in Grasmere, UK, in September 2023.The 72 full papers included in this book were carefully reviewed and selected from 119 submissions. The proceedings also contain 9 papers from and the Third Symposium on Artificial Intelligence and
... Přečtěte si více
Dependability of Networked Computer-based Systems

podle Ajit Kumar Verma, Manoj Kumar, Srividya Ajit ...

Série série Springer Series in Reliability Engineering
The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles ... Přečtěte si více

3 056,59 Kč

The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles
... Přečtěte si více
Artificial Intelligence and Machine Learning Techniques in Image Processing and Computer Vision

Upravil: Karm Veer Arya, Ciro Rodriguez Rodriguez, Saurabh Singh, Abhishek Singhal ...

This new volume provides in-depth and detailed knowledge about the latest research in image processing and computer vision techniques. Explaining the machine learning algorithms and models involved, the authors differentiate between the various algorithms available and how to choose which to use for the most precise results for a specific task involving certain constraints. The volume provides ... Přečtěte si více

3 622,97 Kč

This new volume provides in-depth and detailed knowledge about the latest research in image processing and computer vision techniques. Explaining the machine learning algorithms and models involved, the authors differentiate between the various algorithms available and how to choose which to use for the most precise results for a specific task involving certain constraints. The volume provides
... Přečtěte si více
Interrupt Handling Schemes in Operating Systems

podle Pedro Mejia-Alvarez, Luis Eduardo Leyva-del-Foyo, Arnaldo Diaz-Ramirez ...

Série série Computer Science (R0)
In this book, the interrupt handling models used by several operating systems are introduced and compared.We begin with an analysis of the classical interrupt management model used by Unix, followed by the schemes used by modern networked environments.We highlight the key challenges of each of these models and how these have been solved by modern operating systems and the research community. Then ... Přečtěte si více

1 091,49 Kč

In this book, the interrupt handling models used by several operating systems are introduced and compared.We begin with an analysis of the classical interrupt management model used by Unix, followed by the schemes used by modern networked environments.We highlight the key challenges of each of these models and how these have been solved by modern operating systems and the research community. Then
... Přečtěte si více
6G Visions for a Sustainable and People-centric Future

From Communications to Services, the CONASENSE Perspective

Upravil: Ramjee Prasad, Rute C. Sofia ...

Série série River Publishers Series in Communications and Networking
6G is currently under definition, being often addressed from a plain telecommunications perspective as an evolutionary paradigm that represents an extension of 5G. Having as a horizon 2030, 6G initiatives are being deployed across the globe to further ignite the development of 6G services. At its philosophical core, 6G embodies the "human in the loop" principle. The research effort being developed ... Přečtěte si více

2 703,02 Kč

6G is currently under definition, being often addressed from a plain telecommunications perspective as an evolutionary paradigm that represents an extension of 5G. Having as a horizon 2030, 6G initiatives are being deployed across the globe to further ignite the development of 6G services. At its philosophical core, 6G embodies the "human in the loop" principle. The research effort being developed
... Přečtěte si více
Interactive Collaborative Robotics

10th International Conference, ICR 2025, Hanoi, Vietnam, November 10–13, 2025, Proceedings, Part I

Upravil: Andrey Ronzhin, Xuan-Tung Truong, Roman Meshcheryakov ...

Série Kniha 1 - Springer Nature Proceedings Computer Science
The two volume set LNAI 16303 + 16304 constitutes the refereed proceedings of the 10th International Conference on Interactive Collaborative Robotics, ICR 2025, held in Hanoi, Vietnam, during November 10–13, 2025.The 58 full papers presented in these two volumes were carefully reviewed and selected from 143 submissions.The papers are organized in the following topical sections:Part I: Invited ... Přečtěte si více

1 964,89 Kč

The two volume set LNAI 16303 + 16304 constitutes the refereed proceedings of the 10th International Conference on Interactive Collaborative Robotics, ICR 2025, held in Hanoi, Vietnam, during November 10–13, 2025.The 58 full papers presented in these two volumes were carefully reviewed and selected from 143 submissions.The papers are organized in the following topical sections:Part I: Invited
... Přečtěte si více
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

Upravil: José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck ...

Série série Springer Nature Proceedings Computer Science
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the ... Přečtěte si více

1 593,69 Kč

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the
... Přečtěte si více
Computational Science and Its Applications – ICCSA 2019

19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

Upravil: Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino ...

Série Kniha 6 - Springer Nature Proceedings Computer Science
The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five ... Přečtěte si více

1 091,49 Kč

The six volumes LNCS 11619-11624 constitute the refereed proceedings of the 19th International Conference on Computational Science and Its Applications, ICCSA 2019, held in Saint Petersburg, Russia, in July 2019.The 64 full papers, 10 short papers and 259 workshop papers presented were carefully reviewed and selected form numerous submissions. The 64 full papers are organized in the following five
... Přečtěte si více
Design, User Experience, and Usability. Design Philosophy and Theory

8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

Upravil: Aaron Marcus, Wentao Wang ...

Série Kniha 1 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was ... Přečtěte si více

1 091,49 Kč

The four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was
... Přečtěte si více
Software Defined Chips

Volume II

podle Leibo Liu, Shaojun Wei, Jianfeng Zhu, Chenchen Deng ...

Série série Engineering (R0)
This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolution of modern general-purpose processors and programming models. The enhancement in hardware security and reliability of the software-defined chips are described from the perspective of dynamic and ... Přečtěte si více

3 274,89 Kč

This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolution of modern general-purpose processors and programming models. The enhancement in hardware security and reliability of the software-defined chips are described from the perspective of dynamic and
... Přečtěte si více
Service-Oriented Computing

17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

Upravil: Sami Yangui, Ismael Bouassida Rodriguez, Khalil Drira, Zahir Tari ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019.The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this volume were carefully reviewed and selected from 181 submissions. The papers have been organized in the following topical sections: Service ... Přečtěte si více

1 091,49 Kč

This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019.The 28 full and 12 short papers presented together with 7 poster and 2 invited papers in this volume were carefully reviewed and selected from 181 submissions. The papers have been organized in the following topical sections: Service
... Přečtěte si více
Computer Vision – ECCV 2024 Workshops

Milan, Italy, September 29–October 4, 2024, Proceedings, Part XVI

Upravil: Alessio Del Bue, Cristian Canton, Jordi Pont-Tuset, Tatiana Tommasi ...

Série Kniha 16 - Springer Nature Proceedings Computer Science
The multi-volume set LNCS 15623 until LNCS 15646 constitutes the proceedings of the workshops that were held in conjunction with the 18th European Conference on Computer Vision, ECCV 2024, which took place in Milan, Italy, during September 29–October 4, 2024.These LNCS volumes contain 574 accepted papers from 53 of the 73 workshops. The list of workshops and distribution of the workshop papers in ... Přečtěte si více

1 746,59 Kč

The multi-volume set LNCS 15623 until LNCS 15646 constitutes the proceedings of the workshops that were held in conjunction with the 18th European Conference on Computer Vision, ECCV 2024, which took place in Milan, Italy, during September 29–October 4, 2024.These LNCS volumes contain 574 accepted papers from 53 of the 73 workshops. The list of workshops and distribution of the workshop papers in
... Přečtěte si více
Interactive Collaborative Robotics

Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings

Upravil: Andrey Ronzhin, Gerhard Rigoll, Roman Meshcheryakov ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Conference on Interactive Collaborative Robotics, ICR 2018, held in Leipzig, Germany, in September 2018, as a satellite event of the 20th International Conference on Speech and Computer, SPECOM 2018.The 30 papers presented in this volume were carefully reviewed and selected from 51 submissions. The papers presents challenges of human ... Přečtěte si více

1 091,49 Kč

This book constitutes the proceedings of the Third International Conference on Interactive Collaborative Robotics, ICR 2018, held in Leipzig, Germany, in September 2018, as a satellite event of the 20th International Conference on Speech and Computer, SPECOM 2018.The 30 papers presented in this volume were carefully reviewed and selected from 51 submissions. The papers presents challenges of human
... Přečtěte si více
Software Architecture Fundamentals

A Study Guide for the Certified Professional for Software Architecture® – Foundation Level – iSAQB compliant

podle Mahbouba Gharbi, Arne Koschel, Andreas Rausch, Gernot Starke ...

Software architecture is an important factor in ensuring the success of any software project. It provides a systematically designed framework that ensures the fulfilment of quality requirements such as expandability, flexibility, performance, and time-to-market. A software architect’s job is to reconcile customer requirements with the available technical options and constraints while designing an ... Přečtěte si více

529,09 Kč

Software architecture is an important factor in ensuring the success of any software project. It provides a systematically designed framework that ensures the fulfilment of quality requirements such as expandability, flexibility, performance, and time-to-market. A software architect’s job is to reconcile customer requirements with the available technical options and constraints while designing an
... Přečtěte si více
Euro-Par 2023: Parallel Processing

29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings

Upravil: José Cano, Marios D. Dikaiakos, George A. Papadopoulos, Miquel Pericàs, Rizos Sakellariou ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 29th International Conference on Parallel and Distributed Computing, Euro-Par 2023, held in Limassol, Cyprus, in August/September 2023.The 49 full papers presented in this volume were carefully reviewed and selected from 164 submissions. They are covering the following topics: programming, compilers and performance; scheduling, resource management, ... Přečtěte si více

1 964,89 Kč

This book constitutes the proceedings of the 29th International Conference on Parallel and Distributed Computing, Euro-Par 2023, held in Limassol, Cyprus, in August/September 2023.The 49 full papers presented in this volume were carefully reviewed and selected from 164 submissions. They are covering the following topics: programming, compilers and performance; scheduling, resource management,
... Přečtěte si více
Principles and Structures of FPGAs

Upravil: Hideharu Amano ...

This comprehensive textbook on the field programmable gate array (FPGA) covers its history, fundamental knowledge, architectures, device technologies, computer-aided design technologies, design tools, examples of application, and future trends. Programmable logic devices represented by FPGAs have been rapidly developed in recent years and have become key electronic devices used in most IT products ... Přečtěte si více

4 148,29 Kč

This comprehensive textbook on the field programmable gate array (FPGA) covers its history, fundamental knowledge, architectures, device technologies, computer-aided design technologies, design tools, examples of application, and future trends. Programmable logic devices represented by FPGAs have been rapidly developed in recent years and have become key electronic devices used in most IT products
... Přečtěte si více
Cognitive Computing and Cyber Physical Systems

4th EAI International Conference, IC4S 2023, Bhimavaram, Andhra Pradesh, India, August 4-6, 2023, Proceedings, Part I

Upravil: Prakash Pareek, Nishu Gupta, M. J. C. S. Reis ...

Série Kniha 1 - Springer Nature Proceedings Computer Science
This 2-volume set constitutes the post-conference proceedings of the 4th EAI International Conference on Cognitive Computing and Cyber Physical Systems, IC4S 2023, Bhimavaram, Andhra Pradesh, India, during August 4-6, 2023. The theme of IC4S 2023 was: cognitive approaches with machine learning and advanced communications.The 70 full papers were carefully reviewed and selected from 165 submissions. ... Přečtěte si více

1 964,89 Kč

This 2-volume set constitutes the post-conference proceedings of the 4th EAI International Conference on Cognitive Computing and Cyber Physical Systems, IC4S 2023, Bhimavaram, Andhra Pradesh, India, during August 4-6, 2023. The theme of IC4S 2023 was: cognitive approaches with machine learning and advanced communications.The 70 full papers were carefully reviewed and selected from 165 submissions.
... Přečtěte si více
Software Verification

12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

Upravil: Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. ... Přečtěte si více

1 091,49 Kč

This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually.The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions.
... Přečtěte si více
Computers Helping People with Special Needs

18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part I

Upravil: Klaus Miesenberger, Georgios Kouroupetroglou, Katerina Mavrou, Roberto Manduchi, Mario Covarrubias Rodriguez, Petr Penáz ...

Série Kniha 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022. The conference was held in Lecco, Italy, in July 2022.The 112 papers presented were carefully reviewed and selected from 285 submissions. Included also are 18 introductions. The papers are organized in ... Přečtěte si více

1 528,19 Kč

The two-volume set LNCS 13341 and 13342 constitutes the refereed proceedings of the Joint International Conference on Digital Inclusion, Assistive Technology, and Accessibility, ICCHP-AAATE 2022. The conference was held in Lecco, Italy, in July 2022.The 112 papers presented were carefully reviewed and selected from 285 submissions. Included also are 18 introductions. The papers are organized in
... Přečtěte si více
Interactive Theorem Proving

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

Upravil: Mauricio Ayala-Rincón, César A. Muñoz ...

Série série 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 ... Přečtěte si více

1 091,49 Kč

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
... 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

Architektura počítačů elektronické knihy

Building and Delivering Microservices on AWS

GameCube Architecture

Nintendo 3DS Architecture

Introduction to Logic Circuits & Logic Design with VHDL

Machine Learning, Optimization, and Data Science

Dependability of Networked Computer-based Systems

Artificial Intelligence and Machine Learning Techniques in Image Processing and Computer Vision

Interrupt Handling Schemes in Operating Systems

6G Visions for a Sustainable and People-centric Future

Interactive Collaborative Robotics

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Computational Science and Its Applications – ICCSA 2019

Design, User Experience, and Usability. Design Philosophy and Theory

Software Defined Chips

Service-Oriented Computing

Computer Vision – ECCV 2024 Workshops

Interactive Collaborative Robotics

Software Architecture Fundamentals

Euro-Par 2023: Parallel Processing

Principles and Structures of FPGAs

Cognitive Computing and Cyber Physical Systems

Software Verification

Computers Helping People with Special Needs

Interactive Theorem Proving