×

zbMATH — the first resource for mathematics

Found 64 Documents (Results 1–64)

100
MathJax
Olaru, Sorin (ed.) et al., Developments in model-based optimization and control. Distributed control and industrial applications. Based on two workshops on optimisation-based control and estimation at CentraleSupélec, France, November 2013 and November 2014. Cham: Springer (ISBN 978-3-319-26685-5/pbk; 978-3-319-26687-9/ebook). Lecture Notes in Control and Information Sciences 464, 27-47 (2015).
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 99-116 (2015).
MSC:  68Q60 68N30 93C05
PDF BibTeX XML Cite
Full Text: DOI
Herman, Ted (ed.) et al., Self-stabilizing systems. 7th international symposium, SSS 2005, Barcelona, Spain, October 26–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29814-2/pbk). Lecture Notes in Computer Science 3764, 198-213 (2005).
MSC:  68W15 93D15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification