×

zbMATH — the first resource for mathematics

Found 58 Documents (Results 1–58)

100
MathJax
Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. I. Spin glasses and statistical mechanics, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 298, 199-245 (2019).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 238, No. 6, 834-853 (2019); translation from Zap. Nauchn. Semin. POMI 465, 105-134 (2017).
MSC:  82B20 17B81
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 163-172 (2017).
MSC:  93B40 93C30 68Q60 93C10
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 155-168 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8901, 220-236 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 147-165 (2009).
PDF BibTeX XML Cite
Full Text: DOI
van Glabbeek, R. (ed.) et al., Proceedings of the 3rd workshop on structural operational semantics (SOS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 1, 3-17 (2007).
MSC:  68Q55 68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 1214-1225 (2005).
MSC:  68Q55 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 447-462 (2005).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Miracle-Solé, Salvador (ed.) et al., Mathematical results in statistical mechanics. Proceedings, Marseille, France, July 27-31, 1998. Singapore: World Scientific. 287-299 (1999).
PDF BibTeX XML Cite
Full Text: arXiv

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