1
Material Type:
Livro
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedings
Conference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen Garg
Berlin Springer 2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4337 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Algebraic methodology and software technology 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedings
Armando Martín Haeberer 1947-; International Conference on Algebraic Methodology and Software Technology (7th 1999 Amazonia, Brazil)
Berlin Springer New York c1999
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.1548 ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
International Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa) Teodor Rus
Berlin New york Springer c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1816 ) (Acessar)
This feature requires javascript
4
Material Type:
Livro
Learning software organizations methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings
International Conference on Software Engineering and Knowledge Engineering (11th 1999 Kaiserslautern, Germany) Günther Ruhe; Frank Bomarius
Berlin New York Springer 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1756 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Advances in learning software organizations third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings
LSO 2001 (2001 Kaiserslautern, Germany) Klaus-Dieter Althoff; Raimund L Feldmann 1961-; Wolfgang Müller 1961-
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2176 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Algebraic methodology and software technology 6th international conference, AMAST '97, Sydney, Australia, December 13-17, 1997 : proceedings
Michael Johnson; International Conference on Algebraic Methodology and Software Technology (6th 1997 Sydney, Australia)
Berlin Springer-Verlag New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68.02 LNCS v.1349 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Models in software engineering workshops and symposia at MoDELS 2006, Genoa, Italy October 1-6, 2006 : reports and revised selected papers
MoDELS 2006 (2006 Genoa, Italy) Thomas Kühne
Berlin Springer New York c2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4364 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Model driven architecture - foundations and applications third European conference, ECMDA-FA 2007, Haifa Israel, June 11-15, 2007 : proceedings
European Conference on Model Driven Architecture Foundations and Applications (3rd 2007 Haifa, Israel) David H Akehurst; Régis Vogel; Richard F Paige
Berlin Springer New York c2007
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4530 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino
Berlin Springer London 2008
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4916 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Software engineering--ESEC '93 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993 : proceedings
European Software Engineering Conference (4th 1993 Garmisch-Partenkirchen, Germany) Ian Sommerville; Manfred Paul 1932-
Berlin New York Springer-Verlag c1993
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.717 ) (Acessar)
This feature requires javascript