×

zbMATH — the first resource for mathematics

Found 395 Documents (Results 1–100)

100
MathJax
Pan, Linqiang (ed.) et al., Bio-inspired computing: theories and applications. 14th international conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019. Revised selected papers. Part I. Singapore: Springer (ISBN 978-981-15-3424-9/pbk; 978-981-15-3425-6/ebook). Communications in Computer and Information Science 1159, 634-648 (2020).
MSC:  68Q07
PDF BibTeX XML Cite
Full Text: DOI
Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 16th international conference, ITMM 2017, named after A. F. Terpugov, Kazan, Russia, September 29 – October 3, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-68068-2/pbk; 978-3-319-68069-9/ebook). Communications in Computer and Information Science 800, 279-296 (2017).
MSC:  90B22 90B15
PDF BibTeX XML Cite
Full Text: DOI
Fränzle, Martin (ed.) et al., Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47676-6/pbk; 978-3-319-47677-3/ebook). Lecture Notes in Computer Science 9984, 297-314 (2016).
MSC:  68Q85 68Q87 90B70
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Business Information Processing 270. Cham: Springer (ISBN 978-3-319-49450-0/pbk; 978-3-319-49451-7/ebook). xiv, 202 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Proceedings of the 3rd international conference on modelling, computation and optimization in information systems and management sciences, MCO 2015, Lorraine, France, May 11–13, 2015. Part II. Cham: Springer (ISBN 978-3-319-18166-0/pbk; 978-3-319-18167-7/ebook). Advances in Intelligent Systems and Computing 360, 283-294 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 75, No. 6, 1130-1136 (2014); translation from Avtom. Prom. 2012, No. 11, 53-56 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07733-8/pbk). Lecture Notes in Computer Science 8489, 51-70 (2014).
MSC:  90B70 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 503-515 (2014).
MSC:  68P15 68Q85 90B70
PDF BibTeX XML Cite
Full Text: DOI
Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 311-329 (2013).
MSC:  68Q85 68T05 90B70
PDF BibTeX XML Cite
Full Text: DOI
Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 291-310 (2013).
MSC:  68Q85 68T05 90B70
PDF BibTeX XML Cite
Full Text: DOI
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 147-162 (2012).
MSC:  68Q60 68Q85 90B70
PDF BibTeX XML Cite
Full Text: DOI
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 148-167 (2012).
MSC:  90B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 128-147 (2012).
MSC:  90B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 108-127 (2012).
MSC:  90B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 92-107 (2012).
MSC:  68Q17 68Q85 90B70
PDF BibTeX XML Cite
Full Text: DOI
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 72-91 (2012).
MSC:  68Q85 68T05 90B70
PDF BibTeX XML Cite
Full Text: DOI
Pradalier, Cédric (ed.) et al., Robotics research. The 14th international symposium ISRR. Selected papers based on the presentations at the symposium, Lucerne, Switzerland, August 31st to September 3rd, 2009. Berlin: Springer (ISBN 978-3-642-19456-6/hbk; 978-3-642-19457-3/ebook). Springer Tracts in Advanced Robotics 70, 151-168 (2011).
MSC:  68T40 68T37 93C85
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 169-188 (2011).
MSC:  90B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 149-168 (2011).
MSC:  68Q85 90B70
PDF BibTeX XML Cite
Full Text: DOI
Rebennack, Steffen (ed.) et al., Handbook of power systems. I. Berlin: Springer (ISBN 978-3-642-02492-4/hbk; 978-3-642-02493-1/ebook). Energy Systems, 343-364 (2010).
MSC:  90B50 90B10 90B90
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