×

zbMATH — the first resource for mathematics

Found 99 Documents (Results 1–99)

100
MathJax
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 875-888 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Kar, Samarjit (ed.) et al., Operations research and optimization. FOTA 2016, Kolkata, India, November 24–26, 2016. Singapore: Springer (ISBN 978-981-10-7813-2/hbk; 978-981-10-7814-9/ebook). Springer Proceedings in Mathematics & Statistics 225, 91-108 (2018).
MSC:  60G40 91A80
PDF BibTeX XML Cite
Full Text: DOI
Arumugam, S. (ed.) et al., Theoretical computer science and discrete mathematics. First international conference, ICTCSDM 2016, Krishnankoil, India, December 19–21, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-64418-9/pbk; 978-3-319-64419-6/ebook). Lecture Notes in Computer Science 10398, 362-370 (2017).
MSC:  68Qxx 68Rxx
PDF BibTeX XML Cite
Full Text: DOI
Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Third international workshop, FTSCS 2014, Luxembourg, November 6–7, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17580-5/pbk; 978-3-319-17581-2/ebook). Communications in Computer and Information Science 476, 110-126 (2015).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 349-361 (2014).
MSC:  68N18 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 503-515 (2014).
MSC:  68P15 68Q85 90B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 313-322 (2013).
MSC:  68Q60 68Q45 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Salvetti, Maria Vittoria (ed.) et al., Quality and reliability of large-eddy simulations II. Selected papers based on the presentations at the 2nd workshop (QLES 2009), Pisa, Italy, September 9–11, 2009. Dordrecht: Springer (ISBN 978-94-007-0230-1/hbk; 978-94-007-0231-8/ebook; 978-94-007-3415-9/pbk). ERCOFTAC Series 16, 287-296 (2011).
MSC:  76M20 76F65
PDF BibTeX XML Cite
Full Text: DOI
Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 21-38 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Calmet, J. (ed.) et al., Global integrability of field theories. Proceedings of GIFT 2006, Cockcroft Institute, Daresbury, UK, November 1–3, 2006. Karlsruhe: Universitätsverlag Karlsruhe (ISBN 3-86644-035-9/pbk). 347-368 (2006).
MSC:  74F05 74K10 80A05
PDF BibTeX XML Cite
Full Text: Link
Lumley, John L. (ed.), Fluid mechanics and the environment: dynamical approaches. A collection of research papers. Written in commemoration of the 60th birthday of Sidney Leibovich. Berlin: Springer. Lect. Notes Phys. 566, 337-352 (2001).
MSC:  76T10
PDF BibTeX XML Cite
Full Text: DOI
Lakshmikantham, V. (ed.), World congress of nonlinear analysis ’92. Proceedings of the first world congress, Tampa, FL, USA, August 19-26, 1992. 4 volumes. Berlin: de Gruyter. 253-267 (1996).
MSC:  74J10 74B20 65N30 80A20
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 187-205 (1991).
MSC:  68Q60 68Q10 68T15
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