×

zbMATH — the first resource for mathematics

Found 240 Documents (Results 1–100)

100
MathJax
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 111-123 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Pal, Sudebkumar Prasant (ed.) et al., Algorithms and discrete applied mathematics. 5th international conference, CALDAM 2019, Kharagpur, India, February 14–16, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-11508-1/pbk; 978-3-030-11509-8/ebook). Lecture Notes in Computer Science 11394, 174-188 (2019).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Graciani, Carmen (ed.) et al., Enjoying natural computing. Essays dedicated to Mario de Jesús Pérez-Jiménez on the occasion of his 70th birthday. Cham: Springer (ISBN 978-3-030-00264-0/pbk; 978-3-030-00265-7/ebook). Lecture Notes in Computer Science 11270, 228-236 (2018).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Fomin, Fedor V. (ed.) et al., Computer science – theory and applications. 13th international computer science symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90529-7/pbk; 978-3-319-90530-3/ebook). Lecture Notes in Computer Science 10846, 132-144 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 8th international conference, MCU 2018, Fontainebleau, France, June 28–30, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92401-4/pbk; 978-3-319-92402-1/ebook). Lecture Notes in Computer Science 10881, 88-104 (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 13, 18 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Pighizzini, Giovanni (ed.) et al., Descriptional complexity of formal systems. 19th IFIP WG 1.02 international conference, DCFS 2017, Milano, Italy, July 3–5, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10316, 128-139 (2017).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 89-100 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Martens, Wim (ed.) et al., 19th international conference on database theory, ICDT ’16, Bordeaux, France, March 15–18, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-002-6). LIPIcs – Leibniz International Proceedings in Informatics 48, Article 17, 16 p. (2016).
MSC:  68P15 68P20 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 236-247 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Câmpeanu, Cezar (ed.) et al., Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9777, 111-125 (2016).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Freivalds, Rūsiņš Mārtiņš (ed.) et al., SOFSEM 2016: theory and practice of computer science. 42nd international conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 23–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9587, 369-380 (2016).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). Lecture Notes in Computer Science 9138, 60-75 (2015).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 473-485 (2015).
MSC:  68Q45 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Shallit, Jeffrey (ed.) et al., Descriptional complexity of formal systems. 17th international workshop, DCFS 2015, Waterloo, ON, Canada, June 25–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19224-6/pbk; 978-3-319-19225-3/ebook). Lecture Notes in Computer Science 9118, 165-176 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Calude, Cristian S. (ed.) et al., Computing with new resources. Essays dedicated to Jozef Gruska on the occasion of his 80th birthday. Cham: Springer (ISBN 978-3-319-13349-2/pbk; 978-3-319-13350-8/ebook). Lecture Notes in Computer Science 8808, 161-175 (2014).
MSC:  68Q45 68Q05
PDF BibTeX XML Cite
Full Text: DOI
Holzer, Markus (ed.) et al., Implementation and application of automata. 19th international conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08845-7/pbk). Lecture Notes in Computer Science 8587, 84-97 (2014).
MSC:  68Q45 81P68
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 16th international workshop, DCFS 2014, Turku, Finland, August 5–8, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09703-9/pbk). Lecture Notes in Computer Science 8614, 352-363 (2014).
MSC:  68Q45 68Q05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-04920-5/pbk). Lecture Notes in Computer Science 8370, 113-125 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 253-264 (2013).
MSC:  68Q45 68Q05
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 124-135 (2013).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 15th international workshop, DCFS 2013, London, ON, Canada, July 22–25, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39309-9/pbk). Lecture Notes in Computer Science 8031, 90-101 (2013).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Mauri, Giancarlo (ed.) et al., Unconventional computation and natural computation. 12th international conference, UCNC 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39073-9/pbk). Lecture Notes in Computer Science 7956, 19-30 (2013).
MSC:  68Q05 68Q12 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Bulatov, Andrei A. (ed.) et al., Computer science – theory and applications. 8th international computer science symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25–29, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38535-3/pbk). Lecture Notes in Computer Science 7913, 100-111 (2013).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Kutrib, Martin (ed.) et al., Descriptional complexity of formal systems. 14th international workshop, DCFS 2012, Braga, Portugal, July 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31622-7/pbk). Lecture Notes in Computer Science 7386, 209-221 (2012).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Kutrib, Martin (ed.) et al., Descriptional complexity of formal systems. 14th international workshop, DCFS 2012, Braga, Portugal, July 23–25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31622-7/pbk). Lecture Notes in Computer Science 7386, 76-88 (2012).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Yen, Hsu-Chun (ed.) et al., Developments in language theory. 16th international conference, DLT 2012, Taipei, Taiwan, August 14–17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31652-4/pbk). Lecture Notes in Computer Science 7410, 284-295 (2012).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

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