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 /

Mã QR

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 /

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

Đã lưu trong:

Chi tiết về thư mục
Nhiều tác giả của công ty:	FOSSACS 2001 Genoa, Italy), ETAPS 2001
Tác giả khác:	Honsell, Furio., Miculan, Marino.
Định dạng:	Sách giấy
Được phát hành:	Berlin ; New York : Springer, c2001.
Loạt:	Lecture notes in computer science, 2030
Những chủ đề:	Computer software > Congresses. System analysis > Congresses.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

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 /
Được phát hành: (2001)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Được phát hành: (2001)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành: (2001)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Được phát hành: (2002)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /
Được phát hành: (2001)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Được phát hành: (2001)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Được phát hành: (2001)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Được phát hành: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Được phát hành: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Được phát hành: (2001)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Được phát hành: (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 /
Được phát hành: (2001)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Được phát hành: (2001)

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Được phát hành: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Được phát hành: (2001)

Tools for working with guidelines : annual meeting of the special interest group /
Được phát hành: (2000)

Fast algorithms for structured matrices : theory and applications : AMS-IMS-SIAM Joint Summer Research Conference on Fast Algorithms in Mathematics, Computer Science, and Engineering, August 5-9, 2001, Mount Holyoke College, South Hadley, Massachusetts /
Được phát hành: (2003)

Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997 /
Được phát hành: (1997)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, México, May 21-25, 2001 /
Được phát hành: (2002)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, Mexico, May 21-25, 2001 /
Được phát hành: (2002)

Finite fields with applications to coding theory, cryptography, and related areas : proceedings of the Sixth International Conference on Finite Fields and Applications, held at Oaxaca, Mexico, May 21-25, 2001 /
Được phát hành: (2002)

Computer analysis of images and patterns : 9th international conference, CAIP 2001, Warsaw, Poland, September 5-7, 2001 : proceedings /
Được phát hành: (2001)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Được phát hành: (2001)

Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings /
Được phát hành: (2001)

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Được phát hành: (2001)

Recent advances in statistical methods : proceedings of Statistics 2001 Canada, the 4th Conference in Applied Statistics : Montreal, Canada, 6-8 July 2001 /
Được phát hành: (2002)

Recent advances in statistical methods : proceedings of Statistics 2001 Canada, the 4th Conference in Applied Statistics : Montreal, Canada, 6-8 July 2001 /
Được phát hành: (2002)

The physics of communication : proceedings of the XXII Solvay Conference on Physics : Delphi Lamia, Greece, 24-29 November 2001 /
Được phát hành: (2003)

Integer programming and combinatorial optimization : 8th International IPCO Conference, Utrecht, the Netherlands, June 13-15, 2001 : proceedings /
Được phát hành: (2001)

Technologies for E-Services : second international workshop, TES 2001, Rome, Italy, September 14-15, 2001 : proceedings /
Được phát hành: (2001)

GDH 2002 : proceedings of the Second International Symposium on the Gerasimov-Drell-Hearn Sum Rule and the Spin Structure of the Nucleon : Genova, Italy, 3-6 July, 2002 /
Được phát hành: (2003)

European Women in Mathematics : proceedings of the tenth general meeting, Malta, 24-30 August 2001 /
Được phát hành: (2003)

Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, Junly 1-4, 2001 : proceedings /
Được phát hành: (2001)

Perspectives in heavy ion physics : 4th Italy-Japan Symposium, RIKEN & University of Tokyo, Japan, 26-29 September 2001 /
Được phát hành: (2002)

Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks /
Được phát hành: (2001)

Function spaces : proceedings of the sixth conference : Wroclaw, Poland : 3-8 September 2001 /
Được phát hành: (2003)

Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings /
Được phát hành: (2000)

Advances in statistics, combinatorics and related areas : selected papers from the SCRA2001-FIM VIII, Wollo[n]gong conference, University of Wollongong, Australia, 19-21 December 2001 /
Được phát hành: (2002)

Proceedings 2000 /
Được phát hành: (2000)

High performance scientific and engineering computing : proceedings of the 3rd International FORTWIHR Conference on HPSEC, Erlangen, March 12-14, 2001 /
Được phát hành: (2001)