×

zbMATH — the first resource for mathematics

Found 308 Documents (Results 1–100)

100
MathJax
Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 350, 57-71 (2020).
MSC:  92C42
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 113-123 (2019).
MSC:  68Qxx
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
Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 396-413 (2018).
MSC:  68Q87 68Q60 68T05
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 56, No. 4, 721-737 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 4, 154-173 (2017).
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 56, No. 2, 192-207 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 2, 22-37 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 78, No. 9, 1585-1599 (2017); translation from Avtom. Telemekh. 2017, No. 9, 49-66 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 237-242 (2017).
MSC:  94A12 68T05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 29-34 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 31-45 (2016).
MSC:  68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Engineering Systems and Sustainability Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-6074-4/hbk; 978-1-4987-6075-1/ebook). xxii, 250 p. (2016).
PDF BibTeX XML Cite
Full Text: Link
André, Étienne (ed.) et al., 2nd international workshop on synthesis of complex parameters, SynCoP’15, April 11, 2015, London, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 44, 63-76 (2015).
MSC:  68Q60 60J20 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Abate, Alessandro (ed.) et al., Hybrid systems biology. Fourth international workshop, HSB 2015, Madrid, Spain, September 4–5, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9271, 119-140 (2015).
MSC:  92C50 92C42 92-08
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 189-198 (2015).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 16-33 (2015).
MSC:  92E20 68N17 68T15 90B10 60J20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 233-242 (2014).
MSC:  92C42 92D30 93A30
PDF BibTeX XML Cite
Full Text: DOI
Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 381-396 (2013).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Braberman, Víctor (ed.) et al., Formal modeling and analysis of timed systems. 11th international conference, FORMATS 2013, Buenos Aires, Argentina, August 29–31, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40228-9/pbk). Lecture Notes in Computer Science 8053, 1-15 (2013).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Communications and Control Engineering. Berlin: Springer (ISBN 978-1-4419-1215-2/hbk; 978-1-4419-1216-9/ebook). xiii, 221 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Mat. Metody Fiz.-Mekh. Polya 52, No. 3, 15-29 (2009); translation in J. Math. Sci., New York 171, No. 4, 433-452 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 44, No. 3, 341-347 (2008); translation from Kibern. Sist. Anal. 2008, No. 3, 39-45 (2008).
MSC:  93E20 93C73
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 43, No. 3, 466-470 (2007); translation from Kibern. Sist. Anal. 43, No. 3, 181-186 (2007).
MSC:  93E20 93C73
PDF BibTeX XML Cite
Full Text: DOI

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