×

zbMATH — the first resource for mathematics

Found 141 Documents (Results 1–100)

100
MathJax
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 33-44 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-12796-1/pbk; 978-3-030-12797-8/ebook). Lecture Notes in Computer Science 11399, 84-94 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-23856-8/pbk; 978-3-658-23857-5/ebook). xiii, 41 p. (2018).
MSC:  46-01 46F99 00A69
PDF BibTeX XML Cite
Full Text: DOI
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-77312-4/pbk; 978-3-319-77313-1/ebook). Lecture Notes in Computer Science 10792, 220-231 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-53732-0/pbk; 978-3-319-53733-7/ebook). Lecture Notes in Computer Science 10168, 131-142 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Dondi, Riccardo (ed.) et al., Algorithmic aspects in information and management. 11th international conference, AAIM 2016, Bergamo, Italy, July 18–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41167-5/pbk; 978-3-319-41168-2/ebook). Lecture Notes in Computer Science 9778, 65-76 (2016).
MSC:  68Wxx 90Bxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 125-137 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Nankai Series in Pure, Applied Mathematics and Theoretical Physics 11. Hackensack, NJ: World Scientific (ISBN 978-981-4518-54-3/hbk; 978-981-4518-56-7/ebook). xx, 644 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Fischer, Johannes (ed.) et al., Combinatorial pattern matching. 24th annual symposium, CPM 2013, Bad Herrenalb, Germany, June 17–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38904-7/pbk). Lecture Notes in Computer Science 7922, 1-10 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 523-534 (2013).
MSC:  68W32 68W27
PDF BibTeX XML Cite
Full Text: DOI
Münster: Univ. Münster, Mathematisch-Naturwischaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). viii, 255 p. (2012).
PDF BibTeX XML Cite
Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 1-12, electronic only (2010).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI Link
Rajantie, Arttu (ed.) et al., Particles, strings, and cosmology. 13th international symposium on particles, strings and cosmology PASCOS 2007, London, United Kingdom, 2–7 2007. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0471-7/hbk). AIP Conference Proceedings 957, 30-37 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Ma, Bin (ed.) et al., Combinatorial pattern matching. 18th annual symposium, CPM 2007, London, Canada, July 9–11, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73436-9/pbk). Lecture Notes in Computer Science 4580, 63-70 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Holub, Jan (ed.) et al., Implementation and application of automata. 12th international conference, CIAA 2007, Prague, Czech Republic, July 16–18, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-76335-2/pbk). Lecture Notes in Computer Science 4783, 1-4 (2007).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science. 2857. Berlin: Springer. xi, 377 p. (2003).
PDF BibTeX XML Cite
Full Text: Link
Jansen, Klaus (ed.) et al., Experimental and efficient algorithms. Second international workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2647, 47-58 (2003).
MSC:  68W05 68U15 68T20
PDF BibTeX XML Cite
Full Text: Link
Topics in Computer Mathematics. 9. London: Taylor and Francis. x, 422 p. (2003).
MSC:  00B30 68-06
PDF BibTeX XML Cite
Eades, Peter (ed.) et al., Algorithms and computation. 12th international symposium, ISAAC 2001, Christchurch, New Zealand, December 19–21, 2001. Proceedings. Berlin: Springer (ISBN 3-540-42985-9). Lect. Notes Comput. Sci. 2223, 719-730 (2001).
PDF BibTeX XML Cite
Full Text: Link
Bongiovanni, Giancarlo (ed.) et al., Algorithms and complexity. 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1767, 306-315 (2000).
MSC:  68U99 68P30
PDF BibTeX XML Cite
Proceedings of the 11th annual ACM-SIAM symposium on discrete algorithms. San Francisco, CA, USA, January 9-11, 2000. Philadelphia, PA: SIAM. 794-803 (2000).
MSC:  68U15
PDF BibTeX XML Cite
The David Hume Series of Philosophy and Cognitive Science Reissues. Stanford, CA: CSLI, Center for the Study of Language and Information. xxiv, 382 p. (1999).
PDF BibTeX XML Cite
McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 34-48 (1997).
PDF BibTeX XML Cite
Full Text: DOI
Sharda, Nalin (ed.) et al., Proceedings of PART’97. The 4th Australasian conference on Parallel and real-time systems, Newcastle, New South Wales, Australia, November 29–30, 1997. Singapore: Springer. 226-237 (1997).
MSC:  68P10
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
Biographic Reference
all top 3
Software