×

zbMATH — the first resource for mathematics

Found 158 Documents (Results 1–100)

100
MathJax
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 327-334 (2014).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume VII. The 7th international conference on game theory and management (GTM 2013), St. Petersburg, Russia, June 26–28, 2013. Collected papers. St. Petersburg: Graduate School of Management, St. Petersburg State University. 181-190 (2014).
MSC:  91A06 91A10
PDF BibTeX XML Cite
Full Text: MNR
Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 143-172 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Torra, Vicenç (ed.) et al., Non-additive measures. Theory and applications. Proceedings of the 9th international conference on modeling decisions for artificial intelligence, MDAI 2012, Girona, Spain, November 21–23, 2012. Cham: Springer (ISBN 978-3-319-03154-5/hbk; 978-3-319-03155-2/ebook). Studies in Fuzziness and Soft Computing 310, 79-95 (2014).
MSC:  28E10 26E50
PDF BibTeX XML Cite
Full Text: DOI
De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 55-66 (2012).
MSC:  03B45 03G25 06E25
PDF BibTeX XML Cite
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 85-98 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 378-385 (2011).
MSC:  68T15 68Q55 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 367-381 (2010).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
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, 180-196 (2009).
MSC:  03B70 03C07
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 343-357 (2006).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Prékopa, András et al., Non-Euclidean geometries. János Bolyai memorial volume. Papers from the international conference on hyperbolic geometry, Budapest, Hungary, July 6–12, 2002. New York, NY: Springer (ISBN 0-387-29554-2/hbk; 0-387-29555-0/e-book). Mathematics and its Applications (Springer) 581, 119-153 (2006).
MSC:  51M10 51Fxx 51-02
PDF BibTeX XML Cite
Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 42-56 (2001).
PDF BibTeX XML Cite
Full Text: Link
Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 20-34 (1998).
MSC:  03B70 68Q55
PDF BibTeX XML Cite
Bock, Hans-Hermann (ed.) et al., Data analysis and information systems. Statistical and conceptual approaches. Proceedings of the 19th annual conference of the Gesellschaft für Klassifikation e.V., Basel, Switzerland, March 8–10, 1995. Berlin: Springer. Studies in Classification, Data Analysis, and Knowledge Organization. 228-240 (1996).
MSC:  62-07 15A03
PDF BibTeX XML Cite
Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 151-169 (1992).
MSC:  03F30
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