×

zbMATH — the first resource for mathematics

Found 194 Documents (Results 1–100)

100
MathJax
Theor. Math. Phys. 204, No. 2, 1059-1078 (2020); translation from Teor. Mat. Fiz. 204, No. 2, 258-279 (2020).
MSC:  82B30 82B20 05C05
PDF BibTeX XML Cite
Full Text: DOI
Theor. Math. Phys. 199, No. 2, 726-735 (2019); translation from Teor. Mat. Fiz. 199, No. 2, 291-301 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Theor. Math. Phys. 196, No. 1, 1043-1058 (2018); translation from Teor. Mat. Fiz. 196, No. 1, 117-134 (2018).
MSC:  82B20 82B30
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 37, 21 p. (2017).
MSC:  03C13 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Theor. Math. Phys. 189, No. 2, 1651-1659 (2016); translation from Teor. Mat. Fiz. 189, No. 2, 286-295 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 147-166, electronic only (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 431-444 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 353-364 (2010).
MSC:  68Q60 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14824-8/pbk; 978-3-642-14825-5/ebook). Communications in Computer and Information Science 95, 193-204 (2010).
MSC:  68T50
PDF BibTeX XML Cite
Full Text: DOI
Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 137-152 (2009).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 17-27 (2008).
MSC:  68N20 68N30 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 411-425 (2008).
MSC:  68Q42 68-02
PDF BibTeX XML Cite
Full Text: DOI
Archer, Myler (ed.) et al., Proceedings of the 6th international workshop on strategies in automated deduction (STRATEGIES 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 11, 59-79 (2007).
MSC:  68T15 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 175 (2007).
MSC:  93C85 93A30 68N19
PDF BibTeX XML Cite
Full Text: DOI
Bücker, Martin (ed.) et al., Automatic differentiation: Applications, theory, and implementations. Selected papers based on the presentation at the 4th international conference on automatic differentiation (AD), Chicago, IL, USA, July 20–23, 2004. Berlin: Springer (ISBN 3-540-28403-6/pbk). Lecture Notes in Computational Science and Engineering 50, 275-284 (2006).
MSC:  86-08 86A10
PDF BibTeX XML Cite
Jensen, Kurt (ed.) et al., Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21299-X/pbk). Lecture Notes in Computer Science 2988, 576-590 (2004).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Hu, Alan J. (ed.) et al., Formal methods in computer-aided design. 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23738-0/pbk). Lecture Notes in Computer Science 3312, 186-200 (2004).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Alur, Rajeev (ed.) et al., Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22342-8/pbk). Lecture Notes in Computer Science 3114, 466-469 (2004).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Izv. Math. 68, No. 5, 911-933 (2004); translation from Izv. Ross. Akad. Nauk Ser. Mat. 68, No. 5, 67-90 (2004).
PDF BibTeX XML Cite
Full Text: DOI
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 406-410 (2002).
PDF BibTeX XML Cite
Full Text: Link

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