×

zbMATH — the first resource for mathematics

Found 162 Documents (Results 1–100)

100
MathJax
Fitt, Alistair D. (ed.) et al., Progress in industrial mathematics at ECMI 2008. Proceedings of the 15th European conference on mathematics for industry, London, UK, June 30 - July 4, 2008. Berlin: Springer (ISBN 978-3-642-12109-8/hbk; 978-3-642-12110-4/ebook). Mathematics in Industry 15, 771-776 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 28-31 (2010).
MSC:  65Y15 68W30
PDF BibTeX XML Cite
Full Text: DOI
Breaz, Daniel (ed.) et al., Proceedings of the 5th international conference on theory and applications of mathematics and informatics, ICTAMI 2007, Alba Iulia, Romania, August 30–September 2, 2007. Alba Iulia: Aeternitas Publishing House (ISBN 978-973-1890-01-2). 43-53 (2008).
MSC:  68N99 68P05
PDF BibTeX XML Cite
Sahni, S. (ed.), Advances in computer science and technology. Proceedings of the 4th IASTED international conference (ACST 2008), Langkawi, Malaysia, April 2–4, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-730-7/CD-ROM). 129-134 (2008).
MSC:  68P15
PDF BibTeX XML Cite
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 83-114 (2007).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
Ciuprina, Gabriela (ed.) et al., Scientific computing in electrical engineering SCEE 2006. Selected papers based on the presentations at the 6th international conference, Sinaia, Romania, September 17–22, 2006. Berlin: Springer (ISBN 978-3-540-71979-3/hbk). Mathematics in Industry 11, 81-87 (2007).
MSC:  78-04
PDF BibTeX XML Cite
Full Text: DOI
Ciuprina, Gabriela (ed.) et al., Scientific computing in electrical engineering SCEE 2006. Selected papers based on the presentations at the 6th international conference, Sinaia, Romania, September 17–22, 2006. Berlin: Springer (ISBN 978-3-540-71979-3/hbk). Mathematics in Industry 11, 63-71 (2007).
MSC:  78M20 78A55 78-04
PDF BibTeX XML Cite
Full Text: DOI
Mazzola, Guerino (ed.) et al., Perspectives in mathematical and computational music theory. Osnabrück: Electronic Publishing Osnabrück (EPOS) (ISBN 3-923486-57-X/pbk; 3-923486-58-8/CD-ROM). Osnabrück Series on Music and Computation 1, 399-431 (2004).
MSC:  00A65 03B80 68U99
PDF BibTeX XML Cite
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, 311-322 (2002).
MSC:  68U99 68N99 68Q60
PDF BibTeX XML Cite
Full Text: Link

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