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

Código QR (código de barras bidimensional)

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

Mostrar outras versões (1)

Na minha lista:

Detalhes 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 em:	Berlin ; New York : Springer-Verlag, 2001.
coleção:	Lecture notes in computer science ; 2136
Assuntos:	Computer science > Mathematics > Congresses.
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

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

Registros relacionados

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Mariánské Lázne, Czech Republic, August 2001 : proceedings /
Publicado em: (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 em: (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 em: (2001)

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

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

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

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

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

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

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

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

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

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

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

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

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Publicado em: (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 em: (2001)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Foundations of Software Science and Computation Structures
por: Muscholl, Anca
Publicado em: (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 em: (2001)

The Proceedings of the 12th International Congress on Mathematical Education: Intellectual and attitudinal challenges
por: Cho, Sung Je
Publicado em: (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 em: (2015)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Publicado em: (2001)

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

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

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_nv6spf1sqciec06rb8ubmt2plt
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235