×

zbMATH — the first resource for mathematics

Found 253 Documents (Results 1–100)

100
MathJax
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 45-50 (2019).
MSC:  68N17 68T27
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, 633-645 (2018).
MSC:  94A62
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 53, No. 5, 684-691 (2017); translation from Kibern. Sist. Anal. 2017, No. 5, 34-42 (2017).
MSC:  68T30 68M11 68T35
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 767. Cham: Springer (ISBN 978-3-319-67161-1/pbk; 978-3-319-67162-8/ebook). xvi, 434 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 107-121 (2016).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 610. Cham: Springer (ISBN 978-3-319-40595-7/pbk; 978-3-319-40596-4/ebook). xxxiv, 738 p. (2016).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 611. Cham: Springer (ISBN 978-3-319-40580-3/pbk; 978-3-319-40581-0/ebook). xxiv, 836 p. (2016).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
De Vos, Marina (ed.) et al., Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 – September 4, 2015. Aachen: RWTH Aachen. CEUR Workshop Proc. 1433, 13 p. (2015).
MSC:  68T30 68N17 68T27
PDF BibTeX XML Cite
Full Text: Link
Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 271-286 (2015).
MSC:  68T30 68R10 68T05
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014).
MSC:  68-06 68Txx 00B25
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
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, 1-13, electronic only (2012).
MSC:  68N17 68T30 68U35
PDF BibTeX XML Cite
Full Text: DOI
Berlin: Springer; Beijing: Higher Education Press (ISBN 978-3-642-25455-0/hbk; 978-3-642-25456-7/ebook). xv, 202 p. (2012).
MSC:  68-02 68T37 68T30
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 108. Berlin: Springer (ISBN 978-3-642-16551-1/pbk; 978-3-642-16552-8/ebook). viii, 364 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Grigoriu, Mircea (ed.) et al., European computing conference. Proceedings of the 4th European computing conference (ECC’10), Bucarest, Romania, April 20–22, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-183-0/CD-ROM; 978-960-474-178-6/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks., 207-211 (2010).
MSC:  68T30 68T05
PDF BibTeX XML Cite
IFIP Advances in Information and Communication Technology 340. Berlin: Springer (ISBN 978-3-642-16326-5/hbk; 978-3-642-16327-2/ebook). x, 354 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
Guillet, F. (ed.) et al., Advances in knowledge discovery and management. Selected papers based on the presentations at the “Extraction et gestion des connaissances” conference 2009 (EGC), Strasbourg, France, January 2009. Berlin: Springer (ISBN 978-3-642-00579-4/hbk). Studies in Computational Intelligence 292, 287-306 (2010).
MSC:  68M11 68T05
PDF BibTeX XML Cite
Full Text: DOI
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, 329-332 (2010).
MSC:  68M11
PDF BibTeX XML Cite
Full Text: DOI
Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 523-525 (2010).
MSC:  68M11 68T05
PDF BibTeX XML Cite
Full Text: DOI
Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 105-110 (2010).
MSC:  68T42 68W05 68M11
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