Explore
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
1 Ungluer has
Faved this Work
Login to Fave
This volume contains the papers presented at the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), which took place in Prague during April 8–11, 2019. The conference is dedicated to foundational research with a clear significance for software science. It brings together research on theories and methods to support the analysis, integ
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
pogurek
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 1216 times via unglue.it ebook links.
- 105 - pdf (CC BY) at OAPEN Library.
- 334 - mobi (CC BY) at Unglue.it.
- 282 - pdf (CC BY) at Unglue.it.
- 434 - epub (CC BY) at Unglue.it.
Keywords
- Algorithms & data structures
- artificial intelligence
- Computer programming
- Computer programming / software development
- Computer science
- Computer science—Mathematics
- Computing & information technology
- Data structures (Computer science)
- Discrete Mathematics
- first order logic
- Formal languages
- formal logic
- Graph theory
- Mathematical logic
- Mathematical theory of computation
- Mathematics
- Mathematics & science
- Programming & scripting languages: general
- Programming languages
- Programming languages (Electronic computers)
- Semantics
- 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
Links
DOI: 10.1007/978-3-030-17127-8web: https://link.springer.com/book/10.1007/978-3-030-17127-8
Editions
