×

zbMATH — the first resource for mathematics

Found 217 Documents (Results 1–100)

100
MathJax
Agostinelli, Claudio (ed.) et al., Recent advances in robust statistics: theory and applications. Based on the presentations at the international conference on robust statistics, ICORS, Kolkata, India, January 12–16, 2015. New Delhi: Springer (ISBN 978-81-322-3641-2/hbk; 978-81-322-3643-6/ebook). 131-149 (2016).
MSC:  62H99 62H25 62-07 62F35 62-04 62P12
PDF BibTeX Cite
Full Text: DOI
Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8415, 69-83 (2014).
MSC:  68N30 68Q60 68Q85
PDF BibTeX Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 1-66 (2013).
MSC:  68N30
PDF BibTeX Cite
Full Text: DOI
Springer Texts in Statistics 103. New York, NY: Springer (ISBN 978-1-4614-7137-0/hbk; 978-1-4614-7138-7/ebook). xiv, 426 p. (2013).
PDF BibTeX Cite
Full Text: DOI
Pop, Horia F. (ed.) et al., 8th joint conference on mathematics and computer science, MaCS 2010, Komárno, Slovakia, July 14–17, 2010. Selected papers. Győr: NOVADAT (ISBN 978-963-9056-38-1/pbk). 175-184 (2011).
MSC:  68Q60 68N30
PDF BibTeX Cite
Lai, Xuejia (ed.) et al., Information security and cryptology. 6th international conference, Inscrypt 2010, Shanghai, China, October 20–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21517-9/pbk). Lecture Notes in Computer Science 6584, 471-486 (2011).
MSC:  94A60
PDF BibTeX Cite
Full Text: DOI
Grigoriu, Mircea (ed.) et al., Recent advances in finite differences – finite elements finite volumes – boundary elements. Proceedings of the 3rd WSEAS international conference (F-and-B ’10), Bucharest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-180-9/hbk). Electrical and Computer Engineering Series. A Series of Reference Books, 146-151 (2010).
MSC:  62H25 62-04 62P30
PDF BibTeX Cite
Sgurev, Vassil (ed.) et al., Intelligent systems: From theory to practice. Selected papers based on the presentations at the 4th IEEE conference intelligent systems (IS 2008), methodology, models and applications in emergent technologies, Varna, Bulgaria, September 6–8, 2008. Berlin: Springer (ISBN 978-3-642-13427-2/hbk; 978-3-642-13428-9/ebook). Studies in Computational Intelligence 299, 99-131 (2010).
MSC:  68N99
PDF BibTeX Cite
Full Text: DOI
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 322-336 (2010).
MSC:  68Q60 03B45
PDF BibTeX Cite
Full Text: DOI
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 184-198 (2010).
MSC:  68N30 18C20
PDF BibTeX Cite
Full Text: DOI
Butterfield, Andrew (ed.), Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8–10, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14520-9/pbk). Lecture Notes in Computer Science 5713, 238-257 (2010).
MSC:  68N30
PDF BibTeX Cite
Full Text: DOI
Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 103-118 (2009).
MSC:  68Q60 03B70 68Q45
PDF BibTeX Cite
Full Text: Link
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 219-228 (2009).
MSC:  68Q60
PDF BibTeX Cite
Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 203-217 (2008).
MSC:  68N30 06A15 18C20
PDF BibTeX Cite
Full Text: DOI
Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 33-48 (2008).
PDF BibTeX Cite
Full Text: DOI
Peters, James F. (ed.) et al., Transactions on Rough Sets VIII. Berlin: Springer (ISBN 978-3-540-85063-2/pbk). Lecture Notes in Computer Science 5084. Journal Subline, 146-174 (2008).
MSC:  03B70 03G30 68N30
PDF BibTeX Cite
Full Text: DOI
Arbab, Farhad (ed.) et al., International symposium on fundamentals of software engineering. International symposium, FSEN 2007, Tehran, Iran, April 17–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75697-2/pbk). Lecture Notes in Computer Science 4767, 175-190 (2007).
MSC:  68N30
PDF BibTeX Cite
Full Text: DOI
Series on Component-Based Software Development 2. Hackensack, NJ: World Scientific (ISBN 978-981-270-017-9/hbk; 978-981-277-283-1/ebook). xii, 354 p. (2007).
MSC:  68N99 68-06
PDF BibTeX Cite
Full Text: DOI
Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 91-107 (2006).
MSC:  68N30 68Q60
PDF BibTeX 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