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

Tribute to Christian Pauchard Rocket-Probe Engineer in Kourou Guiana Space Center

From the Bottom of My Heart, #1

podle Jocelyne Pauchard, PhD ...

Série Kniha 1 - From the Bottom of My Heart
When he joined the Guiana Space Center in Kourou in October 1968, everything had to be done; and since the proper functioning of a large-scale center depends on the management of its personnel and supplies, Christian Pauchard set out to computerize all of its processes. Before the CSG, there was a dream... the dream of a little boy seeing airplanes flying over his home: it was the year 1940. His ... Přečtěte si více

220,38 Kč

When he joined the Guiana Space Center in Kourou in October 1968, everything had to be done; and since the proper functioning of a large-scale center depends on the management of its personnel and supplies, Christian Pauchard set out to computerize all of its processes. Before the CSG, there was a dream... the dream of a little boy seeing airplanes flying over his home: it was the year 1940. His
... Přečtěte si více
Colossus: Bletchley Park's Last Secret

podle Paul Gannon ...

This is the last untold story of Bletchley Park. Using declassified information, Paul Gannon gives us a gripping account of the invention of the world's first true computer, Colossus.Uncover the secrets of Bletchley Park's code-breaking computers.In 1940, almost a year after the outbreak of the Second World war, Allied radio operators at an interception station in South London began picking up ... Přečtěte si více

163,67 Kč

This is the last untold story of Bletchley Park. Using declassified information, Paul Gannon gives us a gripping account of the invention of the world's first true computer, Colossus.Uncover the secrets of Bletchley Park's code-breaking computers.In 1940, almost a year after the outbreak of the Second World war, Allied radio operators at an interception station in South London began picking up
... Přečtěte si více
Computer Simulation Validation

Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives

Upravil: Claus Beisbart, Nicole J. Saam ...

Série série Computer Science (R0)
This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and ... Přečtěte si více

4 787,89 Kč

This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and
... Přečtěte si více
Internet of Things, Smart Spaces, and Next Generation Networks and Systems

23rd International Conference, NEW2AN 2023, and 16th Conference, ruSMART 2023, Dubai, United Arab Emirates, December 21–22, 2023, Proceedings, Part II

Upravil: Yevgeni Koucheryavy, Ahmed Aziz ...

Série Kniha 2 - Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Next Generation Wired/Wireless Networking, NEW2AN 2023, and the 16th Conference on Internet of Things and Smart Spaces, ruSMART 2023, held in Dubai, United Arab Emirates, in December 21–22, 2023.The 67 full papers were carefully reviewed and selected from 258 submissions. The NEW2AN 2023 is well-established ... Přečtěte si více

2 841,89 Kč

This book constitutes the refereed proceedings of the 23rd International Conference on Next Generation Wired/Wireless Networking, NEW2AN 2023, and the 16th Conference on Internet of Things and Smart Spaces, ruSMART 2023, held in Dubai, United Arab Emirates, in December 21–22, 2023.The 67 full papers were carefully reviewed and selected from 258 submissions. The NEW2AN 2023 is well-established
... Přečtěte si více
Spatial Data and Intelligence

6th International Conference, SpatialDI 2025, Xiamen, China, April 17, 2025, Proceedings

Upravil: Yu Liu, Longbiao Chen, Shaohua Wang, Min Deng, Bolong Zheng, Qiang Mei ...

Série série Computer Science (R0)
This book constitutes the refereed post proceedings of the 6th International Conference on Spatial Data and Intelligence, SpatialDI 2025, held in Xiamen, China, during April 17–19, 2025.The 17 full papers were carefully reviewed and selected from 100 submissions. The conference focuses on generative AI and spatial data intelligence, spatiotemporal knowledge graphs and large geographic models, ... Přečtěte si více

1 420,89 Kč

This book constitutes the refereed post proceedings of the 6th International Conference on Spatial Data and Intelligence, SpatialDI 2025, held in Xiamen, China, during April 17–19, 2025.The 17 full papers were carefully reviewed and selected from 100 submissions. The conference focuses on generative AI and spatial data intelligence, spatiotemporal knowledge graphs and large geographic models,
... Přečtěte si více
Tools for Design, Implementation and Verification of Emerging Information Technologies

18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

Upravil: Jianghua Liu, Lei Xu, Xinyi Huang ...

Série série Computer Science (R0)
This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023.The 9 full papers were selected from 30 submissions and deal the emerging technologies of big data, cyber-physical systems and ... Přečtěte si více

1 311,59 Kč

This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023.The 9 full papers were selected from 30 submissions and deal the emerging technologies of big data, cyber-physical systems and
... Přečtěte si více
Verified Software. Theories, Tools and Experiments

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Upravil: Andrew Reynolds, Serdar Tasiran ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies ... Přečtěte si více

1 092,89 Kč

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies
... Přečtěte si více
Euro-Par 2024: Parallel Processing

30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part II

Upravil: Jesus Carretero, Sameer Shende, Javier Garcia-Blas, Ivona Brandic, Katzalin Olcoz, Martin Schreiber ...

Série Kniha 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed Processing, Euro-Par 2024, which took place in Madrid, Spain, during August 26–30, 2024.The 88 full papers included in the proceedings were carefully reviewed and selected from 293 submissions. They were organized in topical sections as follows:Part I: ... Přečtěte si více

1 530,19 Kč

The three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed Processing, Euro-Par 2024, which took place in Madrid, Spain, during August 26–30, 2024.The 88 full papers included in the proceedings were carefully reviewed and selected from 293 submissions. They were organized in topical sections as follows:Part I:
... Přečtěte si více
Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Upravil: Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi ...

Série Kniha 2 - Springer Nature Proceedings Computer Science
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The ... Přečtěte si více

Zdarma

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The
... Přečtěte si více
Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection

International Workshops of PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings

Upravil: Fernando De La Prieta, Philippe Mathieu, Jaime Andrés Rincón Arango, Alia El Bolock, Elena Del Val, Jaume Jordán Prunera, João Carneiro, Rubén Fuentes, Fernando Lopes, Vicente Julian ...

Série série Computer Science (R0)
This book constitutes the refereed proceedings of the workshops co-located with the 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2020, held in L’Aquila, Italy, in October 2020.The total of 21 full and 13 short papers presented in this volume were carefully reviewed and selected from 57 submissions.The papers in this volume stem from the following ... Přečtěte si více

1 092,89 Kč

This book constitutes the refereed proceedings of the workshops co-located with the 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2020, held in L’Aquila, Italy, in October 2020.The total of 21 full and 13 short papers presented in this volume were carefully reviewed and selected from 57 submissions.The papers in this volume stem from the following
... Přečtěte si více
Bridging the Gap Between AI and Reality

Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings

Upravil: Bernhard Steffen ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous ... Přečtěte si více

1 530,19 Kč

This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous
... Přečtěte si více
Euro-Par 2024: Parallel Processing

30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26–30, 2024, Proceedings, Part I

Upravil: Jesus Carretero, Sameer Shende, Javier Garcia-Blas, Ivona Brandic, Katzalin Olcoz, Martin Schreiber ...

Série Kniha 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed Processing, Euro-Par 2024, which took place in Madrid, Spain, during August 26–30, 2024.The 88 full papers included in the proceedings were carefully reviewed and selected from 293 submissions. They were organized in topical sections as follows:Part I: ... Přečtěte si více

1 311,59 Kč

The three-volume set LNCS 14801, 14802, and 14803 constitutes the proceedings of the 30th European Conference on Parallel and Distributed Processing, Euro-Par 2024, which took place in Madrid, Spain, during August 26–30, 2024.The 88 full papers included in the proceedings were carefully reviewed and selected from 293 submissions. They were organized in topical sections as follows:Part I:
... Přečtěte si více
Pattern Recognition and Computer Vision

8th Chinese Conference, PRCV 2025, Shanghai, China, October 15-18, 2025, Proceedings, Part XVI

Upravil: Josef Kittler, Hongkai Xiong, Jian Yang, Xilin Chen, Jiwen Lu, Weiyao Lin, Jingyi Yu, Weishi Zheng ...

Série Kniha 16 - Springer Nature Proceedings Computer Science
This 18-volume set constitutes the refereed proceedings of the 8th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2025, held in Shanghai, China, during October 15-18, 2025.The 692 full papers included in this book, comprising 66 oral presentations and 626 posters, were carefully reviewed and selected from 2370 submissions.PRCV's mission is to serve as a comprehensive platform ... Přečtěte si více

1 748,79 Kč

This 18-volume set constitutes the refereed proceedings of the 8th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2025, held in Shanghai, China, during October 15-18, 2025.The 692 full papers included in this book, comprising 66 oral presentations and 626 posters, were carefully reviewed and selected from 2370 submissions.PRCV's mission is to serve as a comprehensive platform
... Přečtěte si více
Computer Vision – ECCV 2024 Workshops

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

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

Série série 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 748,79 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
Computer Performance Engineering

20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers

Upravil: Josu Doncel, Anne Remke, Daniele Di Pompeo ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.The 10 papers presented in this volume together with one invited talk were carefully reviewed and selected from 14 submissions. The concept of performance in EPEW 2024 is considered in its broadest sense including the notions of ... Přečtěte si více

1 092,89 Kč

This book constitutes the refereed proceedings of the 20th European Workshop on Computer Performance Engineering, EPEW 2024, held in Venice, Italy, on June 14, 2024.The 10 papers presented in this volume together with one invited talk were carefully reviewed and selected from 14 submissions. The concept of performance in EPEW 2024 is considered in its broadest sense including the notions of
... Přečtěte si více
Organização e Arquitetura de Computadores

Uma Jornada do Fundamental ao inovador

podle Luiz Ricardo Mantovani da Silva ...

Organização e Arquitetura de Computadores é uma obra essencial para todos que desejam aprofundar seus conhecimentos em sistemas computacionais. São 22 capítulos começando pela parte histórica, passando por aspectos obrigatórios como sistema operacional, tipos de computadores, linguagem de montagem, memória e segurança e avançando em tópicos mais recentes como computação em nuvem, virtualização, ... Přečtěte si více

412,71 Kč nebo zdarma s Kobo Plus

Organização e Arquitetura de Computadores é uma obra essencial para todos que desejam aprofundar seus conhecimentos em sistemas computacionais. São 22 capítulos começando pela parte histórica, passando por aspectos obrigatórios como sistema operacional, tipos de computadores, linguagem de montagem, memória e segurança e avançando em tópicos mais recentes como computação em nuvem, virtualização,
... Přečtěte si více
System Level Design from HW/SW to Memory for Embedded Systems

5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings

Upravil: Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, held in Foz do Iguaçu, Brazil, in November 2015.The 18 full revised papers presented were carefully reviewed and selected from 25 submissions. The papers present a broad discussion on the design, analysis and verification of embedded and cyber-physical systems including design ... Přečtěte si více

1 090,09 Kč

This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, held in Foz do Iguaçu, Brazil, in November 2015.The 18 full revised papers presented were carefully reviewed and selected from 25 submissions. The papers present a broad discussion on the design, analysis and verification of embedded and cyber-physical systems including design
... Přečtěte si více
Architecture-Based Design of Multi-Agent Systems

podle Danny Weyns ...

Série série Computer Science (R0)
Multi-agent systems are claimed to be especially suited to the development of software systems that are decentralized, can deal flexibly with dynamic conditions, and are open to system components that come and go. This is why they are used in domains such as manufacturing control, automated vehicles, and e-commerce markets.Danny Weyns' book is organized according to the postulate that "developing ... Přečtěte si více

2 180,29 Kč

Multi-agent systems are claimed to be especially suited to the development of software systems that are decentralized, can deal flexibly with dynamic conditions, and are open to system components that come and go. This is why they are used in domains such as manufacturing control, automated vehicles, and e-commerce markets.Danny Weyns' book is organized according to the postulate that "developing
... Přečtěte si více
Computer Engineering and Technology

20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers

Upravil: Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu ...

Série série Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th CCF Conference on Computer Engineering and Technology, NCCET 2016, held in Xi'an, China, in August 2016.The 21 full papers presented were carefully reviewed and selected from 120 submissions. They are organized in topical sections on processor architecture; application specific processors; computer application and software optimization; ... Přečtěte si více

1 090,09 Kč

This book constitutes the refereed proceedings of the 20th CCF Conference on Computer Engineering and Technology, NCCET 2016, held in Xi'an, China, in August 2016.The 21 full papers presented were carefully reviewed and selected from 120 submissions. They are organized in topical sections on processor architecture; application specific processors; computer application and software optimization;
... Přečtěte si více
Governance, Risk, and Compliance Handbook for Oracle Applications

Written by industry experts with more than 30 years combined experience, this handbook covers all the major aspects of Governance, Risk, and Compliance management in your organization with this book and ebook.

podle Nigel King, Adil Khan ...

Written by industry experts with more than 30 years combined experience, this handbook covers all the major aspects of Governance, Risk, and Compliance management in your organization with this book and ebook.Key FeaturesGovernance: In depth coverage of corporate, IT, and security Governance, which includes important topics such as strategy development and communication, strategic reporting and ... Přečtěte si více

1 370,69 Kč nebo zdarma s Kobo Plus

Written by industry experts with more than 30 years combined experience, this handbook covers all the major aspects of Governance, Risk, and Compliance management in your organization with this book and ebook.Key FeaturesGovernance: In depth coverage of corporate, IT, and security Governance, which includes important topics such as strategy development and communication, strategic reporting and
... Přečtěte si více
Learning Embedded Android N Programming

Customize your Android system with the power of embedded programming

podle Ivan Morgillo, Stefano Viola ...

Customize your Android system with the power of embedded programmingKey FeaturesUnderstand the system architecture and how the source code is organizedExplore the power of Android and customize the build systemBuild a fully customized Android version as per your requirementsBook DescriptionTake a deep dive into the Android build system and its customization with Learning Embedded Android ... Přečtěte si více

803,69 Kč nebo zdarma s Kobo Plus

Customize your Android system with the power of embedded programmingKey FeaturesUnderstand the system architecture and how the source code is organizedExplore the power of Android and customize the build systemBuild a fully customized Android version as per your requirementsBook DescriptionTake a deep dive into the Android build system and its customization with Learning Embedded Android
... Přečtěte si více
Database Systems for Advanced Applications

31st International Conference, DASFAA 2026, Jeju, South Korea, April 27-30, 2026, Proceedings, Part IV

Upravil: Hyungsoo Jung, Tianzheng Wang, Masashi Toyoda, Hyuk-Yoon Kwon, Jae-woong Lee ...

Série Kniha 4 - Springer Nature Proceedings Computer Science
This 6-volume set LNCS 16535-16540 constitutes the proceedings of the 31st International Conference on Database Systems for Advanced Applications, DASFAA 2026, held in Jeju, South Korea, at April 27-30, 2026.The 228 full papers presented in this book were carefully reviewed and selected from 834 submissions. They cover topics such as:Search and RecommendationIndex and Storage SystemsGraph and ... Přečtěte si více

1 962,29 Kč

This 6-volume set LNCS 16535-16540 constitutes the proceedings of the 31st International Conference on Database Systems for Advanced Applications, DASFAA 2026, held in Jeju, South Korea, at April 27-30, 2026.The 228 full papers presented in this book were carefully reviewed and selected from 834 submissions. They cover topics such as:Search and RecommendationIndex and Storage SystemsGraph and
... Přečtěte si více
A Formal Theory of Commonsense Psychology

How People Think People Think

podle Andrew S. Gordon, Jerry R. Hobbs ...

Commonsense psychology refers to the implicit theories that we all use to make sense of people's behavior in terms of their beliefs, goals, plans, and emotions. These are also the theories we employ when we anthropomorphize complex machines and computers as if they had humanlike mental lives. In order to successfully cooperate and communicate with people, these theories will need to be represented ... Přečtěte si více

2 226,09 Kč

Commonsense psychology refers to the implicit theories that we all use to make sense of people's behavior in terms of their beliefs, goals, plans, and emotions. These are also the theories we employ when we anthropomorphize complex machines and computers as if they had humanlike mental lives. In order to successfully cooperate and communicate with people, these theories will need to be represented
... Přečtěte si více
Modal Logic for Philosophers

podle James W. Garson ...

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal ... Přečtěte si více

944,39 Kč

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal
... 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

Tribute to Christian Pauchard Rocket-Probe Engineer in Kourou Guiana Space Center

Colossus: Bletchley Park's Last Secret

Computer Simulation Validation

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

Spatial Data and Intelligence

Tools for Design, Implementation and Verification of Emerging Information Technologies

Verified Software. Theories, Tools and Experiments

Euro-Par 2024: Parallel Processing

Formal Methods

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection

Bridging the Gap Between AI and Reality

Euro-Par 2024: Parallel Processing

Pattern Recognition and Computer Vision

Computer Vision – ECCV 2024 Workshops

Computer Performance Engineering

Organização e Arquitetura de Computadores

System Level Design from HW/SW to Memory for Embedded Systems

Architecture-Based Design of Multi-Agent Systems

Computer Engineering and Technology

Governance, Risk, and Compliance Handbook for Oracle Applications

Learning Embedded Android N Programming

Database Systems for Advanced Applications

A Formal Theory of Commonsense Psychology

Modal Logic for Philosophers