×

zbMATH — the first resource for mathematics

Found 6,231 Documents (Results 1–100)

100
MathJax
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 191-209 (2021).
MSC:  68N30 60J22 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12649, 152-171 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12649, 87-107 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12649, 67-86 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12649, 24-45 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12561. Cham: Springer (ISBN 978-3-030-68445-7/pbk; 978-3-030-68446-4/ebook). x, 345 p. (2021).
MSC:  68-06 68N30 00B25
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 188. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-182-5). vii, 11 articles, not consecutively paged, electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link
Electronic Proceedings in Theoretical Computer Science (EPTCS) 320. Waterloo: Open Publishing Association (OPA). 127 p., electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link Link
Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-31738-6/pbk; 978-3-658-31739-3/ebook). xiii, 67 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Electronic Notes in Theoretical Computer Science 352. Amsterdam: Elsevier. 304 p., electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: Link
LIPIcs – Leibniz International Proceedings in Informatics 182. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-174-0). viii, 58 articles, not consecutively paged, electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
LIPIcs – Leibniz International Proceedings in Informatics 175. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-158-0). ix, 10 articles, not consecutively paged, electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 562-581 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Acu, Bahar (ed.) et al., Advances in mathematical sciences. AWM research symposium, Houston, TX, USA, April 6–7, 2019. Cham: Springer. Assoc. Women Math. Ser. 21, 255-271 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 157-169 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Di Pierro, Alessandra (ed.) et al., From lambda calculus to cybersecurity through program analysis. Essays dedicated to Chris Hankin on the occasion of his retirement. Cham: Springer. Lect. Notes Comput. Sci. 12065, 105-131 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12065. Cham: Springer (ISBN 978-3-030-41102-2/pbk; 978-3-030-41103-9/ebook). xiv, 293 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 324-340 (2019).
MSC:  68N30 68Q27 68W40
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 423-441 (2019).
MSC:  68Q60 03B44 68N30
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 277-293 (2019).
MSC:  68R07 68N30
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 255-276 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 209-227 (2019).
MSC:  68N30 03B70 68P05
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 296. Waterloo: Open Publishing Association (OPA). 75 p., electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 103-118 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 77-93 (2019).
MSC:  68V15 68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 62-71 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 385-413 (2019).
MSC:  68Q70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 226-254 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 197-225 (2019).
MSC:  68N30 03G15
PDF BibTeX XML Cite
Full Text: DOI
LIPIcs – Leibniz International Proceedings in Informatics 150. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-131-3). xii, 51 articles, not consecutively paged, electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
LIPIcs – Leibniz International Proceedings in Informatics 130. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-106-1). 7 articles, not consecutively paged, electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Wiesbaden: Springer Vieweg (ISBN 978-3-658-25808-5/pbk; 978-3-658-25809-2/ebook). xii, 426 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 176-197 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 157-175 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 130-153 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 109-129 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 80-105 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 62-79 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 39-61 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 22-38 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 3-21 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 111-127 (2019).
MSC:  68N30 68Q42 68T27
PDF BibTeX XML Cite
Full Text: DOI
Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11600, 160-172 (2019).
MSC:  68N30 03G10
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software