×

zbMATH — the first resource for mathematics

Found 193 Documents (Results 1–100)

100
MathJax
Lecture Notes in Mathematics 2277. Cham: Springer (ISBN 978-3-030-58372-9/pbk; 978-3-030-58373-6/ebook). xiv, 232 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Kärkkäinen, Juha (ed.) et al., 28th annual symposium on combinatorial pattern matching. CPM 2017, Warsaw, Poland, July 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 78, Article 8, 13 p. (2017).
MSC:  68P05 68W27 68W32
PDF BibTeX XML Cite
Full Text: DOI
Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10628, 483-491 (2017).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Fédou, Jean-Marc (ed.) et al., Random generation of combinatorial structures – GASCom 2016. Proceedings of the 10th GASCom conference, Centre IGESA, La Marana, Corsica, France, June 1 – June 4, 2016. Amsterdam: Elsevier. Electron. Notes Discrete Math. 59, 115-130 (2017).
MSC:  05A05 05B50 05A15
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 32-45 (2017).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 661-684 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 90-108 (2015).
MSC:  68Q42 03B70 68P05
PDF BibTeX XML Cite
Full Text: DOI
Cicalese, Ferdinando (ed.) et al., Combinatorial pattern matching. 26th annual symposium, CPM 2015, Ischia Island, Italy, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9133, 261-271 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 49-64 (2014).
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). 523-536 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 123-136 (2012).
MSC:  68P05 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 611-622 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 187-200 (2011).
MSC:  68N30 68P05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 31-42 (2011).
MSC:  68T15 68N30 68T05
PDF BibTeX XML Cite
Full Text: DOI
Dissertationes Mathematicae Universitatis Tartuensis 64. Tartu: University of Tartu Press; Tartu: Univ. Tartu, Faculty of Mathematics and Computer Science (Diss.) (ISBN 978-9949-19-508-4/pbk; 978-9949-19-509-1/ebook). 137 p. (2010).
PDF BibTeX XML Cite
Full Text: Link Link
Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 1-12, electronic only (2010).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI Link
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 247-260 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 171-182 (2008).
MSC:  68N30 68N18 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Pahl, C. (ed.), Software engineering. Proceedings of the IASTED international conference (SE 2008), as part of the 26th IASTED international multi-conference on applied informatics, Innsbruck, Austria, February 12–14, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-716-1/CD-ROM). 310-317 (2008).
MSC:  68Q60 68T27
PDF BibTeX XML Cite
Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 115-126 (2006).
MSC:  68N30 68P05 68T15
PDF BibTeX XML Cite
Full Text: DOI
Flocchini, Paola (ed.) et al., Structural information and communication complexity. 13th international colloquium, SIROCCO 2006, Chester, UK, July 2–5, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35474-1/pbk). Lecture Notes in Computer Science 4056, 334-348 (2006).
MSC:  68M14 68P05 68W15
PDF BibTeX XML Cite
Full Text: DOI
Greco, Salvatore (ed.) et al., Rough sets and current trends in computing. 5th international conference, RSCTC 2006, Kobe, Japan, November 6–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-47693-1/pbk). Lecture Notes in Computer Science 4259. Lecture Notes in Artificial Intelligence, 677-686 (2006).
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 1-10 (2006).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Herman, Ted (ed.) et al., Self-stabilizing systems. 7th international symposium, SSS 2005, Barcelona, Spain, October 26–27, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29814-2/pbk). Lecture Notes in Computer Science 3764, 1-17 (2005).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’03, New Orleans, LA, USA, January 15–17, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-628-5). 185-197 (2003).
PDF BibTeX XML Cite
Full Text: DOI
Boneh, Dan (ed.), Advances in cryptology – CRYPTO 2003. 23rd annual international cryptology conference, Santa Barbara, California, USA, August 17–21, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40674-3/pbk). Lect. Notes Comput. Sci. 2729, 445-462 (2003).
MSC:  68P05 94A60
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