×

zbMATH — the first resource for mathematics

Found 129 Documents (Results 1–100)

100
MathJax
Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 435-450 (2013).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Mastorakis, N. (ed.) et al., Latest trends on computers. 2 Volumes. Papers based on the presentations at the 14th WSEAS international conference on computers (Part of the 14th WSEAS CSCC multiconference), Corfu Island, Greece, July 23–25, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-206-6/CD-ROM; 978-960-474-201-1). 411-414 (2010).
MSC:  68W10
PDF BibTeX XML Cite
Wu, Weili (ed.) et al., Combinatorial optimization and applications. 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18–20, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-17457-5/pbk). Lecture Notes in Computer Science 6508, 142-156 (2010).
MSC:  90C27 90B35 90C57
PDF BibTeX XML Cite
Full Text: DOI
Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 135-148 (2008).
MSC:  68Q85 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Palma, José M. Laginha M. (ed.) et al., High performance computing for computational science – VECPAR 2008. 8th international conference, Toulouse, France, June 24–27, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-92858-4/pbk). Lecture Notes in Computer Science 5336, 228-239 (2008).
MSC:  65F30 65Y05 65Y15
PDF BibTeX XML Cite
Full Text: DOI
Bubak, Marian (ed.) et al., Computational science – ICCS 2004. 4th international conference, Kraków, Poland, June 6–9, 2004. Proceedings, Part III. Berlin: Springer (ISBN 3-540-22116-6/pbk). Lecture Notes in Computer Science 3038, 322-330 (2004).
MSC:  68Q85 68Q60 68W10
PDF BibTeX XML Cite
Full Text: DOI
Program. Comput. Softw. 28, No. 1, 28-40 (2002); translation from Programmirovanie 2002, No. 11, 38-54 (2002).
MSC:  68N19 68M14
PDF BibTeX XML Cite
Full Text: DOI
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 877-882 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68N17 68Q05 68T99 68Q10
PDF BibTeX XML Cite
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 36-41 (1991).
Reviewer: N.Curteanu (Iaşi)
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