×

zbMATH — the first resource for mathematics

Found 101 Documents (Results 1–100)

100
MathJax
Pan, Linqiang (ed.) et al., Bio-inspired computing: theories and applications. 14th international conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019. Revised selected papers. Part II. Singapore: Springer (ISBN 978-981-15-3414-0/pbk; 978-981-15-3415-7/ebook). Communications in Computer and Information Science 1160, 115-133 (2020).
MSC:  68Q07
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 98, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Artificial Intelligence and Machine Learning 31. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-839-1/pbk; 978-1-62705-840-7/ebook). xv, 138 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 384-398 (2015).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Sharygina, Natasha (ed.) et al., Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8044, 527-542 (2013).
MSC:  68Q60 68Q25 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Badea, Catalin (ed.) et al., Topics in functional and harmonic analysis. Based on three conferences held in Le Touquet, Metz, and Lens, France, Fall 2010. Bucharest: The Theta Foundation. Theta Ser. Adv. Math. 14, 170-179 (2012).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 149-169 (2012).
PDF BibTeX XML Cite
Full Text: DOI
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, 145-158 (2011).
MSC:  03B44 03B35 03B70
PDF BibTeX XML Cite
Full Text: DOI
Marion, Jean-Yves (ed.) et al., STACS 2010. 27th international symposium on theoretical aspects of computer science, Nancy, France, March 4–6, 2010. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-16-3). LIPIcs – Leibniz International Proceedings in Informatics 5, 405-416, electronic only (2010).
PDF BibTeX XML Cite
Full Text: DOI Link
Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 259-275 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 263-284 (2008).
MSC:  68Q05 03B40 18C20
PDF BibTeX XML Cite
Full Text: DOI
Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 629-736 (2008).
MSC:  03D05 68Q45 68Q60
PDF BibTeX XML Cite
Studies in Computational Intelligence 21. Berlin: Springer (ISBN 3-540-32796-7/hbk). xx, 478 p. (2006).
MSC:  68T05 68W05 68-01 68U20 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 351-365 (2005).
MSC:  68Q60 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Alur, Rajeev (ed.) et al., Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21259-0/pbk). Lecture Notes in Computer Science 2993, 280-295 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 493-506 (2004).
PDF BibTeX XML Cite
Cucker, Felipe (ed.) et al., Foundations of computational mathematics. Proceedings of Smalefest 2000, Hong Kong, July 13-17, 2000. Singapore: World Scientific. 211-250 (2002).
MSC:  65H05 12Y05 05C65 05C85 12E20 06F25
PDF BibTeX XML Cite
Kutyłowski, Mirosław (ed.) et al., Mathematical foundations of computer science 1999. 24th international symposium, MFCS ’99, Szklarska Porȩba, Poland, September 6-10, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1672, 310-320 (1999).
MSC:  03D15 68Q19 03B15
PDF BibTeX XML Cite
Wiedermann, Jiří (ed.) et al., Automata, languages and programming. 26th international colloquium, ICALP ‘99. Prague, Czech Republic, July 11-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1644, 281-290 (1999).
MSC:  03D05 68Q60
PDF BibTeX XML Cite
Immerman, Neil (ed.) et al., Descriptive complexity and finite models. Proceedings of a DIMACS workshop, January 14–17, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 31, 149-183 (1997).
MSC:  03B45 03B25
PDF BibTeX XML Cite
Girard, Jean-Yves (ed.) et al., Linear logic 96. Papers from the meeting, Keio Univ., Tokyo, Japan, March 28 - April 2, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 3, 10 p. (1996).
PDF BibTeX XML Cite
Full Text: Link
Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 316-327 (1994).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/ NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 219-230 (1991).
Reviewer: L.Brim (Brno)
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