×

zbMATH — the first resource for mathematics

Found 68 Documents (Results 1–68)

100
MathJax
Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 135-145 (2011).
MSC:  68Q25 68P05
PDF BibTeX XML Cite
Full Text: DOI
Wu, Weili (ed.) et al., Combinatorial optimization and applications. 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18–20, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-17460-5/pbk). Lecture Notes in Computer Science 6509, 16-30 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 286-300 (2010).
MSC:  68R10 68Q25 68W05
PDF BibTeX XML Cite
Full Text: DOI
van Leeuwen, Jan (ed.) et al., SOFSEM 2010: Theory and practice of computer science. 36th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 23–29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11265-2/pbk). Lecture Notes in Computer Science 5901, 224-234 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 129-140 (2009).
MSC:  68P05 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 5th international conference, TAMC 2008, Xi’an, China, April 25–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79227-7/pbk). Lecture Notes in Computer Science 4978, 306-317 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Geffert, Viliam (ed.) et al., SOFSEM 2008: Theory and practice of computer science. 34th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 19–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77565-2/pbk). Lecture Notes in Computer Science 4910, 174-185 (2008).
MSC:  68P05 68Q17
PDF BibTeX XML Cite
Full Text: DOI
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 166-183 (2002).
MSC:  68Q60 05C85 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV ’98), Indianapolis, IN, USA, June 19–20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS ’98). Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 22, Electronic paper No. 11, (1998).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: Link
Brim, Luboš (ed.) et al., Mathematical foundations of computer science 1998. 23rd international symposium, MFCS ’98. Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1450, 636-644 (1998).
Reviewer: U.Schöning (Ulm)
MSC:  68Q25 94C10
PDF BibTeX XML Cite
Berlin: Springer. xiii, 283 p. (1998).
PDF BibTeX XML Cite
Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 408-417 (1997).
MSC:  68Q05
PDF BibTeX XML Cite
Jiang, Tao (ed.) et al., Computing and combinatorics. 3rd annual international conference, COCOON ’97. Shanghai, China. August 20–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1276, 91-100 (1997).
Reviewer: H.Salum (Tallinn)
MSC:  94C10 06E30 68N17 68U07
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification
all top 3
Software