×

zbMATH — the first resource for mathematics

Found 75 Documents (Results 1–75)

100
MathJax
Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer (ISBN 978-3-030-53653-4/hbk; 978-3-030-53654-1/ebook). Logic, Epistemology, and the Unity of Science 49, 53-92 (2021).
MSC:  03A05 03Bxx
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 53, 13 p. (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Markakis, Evangelos (ed.) et al., Web and internet economics. 11th international conference, WINE 2015, Amsterdam, The Netherlands, December 9–12, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48994-9/pbk; 978-3-662-48995-6/ebook). Lecture Notes in Computer Science 9470, 258-271 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 65-82 (2015).
MSC:  68Q85 68N18
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Unconventional computation and natural computation. 13th international conference, UCNC 2014, London, ON, Canada, July 14–18, 2014. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8553, 203-215 (2014).
MSC:  68Q45 68Q07
PDF BibTeX XML Cite
Full Text: DOI
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 117-132 (2012).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 215-229 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 41-46 (2007).
MSC:  68N30 06B35 68Q05
PDF BibTeX XML Cite
Full Text: DOI
Spreen, Dieter (ed.), Domains IV. Workshop, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2-4, 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 35, 20 p., electronic only (2000).
MSC:  68Q55 68Q45 68Q05
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the Prague mathematical conference 1996, PMC ’96, Prague, Czech Republic, July 8-12, 1996. In honor of the 70th birthdays of Ivo Babuška, Miroslav Fiedler, Jaroslav Kurzweil, and Vlastimil Pták. Prague: Icaris Ltd. 283-288 (1996).
MSC:  22A15 22A05 54D20
PDF BibTeX XML Cite
Lau, Anthony To-Ming (ed.) et al., Topological vector spaces, algebras and related areas. Proceedings of the international conference, held at McMaster University, Hamilton, Canada during May 2-6, 1994 in honor of Dr. Taqdir Husain on the occasion of his retirement. Harlow: Longman Scientific & Technical. Pitman Res. Notes Math. Ser. 316, 93-101 (1994).
MSC:  46H05
PDF BibTeX XML Cite
Császár, Á. (ed.), Topology. Theory and applications II. 6th Colloquium, Pécs, Hungary, 7th - 11th August 1989. Amsterdam: North- Holland. Colloq. Math. Soc. János Bolyai. 55, 373-378 (1993).
MSC:  54D55
PDF BibTeX XML Cite
Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 258-269 (1992).
MSC:  68Q55 68N15
PDF BibTeX XML Cite
Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 66-94 (1992).
MSC:  68Q55 68N15
PDF BibTeX XML Cite

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