×

zbMATH — the first resource for mathematics

Found 819 Documents (Results 1–100)

100
MathJax
Lecture Notes in Computer Science 12944. Cham: Springer (ISBN 978-3-030-86691-4/pbk; 978-3-030-86692-1/ebook). x, 254 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12303. Cham: Springer (ISBN 978-3-030-59211-0/pbk; 978-3-030-59212-7/ebook). xii, 307 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Fundamentals of Algorithms 15. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-585-7/pbk; 978-1-61197-586-4/ebook). xii, 229 p. (2019).
PDF BibTeX XML Cite
Lecture Notes in Computer Science 11811. Cham: Springer (ISBN 978-3-030-32685-2/pbk; 978-3-030-32686-9/ebook). xviii, 530 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 3-21 (2018).
MSC:  68P27 68U15
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, 271-286 (2018).
MSC:  68T05 68T30 68U15
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, 255-270 (2018).
MSC:  68T15 68T05 68U15
PDF BibTeX XML Cite
Full Text: DOI arXiv
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, 147-163 (2018).
MSC:  68U15
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, 125-130 (2018).
MSC:  97U99 68U15 97I10
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 Link
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, 39-52 (2018).
MSC:  68U35 68U15 68W30
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, 1-6 (2018).
MSC:  68T30 68U15
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11147. Cham: Springer (ISBN 978-3-030-00478-1/pbk; 978-3-030-00479-8/ebook). xvii, 364 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Czumaj, Artur (ed.), Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, SODA 2018, New Orleans, LA, USA, January 7–10, 2018. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-61197-503-1/ebook). 1459-1477 (2018).
PDF BibTeX XML Cite
Full Text: Link
Fici, Gabriele (ed.) et al., String processing and information retrieval. 24th international symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10508, 38-50 (2017).
MSC:  68W32 68P30 68U15
PDF BibTeX XML Cite
Full Text: DOI Link
Probl. Inf. Transm. 53, No. 3, 294-304 (2017); translation from Probl. Peredachi Inf. 53, No. 3, 100-111 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 459-471 (2017).
MSC:  68U15 68U35
PDF BibTeX XML Cite
Full Text: DOI HAL
Lecture Notes in Computer Science 10508. Cham: Springer (ISBN 978-3-319-67427-8/pbk; 978-3-319-67428-5/ebook). xix, 318 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 115-131 (2017).
MSC:  68U15 68U35 68W30
PDF BibTeX XML Cite
Full Text: DOI
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 340-355 (2017).
MSC:  68T30 68P20 68U15
PDF BibTeX XML Cite
Full Text: DOI
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 272-291 (2017).
MSC:  68U15 68U35
PDF BibTeX XML Cite
Full Text: DOI
Inenaga, Shunsuke (ed.) et al., String processing and information retrieval. 23rd international symposium, SPIRE 2016, Beppu, Japan, October 18–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46048-2/pbk; 978-3-319-46049-9/ebook). Lecture Notes in Computer Science 9954, 133-144 (2016).
MSC:  68P20 68U15 68W20
PDF BibTeX XML Cite
Full Text: DOI Link
Inenaga, Shunsuke (ed.) et al., String processing and information retrieval. 23rd international symposium, SPIRE 2016, Beppu, Japan, October 18–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46048-2/pbk; 978-3-319-46049-9/ebook). Lecture Notes in Computer Science 9954, 97-109 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Grossi, Roberto (ed.) et al., 27th annual symposium on combinatorial pattern matching, CPM 2016, Tel Aviv, Israel, June 27–29, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-012-5). LIPIcs – Leibniz International Proceedings in Informatics 54, Article 24, 10 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Grossi, Roberto (ed.) et al., 27th annual symposium on combinatorial pattern matching, CPM 2016, Tel Aviv, Israel, June 27–29, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-012-5). LIPIcs – Leibniz International Proceedings in Informatics 54, Article 22, 13 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Grossi, Roberto (ed.) et al., 27th annual symposium on combinatorial pattern matching, CPM 2016, Tel Aviv, Israel, June 27–29, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-012-5). LIPIcs – Leibniz International Proceedings in Informatics 54, Article 6, 13 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 259-268 (2016).
MSC:  68W15 68Q25 68U15
PDF BibTeX XML Cite
Full Text: DOI Link
Dondi, Riccardo (ed.) et al., Algorithmic aspects in information and management. 11th international conference, AAIM 2016, Bergamo, Italy, July 18–20, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9778, 185-196 (2016).
MSC:  68W32 68U15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Lecture Notes in Morphogenesis. Cham: Springer (ISBN 978-3-319-24401-3/hbk; 978-3-319-24403-7/ebook). xii, 208 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 522-529 (2016).
MSC:  68U15
PDF BibTeX XML Cite
Full Text: DOI
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 371-379 (2016).
MSC:  68U05 68U15
PDF BibTeX XML Cite
Full Text: DOI
Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 327-334 (2016).
MSC:  68U05 68U15 68V25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 9954. Cham: Springer (ISBN 978-3-319-46048-2/pbk; 978-3-319-46049-9/ebook). xvi, 273 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 421-425 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9582, 285-289 (2016).
MSC:  68P30 68U15 68W32
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). 125-137 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9348, 312-325 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 280-287 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 9309. Cham: Springer (ISBN 978-3-319-23825-8/pbk; 978-3-319-23826-5/ebook). xvii, 376 p. (2015).
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
Biographic Reference
all top 3
Software