×

zbMATH — the first resource for mathematics

Found 24 Documents (Results 1–24)

100
MathJax
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 19-34 (2008).
MSC:  68N30 68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Gorrieri, Roberto (ed.) et al., Formal methods for open object-based distributed systems. 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14–16, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-34893-1/pbk; 978-3-540-34895-5/ebook). Lecture Notes in Computer Science 4037, 218-232 (2006).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 1-10 (2006).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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