×

zbMATH — the first resource for mathematics

Found 437 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, 15-26 (2020).
MSC:  68Q07
PDF BibTeX XML Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-319-89649-6/hbk; 978-3-319-89650-2/ebook). xxxviii, 339-817 (2018).
MSC:  03-02 03B60 03C30
PDF BibTeX XML Cite
Full Text: DOI
Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). Lecture Notes in Computer Science 10693, 163-178 (2017).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Roy, Olivier (ed.) et al., Deontic logic and normative systems. 13th international conference, DEON 2016, Bayreuth, Germany, July 18–21, 2016. Proceedings. London: College Publications. 256-271 (2016).
MSC:  03B45
PDF BibTeX XML Cite
Nešetril, Jaroslav (ed.) et al., Extended abstracts of the eight European conference on combinatorics, graph theory and applications, EuroComb 2015, Bergen, Norway, August 31 – September 4, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 49, 413-417, electronic only (2015).
MSC:  05C30 05C65
PDF BibTeX XML Cite
Full Text: DOI
De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 134-154 (2015).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 3-19, electronic only (2014).
MSC:  68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Iyoda, Juliano (ed.) et al., Formal methods: foundations and applications. 16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 – October 4, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8195, 211-226 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Beringer, Lennart (ed.) et al., Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32346-1/pbk). Lecture Notes in Computer Science 7406, 217-232 (2012).
MSC:  68T15 68M12
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 67-80 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 233-253 (2010).
MSC:  68Q85 68M14 68N19
PDF BibTeX XML Cite

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