×

zbMATH — the first resource for mathematics

Found 30 Documents (Results 1–30)

100
MathJax
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 Cite
Full Text: DOI
Češka, Milan (ed.) et al., Proceedings of the international doctoral workshop on mathematical and engineering methods in computer science (MEMICS 2008), Znojmo, Czech Republic, November 14–16, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 251, 49-64 (2009).
MSC:  68W15 68Q60
PDF BibTeX Cite
Full Text: DOI
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
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
Ellis Horwood Series in Information Technology. Chichester: Ellis Horwood Ltd. New York etc.: Halsted Press. 190 p. (1989).
MSC:  68T35 68-02
PDF BibTeX Cite

Filter Results by …

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