×

zbMATH — the first resource for mathematics

Found 597 Documents (Results 1–100)

100
MathJax
Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 199-211 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 40-55 (2017).
MSC:  68T15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 273-284 (2012).
MSC:  68N30 68N15 68T15
PDF BibTeX XML Cite
Full Text: DOI
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 202-216 (2012).
MSC:  68N30 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 80-95 (2012).
MSC:  68N30 68Q60 68Q87
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
Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 3-16 (2010).
MSC:  68N99
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
Advances in Parallel Computing 19. Amsterdam: IOS Press (ISBN 978-1-60750-529-7/hbk; 978-1-60750-530-3/ebook). xvii, 739 p. (2010).
PDF BibTeX XML Cite
Ceccarelli, Marco (ed.), Proceedings of EUCOMES 08. The second European conference on mechanism science. Selected papers based on the presentations at the conference, Cassino, Italy, September 17–20, 2008. With CD-ROM. Dordrecht: Springer (ISBN 978-1-4020-8914-5/hbk; 978-1-4020-8915-2/ebook). 125-132 (2009).
MSC:  70B15
PDF BibTeX XML Cite
Full Text: DOI
Park, Jong Hyuk (ed.) et al., Advances in information security and its application. Third international conference, ISA 2009, Seoul, Korea, June 25–27, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02632-4/pbk; 978-3-642-02633-1/ebook). Communications in Computer and Information Science 36, 17-28 (2009).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 196-203 (2009).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
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 XML Cite
Communications in Computer and Information Science 30. Berlin: Springer (ISBN 978-3-642-10241-7/pbk; 978-3-642-10242-4/ebook). x, 241 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
München: Oldenbourg Verlag (ISBN 978-3-486-58724-1/pbk). xxiv, 901 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
München: Oldenbourg Verlag (ISBN 978-3-486-58521-6/hbk). xxvi, 552 p. (2009).
MSC:  68N01 68N30 68-01
PDF BibTeX XML Cite
Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 151-170 (2008).
MSC:  68Q55 68N30
PDF BibTeX XML Cite
Full Text: DOI
Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 985-989 (2008).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
Filipe, Joaquim (ed.) et al., Software and data technologies. Second international conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22–25, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-88654-9/pbk). Communications in Computer and Information Science 22, 399-413 (2008).
MSC:  68T05 68N99
PDF BibTeX XML Cite
Full Text: DOI
Filipe, Joaquim (ed.) et al., Software and data technologies. Second international conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22–25, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-88654-9/pbk). Communications in Computer and Information Science 22, 101-113 (2008).
MSC:  68N99 68M10
PDF BibTeX XML Cite
Full Text: DOI
Informationstechnologie und Ökonomie 33. Frankfurt/M: Peter Lang; Mannheim: Univ. Mannheim (Diss.) (ISBN 978-3-631-58474-3/pbk). xxiii, 379 p. (2008).
MSC:  68N99 68-02
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
Biographic Reference
all top 3
Software