×

zbMATH — the first resource for mathematics

Found 65 Documents (Results 1–65)

100
MathJax
Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 466-484 (2018).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 39-54 (2018).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 748-761 (2017).
MSC:  68Q85 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2009. 6th international colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03465-7/pbk). Lecture Notes in Computer Science 5684, 1-35 (2009).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 24th annual ACM symposium on principles of distributed computing, PODC ’05, Las Vegas, NV, USA, July 17–20, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-994-2). 265-273 (2005).
PDF BibTeX XML Cite
Full Text: DOI
DISDBIS, Dissertationen zu Datenbanken und Informationssystemen. 54. Amsterdam: IOS Press. St. Augustin: infix, 134 p. (1999).
MSC:  68N25 68-02
PDF BibTeX XML Cite
Mullen, Gary L. (ed.) et al., Finite fields, coding theory, and advances in communications and computing. Proceedings of the international conference on finite fields, coding theory, and advances in communications and computing, held at the University of Nevada, Las Vegas, USA, August 7-10, 1991. New York: Marcel Dekker, Inc. Lect. Notes Pure Appl. Math. 141, 253-268 (1993).
MSC:  68W15 68M20 68P15
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 395-404 (1991).
MSC:  68M10
PDF BibTeX XML Cite

Filter Results by …

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