×

zbMATH — the first resource for mathematics

Found 122 Documents (Results 1–100)

100
MathJax
Comput. Math. Math. Phys. 60, No. 1, 82-89 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88-95 (2020).
PDF BibTeX XML Cite
Full Text: DOI
CBMS Regional Conference Series in Mathematics 128. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4880-6/pbk; 978-1-4704-4978-0/ebook). xi, 266 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 380-394 (2012).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI arXiv
Mathematik. München: Dr. Hut; Darmstadt: Univ. Darmstadt, Fachbereich Mathematik (Diss.) (ISBN 978-3-8439-0517-6/hbk). xxi, 171 p. (2012).
PDF BibTeX XML Cite
Horimoto, Katsuhisa (ed.) et al., Algebraic and numeric biology. 4th international conference, ANB 2010, Hagenberg, Austria, July 31–August 2, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28066-5/pbk). Lecture Notes in Computer Science 6479, 136-148 (2012).
MSC:  92D40 92-08
PDF BibTeX XML Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 123-144 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 485-496 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 181-197 (2008).
MSC:  68Q85 68Q87 92C42
PDF BibTeX XML Cite
Full Text: DOI
Thomas, Nigel (ed.) et al., Computer performance engineering. 5th European performance engineering workshop, EPEW 2008, Palma de Mallorca, Spain, September 24–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87411-9/pbk). Lecture Notes in Computer Science 5261, 95-109 (2008).
MSC:  68N20 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 129-145 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 3-25 (2007).
MSC:  90B22 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Chapman & Hall/CRC Studies in Informatics Series. Boca Raton, FL: Chapman & Hall/CRC (ISBN 978-1-58488-941-0/hbk; 978-1-58488-942-7/ebook). xxiii, 345 p. (2007).
MSC:  60-02 60J99 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Horváth, András (ed.) et al., Formal methods and stochastic models for performance evaluation. Third European performance engineering workshop, EPEW 2006, Budapest, Hungary, June 21–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35362-1/pbk). Lecture Notes in Computer Science 4054, 47-62 (2006).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 292-309 (2004).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. Surv. 57, No. 6, 1236-1237 (2002); translation from Usp. Mat. Nauk 57, No. 6, 193-194 (2002).
MSC:  60K40 46L53 81S25
PDF BibTeX XML Cite
Full Text: DOI
SIAM Monographs on Mathematical Modeling and Computation. 8. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). xvi, 177 p. (2002).
PDF BibTeX XML Cite
Full Text: DOI
Breuer, Heinz-Peter (ed.) et al., Open systems and measurements in relativistic quantum theory. Proceedings of the workshop, held at the Istituto Italiano per gli Studi Filosofici, Naples, Italia, April 3-4, 1998. Berlin: Springer. Lect. Notes Phys. 526, 81-116 (1999).
MSC:  81P15
PDF BibTeX XML Cite
Comput. Math. Math. Phys. 38, No. 4, 604-610 (1998); translation from Zh. Vychisl. Mat. Mat. Fiz. 38, No. 4, 627-634 (1998).
PDF BibTeX XML Cite
Russ. Math. Surv. 53, No. 6, 1350-1351 (1998); translation from Usp. mat. Nauk 53, No. 6, 243-244 (1998).
PDF BibTeX XML Cite
Full Text: DOI
Ikeda, N. (ed.) et al., Itô’s stochastic calculus and probability theory. Tribute dedicated to Kiyosi Itô on the occasion of his 80th birthday. Tokyo: Springer. 73-116 (1996).
Reviewer: J.Lacroix (Paris)
MSC:  22E30 58J65 60H07
PDF BibTeX XML Cite
Stewart, William J. (ed.), Computations with Markov chains. Proceedings of the 2nd international workshop on the numerical solution of Markov chains, Raleigh, NC, USA, January 16–18, 1995. Boston, MA: Kluwer Academic Publishers. 177-196 (1995).
MSC:  90C40
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