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 /

Diğer sürümleri göster (1)

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	Symposium on Mathematical Foundations of Computer Science (1972- ) Marianske Lazne, Czech Republic)
Diğer Yazarlar:	Kolman, Petr., Pultr, Ales., Sgall, Jiri, 1965-
Materyal Türü:	Sách giấy
Baskı/Yayın Bilgisi:	Berlin ; New York : Springer-Verlag, 2001.
Seri Bilgileri:	Lecture notes in computer science ; 2136
Konular:	Computer science > Mathematics > Congresses.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

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

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

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

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Baskı/Yayın Bilgisi: (2002)

European Women in Mathematics : proceedings of the tenth general meeting, Malta, 24-30 August 2001 /
Baskı/Yayın Bilgisi: (2003)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

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

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

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

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

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Mathematical logic for computer science.
Yazar:: Lu Zhungwan
Baskı/Yayın Bilgisi: (1989)

Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
Yazar:: Cojocaru, M, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

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

Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997 /
Baskı/Yayın Bilgisi: (1997)

Mathematics of computation. Volume 70, Number 233, 2001
Yazar:: American Mathematical Society
Baskı/Yayın Bilgisi: (2009)

Mathematics of computation. Volume 70, Number 236, 2001
Yazar:: American Mathematical Society
Baskı/Yayın Bilgisi: (2009)

Mathematics of computation. Volume 70, Number 235, 2001
Yazar:: American Mathematical Society
Baskı/Yayın Bilgisi: (2009)

Mathematics of computation. Volume 70, Number 234, 2001
Yazar:: American Mathematical Society
Baskı/Yayın Bilgisi: (2009)

Mathematical models and methods for smart materials : Cortona, Italy, 25-29 June 2001 /
Baskı/Yayın Bilgisi: (2002)

Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, Junly 1-4, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Foundations of science mathematics
Yazar:: Sivia, D.S.
Baskı/Yayın Bilgisi: (2007)

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

Space Technology and Applications International Forum--2001 : Albuquerque, New Mexico, 11-14 February 2001 /
Baskı/Yayın Bilgisi: (2001)

History of mathematical sciences : Portugal and East Asia II : University of Macau, China, 10-12 October 1998 /
Baskı/Yayın Bilgisi: (2004)

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

Foundations of Software Science and Computation Structures
Yazar:: Muscholl, Anca
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2001)

The Proceedings of the 12th International Congress on Mathematical Education: Intellectual and attitudinal challenges
Yazar:: Cho, Sung Je
Baskı/Yayın Bilgisi: (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
Yazar:: Abdulle, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Proceedings of the American Mathematical Society. Volume 129, Number 2, 2001
Yazar:: American Mathematical Society
Baskı/Yayın Bilgisi: (2009)

Proceedings of the American Mathematical Society. Volume 129, Number 11, 2001
Yazar:: American Mathematical Society
Baskı/Yayın Bilgisi: (2009)

Proceedings of the American Mathematical Society. Volume 129, Number 10, 2001
Yazar:: American Mathematical Society
Baskı/Yayın Bilgisi: (2009)