Rakuten Kobo

Warenkorb

Artikel nicht erhältlich

Bitte überprüfen Sie Ihren Warenkorb. Sie können nicht verfügbare Artikel jetzt entfernen. Andernfalls werden diese beim Bezahlen automatisch entfernt.

ElementeElement

- Unbegrenzter Zugriff auf eBooks
  
  Unbegrenzter Zugriff auf Hörbücher
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  
  Erhalten Sie jeden Monat 1 Gutschrift für das Hörbuch Ihrer Wahl
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  
  Unbegrenzter Zugriff auf eBooks
  
  Unbegrenzter Zugriff auf Hörbücher
  
  Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
  Hörbuch
  von ,
  
  Erhältlich ab:
  
  . Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions.
  
  Vorbestellen
  1 Hörbuch monatlich
  
  + 30 Tage kostenlos testen
  
  Willkommensgeschenk
  
  Sicheren Sie sich jeden Monat eine Gutschrift, die Sie gegen ein Hörbuch Ihrer Wahl einlösen können
  
  * Keine Bindung, jederzeit kündbar
  
  KOSTENLOS

ElementeElement

Unbegrenzter Zugriff auf eBooks

Unbegrenzter Zugriff auf Hörbücher

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions

Erhalten Sie jeden Monat 1 Gutschrift für das Hörbuch Ihrer Wahl

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions

Unbegrenzter Zugriff auf eBooks

Unbegrenzter Zugriff auf Hörbücher

Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions
Hörbuch
von ,

Erhältlich ab:
. Keine Verpflichtung, jederzeit kündbar unter kobo.com/account/subscriptions.

Vorbestellen
1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Willkommensgeschenk

Sicheren Sie sich jeden Monat eine Gutschrift, die Sie gegen ein Hörbuch Ihrer Wahl einlösen können

* Keine Bindung, jederzeit kündbar

KOSTENLOS

Empfehlungen für Sie

The DevOps Journey: Navigating the Path to Seamless Software Delivery

von Kameron Hussain …

"The DevOps Journey: Navigating the Path to Seamless Software Delivery" is an essential guide for IT professionals, software developers, and operations teams striving to enhance their DevOps practices. This comprehensive resource delves into the core principles of DevOps, including automation, continuous integration (CI), continuous deployment (CD), and collaboration, to streamline and optimize … Lesen Sie mehr

€ 9,49

"The DevOps Journey: Navigating the Path to Seamless Software Delivery" is an essential guide for IT professionals, software developers, and operations teams striving to enhance their DevOps practices. This comprehensive resource delves into the core principles of DevOps, including automation, continuous integration (CI), continuous deployment (CD), and collaboration, to streamline and optimize
... Lesen Sie mehr
Mastering React Bootstrap: Building Responsive UIs with Ease

von Kameron Hussain, Frahaan Hussain …

"Mastering React Bootstrap: Building Responsive UIs with Ease" is a comprehensive guide that delves into the intricacies of creating responsive and dynamic user interfaces using the powerful combination of React.js and Bootstrap. This book is an indispensable resource for both novice and experienced web developers who seek to enhance their skills in front-end development.The journey begins with an … Lesen Sie mehr

€ 9,99

"Mastering React Bootstrap: Building Responsive UIs with Ease" is a comprehensive guide that delves into the intricacies of creating responsive and dynamic user interfaces using the powerful combination of React.js and Bootstrap. This book is an indispensable resource for both novice and experienced web developers who seek to enhance their skills in front-end development.The journey begins with an
... Lesen Sie mehr
Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Bearbeitet von Arie Gurfinkel, Sanjit A. Seshia …

Serien series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and … Lesen Sie mehr

€ 49,49

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... Lesen Sie mehr
Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Bearbeitet von Marsha Chechik, Jean-François Raskin …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from … Lesen Sie mehr

€ 49,49

This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.The 44 full papers presented in this volume were carefully reviewed and selected from
... Lesen Sie mehr
Advances in Data Mining. Applications and Theoretical Aspects

16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

Bearbeitet von Petra Perner …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine, … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016.The 33 revised full papers presented were carefully reviewed and selected from 100 submissions. The topics range from theoretical aspects of data mining to applications of data mining, such as in multimedia data, in marketing, in medicine,
... Lesen Sie mehr
Reversible Computation

8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings

Bearbeitet von Simon Devitt, Ivan Lanese …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing;
... Lesen Sie mehr
Multi-Agent Systems

16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

Bearbeitet von Marija Slavkovik …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent … Lesen Sie mehr

€ 49,49

This book constitutes the revised post-conference proceedings of the 16th European Conference on Multi-Agent Systems, EUMAS 2018, held at Bergen, Norway, in December 2018.The 18 full papers presented in this volume were carefully reviewed and selected from a total of 34 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent
... Lesen Sie mehr
Formal Techniques for Distributed Objects, Components, and Systems

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

Bearbeitet von Jorge A. Pérez, Nobuko Yoshida …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected … Lesen Sie mehr

€ 62,36

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.The 15 full and 3 short papers presented were carefully reviewed and selected
... Lesen Sie mehr
Logic, Rationality, and Interaction

7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Bearbeitet von Patrick Blackburn, Emiliano Lorini, Meiyun Guo …

Serien series Springer Nature Proceedings excluding Computer Science
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and … Lesen Sie mehr

€ 49,49

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019.The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and
... Lesen Sie mehr
SDL 2017: Model-Driven Engineering for Future Internet

18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

Bearbeitet von Gábor Kovács, György Réthy, Tibor Csöndes …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL … Lesen Sie mehr

€ 49,49

This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL
... Lesen Sie mehr
Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Bearbeitet von Didier Galmiche, Stephan Schulz, Roberto Sebastiani …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic
... Lesen Sie mehr
Models, Languages, and Tools for Concurrent and Distributed Programming

Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

Bearbeitet von Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese …

Serien series Computer Science (R0)
This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy.The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, … Lesen Sie mehr

€ 49,49

This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy.The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity,
... Lesen Sie mehr
AIxIA 2020 – Advances in Artificial Intelligence

XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers

Bearbeitet von Matteo Baldoni, Stefania Bandini …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at … Lesen Sie mehr

€ 89,09

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at
... Lesen Sie mehr
Hardware and Software: Verification and Testing

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Bearbeitet von Roderick Bloem, Eli Arbel …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future
... Lesen Sie mehr
Mastering Google Cloud Platform: Navigating the Clouds

von Kameron Hussain, Frahaan Hussain …

Discover the ultimate guide to mastering the Google Cloud Platform (GCP) with "Mastering Google Cloud Platform: Navigating the Clouds." This comprehensive resource is designed for IT professionals, developers, and cloud enthusiasts seeking to leverage the full potential of GCP. Whether you're preparing for GCP certification or looking to implement cutting-edge cloud solutions, this book offers … Lesen Sie mehr

€ 9,49

Discover the ultimate guide to mastering the Google Cloud Platform (GCP) with "Mastering Google Cloud Platform: Navigating the Clouds." This comprehensive resource is designed for IT professionals, developers, and cloud enthusiasts seeking to leverage the full potential of GCP. Whether you're preparing for GCP certification or looking to implement cutting-edge cloud solutions, this book offers
... Lesen Sie mehr
PowerShell Playbook: Taming the Terminal with Wit, Script, and Wizardry

von Scott Markham …

PowerShell Playbook: Taming the Terminal with Wit, Script, and WizardryIf you've ever looked at your terminal and thought, "Well, that's an intimidating beast," then PowerShell Playbook is here to change the game. This isn't your typical dry, technical manual. Think of it as a guide to the secret world of scripting, where automation meets magic, and you're the wizard in charge. From your first … Lesen Sie mehr

€ 7,49

PowerShell Playbook: Taming the Terminal with Wit, Script, and WizardryIf you've ever looked at your terminal and thought, "Well, that's an intimidating beast," then PowerShell Playbook is here to change the game. This isn't your typical dry, technical manual. Think of it as a guide to the secret world of scripting, where automation meets magic, and you're the wizard in charge. From your first
... Lesen Sie mehr
Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Bearbeitet von Xavier Rival …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow
... Lesen Sie mehr
Rewriting Logic and Its Applications

10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Bearbeitet von Santiago Escobar …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of … Lesen Sie mehr

€ 46,52

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Grenoble, France, in March 2014.The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of
... Lesen Sie mehr
Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Bearbeitet von Dimitra Giannakopoulou, Daniel Kroening …

Serien series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully … Lesen Sie mehr

€ 46,52

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully
... Lesen Sie mehr
Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Bearbeitet von Emilio Tuosto, Chun Ouyang …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model … Lesen Sie mehr

€ 39,59

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model
... Lesen Sie mehr
Search-Based Software Engineering

7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Bearbeitet von Yvan Labiche, Márcio Barros …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software
... Lesen Sie mehr
Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Bearbeitet von Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017.The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions.
... Lesen Sie mehr
Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Bearbeitet von Bor-Yuh Evan Chang …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; … Lesen Sie mehr

€ 49,49

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages;
... Lesen Sie mehr
Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Bearbeitet von Sergei Artemov, Anil Nerode …

Serien series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, … Lesen Sie mehr

€ 49,49

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... Lesen Sie mehr

Kobo Rakuten

eReader

Apps

Zubehör

Warenkorb

Sie werden jetzt wie ein VIP behandelt!

Ihr Warenkorb ist leer

Erhältlich ab:

1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Erhältlich ab:

1 Hörbuch monatlich

+ 30 Tage kostenlos testen

Empfehlungen für Sie

Compilerprogramme eBooks

The DevOps Journey: Navigating the Path to Seamless Software Delivery

Mastering React Bootstrap: Building Responsive UIs with Ease

Verified Software: Theories, Tools, and Experiments

Tools and Algorithms for the Construction and Analysis of Systems

Advances in Data Mining. Applications and Theoretical Aspects

Reversible Computation

Multi-Agent Systems

Formal Techniques for Distributed Objects, Components, and Systems

Logic, Rationality, and Interaction

SDL 2017: Model-Driven Engineering for Future Internet

Automated Reasoning

Models, Languages, and Tools for Concurrent and Distributed Programming

AIxIA 2020 – Advances in Artificial Intelligence

Hardware and Software: Verification and Testing

Mastering Google Cloud Platform: Navigating the Clouds

PowerShell Playbook: Taming the Terminal with Wit, Script, and Wizardry

Static Analysis

Rewriting Logic and Its Applications

Verified Software: Theories, Tools and Experiments

Web Services and Formal Methods

Search-Based Software Engineering

Critical Systems: Formal Methods and Automated Verification

Programming Languages and Systems

Logical Foundations of Computer Science