×

zbMATH — the first resource for mathematics

Found 322 Documents (Results 1–100)

100
MathJax
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, 49-70 (2017).
MSC:  68N30 68Q55
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
Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9616, 149-168 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Data-Centric Systems and Applications. Berlin: Springer (ISBN 978-3-642-39313-6/hbk; 978-3-642-39314-3/ebook). xiv, 284 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 35-44 (2012).
MSC:  68Q60 93A30
PDF BibTeX XML Cite
Full Text: DOI
Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011).
PDF BibTeX XML Cite
Gelenbe, Erol (ed.) et al., Computer and information science. Proceedings of the 25th international symposium on computer and information sciences, London, UK, September 22–24, 2010. Dordrecht: Springer (ISBN 978-90-481-9793-4/hbk; 978-90-481-9794-1/ebook). Lecture Notes in Electrical Engineering 62, 187-190 (2010).
MSC:  68M10 68M20 68T05
PDF BibTeX XML Cite
Full Text: DOI
Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 239-257 (2009).
MSC:  68N30 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 103-118 (2009).
MSC:  68Q55 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Torsello, Andrea (ed.) et al., Graph-based representations in pattern recognition. 7th IAPR-TC-15 international workshop, GbRPR 2009, Venice, Italy, May 26–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02123-7/pbk). Lecture Notes in Computer Science 5534, 164-173 (2009).
MSC:  68R10 05C62 68T10
PDF BibTeX XML Cite
Full Text: DOI
Bruza, Peter (ed.) et al., Quantum interaction. Third international symposium, QI 2009, Saarbrücken, Germany, March 25–27, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00833-7/pbk). Lecture Notes in Computer Science 5494. Lecture Notes in Artificial Intelligence, 237-250 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 3-19 (2008).
MSC:  68Q42 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Badica, Costin (ed.) et al., Intelligent distributed computing, systems and applications. Proceedings of the 2nd international symposium on intelligent distributed computing – IDC 2008, Catania, Italy, 2008. Berlin: Springer (ISBN 978-3-540-85256-8/hbk). Studies in Computational Intelligence 162, 275-280 (2008).
MSC:  68T05 68M10
PDF BibTeX XML Cite
Full Text: DOI
Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 238-252 (2008).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI
Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 232-237 (2008).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI
Shi, Zhongzhi (ed.) et al., Intelligent information processing IV. 5th IFIP international conference on intelligent information processing, October 19–22, 2008, Beijing, China. New York, NY: Springer (ISBN 978-0-387-87684-9/hbk). IFIP, International Federation for Information Processing 288, 7-16 (2008).
MSC:  68T05 68T27
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 398-409 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Thrun, Sebastian (ed.) et al., Robotics research. Results of the 12th international symposium ISRR (2005), October 12–15, 2005, San Francisco, CA, USA. Berlin: Springer (ISBN 978-3-540-48110-2/hbk). Springer Tracts in Advanced Robotics 28, 453-472 (2007).
MSC:  68U10 68T45 68T40
PDF BibTeX XML Cite
Full Text: DOI
Garay, Juan A. (ed.) et al., Information security. 10th international conference, ISC 2007, Valparaíso, Chile, October 9–12, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75495-4/pbk). Lecture Notes in Computer Science 4779, 333-350 (2007).
MSC:  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
Biographic Reference
all top 3
Software