×

zbMATH — the first resource for mathematics

Found 58 Documents (Results 1–58)

100
MathJax
Cicalese, Ferdinando (ed.) et al., Combinatorial pattern matching. 26th annual symposium, CPM 2015, Ischia Island, Italy, June 29 – July 1, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9133, 272-283 (2015).
MSC:  68W25 92D15
PDF BibTeX XML Cite
Full Text: DOI
Boucksom, Sébastien (ed.) et al., An introduction to the Kähler-Ricci flow. Selected papers based on the presentations at several meetings of the ANR project MACK. Cham: Springer (ISBN 978-3-319-00818-9/pbk; 978-3-319-00819-6/ebook). Lecture Notes in Mathematics 2086, 189-237 (2013).
MSC:  53C44 53C55 32Q15
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Mathematics 2086. Cham: Springer (ISBN 978-3-319-00818-9/pbk; 978-3-319-00819-6/ebook). viii, 333 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Balan, Vladimir (ed.), Proceedings of the 5th conference of the Balkan Society of Geometers, Mangalia, Romania, August 29–September 2, 2005. Bucharest: Geometry Balkan Press (ISBN 973-8381-14-2). 173-182 (2006).
MSC:  53B40 53B30
PDF BibTeX XML Cite
Cagnol, John (ed.) et al., Control and boundary analysis. Selected papers based on the presentation at the 21st conference on system modeling and optimization, Sophia Antipolis, France, July 21–25, 2003. Boca Raton, FL: Chapman & Hall/CRC (ISBN 1-57444-594-4/pbk). Lect. Notes Pure Appl. Math. 240, 169-187 (2005).
MSC:  49J40 74P10 49J52
PDF BibTeX XML Cite
Bauderon, Michel (ed.) et al., GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 51, 222-232 (2002).
MSC:  68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 132-143 (2002).
PDF BibTeX XML Cite
Full Text: Link
Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 16-27 (2001).
MSC:  68Q42 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 519-534 (2000).
MSC:  94A62 68Q85 68Q60
PDF BibTeX XML Cite
Maragos, Petros (ed.) et al., Mathematical morphology and its applications to image and signal processing. 3rd international symposium, Atlanta, GA, USA, May 11–13, 1996. Dordrecht: Kluwer Academic Publishers. Comput. Imaging Vis. 5, 227-234 (1996).
MSC:  68U10
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software