×

zbMATH — the first resource for mathematics

Found 586 Documents (Results 1–100)

100
MathJax
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 203-210 (2019).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Daras, Nicholas J. (ed.) et al., Modern discrete mathematics and analysis. With applications in cryptography, information systems and modeling. Cham: Springer (ISBN 978-3-319-74324-0/hbk; 978-3-319-74325-7/ebook). Springer Optimization and Its Applications 131, 251-274 (2018).
MSC:  62K86
PDF BibTeX XML Cite
Full Text: DOI
Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10669, 98-114 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Phillips, Iain (ed.) et al., Reversible computation. 9th international conference, RC 2017, Kolkata, India, July 6–7, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59935-9/pbk; 978-3-319-59936-6/ebook). Lecture Notes in Computer Science 10301, 19-34 (2017).
MSC:  68Q05 68Q10 81P68 94C10
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). 101-110 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Cinquemani, Eugenio (ed.) et al., Hybrid systems biology. 5th international workshop, HSB 2016, Grenoble, France, October 20–21, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9957, 164-178 (2016).
PDF BibTeX XML Cite
Full Text: DOI Link
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 30, 16 p. (2016).
MSC:  68Q60 03B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 69-83 (2016).
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). 663-676 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 47-65 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Kovács, Emőd (ed.) et al., Proceedings of the 9th international conference on applied informatics (ICAI 2014), Eger, Hungary, January 29 – February 1, 2014. Volume 2. Eger: Eszterhazy Karoly University of Applied Sciences (ISBN 978-615-5297-19-9). 101-111 (2014).
MSC:  68R10 68M10 68M15
PDF BibTeX XML Cite
Full Text: DOI
Glück, Robert (ed.) et al., Reversible computation. 4th international workshop, RC 2012, Copenhagen, Denmark, July 2–3, 2012. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 7581, 171-182 (2013).
MSC:  65Y04 94C10
PDF BibTeX XML Cite
Full Text: DOI
Leite, João (ed.) et al., Computational logic in multi-agent systems. 14th international workshop, CLIMA XIV, Corunna, Spain, September 16–18, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40623-2/pbk). Lecture Notes in Computer Science 8143. Lecture Notes in Artificial Intelligence, 340-356 (2013).
MSC:  68T27 68T42 68U35
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Electrical Engineering 115. Berlin: Springer (ISBN 978-90-481-9643-2/hbk; 978-90-481-9644-9/ebook). xi, 123 p. (2013).
MSC:  94-02 94C10 94C12
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 211-220 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Peixoto, Maurício Matos (ed.) et al., Dynamics, games and science II. DYNA 2008, in honor of Maurício Peixoto and David Rand, University of Minho, Braga, Portugal, September 8–12, 2008. Papers based on talks given at the international conference. Berlin: Springer (ISBN 978-3-642-14787-6/hbk; 978-3-642-14788-3/ebook). Springer Proceedings in Mathematics 2, 607-610 (2011).
MSC:  94C10 26A33 68T20
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Data Management 18. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-278-1/pbk; 978-1-60845-279-8/ebook). xiii, 110 p. (2011).
MSC:  68-01 68P15 03B10
PDF BibTeX XML Cite
Full Text: DOI
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-14833-0/pbk; 978-3-642-14834-7/ebook). Communications in Computer and Information Science 94, 218-228 (2010).
MSC:  68M10 68M99 03B52
PDF BibTeX XML Cite
Full Text: DOI
Huang, De-Shuang (ed) et al., Advanced intelligent computing theories and applications. 6th international conference on intelligent computing, Changsha, China, August 18–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14830-9/pbk; 978-3-642-14831-6/ebook). Communications in Computer and Information Science 93, 326-333 (2010).
MSC:  68M10
PDF BibTeX XML Cite
Full Text: DOI
Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 135-140 (2010).
MSC:  68M10
PDF BibTeX XML Cite
Full Text: DOI
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 322-336 (2010).
MSC:  68Q60 03B45
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