×

zbMATH — the first resource for mathematics

Found 121 Documents (Results 1–100)

100
MathJax
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 3-21 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 149-166 (2009).
MSC:  68Q85 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 3-25 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Barkaoui, Kamel (ed.) et al., Theoretical aspects of computing – ICTAC 2006. Third international colloquium, Tunis, Tunisia, November 20–24, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48815-6/pbk). Lecture Notes in Computer Science 4281, 123-137 (2006).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Concurrent Systems Engineering Series 59. Amsterdam: IOS Press; Tokyo: Ohmsha (ISBN 1-58603-202-X/pbk; 4-274-90467-9/pbk). viii, 351 p. (2001).
MSC:  68M14
PDF BibTeX XML Cite
Oliveira, José Nuno (ed.) et al., FME 2001: Formal methods for increasing software productivity. International symposium of formal methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2021, 364-383 (2001).
MSC:  68U99 68Q65
PDF BibTeX XML Cite
Full Text: Link
Grundy, Jim (ed.) et al., International refinement workshop and formal methods Pacific 1998. Proceedings of IRW/FMP ’98. Canberra, Australia, September 29 - October 2, 1998. Berlin: Springer. Springer Series in Discrete Mathematics and Theoretical Computer Science. 334-351 (1998).
MSC:  68Q60
PDF BibTeX XML Cite
Edalat, Abbas (ed.) et al., Comprox III. 3rd workshop on Computation and approximation. Birmingham, GB, September 11–13, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 13, electronic paper No. 14 (1997).
MSC:  68Q55
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