×

zbMATH — the first resource for mathematics

Found 41 Documents (Results 1–41)

100
MathJax
Theor. Math. Phys. 199, No. 2, 719-725 (2019); translation from Teor. Mat. Fiz. 199, No. 2, 283-290 (2019).
MSC:  82C20 82D20
PDF BibTeX XML Cite
Full Text: DOI
Theor. Math. Phys. 197, No. 2, 1615-1625 (2018); translation from Teor. Mat. Fiz. 197, No. 2, 257-268 (2018).
MSC:  82C20 82C70
PDF BibTeX XML Cite
Full Text: DOI
Innovations in Chemical Physics and Mesoscopy. Boca Raton, FL: CRC Press/Apple Academic Press (ISBN 978-1-77188-382-5/hbk; 978-1-77188-383-2/ebook). xxiv, 403 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 383-393 (2015).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 26-37 (2006).
MSC:  68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI
Apostolico, Alberto (ed.) et al., Research in computational molecular biology. 10th annual international conference, RECOMB 2006, Venice, Italy, April 2–5, 2006, Proceedings. Berlin: Springer (ISBN 978-3-540-33295-4/pbk). Lecture Notes in Computer Science 3909. Lecture Notes in Bioinformatics, 473-487 (2006).
MSC:  92D20
PDF BibTeX XML Cite
Full Text: DOI
Huang, De-Shuang (ed.) et al., Intelligent control and automation. International conference on intelligent computing, ICIC 2006, Kunming, China, August 16–19, 2006. Berlin: Springer (ISBN 3-540-37255-5/pbk). Lecture Notes in Control and Information Sciences 344, 1012-1021 (2006).
MSC:  93C83 93C40
PDF BibTeX XML Cite
Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 99-110 (2003).
MSC:  68N18 68M14
PDF BibTeX XML Cite
Full Text: DOI
Eriksson, Lars-Henrik (ed.) et al., FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22–24, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43928-5). Lect. Notes Comput. Sci. 2391, 89-105 (2002).
MSC:  68N30 68N15 68T15
PDF BibTeX XML Cite
Full Text: Link
Hitz, Markus (ed.) et al., Second international symposium on parallel symbolic computation, PASCO ’97, Maui, HI, USA, July 20–22, 1997. New York, NY: ACM Press. 68-79 (1997).
MSC:  68Q10
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
all top 3
Software