Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /

Código QR

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /

Hiển thị phiên bản (1) khác

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	Symposium on Mathematical Foundations of Computer Science (1972- ) Marianske Lazne, Czech Republic)
Outros autores:	Kolman, Petr., Pultr, Ales., Sgall, Jiri, 1965-
Formato:	Sách giấy
Publicado:	Berlin ; New York : Springer-Verlag, 2001.
Series:	Lecture notes in computer science ; 2136
Những chủ đề:	Computer science > Mathematics > Congresses.
Các nhãn:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Títulos similares

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Lázne, Czech Republic, August 2001 : proceedings /
Publicado: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Publicado: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Publicado: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Publicado: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Publicado: (2001)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Publicado: (2001)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Publicado: (2002)

European Women in Mathematics : proceedings of the tenth general meeting, Malta, 24-30 August 2001 /
Publicado: (2003)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Publicado: (2001)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Publicado: (2001)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Publicado: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Publicado: (2001)

STACS 2001 : 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings /
Publicado: (2001)

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Publicado: (2001)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Publicado: (2001)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Publicado: (2001)

Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings /
Publicado: (2001)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Publicado: (2001)

Mathematical logic for computer science.
por: Lu Zhungwan
Publicado: (1989)

Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
por: Cojocaru, M, et al.
Publicado: (2015)

Computer analysis of images and patterns : 9th international conference, CAIP 2001, Warsaw, Poland, September 5-7, 2001 : proceedings /
Publicado: (2001)

Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997 /
Publicado: (1997)

Mathematics of computation. Volume 70, Number 233, 2001
por: American Mathematical Society
Publicado: (2009)

Mathematics of computation. Volume 70, Number 236, 2001
por: American Mathematical Society
Publicado: (2009)

Mathematics of computation. Volume 70, Number 235, 2001
por: American Mathematical Society
Publicado: (2009)

Mathematics of computation. Volume 70, Number 234, 2001
por: American Mathematical Society
Publicado: (2009)

Mathematical models and methods for smart materials : Cortona, Italy, 25-29 June 2001 /
Publicado: (2002)

Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, Junly 1-4, 2001 : proceedings /
Publicado: (2001)

Foundations of science mathematics
por: Sivia, D.S.
Publicado: (2007)

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Publicado: (2001)

Space Technology and Applications International Forum--2001 : Albuquerque, New Mexico, 11-14 February 2001 /
Publicado: (2001)

History of mathematical sciences : Portugal and East Asia II : University of Macau, China, 10-12 October 1998 /
Publicado: (2004)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Publicado: (2001)

Foundations of Software Science and Computation Structures
por: Muscholl, Anca
Publicado: (2015)

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 2001, proceedings /
Publicado: (2001)

The Proceedings of the 12th International Congress on Mathematical Education: Intellectual and attitudinal challenges
por: Cho, Sung Je
Publicado: (2016)

Numerical Mathematics and Advanced Applications - ENUMATH 2013: Proceedings of ENUMATH 2013, the 10th European Conference on Numerical Mathematics and Advanced Applications, Lausanne, August 2013
por: Abdulle, A, et al.
Publicado: (2015)

Proceedings of the American Mathematical Society. Volume 129, Number 2, 2001
por: American Mathematical Society
Publicado: (2009)

Proceedings of the American Mathematical Society. Volume 129, Number 11, 2001
por: American Mathematical Society
Publicado: (2009)

Proceedings of the American Mathematical Society. Volume 129, Number 10, 2001
por: American Mathematical Society
Publicado: (2009)