×

zbMATH — the first resource for mathematics

Found 635 Documents (Results 1–100)

100
MathJax
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 51-73 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Rabe, Florian (ed.) et al., Intelligent computer mathematics. 11th international conference, CICM 2018, Hagenberg, Austria, August 13–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11006, 104-110 (2018).
MSC:  68T30 68U15
PDF BibTeX XML Cite
Full Text: DOI
Mehta, Dinesh P. (ed.) et al., Handbook of data structures and applications. Boca Raton, FL: Chapman & Hall/CRC (ISBN 978-1-4987-0185-3/hbk; 978-1-4987-0188-4/ebook). Chapman & Hall/CRC Computer and Information Science Series, 679-695 (2018).
MSC:  68P05 68N15
PDF BibTeX XML Cite
Avanzi, Roberto (ed.) et al., Selected areas in cryptography – SAC 2016. 23rd international conference, St. John’s, NL, Canada, August 10–12, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10532, 360-380 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 73-85 (2017).
MSC:  68N15 68N30 68Q05
PDF BibTeX XML Cite
Full Text: DOI
Hong, Seokhie (ed.) et al., Information security and cryptology – ICISC 2016. 19th international conference, Seoul, South Korea, November 30 – December 2, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-53176-2/pbk; 978-3-319-53177-9/ebook). Lecture Notes in Computer Science 10157, 333-349 (2017).
MSC:  68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI
De Gruyter Studium. Berlin: De Gruyter/Oldenbourg (ISBN 978-3-11-044227-4/pbk; 978-3-11-044226-7/ebook). x, 450 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 17. Proceedings of the 17th seminar (PANM), Dolní Maxov, Czech Republic, June 8–13, 2014. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-64-6). 200-206 (2015).
Reviewer: Petr Prikryl
MSC:  74A45 74R99 74-04
PDF BibTeX XML Cite
Full Text: Link
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). 445-456 (2015).
MSC:  68N15 68Q55 68N30
PDF BibTeX XML Cite
Full Text: DOI
Rozenberg, Grzegorz (ed.) et al., Membrane computing. 16th international conference, CMC 2015, Valencia, Spain, August 17–21, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-28474-3/pbk; 978-3-319-28475-0/ebook). Lecture Notes in Computer Science 9504, 262-276 (2015).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 221-226 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 200-211 (2015).
MSC:  68Q85 68Q60
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). 309-316 (2014).
MSC:  68N30 68N15
PDF BibTeX XML Cite
Full Text: DOI
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 3-19, electronic only (2014).
MSC:  68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8558, 406-420 (2014).
MSC:  68T15 68Q05
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). 517-528 (2014).
MSC:  68Q55 68N15 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 329-342 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 5th international symposium, FPS 2012, Montreal, QC, Canada, October 25–26, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37118-9/pbk). Lecture Notes in Computer Science 7743, 194-210 (2013).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Forth, Shaun (ed.) et al., Recent advances in algorithmic differentiation. Selected papers based on the presentations at the 6th international conference on automatic differentiation (AD2012), Fort Collins, CO, USA, July 23–27, 2012. Berlin: Springer (ISBN 978-3-642-30022-6/hbk; 978-3-642-30023-3/ebook). Lecture Notes in Computational Science and Engineering 87, 241-250 (2012).
MSC:  65D25 68W30
PDF BibTeX XML Cite
Full Text: DOI
Beringer, Lennart (ed.) et al., Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32346-1/pbk). Lecture Notes in Computer Science 7406, 315-331 (2012).
MSC:  68T15 03B70 68N15
PDF BibTeX XML Cite
Full Text: DOI
Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 155-170, electronic only (2011).
MSC:  68N19 68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI Link
Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 259-276, electronic only (2010).
PDF BibTeX XML Cite
Full Text: DOI Link
Mastorakis, N. (ed.) et al., Latest trends on computers. 2 Volumes. Papers based on the presentations at the 14th WSEAS international conference on computers (Part of the 14th WSEAS CSCC multiconference), Corfu Island, Greece, July 23–25, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-206-6/CD-ROM; 978-960-474-201-1). 527-532 (2010).
MSC:  68W40 68W10 68U20
PDF BibTeX XML Cite
Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 218-223 (2010).
MSC:  91B44 91-04
PDF BibTeX XML Cite
Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 163-179 (2010).
MSC:  68N15 68N99
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-0-521-74758-5/pbk; 978-0-521-76217-5/hbk; 978-0-511-79598-5/ebook). xvii, 485 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Dastani, Mehdi (ed.) et al., Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer (ISBN 978-1-4419-6983-5/hbk; 978-1-4419-6984-2/ebook). 103-123 (2010).
MSC:  68Q60 68T42
PDF BibTeX XML Cite
Full Text: DOI
Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 61-78 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Mladenović, Nenad (ed.) et al., XXXVI Simpozijum o operacionim istraživanjima, SYM-OP-IS 2009. Zbornik Radova. Beograd: Matematički Institut SANU (ISBN 978-86-80953-43-4). 261-264 (2009).
MSC:  68U20 68M11 68N99
PDF BibTeX XML Cite
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 173-179 (2009).
MSC:  68N99 68N15
PDF BibTeX XML Cite
Cybern. Syst. Anal. 45, No. 6, 952-958 (2009); translation from Kibern. Sist. Anal. 2009, No. 6, 118-124 (2009).
MSC:  68W10 68N99
PDF BibTeX XML Cite
Full Text: DOI
Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 232-260 (2009).
MSC:  68M10 68N15
PDF BibTeX XML Cite
Full Text: DOI
Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 118-147 (2009).
MSC:  68N19 68M14
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