×

zbMATH — the first resource for mathematics

Found 97 Documents (Results 1–97)

100
MathJax
Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 281-295 (2018).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 518-534 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Robeva, Raina S. (ed.), Algebraic and discrete mathematical methods for modern biology. Amsterdam: Elsevier (ISBN 978-0-12-801213-0/hbk). 93-119 (2015).
MSC:  92C42 94C10 92C40
PDF BibTeX XML Cite
Full Text: DOI
Dehne, Frank (ed.) et al., Algorithms and data structures. 14th international symposium, WADS 2015, Victoria, BC, Canada, August 5–7, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21839-7/pbk; 978-3-319-21840-3/ebook). Lecture Notes in Computer Science 9214, 554-565 (2015).
MSC:  68T20 68P05
PDF BibTeX XML Cite
Full Text: DOI
Ors, Berna (ed.) et al., Cryptography and information security in the Balkans. First international conference, BalkanCryptSec 2014, Istanbul, Turkey, October 16–17, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-21355-2/pbk; 978-3-319-21356-9/ebook). Lecture Notes in Computer Science 9024, 40-54 (2015).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 9th international workshop, WALCOM 2015, Dhaka, Bangladesh, February 26–28, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8973, 317-322 (2015).
MSC:  68P05
PDF BibTeX XML Cite
Full Text: DOI
Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 9th international workshop, WALCOM 2015, Dhaka, Bangladesh, February 26–28, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8973, 161-174 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 202-216 (2012).
MSC:  68N30 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Crama, Yves (ed.) et al., Boolean models and methods in mathematics, computer science, and engineering. Cambridge: Cambridge University Press (ISBN 978-0-521-84752-0/hbk). Encyclopedia of Mathematics and its Applications 134, 473-505 (2010).
PDF BibTeX XML Cite
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. I. Eger: Eszterházy Károly College. 73-79 (2009).
MSC:  03B35 03B10 68T15
PDF BibTeX XML Cite
Upper Saddle River, NJ: Addison-Wesley (ISBN 978-0-3216-3713-0/pbk/set; 978-0-321-53496-5/Fasc. 0; 978-0-321-58050-4/Fasc. 1; 978-0-201-85393-3/Fasc. 2; 978-0-201-85394-0/Fasc. 3; 978-0-321-33570-8/Fasc. 4). Fasc. 0, xii, 216 p.; Fasc. 1, viii, 260 p.; Fasc. 2, v, 129 p.; Fasc. 3, iv, 150 p.; Fasc. 4, vi, 120 p. (2009).
PDF BibTeX XML Cite
Sarbazi-Azad, Hamid (ed.) et al., Advances in computer science and engineering. 13th international CSI computer conference, CSICC 2008, Kish Island, Iran, March 9–11, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89984-6/pbk; 978-3-540-89985-3/ebook). Communications in Computer and Information Science 6, 714-717 (2008).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Bacchus, Fahiem (ed.) et al., Theory and applications of satisfiability testing. 8th international conference, SAT 2005, St Andrews, UK, June 19–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26276-8/pbk). Lecture Notes in Computer Science 3569, 16-30 (2005).
MSC:  68T20 68T15
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 66, No. 2, 313-327 (2005); translation from Avtom. Telemekh. 2005, No. 2, 158-174 (2005).
MSC:  94C15 94C12
PDF BibTeX XML Cite
Full Text: DOI
Giunchiglia, Enrico (ed.) et al., Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5–8, 2003. Selected revised papers. Berlin: Springer (ISBN 3-540-20851-8/pbk). Lect. Notes Comput. Sci. 2919, 398-410 (2004).
MSC:  68T20
PDF BibTeX XML Cite
Full Text: DOI
Ibaraki, Toshihide (ed.) et al., Algorithms and computation. 14th international symposium, ISAAC 2003, Kyoto, Japan, December 15–17, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20695-7/pbk). Lect. Notes Comput. Sci. 2906, 554-564 (2003).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the fourteenth annual ACM-SIAM symposium on discrete algorithms, Baltimore, MD, USA, January 12–14, 2003. New York, NY: Association for Computing Machinery; Philadelphia, PA: Society for Industrial and Applied Mathematics (ISBN 0-89871-538-5/pbk). 573-582 (2003).
MSC:  68W05 68R10
PDF BibTeX XML Cite
Grégoire, Jean-Charles (ed.) et al., The SPIN verification system. The 2nd workshop, proceedings of a DIMACS workshop. Rutgers Univ., New Brunswick, NJ, USA; August 5, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 32, 185-203 (1997).
MSC:  68Q60
PDF BibTeX XML Cite
Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 346-365 (1996).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 93-112 (1996).
MSC:  68Q85 68M07 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Migliolo, P. (ed.) et al., Theorem proving with analytic tableaux and related methods. 5th international workshop, TABLEAUX ’96, Terrasini, Palermo, Italy, May 15–17, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1071, 1-15 (1996).
MSC:  03B35 03B15 68T15
PDF BibTeX XML Cite
Full Text: DOI

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