×

zbMATH — the first resource for mathematics

Found 256 Documents (Results 1–100)

100
MathJax
Feldvoss, Jörg (ed.) et al., Advances in algebra. Proceedings of the southern regional algebra conference, SRAC 2017, Mobile, AL, USA, March 17–19, 2017. Cham: Springer (ISBN 978-3-030-11520-3/hbk; 978-3-030-11521-0/ebook). Springer Proceedings in Mathematics & Statistics 277, 239-253 (2019).
MSC:  20-04 20C20 20C34 20C40
PDF BibTeX XML Cite
Full Text: DOI
Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 291-312 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Hibi, Takayuki (ed.), The 50th anniversary of Gröbner bases. Proceedings of the 8th Mathematical Society of Japan-Seasonal Institute (MSJ-SI 2015), Osaka, Japan, July 1–10, 2015. Tokyo: Mathematical Society of Japan (MSJ). Adv. Stud. Pure Math. 77, 1-24 (2018).
PDF BibTeX XML Cite
Duquesne, Sylvain (ed.) et al., Arithmetic of finite fields. 6th international workshop, WAIFI 2016, Ghent, Belgium, July 13–15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10064, 177-192 (2016).
MSC:  94A60 68M07
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, 97-112 (2013).
MSC:  68Q85 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Faber, Carel (ed.) et al., Geometry and arithmetic. Based on the conference, Island of Schiermonnikoog, Netherlands, September 2010. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-119-4/hbk). EMS Series of Congress Reports, 91-112 (2012).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 202-216 (2012).
MSC:  68N30 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Fischlin, Marc (ed.) et al., Public key cryptography – PKC 2012. 15th international conference on practice and theory in public key cryptography, Darmstadt, Germany, May 21–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30056-1/pbk). Lecture Notes in Computer Science 7293, 372-389 (2012).
MSC:  94A60 11Y11
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 52-66 (2011).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 256-259 (2010).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Koronacki, Jacek (ed.) et al., Advances in machine learning II. Dedicated to the memory of Professor Ryszard S. Michalski. Berlin: Springer (ISBN 978-3-642-05178-4/hbk; 978-3-642-05179-1/ebook). Studies in Computational Intelligence 263, 485-513 (2010).
MSC:  68T05 68N99
PDF BibTeX XML Cite
Full Text: DOI
Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 49-66 (2009).
MSC:  68Q55 68N30
PDF BibTeX XML Cite
Full Text: DOI
Avanzi, Roberto Maria (ed.) et al., Selected areas in cryptography. 15th international workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14–15. Revised selected papers. Berlin: Springer (ISBN 978-3-642-04158-7/pbk). Lecture Notes in Computer Science 5381, 387-400 (2009).
MSC:  94A60 94-04
PDF BibTeX XML Cite
Full Text: DOI
Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2009. 6th international colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03465-7/pbk). Lecture Notes in Computer Science 5684, 277-291 (2009).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI
von zur Gathen, Joachim (ed.) et al., Arithmetic of finite fields. 2nd international workshop, WAIFI 2008, Siena, Italy, July 6–9, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69498-4/pbk). Lecture Notes in Computer Science 5130, 62-76 (2008).
MSC:  12-04 11T71 12Y05 68W30 94A60
PDF BibTeX XML Cite
Full Text: DOI
Dahl, Verónica (ed.) et al., Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74608-9/pbk). Lecture Notes in Computer Science 4670, 271-285 (2007).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Galbraith, Steven D. (ed.), Cryptography and coding. 11th IMA international conference, Cirencester, UK, December 18–20, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-77271-2/pbk). Lecture Notes in Computer Science 4887, 185-203 (2007).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
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). 218-231 (2006).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Autexier, Serge (ed.) et al., Workshop on trustworthy software. Selected papers based on the presentations at the workshop, May 18–19, 2006, Saarbrücken, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-02-6). OASIcs – OpenAccess Series in Informatics 3, 14 p., electronic only (2006).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Program. Comput. Softw. 31, No. 2, 87-90 (2005); translation from Programmirovanie 2005, No. 2, 51-55 (2005).
MSC:  17B56 17-04 17B50
PDF BibTeX XML Cite
Full Text: DOI
Roy, Bimal (ed.) et al., Fast software encryption. 11th international workshop, FSE 2004, Delhi, India, February 5–7, 2004. Revised papers. Berlin: Springer (ISBN 3-540-22171-9/pbk). Lecture Notes in Computer Science 3017, 49-64 (2004).
MSC:  68P25 68N99
PDF BibTeX XML Cite
Full Text: DOI
Walter, Colin D. (ed.) et al., Cryptographic hardware and embedded systems – CHES 2003. 5th international workshop, Cologne, Germany, September 8–10, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40833-9/pbk). Lect. Notes Comput. Sci. 2779, 243-253 (2003).
MSC:  11Y16 11T71 94A60
PDF BibTeX XML Cite
Full Text: DOI
Walter, Colin D. (ed.) et al., Cryptographic hardware and embedded systems – CHES 2003. 5th international workshop, Cologne, Germany, September 8–10, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40833-9/pbk). Lect. Notes Comput. Sci. 2779, 214-227 (2003).
MSC:  11Y16 11T71 94A60
PDF BibTeX XML Cite
Full Text: DOI
Kaliski, Burton S. jun. (ed.) et al., Cryptographic hardware and embedded systems - CHES 2002. 4th international workshop, Redwood Shores, CA, USA, August 13-15, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2523, 71-81 (2002).
PDF BibTeX XML Cite
Full Text: Link
Kantor, William M. (ed.) et al., Groups and computation III. Proceedings of the international conference at the Ohio State University, Columbus, OH, USA, June 15-19, 1999. Berlin: Walter de Gruyter. Ohio State Univ. Math. Res. Inst. Publ. 8, 291-300 (2001).
MSC:  20C20 20-04 20C40 68W30 68W40
PDF BibTeX XML Cite
Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 6-19 (2000).
PDF BibTeX XML Cite
Matzat, B. Heinrich (ed.) et al., Algorithmic algebra and number theory. Selected papers from a conference, Heidelberg, Germany, October 1997. Berlin: Springer. 381-397 (1999).
MSC:  20C40 20C15 20C20 20C34 20-04
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