×

zbMATH — the first resource for mathematics

Found 43 Documents (Results 1–43)

100
MathJax
Communications in Computer and Information Science 444. Cham: Springer (ISBN 978-3-319-08851-8/pbk; 978-3-319-08852-5/ebook). xvii, 569 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 442. Cham: Springer (ISBN 978-3-319-08794-8/pbk; 978-3-319-08795-5/ebook). xxxviii, 603 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Communications in Computer and Information Science 443. Cham: Springer (ISBN 978-3-319-08854-9/pbk; 978-3-319-08855-6/ebook). xviii, 631 p. (2014).
MSC:  68-06 68Txx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Ablayev, Farid (ed.) et al., Computer science – theory and applications. 5th international computer science symposium in Russia, CSR 2010, Kazan, Russia, June 16–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13181-3). Lecture Notes in Computer Science 6072, 169-180 (2010).
MSC:  03B42 68T27 68T30
PDF BibTeX XML Cite
Full Text: DOI
Jędrzejowicz, Joanna (ed.) et al., Mathematical foundations of computer science 2005. 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28702-7/pbk). Lecture Notes in Computer Science 3618, 471-482 (2005).
MSC:  03B42 03B25 68T27
PDF BibTeX XML Cite
Full Text: DOI
Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 207-225 (2005).
PDF BibTeX XML Cite
Schmidt, Renate (ed.) et al., Advances in modal logic. Vol. 5. Selected papers from the 5th conference (AiML 2004), Manchester, UK, September 9–11, 2004. London: King’s College Publications (ISBN 1-904987-22-2/pbk). 73-92 (2005).
MSC:  03B45 03B42 68T27
PDF BibTeX XML Cite
Coello Coello, Carlos A. (ed.) et al., MICAI 2002: Advances in artificial intelligence. 2nd Mexican international conference, Mérida, Yucatán, Mexico, April 22–26, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43475-5). Lect. Notes Comput. Sci. 2313, 204-213 (2002).
PDF BibTeX XML Cite
Full Text: Link
Agrawal, Manindra (ed.) et al., FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12-14, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2556, 194-205 (2002).
MSC:  03B42 68T30 68T27
PDF BibTeX XML Cite
Full Text: Link
Bouquet, Paolo (ed.) et al., Modeling and using context. 2nd international and interdisciplinary conference, CONTEXT ’99, Trento, Italy, September 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1688, 351-360 (1999).
PDF BibTeX XML Cite
Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 283-300 (1998).
MSC:  03B42 68T30
PDF BibTeX XML Cite
Oxford: Clarendon Press. xvi, 611 p. (1995).
PDF BibTeX XML Cite
Artificial intelligence and mathematical theory of computation, Pap. in Honor of J. McCarthy, 231-246 (1991).
MSC:  68T15 68T30 68N17
PDF BibTeX XML Cite

Filter Results by …

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