×

zbMATH — the first resource for mathematics

Found 249 Documents (Results 1–100)

100
MathJax
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 96-113 (2019).
MSC:  68M10 68M20
PDF BibTeX XML Cite
Full Text: DOI
Encinas, Andrés M. (ed.) et al., Combinatorial matrix theory. Cham: Birkhäuser (ISBN 978-3-319-70952-9/pbk; 978-3-319-70953-6/ebook). Advanced Courses in Mathematics – CRM Barcelona, 173-217 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 57, No. 12, 1919-1934 (2017); translation from Zh. Vychisl. Mat. Mat. Fiz. 57, No. 12, 1966-1982 (2017).
MSC:  49M30 49K20
PDF BibTeX XML Cite
Full Text: DOI
Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9884, 177-194 (2016).
MSC:  68U35
PDF BibTeX XML Cite
Full Text: DOI
Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 207-223 (2016).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 3-17, electronic only (2015).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Chinchuluun, Altannar (ed.) et al., Optimization, simulation, and control. New York, NY: Springer (ISBN 978-1-4614-5130-3/hbk; 978-1-4614-5131-0/ebook). Springer Optimization and Its Applications 76, 143-174 (2013).
MSC:  49M30 90B10
PDF BibTeX XML Cite
Full Text: DOI
Dudin, Alexander (ed.) et al., Analytical and stochastic modeling techniques and applications. 20th international conference, ASMTA 2013, Ghent, Belgium, July 8–10, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39407-2/pbk). Lecture Notes in Computer Science 7984, 324-336 (2013).
MSC:  90B18
PDF BibTeX XML Cite
Full Text: DOI
Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 291-306 (2012).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 51, No. 2, 228-243 (2012); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2012, No. 2, 63-78 (2012).
MSC:  49M30 93B50 93B40 34H05
PDF BibTeX XML Cite
Full Text: DOI
Al-Begain, Khalid (ed.) et al., Analytical and stochastic modeling techniques and applications. 19th international conference, ASMTA 2012, Grenoble, France, June 4–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30781-2/pbk). Lecture Notes in Computer Science 7314, 255-270 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link
Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science XV. Special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Berlin: Springer (ISBN 978-3-642-28524-0/pbk). Lecture Notes in Computer Science 7050. Journal Subline, 74-107 (2012).
MSC:  68M14 68M10 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 301-309 (2011).
MSC:  93E15 90B18 93E03
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