×

zbMATH — the first resource for mathematics

Found 468 Documents (Results 1–100)

100
MathJax
Cybern. Syst. Anal. 56, No. 4, 675-682 (2020); translation from Kibern. Sist. Anal. 2020, No. 4, 185-195 (2020).
PDF BibTeX XML Cite
Full Text: DOI
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). 106-113 (2019).
MSC:  65T50 68W10
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 265-274 (2014).
MSC:  68Q60 68Q06 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 669-676 (2014).
MSC:  65Y15 12-04 13-04
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.), Scientific applications of language methods. London: Imperial College Press (ISBN 978-1-84816-544-1/hbk; 978-1-84816-545-8/ebook). Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory 2, 525-561 (2011).
MSC:  68Q10 68Q05 68Q15
PDF BibTeX XML Cite
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 252-263 (2009).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. Second international conference, LATA 2008, Tarragona, Spain, March 13–19, 2008. Revised papers. Berlin: Springer (ISBN 978-3-540-88281-7/pbk). Lecture Notes in Computer Science 5196, 28-39 (2008).
MSC:  68Q10
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 497-506 (2007).
MSC:  68Q10
PDF BibTeX XML Cite
Full Text: DOI
Niederreiter, Harald (ed.) et al., Monte Carlo and quasi-Monte Carlo methods 2004. Refereed proceedings of the sixth international conference on Monte Carlo and quasi-Monte Carlo methods in scientific computation, Juan-les-Pins, France, June 7–10, 2004. Berlin: Springer (ISBN 3-540-25541-9/pbk). 487-499 (2006).
MSC:  65C10 65Y05
PDF BibTeX XML Cite

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