Rakuten Kobo

Panier

Article(s) non disponible(s) à la vente

Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.

articlesarticle

- Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  
  Obtenez 1•crédit chaque mois pour le livre audio de votre choix
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  
  Accès illimité aux eBooks
  
  Accès illimité aux livres audio
  
  Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
  Livre audio
  par ,
  
  Disponible:
  
  . Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions.
  
  Pré-commander
  1 livre audio par mois
  
  + Essai gratuit pendant 30 jours
  
  Offre spéciale
  
  Obtenez 1 crédit chaque mois pour un livre audio de votre choix
  
  * Sans engagement, résiliez à tout moment
  
  GRATUIT

articlesarticle

Accès illimité aux eBooks

Accès illimité aux livres audio

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions

Obtenez 1•crédit chaque mois pour le livre audio de votre choix

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions

Accès illimité aux eBooks

Accès illimité aux livres audio

Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions
Livre audio
par ,

Disponible:
. Sans engagement, résiliez à tout moment sur kobo.com/account/subscriptions.

Pré-commander
1 livre audio par mois

+ Essai gratuit pendant 30 jours

Offre spéciale

Obtenez 1 crédit chaque mois pour un livre audio de votre choix

* Sans engagement, résiliez à tout moment

GRATUIT

Recommandé pour vous

Terraform: Up and Running

Writing Infrastructure as Code

par Yevgeniy Brikman ...

Terraform has become a key player in the DevOps world for defining, launching, and managing infrastructure as code (IaC) across a variety of cloud and virtualization platforms, including AWS, Google Cloud, Azure, and more. This hands-on third edition, expanded and thoroughly updated for version 1.0 and beyond, shows you the fastest way to get up and running with Terraform.Gruntwork cofounder ... En savoir plus

33,36 €

Terraform has become a key player in the DevOps world for defining, launching, and managing infrastructure as code (IaC) across a variety of cloud and virtualization platforms, including AWS, Google Cloud, Azure, and more. This hands-on third edition, expanded and thoroughly updated for version 1.0 and beyond, shows you the fastest way to get up and running with Terraform.Gruntwork cofounder
... En savoir plus
Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection

15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

Modifié par Yves Demazeau, Paul Davidsson, Javier Bajo, Zita Vale ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods, ... En savoir plus

46,34 €

This book constitutes the refereed proceedings of the 15th International Conference on Practical Applications of Scalable Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions. The papers report on the application and validation of agent-based models, methods,
... En savoir plus
Industrial IoT Technologies and Applications

4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings

Modifié par Lourdes Peñalver, Lorena Parra ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Industrial IoT Technologies and Applications, IoT 2020, held in December 2020. Due to Covid-19 pandemic the conference was held virtually.The widespread deployment of wireless sensor networks, clouds, industrial robot, embedded computing and inexpensive sensors has facilitated ... En savoir plus

46,34 €

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Industrial IoT Technologies and Applications, IoT 2020, held in December 2020. Due to Covid-19 pandemic the conference was held virtually.The widespread deployment of wireless sensor networks, clouds, industrial robot, embedded computing and inexpensive sensors has facilitated
... En savoir plus
Shared-Memory Parallelism Can be Simple, Fast, and Scalable

par Julian Shun ...

Collection series ACM Books
Parallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide programmers with high-level tools to enable them to develop solutions easily, and at the same time emphasize the theoretical and practical aspects of ... En savoir plus

62,41 €

Parallelism is the key to achieving high performance in computing. However, writing efficient and scalable parallel programs is notoriously difficult, and often requires significant expertise. To address this challenge, it is crucial to provide programmers with high-level tools to enable them to develop solutions easily, and at the same time emphasize the theoretical and practical aspects of
... En savoir plus
Economics of Grids, Clouds, Systems, and Services

19th International Conference, GECON 2022, Izola, Slovenia, September 13–15, 2022, Proceedings

Modifié par José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2022, held in Izola, Slovenia, in September 2022.The 4 full papers presented in this book were carefully reviewed and selected from 22 submissions. In addition, this book includes 6 work-in-progress papers, 4 new ideas paper, and two invited papers. This ... En savoir plus

50,97 €

This book constitutes the refereed proceedings of the 19th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2022, held in Izola, Slovenia, in September 2022.The 4 full papers presented in this book were carefully reviewed and selected from 22 submissions. In addition, this book includes 6 work-in-progress papers, 4 new ideas paper, and two invited papers. This
... En savoir plus
Dashboard Design

par Michael Burch, Marco Schmid ...

Collection series River Publishers Series in Computing and Information Science and Technology
Interactive visualization and visual analytics tools have been designed and developed in the past and will be developed in the future as well. In each application domain in which data is measured, generated, and recorded we see a potential candidate for an interactive visualization tool with the goal to find insights and knowledge in the data. This knowledge can be found either visually by humans’ ... En savoir plus

124,24 €

Interactive visualization and visual analytics tools have been designed and developed in the past and will be developed in the future as well. In each application domain in which data is measured, generated, and recorded we see a potential candidate for an interactive visualization tool with the goal to find insights and knowledge in the data. This knowledge can be found either visually by humans’
... En savoir plus
TypeScript Interview Playbook

par Tech Interviews ...

TypeScript Interview PlaybookTypeScript is a powerful superset of JavaScript that introduces static typing and modern features to streamline development. It helps catch errors during the compile time, enhances code maintainability, and boosts developer productivity. Whether you're building small applications or large-scale systems, mastering TypeScript can make your code more robust and scalable ... En savoir plus

5,49 €

TypeScript Interview PlaybookTypeScript is a powerful superset of JavaScript that introduces static typing and modern features to streamline development. It helps catch errors during the compile time, enhances code maintainability, and boosts developer productivity. Whether you're building small applications or large-scale systems, mastering TypeScript can make your code more robust and scalable
... En savoir plus
The Multi-Agent Programming Contest 2018

Agents Teaming Up in an Urban Environment

Modifié par Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the 13th edition of the annual Multi-Agent Programming Contest, MAPC 2018, and presents its participants.The 2018 scenario and all its changes from previous competitions are described in the first contribution, together with a brief description and analysis of the five participating teams and a closer look at the matches. It is followed by a contribution from each team, ... En savoir plus

46,34 €

This book constitutes the 13th edition of the annual Multi-Agent Programming Contest, MAPC 2018, and presents its participants.The 2018 scenario and all its changes from previous competitions are described in the first contribution, together with a brief description and analysis of the five participating teams and a closer look at the matches. It is followed by a contribution from each team,
... En savoir plus
Deep Learning for Computer Architects

par Brandon Reagen, Robert Adolf, Paul Whatmough, Gu-Yeon Wei, David Brooks, Margaret Martonosi ...

Collection series Synthesis Lectures on Computer Architecture
This is a primer written for computer architects in the new and rapidly evolving field of deep learning. It reviews how machine learning has evolved since its inception in the 1960s and tracks the key developments leading up to the emergence of the powerful deep learning techniques that emerged in the last decade.Machine learning, and specifically deep learning, has been hugely disruptive in many ... En savoir plus

34,29 €

This is a primer written for computer architects in the new and rapidly evolving field of deep learning. It reviews how machine learning has evolved since its inception in the 1960s and tracks the key developments leading up to the emergence of the powerful deep learning techniques that emerged in the last decade.Machine learning, and specifically deep learning, has been hugely disruptive in many
... En savoir plus
Web Programming with PHP and MySQL

A Practical Guide

par Max Bramer ...

Collection series Professional and Applied Computing (R0)
The second edition of this introductory textbook covers all the main features of the 'web programming' languages PHP and MySQL, together with detailed examples that will enable readers (whether students on a taught course or independent learners) to create their own applications or understand existing ones. A particular focus is the use of PHP to generate MySQL commands to access a relational ... En savoir plus

50,97 €

The second edition of this introductory textbook covers all the main features of the 'web programming' languages PHP and MySQL, together with detailed examples that will enable readers (whether students on a taught course or independent learners) to create their own applications or understand existing ones. A particular focus is the use of PHP to generate MySQL commands to access a relational
... En savoir plus
Organizational Network Analysis

Auditing Intangible Resources

par Anna Ujwary-Gil ...

Collection series Routledge Studies in Business Organizations and Networks
The integrated meta-model for organizational resource audit is a consistent and comprehensive instrument for auditing intangible resources and their relations and associations from the network perspective. This book undertakes a critically important problem of management sciences, poorly recognized in literature although determining the current and future competitiveness of enterprises, sectors ... En savoir plus

Gratuit

The integrated meta-model for organizational resource audit is a consistent and comprehensive instrument for auditing intangible resources and their relations and associations from the network perspective. This book undertakes a critically important problem of management sciences, poorly recognized in literature although determining the current and future competitiveness of enterprises, sectors
... En savoir plus
Theoretical Computer Science

40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers

Modifié par Zhiping Cai, Yijia Chen, Jialin Zhang ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29–31, 2022.The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms ... En savoir plus

69,51 €

This book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29–31, 2022.The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms
... En savoir plus
Encapsulating Legacy: A Guide to Service-Oriented Architecture in Mainframe Systems

Mainframes

par Isaac Nangan ...

Collection series Mainframes
Welcome to "Encapsulating Legacy: A Guide to Service-Oriented Architecture in Mainframe Systems". This book is a comprehensive exploration of the intersection between the enduring world of mainframe computing and the dynamic landscape of service-oriented architecture (SOA). It is intended for IT professionals, systems architects, and decision-makers who are navigating the challenging yet essential ... En savoir plus

13,49 €

Welcome to "Encapsulating Legacy: A Guide to Service-Oriented Architecture in Mainframe Systems". This book is a comprehensive exploration of the intersection between the enduring world of mainframe computing and the dynamic landscape of service-oriented architecture (SOA). It is intended for IT professionals, systems architects, and decision-makers who are navigating the challenging yet essential
... En savoir plus
Entertainment Computing – ICEC 2025

24th IFIP TC 14 International Conference, Tokyo, Japan, August 27–30, 2025, Proceedings

Modifié par Maki Sugimoto, Angelo Di Iorio, Pablo Figueroa, Ryosuke Yamanishi, Kohei Matsumura ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 24th International Conference on Entertainment Computing, ICEC 2025, held in Tokyo, Japan, during August 27–30, 2025.The 28 full papers and 17 short papers included in this book were carefully reviewed and selected from 109 submissions. They were organized in topical sections as follows: Full Conference Papers; Work in Progress; Interactive ... En savoir plus

74,15 €

This book constitutes the refereed proceedings of the 24th International Conference on Entertainment Computing, ICEC 2025, held in Tokyo, Japan, during August 27–30, 2025.The 28 full papers and 17 short papers included in this book were carefully reviewed and selected from 109 submissions. They were organized in topical sections as follows: Full Conference Papers; Work in Progress; Interactive
... En savoir plus
Team Foundation Server 2008 in Action

par Jamil Azher ...

In complex software projects, managing the development process can be as critical to success as writing the code itself. A project may involve dozens of developers, managers, architects, testers, and customers, hundreds of builds, and thousands of opportunities to get off-track. To keep tabs on the people, tasks, and components of a medium- to large-scale project, most teams use a development ... En savoir plus

54,06 €

In complex software projects, managing the development process can be as critical to success as writing the code itself. A project may involve dozens of developers, managers, architects, testers, and customers, hundreds of builds, and thousands of opportunities to get off-track. To keep tabs on the people, tasks, and components of a medium- to large-scale project, most teams use a development
... En savoir plus
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the ... En savoir plus

46,34 €

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the
... En savoir plus
Smart Grid Inspired Future Technologies

Second EAI International Conference, SmartGIFT 2017, London, UK, March 27–28, 2017, Proceedings

Modifié par Eng Tseng Lau, Michael K.K. Chai, Yue Chen, Oliver Jung, Victor C.M. Leung, Kun Yang, Sandford Bessler, Jonathan Loo, Tomonori Nakayama ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the post-conference proceedings of the Second EAI International Conference on Smart Grid Inspired Future Technologies, SmartGIFT 2017, held in London, UK, in March 2017. The revised full papers are presented in four tracks: Track 1 - Communications, Networks and Architectures; Track 2 - Smart Control and Operation; Track 3 - Grid and Components; and Track 4 - Data Management ... En savoir plus

46,34 €

This book constitutes the post-conference proceedings of the Second EAI International Conference on Smart Grid Inspired Future Technologies, SmartGIFT 2017, held in London, UK, in March 2017. The revised full papers are presented in four tracks: Track 1 - Communications, Networks and Architectures; Track 2 - Smart Control and Operation; Track 3 - Grid and Components; and Track 4 - Data Management
... En savoir plus
OpenMP: Enabling Massive Node-Level Parallelism

17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings

Modifié par Simon McIntosh-Smith, Bronis R. de Supinski, Jannis Klinkenberg ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: synchronization ... En savoir plus

64,88 €

This book constitutes the proceedings of the 17th International Workshop on OpenMP, IWOMP 2021, held virtually in September 2021 and hosted by the High Performance Computing research group at the University of Bristol, UK.The 15 full papers presented in this volume were carefully reviewed and selected for inclusion in this book. The papers are organized in topical sections named: synchronization
... En savoir plus
Big Data and Security

5th International Conference, ICBDS 2023, Nanjing, China, December 22–24, 2023, Revised Selected Papers, Part II

Modifié par Yuan Tian, Tinghuai Ma, Muhammad Khurram Khan ...

Collection Livre 2 - Springer Nature Proceedings Computer Science
The two-volume set constitutes the refereed proceedings of the 5th International Conference on Big Data and Security, ICBDS 2023, held in Nanjing, China, during December 22–24, 2023.The 35 full papers and 1 short paper were carefully reviewed and selected from 161 submissions. They are organized in topical sections as follows:Part One: Big Data & New Method and Artificial Intelligence & Machine ... En savoir plus

111,23 €

The two-volume set constitutes the refereed proceedings of the 5th International Conference on Big Data and Security, ICBDS 2023, held in Nanjing, China, during December 22–24, 2023.The 35 full papers and 1 short paper were carefully reviewed and selected from 161 submissions. They are organized in topical sections as follows:Part One: Big Data & New Method and Artificial Intelligence & Machine
... En savoir plus
Artificial General Intelligence

10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Modifié par Tom Everitt, Ben Goertzel, Alexey Potapov ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017.The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions. They cover topics such as architectures; mathematical foundations; algorithms; safety; ... En savoir plus

50,97 €

This book constitutes the proceedings of the 10th International Conference on Artificial General Intelligence, AGI 2017, held in Melbourne, VIC, Australia, in August 2017.The 24 regular papers presented in this book together with 1 short paper were carefully reviewed and selected from 35 submissions. They cover topics such as architectures; mathematical foundations; algorithms; safety;
... En savoir plus
Sensor Networks

9th International Conference, SENSORNETS 2020, Valletta, Malta, February 28–29, 2020, and 10th International Conference, SENSORNETS 2021, Virtual Event, February 9–10, 2021, Revised Selected Papers

Modifié par Andreas Ahrens, RangaRao Venkatesha Prasad, César Benavente-Peces, Nirwan Ansari ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes selected and revised papers of the 9th International Conference, SENSORNETS 2020, Valletta, Malta, held in February 2020, and the 10th International Conference, SENSORNETS 2021, held virtually in February 2021.The 7 full papers presented were carefully reviewed and selected from 60 submissions. They focus in all aspects of sensor networks, including hardware of sensor ... En savoir plus

46,34 €

This book constitutes selected and revised papers of the 9th International Conference, SENSORNETS 2020, Valletta, Malta, held in February 2020, and the 10th International Conference, SENSORNETS 2021, held virtually in February 2021.The 7 full papers presented were carefully reviewed and selected from 60 submissions. They focus in all aspects of sensor networks, including hardware of sensor
... En savoir plus
Wireless Sensor Networks

From Theory to Applications

Modifié par Ibrahiem M. M. El Emary, S. Ramakrishnan ...

Supplying comprehensive coverage of WSNs, this book covers the latest advances in WSN technologies. It considers some of theoretical problems in WSN, including issues with monitoring, routing, and power control, and details methodologies that can provide solutions to these problems. It examines applications of WSN across a range of fields, including health, defense military, transportation, and ... En savoir plus

68,62 €

Supplying comprehensive coverage of WSNs, this book covers the latest advances in WSN technologies. It considers some of theoretical problems in WSN, including issues with monitoring, routing, and power control, and details methodologies that can provide solutions to these problems. It examines applications of WSN across a range of fields, including health, defense military, transportation, and
... En savoir plus
Music and Human-Computer Interaction

Modifié par Simon Holland, Katie Wilkie, Paul Mulholland, Allan Seago ...

Collection series Computer Science (R0)
This agenda-setting book presents state of the art research in Music and Human-Computer Interaction (also known as ‘Music Interaction’). Music Interaction research is at an exciting and formative stage. Topics discussed include interactive music systems, digital and virtual musical instruments, theories, methodologies and technologies for Music Interaction. Musical activities covered include ... En savoir plus

83,42 €

This agenda-setting book presents state of the art research in Music and Human-Computer Interaction (also known as ‘Music Interaction’). Music Interaction research is at an exciting and formative stage. Topics discussed include interactive music systems, digital and virtual musical instruments, theories, methodologies and technologies for Music Interaction. Musical activities covered include
... En savoir plus
Descriptional Complexity of Formal Systems

21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings

Modifié par Michal Hospodár, Galina Jirásková, Stavros Konstantinidis ...

Collection series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019.The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of ... En savoir plus

46,34 €

This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019.The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of
... En savoir plus

Kobo Rakuten

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai gratuit pendant 30 jours

Disponible:

1 livre audio par mois

+ Essai gratuit pendant 30 jours

Recommandé pour vous

eBooks Architecture de l''ordinateur

Terraform: Up and Running

Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection

Industrial IoT Technologies and Applications

Shared-Memory Parallelism Can be Simple, Fast, and Scalable

Economics of Grids, Clouds, Systems, and Services

Dashboard Design

TypeScript Interview Playbook

The Multi-Agent Programming Contest 2018

Deep Learning for Computer Architects

Web Programming with PHP and MySQL

Organizational Network Analysis

Theoretical Computer Science

Encapsulating Legacy: A Guide to Service-Oriented Architecture in Mainframe Systems

Entertainment Computing – ICEC 2025

Team Foundation Server 2008 in Action

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Smart Grid Inspired Future Technologies

OpenMP: Enabling Massive Node-Level Parallelism

Big Data and Security

Artificial General Intelligence

Sensor Networks

Wireless Sensor Networks

Music and Human-Computer Interaction

Descriptional Complexity of Formal Systems