×

zbMATH — the first resource for mathematics

Found 603 Documents (Results 1–100)

100
MathJax
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 3-23 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Mu, Yi (ed.) et al., Cryptology and network security. 18th international conference, CANS 2019, Fuzhou, China, October 25–27, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11829, 434-456 (2019).
MSC:  68P25 68Q80 94A60
PDF BibTeX XML Cite
Full Text: DOI
Jang-Jaccard, Julian (ed.) et al., Information security and privacy. 24th Australasian conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11547, 3-20 (2019).
MSC:  68P25 68M25
PDF BibTeX XML Cite
Full Text: DOI
Lange, Tanja (ed.) et al., Progress in cryptology – LATINCRYPT 2017. 5th international conference on cryptology and information security in Latin America, Havana, Cuba, September 20–22, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-030-25282-3/pbk; 978-3-030-25283-0/ebook). Lecture Notes in Computer Science 11368, 66-85 (2019).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Naccache, David (ed.) et al., Information and communications security. 20th international conference, ICICS 2018, Lille, France, October 29–31, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-01949-5/pbk; 978-3-030-01950-1/ebook). Lecture Notes in Computer Science 11149, 409-425 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Qing, Sihan (ed.) et al., Information and communications security. 19th international conference, ICICS 2017, Beijing, China, December 6–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10631, 39-50 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Guo, Fuchun (ed.) et al., Information security and cryptology. 14th international conference, Inscrypt 2018, Fuzhou, China, December 14–17, 2018, Revised selected papers. Cham: Springer (ISBN 978-3-030-14233-9/pbk; 978-3-030-14234-6/ebook). Lecture Notes in Computer Science 11449, 490-509 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Guo, Fuchun (ed.) et al., Information security and cryptology. 14th international conference, Inscrypt 2018, Fuzhou, China, December 14–17, 2018, Revised selected papers. Cham: Springer (ISBN 978-3-030-14233-9/pbk; 978-3-030-14234-6/ebook). Lecture Notes in Computer Science 11449, 274-288 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Guo, Fuchun (ed.) et al., Information security and cryptology. 14th international conference, Inscrypt 2018, Fuzhou, China, December 14–17, 2018, Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11449, 260-273 (2018).
MSC:  68P15 68P25 68P27
PDF BibTeX XML Cite
Full Text: DOI
Chen, Xiaofeng (ed.) et al., Information security and cryptology. 13th international conference, Inscrypt 2017, Xi’an, China, November 3–5, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10726, 278-298 (2018).
MSC:  94A60 68M11
PDF BibTeX XML Cite
Full Text: DOI
Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 253-274 (2017).
MSC:  68M25 68M10
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 78, No. 11, 1978-1990 (2017); translation from Avtom. Telemekh. 2017, No. 11, 48-63 (2017).
MSC:  93E03 90B18 90B25 93A30
PDF BibTeX XML Cite
Full Text: DOI
Takagi, Tsuyoshi (ed.) et al., Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10624, 502-532 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Lasaulce, Samson (ed.) et al., Network games, control, and optimization. Proceedings of NETGCOOP 2016, Avignon, France, November 23–25, 2016. Basel: Birkhäuser/Springer. Static Dyn. Game Theory: Found. Appl., 101-111 (2017).
MSC:  91B26 91A10
PDF BibTeX XML Cite
Full Text: DOI
Pieprzyk, Josef (ed.) et al., Information security and privacy. 22nd Australasian conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-60054-3/pbk; 978-3-319-60055-0/ebook). Lecture Notes in Computer Science 10342, 248-265 (2017).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Pieprzyk, Josef (ed.) et al., Information security and privacy. 22nd Australasian conference, ACISP 2017, Auckland, New Zealand, July 3–5, 2017. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-60054-3/pbk; 978-3-319-60055-0/ebook). Lecture Notes in Computer Science 10342, 106-126 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Bishop, Matt (ed.) et al., Information security. 19th international conference, ISC 2016, Honolulu, HI, USA, September 3–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-45870-0/pbk; 978-3-319-45871-7/ebook). Lecture Notes in Computer Science 9866, 115-129 (2016).
MSC:  94A60 94A62
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 11th international conference on queueing theory and network applications, QTNA 2016, Wellington, New Zealand, December 13–15, 2016. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 5 p. (2016).
MSC:  90B22 60K25 90B10
PDF BibTeX XML Cite
Full Text: DOI
Martens, Wim (ed.) et al., 19th international conference on database theory, ICDT ’16, Bordeaux, France, March 15–18, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-002-6). LIPIcs – Leibniz International Proceedings in Informatics 48, Article 10, 17 p. (2016).
MSC:  68P15 68N17
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 165-174 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Chen, Liqun (ed.) et al., Provable security. 10th international conference, ProvSec 2016, Nanjing, China, November 10–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47421-2/pbk; 978-3-319-47422-9/ebook). Lecture Notes in Computer Science 10005, 19-38 (2016).
MSC:  94A62 68P25
PDF BibTeX XML Cite
Full Text: DOI
Dunkelman, Orr (ed.) et al., Progress in cryptology – INDOCRYPT 2016. 17th international conference on cryptology in India, Kolkata, India, December 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10095, 248-265 (2016).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Liu, Joseph K. K. (ed.) et al., Information security and privacy. 21st Australasian conference, ACISP 2016, Melbourne, VIC, Australia, July 4–6, 2016. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-40366-3/pbk; 978-3-319-40367-0/ebook). Lecture Notes in Computer Science 9723, 437-445 (2016).
MSC:  68P25
PDF BibTeX XML Cite
Full Text: DOI
Liu, Joseph K.K. (ed.) et al., Information security and privacy. 21st Australasian conference, ACISP 2016, Melbourne, VIC, Australia, July 4–6, 2016. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-40366-3/pbk; 978-3-319-40367-0/ebook). Lecture Notes in Computer Science 9723, 37-54 (2016).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Liu, Joseph K. K. (ed.) et al., Information security and privacy. 21st Australasian conference, ACISP 2016, Melbourne, VIC, Australia, July 4–6, 2016. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-40252-9/pbk; 978-3-319-40253-6/ebook). Lecture Notes in Computer Science 9722, 525-540 (2016).
MSC:  94A60 68M11
PDF BibTeX XML Cite
Full Text: DOI
Lin, Dongdai (ed.) et al., Information security and cryptology. 11th international conference, Inscrypt 2015, Beijing, China, November 1–3, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9589, 283-300 (2016).
MSC:  94A60 68M11
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, 147-163 (2016).
MSC:  68P25
PDF BibTeX XML Cite
Full Text: DOI
Pelc, Andrzej (ed.) et al., Stabilization, safety, and security of distributed systems. 17th international symposium, SSS 2015, Edmonton, AB, Canada, August 18–21, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9212, 109-123 (2015).
MSC:  68M25 68Q25
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). 280-288 (2015).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 89-105, electronic only (2015).
MSC:  68Q55 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-27435-5/pbk; 978-3-319-27436-2/ebook). Lecture Notes in Computer Science 9527, 107-123 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17821-9/pbk; 978-3-319-17822-6/ebook). Lecture Notes in Computer Science 8981, 148-163 (2015).
MSC:  68N30
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