×

zbMATH — the first resource for mathematics

Found 1,686 Documents (Results 1–100)

100
MathJax
Ghommam, Jawhar (ed.) et al., New trends in robot control. Singapore: Springer (ISBN 978-981-15-1818-8/hbk; 978-981-15-1821-8/pbk; 978-981-15-1819-5/ebook). Studies in Systems, Decision and Control 270, 47-65 (2020).
MSC:  93C85
PDF BibTeX XML Cite
Full Text: DOI
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, 79-95 (2019).
MSC:  68Q85 68M14 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 124-133 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 113-123 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 272-273 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 26, 21 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 25, 24 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 24, 25 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 23, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 22, 17 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 20, 21 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 15, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 13, 23 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 12, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 10, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 7, 24 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 4, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 3, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 1, 25 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Ivanov, Kamen (ed.) et al., Constructive theory of functions. Proceedings of the 12th international conference, Sozopol, Bulgaria, June 11–17, 2016. Sofia: Prof. Marin Drinov Academic Publishing House (ISBN 978-954-322-931-4/hbk). 29-50 (2018).
MSC:  42C40 41A15
PDF BibTeX XML Cite
Full Text: Link
Madani, Kurosh (ed.) et al., Informatics in control, automation and robotics. 13th international conference, ICINCO 2016, Lisbon, Portugal, July 29–31, 2016. Selected, extended and revised papers. Cham: Springer. Lect. Notes Electr. Eng. 430, 385-409 (2018).
MSC:  93C85 93E11 93E10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 167-176 (2018).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 91-100 (2018).
MSC:  93C83 93E03 93C05
PDF BibTeX XML Cite
Full Text: DOI
Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-00150-6/pbk; 978-3-030-00151-3/ebook). Lecture Notes in Computer Science 11022, 17-33 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 42, No. 1, 44-50 (2018); translation from Vestn. Mosk. Univ., Ser. XV 2018, No. 1, 45-52 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-77312-4/pbk; 978-3-319-77313-1/ebook). Lecture Notes in Computer Science 10792, 271-283 (2018).
MSC:  68Q45
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