×

zbMATH — the first resource for mathematics

Found 4,387 Documents (Results 1–100)

100
MathJax
Advances in Computer and Electrical Engineering. Hershey, PA: IGI Global (ISBN 978-1-7998-2649-1; 978-1-7998-2650-7/pbk; 978-1-7998-2651-4/ebook). x, 322 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57851-0/pbk; 978-3-030-57852-7/ebook). Lecture Notes in Computer Science 12281, 17-31 (2020).
MSC:  68Qxx 68R10 68U05
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Logos Verlag; Gießen: Univ. Gießen, Fachbereich Mathematik und Informatik, Physik, Geographie (Diss.) (ISBN 978-3-8325-5210-7/pbk). xi, 232 p. (2020).
MSC:  68-02 68Q45
PDF BibTeX XML Cite
Studies in Computational Intelligence 879. Singapore: Springer (ISBN 978-981-15-1822-5/hbk; 978-981-15-1823-2/ebook). xiv, 178 p. (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, 208-221 (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
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 371-383 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 576-586 (2020).
MSC:  68Q45 68W10
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). 33 articles, not consecutively paged (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 12038. Cham: Springer (ISBN 978-3-030-40607-3/pbk; 978-3-030-40608-0/ebook). xi, 449 p. (2020).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI
Springer Reference. New York, NY: Springer (ISBN 978-1-4939-1978-9/print; 978-1-4939-1979-6/ebook; 978-1-4939-1980-2/print+ebook; 978-3-642-27737-5/online (updated continuously)). 16000 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, 164-178 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 121-132 (2019).
MSC:  68Q45 68R10 92E10
PDF BibTeX XML Cite
Full Text: DOI
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 282-300 (2019).
MSC:  68Q45 68Q87 91A80
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 305. Waterloo: Open Publishing Association (OPA). 182 p., electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Lecture Notes in Computer Science 11601. Cham: Springer (ISBN 978-3-030-23678-6/pbk; 978-3-030-23679-3/ebook). xvi, 249 p. (2019).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 215-230 (2019).
MSC:  68Q45 68Q17 68R05
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11417. Cham: Springer (ISBN 978-3-030-13434-1/pbk; 978-3-030-13435-8/ebook). xvii, 470 p. (2019).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11647. Cham: Springer (ISBN 978-3-030-24885-7/pbk; 978-3-030-24886-4/ebook). x, 319 p. (2019).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI
Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019).
MSC:  68-02 68Q45 68W01
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). xi, 299 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Discrete Mathematics and its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5071-4/hbk; 978-1-4987-5072-1/ebook). xix, 569 p. (2019).
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 295-304 (2018).
MSC:  03B70 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 237-249 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 277. Waterloo: Open Publishing Association (OPA). 279 p., electronic only, open access (2018).
PDF BibTeX XML Cite
Full Text: DOI Link
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 535-544 (2018).
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, 271-289 (2018).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 71-80 (2018).
MSC:  68Q45 05C15 68R10
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5642-8). x, 286 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-98653-1/pbk; 978-3-319-98654-8/ebook). Lecture Notes in Computer Science 11088, 304-317 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11088. Cham: Springer (ISBN 978-3-319-98653-1/pbk; 978-3-319-98654-8/ebook). xiv, 568 p. (2018).
MSC:  68-06 68Q45 00B25
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