×

zbMATH — the first resource for mathematics

Found 222 Documents (Results 1–100)

100
MathJax
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 277-293 (2019).
MSC:  68R07 68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 157-175 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 80-105 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 22-38 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 3-21 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Kielanowski, Piotr (ed.) et al., Geometric methods in physics XXXVI. Workshop and summer school, Białowieża, Poland, July 2–8, 2017. Selected papers of the 36th workshop (WGMPXXXVI) and extended abstracts of lectures given at the 6th “School of geometry and physics”. Cham: Birkhäuser. Trends Math., 199-205 (2019).
MSC:  53Z99 81T13
PDF BibTeX XML Cite
Full Text: DOI
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 25, 14 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 111-130 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Kalyagin, Valery A. (ed.) et al., Models, algorithms, and technologies for network analysis. NET 2016, Nizhny Novgorod, Russia, May 26–28, 2016. Papers based on the presentations at the 6th international conference on network analysis. Cham: Springer (ISBN 978-3-319-56828-7/hbk; 978-3-319-56829-4/ebook). Springer Proceedings in Mathematics & Statistics 197, 205-214 (2017).
MSC:  90C35 62P30 91G80
PDF BibTeX XML Cite
Full Text: DOI
Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52227-2/pbk; 978-3-319-52228-9/ebook). Lecture Notes in Computer Science 10134, 1-25 (2017).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Moscow: Fizmatlit (ISBN 978-5-9221-1707-4/hbk). 228 p. (2017).
PDF BibTeX XML Cite
Program. Comput. Softw. 42, No. 4, 239-256 (2016); translation from Programmirovanie 42, No. 4, 69-92 (2016).
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). 682-691 (2016).
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). 337-346 (2016).
MSC:  68Q05 03B70 03C05 68N30
PDF BibTeX XML Cite
Full Text: DOI
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 3-27 (2016).
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 19, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 11, 17 p. (2016).
MSC:  68Q42 03C05 68N30
PDF BibTeX XML Cite
Full Text: DOI
Kallosh, Renata (ed.) et al., Theoretical frontiers in black holes and cosmology. Theoretical perspective in high energy physics. Contributions based on lectures delivered at the school ‘International frontiers in black holes and cosmology’, held at the International Institute of Physics, IIP, Natal, Brazil, June 2015. Cham: Springer (ISBN 978-3-319-31351-1/hbk; 978-3-319-31352-8/ebook). Springer Proceedings in Physics 176, 41-109 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Heidelberg: Springer Spektrum (ISBN 978-3-662-48038-0/hbk; 978-3-662-48039-7/ebook). xx, 261 p. (2016).
PDF BibTeX XML Cite
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 315-331, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI
Cojocaru, Monica G. (ed.) et al., Interdisciplinary topics in applied mathematics, modeling and computational science. Selected papers based on the presentations at the 2nd conference, AMMCS 2013, Waterloo, Canada, August 26–30, 2013. Cham: Springer (ISBN 978-3-319-12306-6/hbk; 978-3-319-12307-3/ebook). Springer Proceedings in Mathematics & Statistics 117, 405-410 (2015).
MSC:  97M50 97U70 97C30
PDF BibTeX XML Cite
Full Text: DOI
IOP Concise Physics. San Rafael, CA: Morgan & Claypool Publishers; London: IOP Publishing (ISBN 978-1-68174-054-6/pbk; 978-1-68174-118-5/ebook). xi, 59 p., not consecutively paged. (2015).
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Springer (ISBN 978-1-4614-8729-6/hbk; 978-1-4614-8730-2/ebook). xix, 336 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 69, 10 p. (2014).
MSC:  68N30 03B25 03B70
PDF BibTeX XML Cite
Full Text: DOI
Electronic Notes in Theoretical Computer Science 303. Amsterdam: Elsevier. 206 p., electronic only (2014).
PDF BibTeX XML Cite
Full Text: Link
Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 73-83 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer (ISBN 978-3-662-44344-6/pbk; 978-3-662-44345-3/ebook). xi, 192 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 607-618 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 519-528 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 469-483 (2013).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 309-324 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8050, 109-155 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 537-548 (2013).
MSC:  68N30 03C40 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Jones, Andrew V. (ed.) et al., 2013 Imperial College computing student workshop ICCSW’13, London, UK, September 26–27, 2013. Selected papers of the 3rd workshop. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-63-7). OASIcs – OpenAccess Series in Informatics 35, 95-102, electronic only (2013).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Springer Optimization and Its Applications 81. New York, NY: Springer (ISBN 978-1-4614-6796-0/hbk; 978-1-4614-6797-7/ebook). xxii, 340 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 401-417 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-4397-83-4/hbk; 978-981-4397-84-1/ebook). viii, 204 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Faella, Marco (ed.) et al., Third international symposium on games, automata, logics and formal verification, Napoli, Italy, September 6–8, 2012. Proceedings. Waterloo: Open Publishing Association (OPA). Electronic Proceedings in Theoretical Computer Science (EPTCS) 96, 127-140 (2012).
PDF BibTeX XML Cite
Full Text: Link
Interdisciplinary Studies on the Nature of Mathematics 1. München: LINCOM Europa (ISBN 978-3-86288-332-5/hbk). 339 p. (2012).
PDF BibTeX XML Cite
Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 127-141 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Columbus, OH: The Educational Publisher. 92 p. (2012).
PDF BibTeX XML Cite
Springer-Lehrbuch. Heidelberg: Springer (ISBN 978-3-642-24420-9/pbk; 978-3-642-24421-6/ebook). xiv, 588 p. (2012).
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