×

zbMATH — the first resource for mathematics

Found 121 Documents (Results 1–100)

100
MathJax
Cybern. Syst. Anal. 55, No. 4, 677-682 (2019); translation from Kibern. Sist. Anal. 2019, No. 4, 176-183 (2019).
MSC:  90-04
PDF BibTeX XML Cite
Full Text: DOI
Lahaye, Domenico (ed.) et al., Modern solvers for Helmholtz problems. Basel: Birkhäuser/Springer (ISBN 978-3-319-28831-4/hbk; 978-3-319-28832-1/ebook). Geosystems Mathematics, 141-155 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 286-306 (2017).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 56, No. 11, 1919-1928 (2016); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 11, 1949-1959 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Creignou, Nadia (ed.) et al., Theory and applications of satisfiability testing – SAT 2016. 19th international conference, Bordeaux, France, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9710, 531-538 (2016).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 156-172 (2015).
MSC:  68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 38-57 (2011).
MSC:  68M14 68M12 68M20
PDF BibTeX XML Cite
Full Text: DOI
Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 203-218 (2009).
MSC:  68M12 68N18
PDF BibTeX XML Cite
Full Text: DOI
Kowalewski, Stefan (ed.) et al., Tools and algorithms for the construction and analysis of systems. 15th international conference, TACAS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00767-5/pbk). Lecture Notes in Computer Science 5505, 155-169 (2009).
MSC:  68N30 68Q25 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Program. Comput. Softw. 32, No. 4, 203-214 (2006); translation from Programmirovanie 2006, No. 4, 21-37 (2006).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI

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