×

zbMATH — the first resource for mathematics

Found 304 Documents (Results 1–100)

100
MathJax
Bennis, Fouad (ed.) et al., Nature-inspired methods for metaheuristics optimization. Algorithms and applications in science and engineering. Cham: Springer. Model. Optim. Sci. Technol. 16, 245-263 (2020).
MSC:  90C59
PDF BibTeX XML Cite
Full Text: DOI
Advances in Intelligent Systems and Computing 629. Cham: Springer (ISBN 978-3-319-61910-1/pbk; 978-3-319-61911-8/ebook). xvi, 228 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Kadry, Seifedine (ed.) et al., Numerical methods for reliability and safety assessment. Multiscale and multiphysics systems. Cham: Springer (ISBN 978-3-319-07166-4/hbk; 978-3-319-07167-1/ebook). 117-146 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 45th annual ACM symposium on theory of computing, STOC ’13. Palo Alto, CA, USA, June 1–4, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2029-0). 241-250 (2013).
MSC:  94A60 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 59-72 (2012).
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, 393-403, electronic only (2012).
MSC:  68N17 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
Kallrath, Josef (ed.), Algebraic modeling systems. Modeling and solving real world optimization problems. Berlin: Springer (ISBN 978-3-642-23591-7/hbk; 978-3-642-23592-4/ebook). Applied Optimization 104, 11-32 (2012).
MSC:  68T30 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Computer Science. Berlin: Springer (ISBN 978-3-642-29824-0/pbk; 978-3-642-29825-7/ebook). ix, 106 p. (2012).
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., 148-153 (2010).
MSC:  68N30
PDF BibTeX XML Cite
Džeroski, Sašo (ed.) et al., Inductive databases and constraint-based data mining. New York, NY: Springer (ISBN 978-1-4419-7737-3/hbk; 978-1-4419-7738-0/ebook). 27-58 (2010).
MSC:  68P15 68T30 68T05
PDF BibTeX XML Cite
Full Text: DOI
Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part II. Berlin: Springer (ISBN 978-3-642-14057-0/pbk; 978-3-642-14058-7/ebook). Communications in Computer and Information Science 81, 612-621 (2010).
MSC:  68T35 68T20
PDF BibTeX XML Cite
Full Text: DOI
IFIP Advances in Information and Communication Technology 339. Berlin: Springer (ISBN 978-3-642-16238-1/hbk; 978-3-642-16239-8/ebook). xvi, 404 p. (2010).
PDF BibTeX XML Cite
Full Text: DOI
IFIP Advances in Information and Communication Technology 322. Berlin: Springer (ISBN 978-3-642-14340-3/hbk; 978-3-642-14341-0/ebook). xiv, 310 p. (2010).
MSC:  68M10 68-06 68U99 68T35 68U20 68M11 00B25
PDF BibTeX XML Cite
Full Text: DOI
Frontiers in Artificial Intelligence and Applications 209. Amsterdam: IOS Press (ISBN 978-1-60750-534-1/hbk; 978-1-60750-535-8/ebook). xi, 431 p. (2010).
PDF BibTeX XML Cite
Frontiers in Artificial Intelligence and Applications 206. Amsterdam: IOS Press (ISBN 978-1-60750-089-6/hbk). xi, 441 p. (2010).
PDF BibTeX XML Cite
Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 150-164 (2010).
MSC:  03B70 68N30 68T30
PDF BibTeX XML Cite
Full Text: DOI
Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 267-282 (2010).
MSC:  68N30 68T30
PDF BibTeX XML Cite
Full Text: DOI
Kwuida, Léonard (ed.) et al., Formal concept analysis. 8th international conference, ICFCA 2010, Agadir, Morocco, March 15–18, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11927-9/pbk). Lecture Notes in Computer Science 5986. Lecture Notes in Artificial Intelligence, 241-254 (2010).
MSC:  68N30 68T30
PDF BibTeX XML Cite
Full Text: DOI
Canal, Carlos (ed.) et al., Proceedings of the 7th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2008), Reykjavik, Iceland, July 13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 2, 115-131 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Herrero, Álvaro (ed.) et al., Computational intelligence in security for information systems. CISIS’09, 2nd international workshop, Burgos, Spain, September 23–26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04090-0/pbk; 978-3-642-04091-7/ebook). Advances in Intelligent and Soft Computing 63, 203-210 (2009).
MSC:  68T35
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 47. Berlin: Springer (ISBN 978-3-642-05200-2/pbk; 978-3-642-05201-9/ebook). xii, 231 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science V. Special issue on cognitive knowledge representation. Berlin: Springer (ISBN 978-3-642-02096-4/pbk). Lecture Notes in Computer Science 5540. Journal Subline, 1-19 (2009).
MSC:  68T30 68T35
PDF BibTeX XML Cite
Full Text: DOI
Frontiers in Artificial Intelligence and Applications 190. Amsterdam: IOS Press (ISBN 978-1-58603-957-8/hbk). xi, 449 p. (2009).
PDF BibTeX XML Cite
Full Text: Link
Sahni, S. (ed.), Advances in computer science and technology. Proceedings of the 4th IASTED international conference (ACST 2008), Langkawi, Malaysia, April 2–4, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-730-7/CD-ROM). 85-90 (2008).
MSC:  68N99
PDF BibTeX XML Cite
Eschenbach, Carola (ed.) et al., Formal ontology in information systems. Proceedings of the fifth international conference (FOIS 2008), Saarbrücken, Germany, October 31 – November 3, 2008. Amsterdam: IOP Press (ISBN 978-1-58603-923-3/hbk). Frontiers in Artificial Intelligence and Applications 183, 92-105 (2008).
MSC:  68T35 68T05 68T30
PDF BibTeX XML Cite
Eschenbach, Carola (ed.) et al., Formal ontology in information systems. Proceedings of the fifth international conference (FOIS 2008), Saarbrücken, Germany, October 31 – November 3, 2008. Amsterdam: IOP Press (ISBN 978-1-58603-923-3/hbk). Frontiers in Artificial Intelligence and Applications 183, 3-18 (2008).
MSC:  68U35 68T35
PDF BibTeX XML Cite
Filipe, Joaquim (ed.) et al., Software and data technologies. Second international conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22–25, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-88654-9/pbk). Communications in Computer and Information Science 22, 371-383 (2008).
MSC:  68N01 68T05
PDF BibTeX XML Cite
Full Text: DOI
Cotta, Carlos C. (ed.) et al., Knowledge-driven computing. Knowledge engineering and intelligent computations. Berlin: Springer (ISBN 978-3-540-77474-7/hbk). Studies in Computational Intelligence 102, 183-198 (2008).
MSC:  68T35 68T30
PDF BibTeX XML Cite
Jones, Cliff B. (ed.) et al., Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. Berlin: Springer (ISBN 978-3-540-75220-2/pbk). Lecture Notes in Computer Science 4700, 188-216 (2007).
MSC:  68T30 68Q60 90B99
PDF BibTeX XML Cite
Full Text: DOI
Frontiers in Artificial Intelligence and Applications 154. Amsterdam: IOS Press (ISBN 978-1-58603-710-9/hbk). x, 321 p. (2007).
PDF BibTeX XML Cite
Los Angeles, CA: Automaton (ISBN 978-1-59973-005-9/pbk). 351 p. (2007).
PDF BibTeX XML Cite
Full Text: arXiv
Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 74-85 (2006).
MSC:  68W30 68N30 68T30
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