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

QR-kod

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

Visa andra versioner (1)

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	Symposium on Mathematical Foundations of Computer Science (1972- ) Marianske Lazne, Czech Republic)
Övriga upphovsmän:	Kolman, Petr., Pultr, Ales., Sgall, Jiri, 1965-
Materialtyp:	Sách giấy
Publicerad:	Berlin ; New York : Springer-Verlag, 2001.
Serie:	Lecture notes in computer science ; 2136
Ämnen:	Computer science > Mathematics > Congresses.
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

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

Liknande verk

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mathematical logic for computer science.
av: Lu Zhungwan
Publicerad: (1989)

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

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

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

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

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

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

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

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

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

Foundations of science mathematics
av: Sivia, D.S.
Publicerad: (2007)

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

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

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

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

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

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

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

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

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