skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engenharia De Programas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

B 2007 formal specification and development in B : 7th International Conference of B Users, Besan con, France, January 17-19, 2007 : proceedings

International B Conference (7th 2007 Besan con, France) Jacques Julliand; Olga Kouchnarenko

OhioLINK electronic book center (OCoLC)180989150 ; SpringerLink (OCoLC)43927870

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

2
B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

International B Conference (2nd 1998 Montpellier, France) Didier Bert

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1393 ) e outros locais(Acessar)

3
ECOOP 2004 - object-oriented programming 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedings
ECOOP 2004 - object-oriented programming 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ECOOP 2004 - object-oriented programming 18th European conference, Oslo, Norway, June 14-18, 2004 : proceedings

ECOOP 2004 (2004 Oslo, Norway) Martin Odersky

Berlin Springer New York c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 LNCS v.3086 ) e outros locais(Acessar)

4
ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings
ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ECOOP 2005 -- object-oriented programming 19th European conference, Glasgow, UK, July 25-29, 2005 : proceedings

ECOOP 2005 (19th 2005 Glasgow, Scotland) Andrew P Black

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

5
Advances in learning software organizations 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 proceedings
Advances in learning software organizations 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in learning software organizations 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 proceedings

LSO 2004 (6th 2004 Banff, Canada ) Grigori Melnik; Harald Holz Dr

Berlin Springer c2004

Acesso online. A biblioteca também possui exemplares impressos.

6
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings

International Conference on Formal Engineering Methods (7th 2005 Manchester, England) K.-K Lau (Kung-Kiu) 1953; Richard Banach

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

7
Recent advances in constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004 : Lausanne, Switzerland, June 23-25 2004 : revised, selected and invited papers
Recent advances in constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004 : Lausanne, Switzerland, June 23-25 2004 : revised, selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent advances in constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004 : Lausanne, Switzerland, June 23-25 2004 : revised, selected and invited papers

International Workshop on Constraint Solving and Constraint Logic Programming (2004 Lausanne, Switzerland) Adrian Petcu; François Fages; Francesca Rossi; Boi Faltings; European Research Consortium for Informatics and Mathematics; European Network on on Computational Logic

Berlin Springer Great Britain c2005

Acesso online. A biblioteca também possui exemplares impressos.

8
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006 Macao, China, November 1-3, 2006 : proceedings

International Conference on Formal Engineering Methods (8th 2006 Macau, China) Zhiming Liu 1961; Jifeng He 1943

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

9
Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 proceedings
Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 proceedings

International Conference on Integrated Formal Methods (4th 2004 Canterbury, England) Eerke Boiten 1966; John Derrick 1963; Graeme Smith 1966

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

10
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings

International Conference on Integrated Formal Methods (6th 2007 Oxford, UK) Jim Davies; Jeremy Gibbons

Berlin Springer 2007

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4591 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (28)

Data de Publicação 

De até
Refinar
  1. Antes de1998  (1)
  2. 1998Até2001  (1)
  3. 2002Até2003  (1)
  4. 2004Até2005  (29)
  5. Após 2005  (24)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.