×

zbMATH — the first resource for mathematics

Found 1,708 Documents (Results 1–100)

100
MathJax
Pinelas, Sandra (ed.) et al., Mathematical analysis with applications. In honor of the 90th birthday of Constantin Corduneanu, Ekaterinburg, Russia, July 26–28, 2018. Cham: Springer. Springer Proc. Math. Stat. 318, 69-77 (2020).
MSC:  37-XX
PDF BibTeX XML Cite
Full Text: DOI
Derbel, Nabil (ed.) et al., Diagnosis, fault detection & tolerant control. Singapore: Springer. Stud. Syst. Decis. Control 269, 173-190 (2020).
MSC:  93C95 93-10
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. Lect. Notes Comput. Sci. 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. Lect. Notes Comput. Sci. 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). 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. LIPIcs – Leibniz Int. Proc. Inform. 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. 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

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