×

zbMATH — the first resource for mathematics

Found 251 Documents (Results 1–100)

100
MathJax
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 865-889 (2020).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI
Pinelas, Sandra (ed.) et al., Differential and difference equations with applications. Selected papers based on the presentations at the fourth international conference, ICDDEA 2019, Lisbon, Portugal, July 1–5, 2019. Cham: Springer. Springer Proc. Math. Stat. 333, 281-297 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 3-21 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Gudivada, Venkat N. (ed.) et al., Computational analysis and understanding of natural languages: principles, methods and applications. Amsterdam: Elsevier/North Holland (ISBN 978-0-444-64042-0/hbk; 978-0-444-64043-7/ebook). Handbook of Statistics 38, 229-316 (2018).
MSC:  68T50 68T05
PDF BibTeX XML Cite
Full Text: DOI
Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 4th international conference, NAO-IV, Muscat, Oman, January 2–5, 2017. Cham: Springer. Springer Proc. Math. Stat. 235, 99-118 (2018).
MSC:  90C30
PDF BibTeX XML Cite
Full Text: DOI
Češka, Milan (ed.) et al., Computational methods in systems biology. 16th international conference, CMSB 2018, Brno, Czech Republic, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99428-4/pbk; 978-3-319-99429-1/ebook). Lecture Notes in Computer Science 11095. Lecture Notes in Bioinformatics, 220-237 (2018).
MSC:  92C40 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 53, No. 6, 847-856 (2017); translation from Kibern. Sist. Anal. 2017, No. 6, 33-43 (2017).
MSC:  94A05
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 40, No. 2, 89-95 (2016); translation from Vestn. Mosk. Univ., Ser. XV 2016, No. 2, 38-44 (2016).
MSC:  68T10 68T50
PDF BibTeX XML Cite
Full Text: DOI
Springer Optimization and Its Applications 81. New York, NY: Springer (ISBN 978-1-4614-6796-0/hbk; 978-1-4614-6797-7/ebook). xxii, 340 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
de Groote, Philippe (ed.) et al., Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32023-1/pbk). Lecture Notes in Computer Science 7395, 97-113 (2012).
MSC:  68T50 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Silva, Jorge Nuno (ed.), Proceedings of the recreational mathematics colloquium II, University of Évora, Portugal, April 27–30, 2011. Lisboa: Associação Ludus (ISBN 978-989-97346-2-3/pbk). 95-100 (2012).
MSC:  00A66 97M80
PDF BibTeX XML Cite
Horimoto, Katsuhisa (ed.) et al., Algebraic and numeric biology. 4th international conference, ANB 2010, Hagenberg, Austria, July 31–August 2, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28066-5/pbk). Lecture Notes in Computer Science 6479, 136-148 (2012).
MSC:  92D40 92-08
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Speech Technology. New York, NY: Springer (ISBN 978-1-4614-1158-1/hbk; 978-1-4614-1159-8/ebook). x, 61 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Electrical and Computer Engineering. Speech Technology. New York, NY: Springer (ISBN 978-1-4614-1337-0/hbk; 978-1-4614-1338-7/ebook). xii, 130 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 123-144 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Fujita, Hamido (ed.), New trends in software methodologies, tools and techniques. Proceedings of the 9th international conference on software methodologies, tools and techniques SoMeT_10, Yokohama, Japan, September 29–October 1, 2010. Amsterdam: IOS Press (ISBN 978-1-60750-628-7/hbk; 978-1-60750-629-4/ebook). Frontiers in Artificial Intelligence and Applications 217, 112-133 (2010).
MSC:  68P01 68N30 68U35
PDF BibTeX XML Cite
Full Text: DOI
Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 180-192 (2010).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI
Ranchordas, A. (ed.) et al., Computer vision, imaging and computer graphics: Theory and applications. International joint conference, VISIGRAPP 2009, Lisboa, Portugal, February 5–8, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11839-5/pbk; 978-3-642-11840-1/ebook). Communications in Computer and Information Science 68, 146-157 (2010).
MSC:  68U10 68U99
PDF BibTeX XML Cite
Full Text: DOI
Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 142-161 (2010).
MSC:  68Q60 68M14 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 71-86 (2009).
MSC:  68Q55 68Q05 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Faber, Wolfgang (ed.) et al., Workshop proceedings. ICLP 2009 workshop on answer set programming and other computing paradigms (ASPOCP 2009), Pasadena, CA, USA, July 14, 2009. [s.l.], [s.n.]. 1-15 (2009).
MSC:  68N17 68T20
PDF BibTeX XML Cite
Full Text: Link
Seising, Rudolf (ed.), Views on fuzzy sets and systems from different perspectives. Philosophy and logic, criticisms and applications. Berlin: Springer (ISBN 978-3-540-93801-9/hbk; 978-3-540-93802-6/ebook). Studies in Fuzziness and Soft Computing 243, 175-205 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Wiesbaden: Vieweg+Teubner (ISBN 978-3-8348-0391-7/pbk). xii, 361 p. (2009).
MSC:  68N99 68-01
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, 255-279 (2007).
MSC:  68N15 68N19 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Berichte aus der Informatik. Aachen: Shaker Verlag; Berlin: TU Berlin, Fakultät IV, Elektrotechnik/Informatik (Diss.) (ISBN 978-3-8322-6579-3/pbk). viii, 210 p. (2007).
PDF BibTeX XML Cite
Full Text: Link
Cambridge: Cambridge University Press (ISBN 978-0-521-88068-8/hbk; 978-0-511-33239-5/ebook). xxi, 1235 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