×

zbMATH — the first resource for mathematics

Found 48 Documents (Results 1–48)

100
MathJax
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-53287-1/pbk; 978-3-030-53288-8/ebook). Lecture Notes in Computer Science 12224, 376-400 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Qing, Sihan (ed.) et al., Information and communications security. 19th international conference, ICICS 2017, Beijing, China, December 6–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10631, 17-35 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-30023-8/pbk; 978-3-319-30024-5/ebook). Lecture Notes in Computer Science 9616, 211-234 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Differ. Equ. 51, No. 9, 1157-1164 (2015); translation from Differ. Uravn. 51, No. 9, 1166-1173 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 139-152 (2014).
MSC:  68N30 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Rudas, Imre J.(ed) et al., Computational intelligence and informatics. Selected papers based on the presentations at the 10th international symposium of Hungarian researchers on computational intelligence and informatics, Budapest, Hungary, November 12–14, 2009. Berlin: Springer (ISBN 978-3-642-15219-1/hbk; 978-3-642-15220-7/ebook). Studies in Computational Intelligence 313, 337-348 (2010).
MSC:  68T05
PDF BibTeX XML Cite
Full Text: DOI
Palma, José M. Laginha M. (ed.) et al., High performance computing for computational science – VECPAR 2008. 8th international conference, Toulouse, France, June 24–27, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-92858-4/pbk). Lecture Notes in Computer Science 5336, 228-239 (2008).
MSC:  65F30 65Y05 65Y15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification