×

zbMATH — the first resource for mathematics

Found 210 Documents (Results 1–100)

100
MathJax
Chapman & Hall/CRC Mathematical and Computational Biology Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-7598-4/hbk; 978-1-4987-7599-1/ebook). xxi, 552 p. (2018).
PDF BibTeX XML Cite
Full Text: Link
Boca Raton, FL: CRC Press (ISBN 978-1-4987-8510-5/hbk; 978-1-4987-8511-2/ebook). xvii, 223 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Handschuh, Helena (ed.), Topics in cryptology – CT-RSA 2017. The cryptographers’ track at the RSA conference 2017, San Francisco, CA, USA, February 14–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52152-7/pbk; 978-3-319-52153-4/ebook). Lecture Notes in Computer Science 10159, 149-164 (2017).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Camlibel, M. Kanat (ed.) et al., Mathematical control theory I. Nonlinear and hybrid control systems. Cham: Springer (ISBN 978-3-319-20987-6/pbk; 978-3-319-20988-3/ebook). Lecture Notes in Control and Information Sciences 461, 95-110 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the third international conference, Sibiu, Romania, October 10–12, 2013. Sibiu: “Lucian Blaga” University Press. 127-135 (2014).
MSC:  68Q60 03B44 68T42
PDF BibTeX XML Cite
Bulling, Nils (ed.) et al., Computational logic in multi-agent systems. 15th international workshop, CLIMA XV, Prague, Czech Republic, August 18–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8624, 70-86 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Black, Elizabeth (ed.) et al., Theory and applications of formal argumentation. Second international workshop, TAFA 2013, Beijing, China, August 3–5, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-54372-2/pbk). Lecture Notes in Computer Science 8306. Lecture Notes in Artificial Intelligence, 95-110 (2014).
MSC:  68T27 68N30 68T42
PDF BibTeX XML Cite
Full Text: DOI
De Raedt, Luc (ed.) et al., ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27–31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track. Amsterdam: IOS Press (ISBN 978-1-61499-097-0/pbk; 978-1-61499-098-7/ebook). Frontiers in Artificial Intelligence and Applications 242, 522-527 (2012).
PDF BibTeX XML Cite
Full Text: Link
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 257-265 (2012).
PDF BibTeX XML Cite
Full Text: DOI
München: Fachbuchverlag Leipzig im Carl Hanser Verlag (ISBN 978-3-446-42776-1/hbk; 978-3-446-43469-1/ebook). 650 p. (2012).
PDF BibTeX XML Cite
München: Oldenbourg Verlag (ISBN 978-3-486-70221-7/pbk). xii, 268 p. (2011).
PDF BibTeX XML Cite
Cambridge: Cambridge University Press (ISBN 978-0-521-14654-8/pbk; 978-0-511-85561-0/ebook). xxii, 216 p. (2011).
PDF BibTeX XML Cite
Full Text: Link
Natural Computing Series. Berlin: Springer (ISBN 978-3-642-17347-9/hbk; 978-3-642-17348-6/ebook). xviii, 462 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Kallel, Ali (ed.) et al., Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS ’10), Kantaoui, Sousse, Tunia, May 3–6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-191-5/CD-ROM; 978-960-474-188-5/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks, 61-66 (2010).
MSC:  68T35 68T37 68T42
PDF BibTeX XML Cite
Liu, Sifeng (ed.) et al., Advances in grey systems research. Selected papers of the 2009 IEEE international conference on grey systems and intelligent services (IEEE GSIS 2009), Nanjing, China, November 10–12, 2009. Berlin: Springer (ISBN 978-3-642-13937-6/hbk; 978-3-642-13938-3/ebook). Understanding Complex Systems, 481-492 (2010).
MSC:  93A10 90B70
PDF BibTeX XML Cite
Dastani, Mehdi (ed.) et al., Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer (ISBN 978-1-4419-6983-5/hbk; 978-1-4419-6984-2/ebook). 317-352 (2010).
MSC:  68T42 68N99 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Dastani, Mehdi (ed.) et al., Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer (ISBN 978-1-4419-6983-5/hbk; 978-1-4419-6984-2/ebook). 255-287 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Dastani, Mehdi (ed.) et al., Specification and verification of multi-agent systems. Foreword by Wiebe van der Hoek. Dordrecht: Springer (ISBN 978-1-4419-6983-5/hbk; 978-1-4419-6984-2/ebook). 161-194 (2010).
MSC:  68T42 68N99
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, 366-375 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Essaaidi, Mohammad (ed.) et al., Intelligent distributed computing IV. Proceedings of the 4th international symposium on intelligent distributed computing – IDC 2010, Tangier, Morocco, September 2010. Berlin: Springer (ISBN 978-3-642-15210-8/hbk; 978-3-642-15211-5/ebook). Studies in Computational Intelligence 315, 305-313 (2010).
MSC:  68N99 68T42 68M10
PDF BibTeX XML Cite
Full Text: DOI
Sgurev, Vassil (ed.) et al., Intelligent systems: From theory to practice. Selected papers based on the presentations at the 4th IEEE conference intelligent systems (IS 2008), methodology, models and applications in emergent technologies, Varna, Bulgaria, September 6–8, 2008. Berlin: Springer (ISBN 978-3-642-13427-2/hbk; 978-3-642-13428-9/ebook). Studies in Computational Intelligence 299, 519-535 (2010).
MSC:  68T42 68N99 97U50
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, 61-64 (2010).
MSC:  68T42 68N99
PDF BibTeX XML Cite
Full Text: DOI
IFIP Advances in Information and Communication Technology 331. Berlin: Springer (ISBN 978-3-642-15285-6/hbk; 978-3-642-15286-3/ebook). xv, 251 p. (2010).
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). 301-306 (2010).
MSC:  68N99 68T42
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). 111-116 (2010).
MSC:  68T35 68T42
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). 45-50 (2010).
MSC:  68T35 68T42
PDF BibTeX XML Cite
Full Text: DOI
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
Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 188-195 (2009).
MSC:  68N99 68T42
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 45, No. 4, 638-654 (2009); translation from Kibern. Sist. Anal. 2009, No. 4, 151-168 (2009).
MSC:  68T35 68N99
PDF BibTeX XML Cite
Full Text: DOI
Todorov, Michail D. (ed.), Applications of mathematics in engineering and economics ’34. Proceedings of the 34th international conference (AMEE ’08), Sozopol, Bulgaria, 8–14 June 2008. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0598-1/hbk). AIP Conference Proceedings 1067, 527-540 (2008).
MSC:  68T42 68W15 68N15
PDF BibTeX XML Cite
Full Text: DOI
Autexier, Serge (ed.) et al., Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28–August 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85109-7/pbk). Lecture Notes in Computer Science 5144. Lecture Notes in Artificial Intelligence, 141-154 (2008).
MSC:  68W30 68N18
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Business Information Processing 11. Berlin: Springer (ISBN 978-3-540-69823-4/pbk). x, 413. (2008).
PDF BibTeX XML Cite
Puebla, Germán (ed.), Logic-based program synthesis and transformation. 16th international symposium, LOPSTR 2006, Venice, Italy, July 12–14, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-71409-5/pbk). Lecture Notes in Computer Science 4407, 26-42 (2007).
MSC:  68N17 68N30 68T42
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

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