×

zbMATH — the first resource for mathematics

Found 189 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, 158-170 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 208-217 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Hofman, Piotrek (ed.) et al., Developments in language theory. 23rd international conference, DLT 2019, Warsaw, Poland, August 5–9, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24885-7/pbk; 978-3-030-24886-4/ebook). Lecture Notes in Computer Science 11647, 127-139 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Hofman, Piotrek (ed.) et al., Developments in language theory. 23rd international conference, DLT 2019, Warsaw, Poland, August 5–9, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24885-7/pbk; 978-3-030-24886-4/ebook). Lecture Notes in Computer Science 11647, 113-126 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Sayed-Mouchaweh, Moamar (ed.), Diagnosability, security and safety of hybrid dynamic and cyber-physical systems. Cham: Springer (ISBN 978-3-319-74961-7/hbk; 978-3-030-09114-9/pbk; 978-3-319-74962-4/ebook). 147-173 (2018).
MSC:  93C30 68Q45 93-10
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 3-20 (2017).
MSC:  68N30 68Q45
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 31, 15 p. (2017).
MSC:  68Q45 03D05
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 156-167 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 232-243 (2013).
MSC:  68Q45 03B25
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 44, No. 2, 155-165 (2011); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2011, No. 2, 104-115 (2011).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 263-272 (2010).
MSC:  92C40 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bemporad, Alberto (ed.) et al., Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71492-7/pbk). Lecture Notes in Computer Science 4416, 459-472 (2007).
MSC:  93B15 68Q45 93E03
PDF BibTeX XML Cite
Full Text: DOI
Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 289-305 (2006).
MSC:  68M15 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Uyar, M. Ümit (ed.) et al., Testing of communicating systems. 18th IFIP TC6/ WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16–18, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34184-6/pbk). Lecture Notes in Computer Science 3964, 1-18 (2006).
MSC:  68Q60 68M15 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Joseph, Mathai (ed.), Formal techniques in real-time and fault-tolerant systems. 6th international symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1926, 1-11 (2000).
MSC:  93C57 93D25 68Q45 94C10 68Q60
PDF BibTeX XML Cite
Cybern. Syst. Anal. 33, No. 5, 724-730 (1997); translation from Kibern. Sist. Anal. 1997, No. 5, 142-151 (1997).
Reviewer: I.Strazdins (Riga)
MSC:  94A05 68Q45 11T06 94C10
PDF BibTeX XML Cite
Full Text: DOI
Cuny, J. (ed.) et al., Graph grammars and their application to computer science. 5th international workshop, Williamsburg, VA, USA, November 13–18, 1994. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1073, 336-350 (1996).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 315-323 (1995).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Calderbank, Robert (ed.), Different aspects of coding theory. American Mathematical Society short course, January 2-3, 1995, San Francisco, CA, USA. Proceedings. Providence, RI: American Mathematical Society. Proc. Symp. Appl. Math. 50, 109-138 (1995).
MSC:  93A30 37B10 93B15 94B99 68Q45
PDF BibTeX XML Cite
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, 593-604 (1994).
MSC:  68Q25 20M35 68Q45 94C10
PDF BibTeX XML Cite
Full Text: DOI
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, 73-82 (1994).
PDF BibTeX XML Cite
Full Text: DOI
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, 59-72 (1994).
MSC:  68Q05 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 239-262 (1994).
PDF BibTeX XML Cite
Lindenmayer systems. Impacts on theoretical computer science, computer graphics, and developmental biology, 167-175 (1992).
MSC:  68Q45 68Q25
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software