×

zbMATH — the first resource for mathematics

Found 908 Documents (Results 1–100)

100
MathJax
Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer (ISBN 978-3-319-68102-3/hbk; 978-3-319-68103-0/ebook). Springer Proceedings in Mathematics & Statistics 219, 399-422 (2017).
MSC:  68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI
Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer. Springer Proc. Math. Stat. 219, 363-374 (2017).
MSC:  68Q65 03C95 18C50
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 27, 14 p. (2016).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Schockaert, Steven (ed.) et al., Scalable uncertainty management. 10th international conference, SUM 2016, Nice, France, September 21–23, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-45855-7/pbk; 978-3-319-45856-4/ebook). Lecture Notes in Computer Science 9858. Lecture Notes in Artificial Intelligence, 170-183 (2016).
MSC:  91B08
PDF BibTeX XML Cite
Full Text: DOI
Sako, Kazue (ed.), Topics in cryptology – CT-RSA 2016. The cryptographers’ track at the RSA conference 2016, San Francisco, CA, USA, February 29 – March 4, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-29484-1/pbk; 978-3-319-29485-8/ebook). Lecture Notes in Computer Science 9610, 271-287 (2016).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-21667-6/pbk; 978-3-319-21668-3/ebook). Lecture Notes in Computer Science 9207, 413-428 (2015).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9348, 171-190 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 493-518 (2015).
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). 145-150 (2014).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 379-390 (2014).
MSC:  68Q60 91A43
PDF BibTeX XML Cite
Full Text: DOI
Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 95-107, electronic only (2014).
MSC:  68T20 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 311-324 (2014).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 283-292 (2013).
MSC:  68Q60 60J05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 335-344 (2012).
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 211-223 (2012).
MSC:  68Q45 68Q17 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Broutin, Nicolas (ed.) et al., Proceeding of the 23rd international meeting on probabilistic, combinatorial, and asymptotic methods in the analysis of algorithms (AofA’12), Montreal, Canada, June 18–22, 2012. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 125-140, electronic only (2012).
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 153-164 (2012).
MSC:  68N30 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 144-153, electronic only (2012).
MSC:  68N30 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Hawblitzel, Chris (ed.) et al., Certified programs and proofs. Second international conference, CPP 2012, Kyoto, Japan, December 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-35307-9/pbk). Lecture Notes in Computer Science 7679, 76-91 (2012).
MSC:  68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 95-105, electronic only (2011).
MSC:  68N30 68N17 68N19
PDF BibTeX XML Cite
Full Text: DOI Link
Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 60-71 (2011).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 60-75 (2011).
MSC:  68Q65 68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 46, No. 4, 574-582 (2010); translation from Kibern. Sist. Anal. 2010, No. 4, 60-69 (2010).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 144-153, electronic only (2010).
PDF BibTeX XML Cite
Full Text: DOI Link
Mohammadpour, Javad (ed.) et al., Efficient modeling and control of large-scale systems. New York, NY: Springer (ISBN 978-1-4419-5756-6/hbk; 978-1-4419-5757-3/ebook). 305-328 (2010).
MSC:  93A15 93B51 90C05
PDF BibTeX XML Cite
Full Text: DOI
Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 248-261 (2010).
MSC:  68Q60 68N15
PDF BibTeX XML Cite
Full Text: DOI
Meghanathan, Natarajan (ed.) et al., Recent trends in network security and applications. Third international conference, CNSA 2010, Chennai, India, July 23–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14477-6/pbk; 978-3-642-14478-3/ebook). Communications in Computer and Information Science 89, 548-557 (2010).
MSC:  68M10
PDF BibTeX XML Cite
Full Text: DOI
Filipe, Joaquim (ed.) et al., Agents and artificial intelligence. International conference, ICAART 2009, Porto, Portugal, January 19–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11818-0/pbk; 978-3-642-11819-7/ebook). Communications in Computer and Information Science 67, 56-69 (2010).
MSC:  68T01 68T30
PDF BibTeX XML Cite
Full Text: DOI
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 277-300 (2010).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Ślęzak, D. (ed.) et al., Security technology. International conference, SecTech 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10846-4/pbk; 978-3-642-10847-1/ebook). Communications in Computer and Information Science 58, 72-85 (2010).
MSC:  68M99
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