×

zbMATH — the first resource for mathematics

Found 58 Documents (Results 1–58)

100
MathJax
Fekete, Sándor (ed.) et al., 32nd international symposium on computational geometry, SoCG’16, Boston, MA, USA, June 14–17, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-009-5). LIPIcs – Leibniz International Proceedings in Informatics 51, Article 55, 15 p. (2016).
MSC:  68U05 68Q25 68W25
PDF BibTeX XML Cite
Full Text: DOI
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 358-372 (2011).
MSC:  68Q85 68Q25
PDF BibTeX XML Cite
Full Text: DOI
De Bernardis, Enrico (ed.) et al., Applied and industrial mathematics in Italy III. Selected contributions from the 9th SIMAI conference, Rome, Italy, September 15–19, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4280-29-7/hbk). Series on Advances in Mathematics for Applied Sciences 82, 508-519 (2010).
MSC:  65N30 35J05 65N15
PDF BibTeX XML Cite
Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 407-416, electronic only (2009).
MSC:  68Q25 68Q19
PDF BibTeX XML Cite
Full Text: DOI Link
Albers, Susanne (ed.) et al., Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-02926-4/pbk). Lecture Notes in Computer Science 5555, 71-82 (2009).
MSC:  05C30 05C85 68R05
PDF BibTeX XML Cite
Full Text: DOI
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 470-479 (2003).
MSC:  68Q25 03B15 05B35 68R05
PDF BibTeX XML Cite
Full Text: DOI
Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 119-134 (1998).
PDF BibTeX XML Cite
Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 258-263 (1994).
MSC:  03C10 68W30 68Q25
PDF BibTeX XML Cite
Enjalbert, Patrice (ed.) et al., STACS 93. 10th annual symposium on theoretical aspects of computer science, Würzburg, Germany, February 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 665, 374-385 (1993).
MSC:  68Q15 68Q25 03D15
PDF BibTeX XML Cite
Mathematical modelling and applied mathematics, Proc. IMACS Int. Conf., Moscow/USSR 1990, 457-464 (1992).
MSC:  65H10 65Y15
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software