×

zbMATH — the first resource for mathematics

Found 143 Documents (Results 1–100)

100
MathJax
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 582-603 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 81, No. 6, 1003-1016 (2020); translation from Avtom. Telemekh. 2020, No. 6, 47-61 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Ball, Joseph A. (ed.) et al., Topics in operator theory. Volume 1: Operators, matrices and analytic functions. Proceedings of the 19th international workshop on operator theory and applications (IWOTA), College of William and Mary, Williamsburg, VA, USA, July 22–26, 2008. A tribute to Israel Gohberg on the occasion of his 80th birthday. Basel: Birkhäuser (ISBN 978-3-0346-0157-3/hbk; 978-3-0346-0163-4/set; 978-3-0346-0158-0/ebook). Operator Theory: Advances and Applications 202, 435-450 (2010).
PDF BibTeX XML Cite
Alpay, Daniel et al., Interpolation theory, systems theory and related topics. The Harry Dym anniversary volume. Basel: Birkhäuser. Oper. Theory, Adv. Appl. 134, 337-383 (2002).
PDF BibTeX XML Cite
Full Text: DOI
El Ghaoui, Laurent (ed.) et al., Advances in linear matrix inequality methods in control. Philadelphia, PA: SIAM, Society for Industrial and Applied Mathematics. Adv. Des. Control. 2, 269-292 (2000).
MSC:  93B35 15A42 93B40 90C25 93B50 93B51
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