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 /

Codi 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 /

Veure altres versions (1)

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	FOSSACS 2001 Genoa, Italy), ETAPS 2001
Altres autors:	Honsell, Furio., Miculan, Marino.
Format:	Sách giấy
Publicat:	Berlin ; New York : Springer, c2001.
Col·lecció:	Lecture notes in computer science, 2030
Matèries:	Computer software > Congresses. System analysis > Congresses.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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 /
Publicat: (2001)

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

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Publicat: (2001)

Foundations of Software Science and Computation Structures
per: Muscholl, Anca
Publicat: (2015)

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

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

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

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Publicat: (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 /
Publicat: (2001)

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

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

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

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

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

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

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

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
per: Rout, Terry, et al.
Publicat: (2015)

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

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 /
Publicat: (2003)

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 /
Publicat: (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 /
Publicat: (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 /
Publicat: (2002)

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

Tools for working with guidelines : annual meeting of the special interest group /
Publicat: (2000)

Fundamental Approaches to Software Engineering
per: Gnesi, Stefania, et al.
Publicat: (2015)

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

Integer programming and combinatorial optimization : 8th International IPCO Conference, Utrecht, the Netherlands, June 13-15, 2001 : proceedings /
Publicat: (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 /
Publicat: (2001)

Technologies for E-Services : second international workshop, TES 2001, Rome, Italy, September 14-15, 2001 : proceedings /
Publicat: (2001)

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

Software Engineering Research, Management and Applications
per: Lee, Roger
Publicat: (2015)

The physics of communication : proceedings of the XXII Solvay Conference on Physics : Delphi Lamia, Greece, 24-29 November 2001 /
Publicat: (2003)

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 /
Publicat: (2003)

Recent advances in statistical methods : proceedings of Statistics 2001 Canada, the 4th Conference in Applied Statistics : Montreal, Canada, 6-8 July 2001 /
Publicat: (2002)

Recent advances in statistical methods : proceedings of Statistics 2001 Canada, the 4th Conference in Applied Statistics : Montreal, Canada, 6-8 July 2001 /
Publicat: (2002)

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

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
per: Italiano, G.F, et al.
Publicat: (2015)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
per: Bernardo, Marco, et al.
Publicat: (2015)

Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings /
Publicat: (2000)

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