×

zbMATH — the first resource for mathematics

Found 2,673 Documents (Results 1–100)

100
MathJax
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, 161-176 (2018).
MSC:  94A60 68P25 68M99
PDF BibTeX XML Cite
Full Text: DOI
Advances in Parallel Computing 32. Amsterdam: IOS Press (ISBN 978-1-61499-842-6/hbk; 978-1-61499-843-3/ebook). 852 p. (2018).
PDF BibTeX XML Cite
Full Text: Link
Artho, Cyrille (ed.) et al., Automated technology for verification and analysis. 14th international symposium, ATVA 2016, Chiba, Japan, October 17–20, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-46519-7/pbk; 978-3-319-46520-3/ebook). Lecture Notes in Computer Science 9938, 32-49 (2016).
MSC:  68M99 68Q87 90C40
PDF BibTeX XML Cite
Full Text: DOI
Ryan, Peter Y. A. (ed.) et al., The new codebreakers. Essays dedicated to David Kahn on the occasion of his 85th birthday. Berlin: Springer (ISBN 978-3-662-49300-7/pbk; 978-3-662-49301-4/ebook). Lecture Notes in Computer Science 9100, 439-454 (2016).
MSC:  94A60 68M99
PDF BibTeX XML Cite
Full Text: DOI
Das, Sajal K. (ed.) et al., Decision and game theory for security. 4th international conference, GameSec 2013, Fort Worth, TX, USA, November 11–12, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8252, 192-205 (2013).
MSC:  68M99 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Cai, Leizhen (ed.) et al., Algorithms and computation. 24th international symposium, ISAAC 2013, Hong Kong, China, December 16–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8283, 644-654 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 8252. Berlin: Springer (ISBN 978-3-319-02785-2/pbk). x, 265 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 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-36741-0/pbk). Lecture Notes in Computer Science 7795, 432-447 (2013).
MSC:  68M99 68Q60 90B70
PDF BibTeX XML Cite
Full Text: DOI
München: Oldenbourg Verlag (ISBN 978-3-486-70641-3/pbk; 978-3-486-71995-6/ebook). xxiv, 888 p. (2013).
PDF BibTeX XML Cite
Lecture Notes in Computer Science 7638. Berlin: Springer (ISBN 978-3-642-34265-3/pbk). xii, 309 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Chapman & Hall/CRC Computational Science Series. Boca Raton, FL: CRC Press (ISBN 978-1-4398-1273-0/hbk; 978-1-4398-1274-7/ebook). xii, 317 p. (2012).
PDF BibTeX XML Cite
Full Text: Link
Matyska, Ludek (ed.) et al., Sixth doctoral workshop on mathematical and engineering methods in computer science (MEMICS’10), October 22–4, 2010, Mikulov, Czech Republic. Selected papers. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-22-4). OASIcs – OpenAccess Series in Informatics 16, 116-123, electronic only (2011).
MSC:  68M99 90C10
PDF BibTeX XML Cite
Full Text: DOI
Zhang, Jun (ed.), Applied informatics and communication. International conference, ICAIC 2011, Xi’an, China, August 20–21, 2011, Proceedings, Part IV. Berlin: Springer (ISBN 978-3-642-23225-1/pbk; 978-3-642-23226-8/ebook). Communications in Computer and Information Science 227, 157-162 (2011).
MSC:  68M99
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 7037. Berlin: Springer (ISBN 978-3-642-25279-2/pbk). x, 259 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Burduk, Robert (ed.) et al., Computer recognition systems 4. Berlin: Springer (ISBN 978-3-642-20319-0/pbk; 978-3-642-20320-6/ebook). Advances in Intelligent and Soft Computing 95, 727-736 (2011).
MSC:  68M99 68T10
PDF BibTeX XML Cite
Full Text: DOI
München: Oldenbourg Verlag (ISBN 978-3-486-59190-3/pbk). xxiii, 724 p. (2011).
MSC:  68M99 68-01
PDF BibTeX XML Cite
Informatik aktuell. Berlin: Springer (ISBN 978-3-642-16188-9/pbk; 978-3-642-16189-6/ebook). viii, 140 p. (2011).
PDF BibTeX XML Cite
Milano, Michela (ed.) et al., Hybrid optimization. The ten years of CPAIOR. New York, NY: Springer (ISBN 978-1-4419-1643-3/hbk; 978-1-4419-1644-0/ebook). Springer Optimization and Its Applications 45, 509-558 (2011).
MSC:  68M99 90C10
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