×

zbMATH — the first resource for mathematics

Found 82 Documents (Results 1–82)

100
MathJax
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 71-80 (2018).
MSC:  68Q45 05C15 68R10
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 37, 16 p. (2017).
MSC:  91A43 68Q45 91B32
PDF BibTeX XML Cite
Full Text: DOI
Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 44, 14 p. (2016).
MSC:  68Q45 91A43
PDF BibTeX XML Cite
Full Text: DOI
Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 551-569 (2015).
MSC:  68Q60 68M20
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 311-324 (2015).
MSC:  68Q45 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 278-292 (2015).
MSC:  68Q45 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 261-277 (2015).
MSC:  68Q45 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 273-282 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Bru, Rafael (ed.) et al., Positive systems. Proceedings of the third multidisciplinary international symposium on positive systems: theory and applications (POSTA 09), Valencia, Spain, September 2–4, 2009. Berlin: Springer (ISBN 978-3-642-02893-9/pbk; 978-3-642-02894-6/ebook). Lecture Notes in Control and Information Sciences 389, 279-290 (2009).
MSC:  93C65 93B40
PDF BibTeX XML Cite
Full Text: DOI
Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 340-351, electronic only (2008).
PDF BibTeX XML Cite
Full Text: DOI Link
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, 203-218 (2004).
MSC:  93C83 90C35
PDF BibTeX XML Cite
Full Text: DOI
Cuadernos del Instituto de Matematica “Beppo Levi” 29. Rosario: Universidad Nacional de Rosario, Facultad de Ciencias Exactas, Ingenieria y Agrimensura. viii, 121 p. (2001).
MSC:  93-02 93C65 68Q85
PDF BibTeX XML Cite
Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 232-244 (1999).
MSC:  68Q45 03B25
PDF BibTeX XML Cite
Doležal, Jaroslav et al., System modelling and optimization. Proceedings of the 17th IFIP TC7 conference. Prague, Czech Republic, July 10–14, 1995. London: Chapman & Hall. 511-518 (1996).
MSC:  90B30 90C32 90B15
PDF BibTeX XML Cite
Jacob, Gérard (ed.) et al., Algebraic computing in control. Proceedings of the first European conference, Paris, France, March 13-15, 1991. Berlin: Springer-Verlag. Lect. Notes Control Inf. Sci. 165, 241-252 (1991).
MSC:  93A10 68M20 68U20
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