×

zbMATH — the first resource for mathematics

Found 204 Documents (Results 1–100)

100
MathJax
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 20, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). Lecture Notes in Computer Science 11494, 57-66 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99497-0/pbk; 978-3-319-99498-7/ebook). Lecture Notes in Computer Science 11106, 205-219 (2018).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Hanneke, Steve (ed.) et al., International conference on algorithmic learning theory. Proceedings of the 28th conference (ALT 2017), Kyoto University, Kyoto, Japan, October 15–17, 2017. [s.l.]: Proceedings of Machine Learning Research PMLR. Proceedings of Machine Learning Research (PMLR) 76, 360-371 (2017).
MSC:  68T05
PDF BibTeX XML Cite
Full Text: Link
Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40577-3/pbk; 978-3-319-40578-0/ebook). Lecture Notes in Computer Science 9720, 307-321 (2016).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 60-75 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 328-341 (2015).
MSC:  68N20 68N19 68Q45
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). 357-368 (2015).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 85-100 (2013).
MSC:  92C42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 104-118 (2012).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 135-145 (2011).
MSC:  68Q25 68P05
PDF BibTeX XML Cite
Full Text: DOI
Dissertationes Mathematicae Universitatis Tartuensis 62. Tartu: University of Tartu Press; Tartu: Univ. Tartu, Faculty of Computer Science (Diss.) (ISBN 978-9949-19-374-5/pbk; 978-9949-19-375-2/ebook). 87 p. (2010).
MSC:  05-02 05C90 92E10
PDF BibTeX XML Cite
Full Text: Link Link
Vestn. St. Petersbg. Univ., Math. 43, No. 2, 92-97 (2010); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2010, No. 2, 91-98 (2010).
MSC:  68P05
PDF BibTeX XML Cite
Full Text: DOI
Wu, Weili (ed.) et al., Combinatorial optimization and applications. 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18–20, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-17460-5/pbk). Lecture Notes in Computer Science 6509, 16-30 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Ranka, Sanjay (ed.) et al., Contemporary computing. Third international conference, IC3 2010, Noida, India, August 9–11, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-14833-0/pbk; 978-3-642-14834-7/ebook). Communications in Computer and Information Science 94, 160-170 (2010).
MSC:  68M15 68M10
PDF BibTeX XML Cite
Full Text: DOI
Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 286-300 (2010).
MSC:  68R10 68Q25 68W05
PDF BibTeX XML Cite
Full Text: DOI
Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 504-518 (2010).
MSC:  68N17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 260-272 (2010).
PDF BibTeX XML Cite
Full Text: DOI
van Leeuwen, Jan (ed.) et al., SOFSEM 2010: Theory and practice of computer science. 36th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 23–29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11265-2/pbk). Lecture Notes in Computer Science 5901, 224-234 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Ferré, Sébastien (ed.) et al., Formal concept analysis. 7th international conference, ICFCA 2009, Darmstadt, Germany, May 21–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01814-5/pbk). Lecture Notes in Computer Science 5548. Lecture Notes in Artificial Intelligence, 194-209 (2009).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI
Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 129-140 (2009).
MSC:  68P05 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Halava, Vesa (ed.) et al., Proceedings of the 2nd workshop on reachability problems in computational models (RP 2008), Liverpool, UK, September 15–17, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 223, 137-151 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 5th international conference, TAMC 2008, Xi’an, China, April 25–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79227-7/pbk). Lecture Notes in Computer Science 4978, 306-317 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Geffert, Viliam (ed.) et al., SOFSEM 2008: Theory and practice of computer science. 34th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 19–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77565-2/pbk). Lecture Notes in Computer Science 4910, 174-185 (2008).
MSC:  68P05 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Bernardo, Marco (ed.) et al., Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 – June 2, 2007. Advanced lectures. Berlin: Springer (ISBN 978-3-540-72482-7/pbk). Lecture Notes in Computer Science 4486, 371-394 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Jena: Univ. Jena, Fakultät für Mathematik und Informatik (Dissertation). 245 p. (2006).
MSC:  68Q60 03B44 68-02
PDF BibTeX XML Cite
Autom. Remote Control 65, No. 6, 938-954 (2004); translation from Avtom. Telemekh. 2004, No. 6, 112-128 (2004).
MSC:  90B50
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
Biographic Reference
all top 3
Software