×

zbMATH — the first resource for mathematics

Found 556 Documents (Results 1–100)

100
MathJax
Kravets, Alla G. (ed.), Robotics: industry 4.0 issues & new intelligent control paradigms. Cham: Springer (ISBN 978-3-030-37840-0/hbk; 978-3-030-37843-1/pbk; 978-3-030-37841-7/ebook). Studies in Systems, Decision and Control 272, 231-241 (2020).
MSC:  93C85
PDF BibTeX XML Cite
Full Text: DOI
Derbel, Nabil (ed.) et al., Systems, automation, and control. Selected papers based on the presentations at the international multiconference, Leipzig 2018. Berlin: De Gruyter/Oldenbourg. Adv. Syst. Signals Devices 9, 1-24 (2019).
MSC:  93C85 90C59
PDF BibTeX XML Cite
Full Text: DOI
Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 226-254 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Kondratenko, Yuriy P. (ed.) et al., Advanced control techniques in complex engineering systems: theory and applications. Dedicated to Professor Vsevolod M. Kuntsevich. Cham: Springer. Stud. Syst. Decis. Control 203, 165-185 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 185-201 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11273, 3-34 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 7, 21 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Applied Sciences and Technology. Computational Intelligence. Cham: Springer (ISBN 978-3-319-69934-9/pbk; 978-3-319-69935-6/ebook). ix, 45 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Wang, Yue (ed.) et al., Trends in control and decision-making for human-robot collaboration systems. Cham: Springer. 65-81 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 18. Proceedings of the 18th seminar (PANM), Janov nad Nisou, Czech Republic, June 19–24, 2016. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics. 81-88 (2017).
MSC:  93C85
PDF BibTeX XML Cite
Full Text: DOI
Apaloo, Joseph (ed.) et al., Advances in dynamic and mean-field games. Theory, applications, and numerical methods. Proceedings of the 17th symposium of the International Society of Dynamic Games, Urbino, Italy, July 12–15, 2016. Cham: Birkhäuser. Ann. Int. Soc. Dyn. Games 15, 279-299 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 35, 17 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 56, No. 2, 334-342 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 2, 168-176 (2017).
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