×

zbMATH — the first resource for mathematics

Found 157 Documents (Results 1–100)

100
MathJax
Gąsieniec, Leszek Antoni (ed.) et al., Fundamentals of computation theory. 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12–14, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-25026-3/pbk; 978-3-030-25027-0/ebook). Lecture Notes in Computer Science 11651, 171-184 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 80, No. 1, 81-92 (2019); translation from Avtom. Telemekh. 2019, No. 1, 101-115 (2019).
MSC:  91B68 05C90
PDF BibTeX XML Cite
Full Text: DOI
Cham: Springer (ISBN 978-3-030-25208-3/hbk; 978-3-030-25209-0/ebook). xv, 509 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Kliewer, Natalia (ed.) et al., Operations research proceedings 2017. Selected papers of the annual international conference of the German Operations Research Society (GOR), Freie Universiät Berlin, Germany, September 6–8, 2017. Cham: Springer (ISBN 978-3-319-89919-0/pbk; 978-3-319-89920-6/ebook). Operations Research Proceedings, 467-473 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Anceaume, Emmanuelle (ed.) et al., 19th international conference on principles of distributed systems, OPODIS 2015, Rennes, France, December 14–17, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-98-9). LIPIcs – Leibniz International Proceedings in Informatics 46, Article 15, 16 p. (2016).
MSC:  68P05 05C85 68W10
PDF BibTeX XML Cite
Full Text: DOI
Springer-Lehrbuch. Heidelberg: Springer Spektrum (ISBN 978-3-662-47013-8/pbk; 978-3-662-47014-5/ebook). xiii, 165 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Synthesis Lectures on Theoretical Computer Science 1. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-539-0/pbk; 978-1-62705-540-6/ebook). xvi, 71 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 123-142 (2010).
MSC:  68N30 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4349-9/pbk). xiv, 330 p. (2010).
PDF BibTeX XML Cite
Autom. Remote Control 69, No. 2, 247-251 (2008); translation from Avtom. Telemekh. 2008, No. 2, 80-85 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 68, No. 7, 1284-1293 (2007); translation from Avtom. Telemekh. 2007, No. 7, 180-189 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Fidge, Colin (ed.), Computing: The Australasian Theory Symposium, CATS 2001. Proceedings of the 7th symposium, Bond Univ., Gold Coast, Australia, January 29-30, 2001. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 42, 17 p., electronic only (2001).
MSC:  68R10
PDF BibTeX XML Cite
Full Text: Link
Donald, Bruce Randall (ed.) et al., Algorithmic and computational robotics: new directions. The 4th workshop on the algorithmic foundations of robotics, WAFR 2000, Dartmouth College, Dartmouth, MA, USA, March 16-18, 2000. Natick, MA: A. K. Peters. 191-203 (2000).
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