×

zbMATH — the first resource for mathematics

Found 59 Documents (Results 1–59)

100
MathJax
Calude, Cristian S. (ed.) et al., Unconventional computation. 9th international conference, UC 2010, Tokyo, Japan, June 21–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13522-4/pbk). Lecture Notes in Computer Science 6079, 127-139 (2010).
MSC:  68Q30
PDF BibTeX XML Cite
Full Text: DOI arXiv
Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 447-456 (2009).
MSC:  68Q30
PDF BibTeX XML Cite
Full Text: DOI arXiv
Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 687-699 (2009).
MSC:  03D32 03D78
PDF BibTeX XML Cite
Full Text: DOI arXiv
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 422-440 (2009).
MSC:  68Q30 03D32 82B03
PDF BibTeX XML Cite
Full Text: DOI arXiv
Calude, Cristian S. (ed.), Randomness and complexity. From Leibniz to Chaitin. Dedicated to Gregory J. Chaitin on the occasion of his 60th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-277-082-0/hbk). 161-173 (2007).
MSC:  03D80 68Q30 11D99
PDF BibTeX XML Cite
Calude, Cristian S. (ed.), Randomness and complexity. From Leibniz to Chaitin. Dedicated to Gregory J. Chaitin on the occasion of his 60th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-277-082-0/hbk). 123-129 (2007).
MSC:  68Q30 03D80
PDF BibTeX XML Cite
Full Text: arXiv
Fidge, Colin (ed.), Computing: The Australasian Theory Symposium, CATS 2001. Proceedings of the 7th symposium, Bond Univ., Gold Coast, Australia, January 29-30, 2001. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 42, 11 p., electronic only (2001).
MSC:  68Q30
PDF BibTeX XML Cite
Full Text: Link
Cooper, S. Barry (ed.) et al., Models and computability. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 259, 63-116 (1999).
Reviewer: U.Schöning (Ulm)
PDF BibTeX XML Cite
Maurer, Hermann (ed.) et al., J.UCS. Journal of Universal Computer Science. Vol. 2, 1996. Annual print and CD-ROM archive edition. With 1 CD-ROM (Windows and UNIX) containing full archive, 1994-1996. Berlin: Springer. 306-310 (1998).
MSC:  94A45 68Q05
PDF BibTeX XML Cite

Filter Results by …

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