×

zbMATH — the first resource for mathematics

Found 30 Documents (Results 1–30)

100
MathJax
Braga, Christiano (ed.) et al., Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 – October 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-15074-1/pbk). Lecture Notes in Computer Science 8941, 64-79 (2015).
MSC:  68Q65
PDF BibTeX Cite
Full Text: DOI
Lin, Dongdai (ed.) et al., Information security and cryptology. 10th international conference, Inscrypt 2014, Beijing, China, December 13–15, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-16744-2/pbk; 978-3-319-16745-9/ebook). Lecture Notes in Computer Science 8957, 150-169 (2015).
MSC:  94A62
PDF BibTeX 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, 262-276 (2010).
MSC:  68N99
PDF BibTeX Cite
Full Text: DOI
Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 561-574 (2009).
MSC:  68N01 68Q01
PDF BibTeX 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 Cite
Full Text: DOI
Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 149-164 (2008).
MSC:  68Q85 68Q60 68-02
PDF BibTeX Cite
Full Text: DOI
Pahl, C. (ed.), Software engineering. Proceedings of the IASTED international conference (SE 2008), as part of the 26th IASTED international multi-conference on applied informatics, Innsbruck, Austria, February 12–14, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-716-1/CD-ROM). 159-164 (2008).
MSC:  68Q85
PDF BibTeX Cite
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 Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
Classification
all top 3
Software