Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Sof...
Պահպանված է:
| Ձևաչափ: | Online |
|---|---|
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Springer Nature
2021
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | 1006823 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| _version_ | 1869514212676468736 |
|---|---|
| collection | Directory of Open Access Books |
| description | This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science. |
| format | Online |
| id | doab-20.500.12854ir-26387 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-263872025-07-30T08:59:07Z Foundations of Software Science and Computation Structures Bojańczyk, Mikołaj Simpson, Alex Computer science Mathematical logic Artificial intelligence Computer science—Mathematics Data structures (Computer science) Programming languages (Electronic computers) Computer programming thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science. 2021-02-10T13:02:25Z 2021-02-10T13:02:25Z 2020-03-18 13:36:15 2020-04-01T09:12:00Z 2019 book 1006823 OCN: 1096283475 http://library.oapen.org/handle/20.500.12657/23332 https://directory.doabooks.org/handle/20.500.12854/26387 eng Lecture Notes in Computer Science open access image/jpeg image/jpeg image/jpeg n/a n/a n/a https://library.oapen.org/bitstream/20.500.12657/23332/1/1006823.pdf https://library.oapen.org/bitstream/20.500.12657/23332/1/1006823.pdf https://library.oapen.org/bitstream/20.500.12657/23332/1/1006823.pdf Springer Nature 10.1007/978-3-030-17127-8 10.1007/978-3-030-17127-8 9fa3421d-f917-4153-b9ab-fc337c396b5a 542 open access |
| spellingShingle | Computer science Mathematical logic Artificial intelligence Computer science—Mathematics Data structures (Computer science) Programming languages (Electronic computers) Computer programming thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence Foundations of Software Science and Computation Structures |
| title | Foundations of Software Science and Computation Structures |
| title_full | Foundations of Software Science and Computation Structures |
| title_fullStr | Foundations of Software Science and Computation Structures |
| title_full_unstemmed | Foundations of Software Science and Computation Structures |
| title_short | Foundations of Software Science and Computation Structures |
| title_sort | foundations of software science and computation structures |
| topic | Computer science Mathematical logic Artificial intelligence Computer science—Mathematics Data structures (Computer science) Programming languages (Electronic computers) Computer programming thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence |
| topic_facet | Computer science Mathematical logic Artificial intelligence Computer science—Mathematics Data structures (Computer science) Programming languages (Electronic computers) Computer programming thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence |
| url | 1006823 |