×

zbMATH — the first resource for mathematics

Found 312 Documents (Results 1–100)

100
MathJax
Phung-Duc, Tuan (ed.) et al., Queueing theory and network applications. 14th international conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11688, 112-127 (2019).
MSC:  90B22 60K25
PDF BibTeX XML Cite
Full Text: DOI
van Hoeve, Willem-Jan (ed.), Integration of constraint programming, artificial intelligence, and operations research. 15th international conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-93030-5/pbk; 978-3-319-93031-2/ebook). Lecture Notes in Computer Science 10848, 530-545 (2018).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Bertogna, Marko (ed.), 29th Euromicro conference on real-time systems. ECRTS 2017, June 28–30, 2017, Dubrovnik, Croatia. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 76, Article 13, 23 p. (2017).
MSC:  68M20
PDF BibTeX XML Cite
Full Text: DOI
Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9884, 177-194 (2016).
MSC:  68U35
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