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

QR Code

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

Afficher d'autres versions (1)

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	Symposium on Mathematical Foundations of Computer Science (1972- ) Marianske Lazne, Czech Republic)
Autres auteurs:	Kolman, Petr., Pultr, Ales., Sgall, Jiri, 1965-
Format:	Sách giấy
Publié:	Berlin ; New York : Springer-Verlag, 2001.
Collection:	Lecture notes in computer science ; 2136
Sujets:	Computer science > Mathematics > Congresses.
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

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

Documents similaires

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mathematical logic for computer science.
par: Lu Zhungwan
Publié: (1989)

Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
par: Cojocaru, M, et autres
Publié: (2015)

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

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

Mathematics of computation. Volume 70, Number 233, 2001
par: American Mathematical Society
Publié: (2009)

Mathematics of computation. Volume 70, Number 236, 2001
par: American Mathematical Society
Publié: (2009)

Mathematics of computation. Volume 70, Number 235, 2001
par: American Mathematical Society
Publié: (2009)

Mathematics of computation. Volume 70, Number 234, 2001
par: American Mathematical Society
Publié: (2009)

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

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

Foundations of science mathematics
par: Sivia, D.S.
Publié: (2007)

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

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

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

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

Foundations of Software Science and Computation Structures
par: Muscholl, Anca
Publié: (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 /
Publié: (2001)

The Proceedings of the 12th International Congress on Mathematical Education: Intellectual and attitudinal challenges
par: Cho, Sung Je
Publié: (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
par: Abdulle, A, et autres
Publié: (2015)

Proceedings of the American Mathematical Society. Volume 129, Number 2, 2001
par: American Mathematical Society
Publié: (2009)

Proceedings of the American Mathematical Society. Volume 129, Number 11, 2001
par: American Mathematical Society
Publié: (2009)

Proceedings of the American Mathematical Society. Volume 129, Number 10, 2001
par: American Mathematical Society
Publié: (2009)