×

zbMATH — the first resource for mathematics

Found 81 Documents (Results 1–81)

100
MathJax
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
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 56-75 (2018).
MSC:  68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 19-28 (2017).
MSC:  68Q25 68T20 90C25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 195-204 (2016).
MSC:  68Q85 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 28-43 (2016).
MSC:  68T15 68W30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 412-423 (2015).
MSC:  68N20 68N18 68T20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 139-152 (2015).
MSC:  68N15 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 16-33 (2015).
MSC:  92E20 68N17 68T15 90B10 60J20
PDF BibTeX XML Cite
Full Text: DOI
Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22974-4/pbk; 978-3-319-22975-1/ebook). Lecture Notes in Computer Science 9268, 108-123 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Demri, Stéphane (ed.) et al., Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19–22, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8562, 168-183 (2014).
MSC:  68T15 03B35 68T20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 607-618 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Jones, Andrew V. (ed.) et al., 2013 Imperial College computing student workshop ICCSW’13, London, UK, September 26–27, 2013. Selected papers of the 3rd workshop. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-63-7). OASIcs – OpenAccess Series in Informatics 35, 95-102, electronic only (2013).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 105-116 (2010).
MSC:  68N18 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 85-102 (2009).
MSC:  68Q60 68Q85 68T15 68W15
PDF BibTeX XML Cite
Full Text: DOI
Cook, B. (ed.) et al., Combined proceedings of the fourth workshop on pragmatics of decision procedures in automated reasoning (PDPAR 2006) and the first international workshop on probabilistic automata and logics (PaUL 2006), Seattle, WA, USA, August 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 8, 23-37 (2007).
MSC:  68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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