×

zbMATH — the first resource for mathematics

Found 466 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
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
Nehaniv, Chrystopher L. (ed.) et al., Algebraic engineering. Proceedings of the international workshop on formal languages and computer systems, Kyoto, Japan, March 18–21, 1997 and proceedings of the first international conference on semigroups and algebraic engineering held in Aizu, Japan, March 24–28, 1997. Singapore: World Scientific (ISBN 981-02-3667-0/hbk). 277-289 (1999).
MSC:  68Q45 68Q85 68Q10
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