Sangam: A Confluence of Knowledge Streams

Foundations of Software Science and Computation Structures

Show simple item record

dc.contributor Bojańczyk, Mikołaj
dc.contributor Simpson, Alex
dc.date 2021-02-10T13:02:25Z
dc.date 2021-02-10T13:02:25Z
dc.date 2019
dc.date.accessioned 2023-02-17T21:19:19Z
dc.date.available 2023-02-17T21:19:19Z
dc.identifier 1006823
dc.identifier http://library.oapen.org/handle/20.500.12657/23332
dc.identifier https://directory.doabooks.org/handle/20.500.12854/26387
dc.identifier https://library.oapen.org/bitstream/20.500.12657/23332/1/1006823.pdf
dc.identifier.uri http://localhost:8080/xmlui/handle/CUHPOERS/246213
dc.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.
dc.format image/jpeg
dc.language eng
dc.publisher Springer Nature
dc.relation Lecture Notes in Computer Science
dc.rights open access
dc.subject Computer science
dc.subject Mathematical logic
dc.subject Artificial intelligence
dc.subject Computer science—Mathematics
dc.subject Data structures (Computer science)
dc.subject Programming languages (Electronic computers)
dc.subject Computer programming
dc.subject bic Book Industry Communication::P Mathematics & science::PB Mathematics::PBD Discrete mathematics
dc.subject bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development
dc.subject bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures
dc.subject bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general
dc.subject bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation
dc.subject bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
dc.title Foundations of Software Science and Computation Structures
dc.resourceType book
dc.alternateIdentifier 10.1007/978-3-030-17127-8
dc.licenseCondition open access
dc.licenseCondition n/a
dc.identifierdoi 10.1007/978-3-030-17127-8
dc.relationisPublishedBy 9fa3421d-f917-4153-b9ab-fc337c396b5a
dc.pages 542


Files in this item

Files Size Format View
1006823.pdf.jpg 13.11Kb image/jpeg View/Open

This item appears in the following Collection(s)

  • Directory of Open Access Books (DOAB) [5044]
    DOAB is a discovery service for peer reviewed open access books and book publishers that indexes and provides access to high quality, open access, peer-reviewed books.

Show simple item record

Search DSpace


Advanced Search

Browse