skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FME 2002: Formal methods - getting IT right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ; proceedings
FME 2002: Formal methods - getting IT right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2002: Formal methods - getting IT right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 ; proceedings

Lars-Henrik Eriksson d; Peter Alexander Lindsay

Berlin Springer 2002

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

2
Integrated formal methods 5th international conference, IFM 2005, Eindhoven, the Netherlands November 29--December 2, 2005 : proceedings
Integrated formal methods 5th international conference, IFM 2005, Eindhoven, the Netherlands November 29--December 2, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods 5th international conference, IFM 2005, Eindhoven, the Netherlands November 29--December 2, 2005 : proceedings

International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands) Judi Romijn; Graeme Smith 1966; Jaco van de Pol; SpringerLink (Online service)

Berlin Springer c2005

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

3
Informal proceedings [of the] Brazilian Symposium on Formal Methods [held in] Serra Azul Hotel - Gramado, Brazil, 19th to 21st of August, 2009
Informal proceedings [of the] Brazilian Symposium on Formal Methods [held in] Serra Azul Hotel - Gramado, Brazil, 19th to 21st of August, 2009
Material Type:
Livro 		Adicionar ao Meu Espaço

Informal proceedings [of the] Brazilian Symposium on Formal Methods [held in] Serra Azul Hotel - Gramado, Brazil, 19th to 21st of August, 2009

Brazilian Symposium on Formal Methods (Gramado, Rio Grande do Sul, Brazil 19th-21st of August 2009)

Gramado Ufrgs 2009

Localização: IME - Inst. Matemática e Estatística    (QA752.C B827p 2009 )(Acessar)

4
Proceedings [of the] SBMF'2008 Brazilian Symposium on Formal Methods [held in] Salvador, BA, Brasil, August 26-29, 2008
Proceedings [of the] SBMF'2008 Brazilian Symposium on Formal Methods [held in] Salvador, BA, Brasil, August 26-29, 2008
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings [of the] SBMF'2008 Brazilian Symposium on Formal Methods [held in] Salvador, BA, Brasil, August 26-29, 2008

Brazilian Symposium on Formal Methods (2008 Salvador, BA, BR) Patrícia Machado; Aline Maria Santos Andrade; Adolfo Duran; Sociedade Brasileira de Computação

Salvador UFBA 2008

Localização: IME - Inst. Matemática e Estatística    (QA752.C B827p 2008 )(Acessar)

5
Dynamics of macrosystems proceedings of a Workshop on the Dynamics of Macrosystems held at the International Institute for Applied Systems Analysis (IIASA), Laxenburg, Austria, September 3-7, 1984
Dynamics of macrosystems proceedings of a Workshop on the Dynamics of Macrosystems held at the International Institute for Applied Systems Analysis (IIASA), Laxenburg, Austria, September 3-7, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

Dynamics of macrosystems proceedings of a Workshop on the Dynamics of Macrosystems held at the International Institute for Applied Systems Analysis (IIASA), Laxenburg, Austria, September 3-7, 1984

Workshop on the Dynamics of Macrosystems (1984 : International Institute for Applied Systems Analysis) Jean Pierre Aubin; D Saari (Donald); Karl Sigmund 1945-; International Institute for Applied Systems Analysis

Berlin Springer-Verlag New York c1985

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (B4.16.9 )(Acessar)

6
Fme'96 industrial benefit and advances in formal methods : proceedings [of the] third international symposium on formal methods europe co-sponsored by ifip wg 14.3, held in oxford, uk, march 18-22, 1996
Fme'96 industrial benefit and advances in formal methods : proceedings [of the] third international symposium on formal methods europe co-sponsored by ifip wg 14.3, held in oxford, uk, march 18-22, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Fme'96 industrial benefit and advances in formal methods : proceedings [of the] third international symposium on formal methods europe co-sponsored by ifip wg 14.3, held in oxford, uk, march 18-22, 1996

International Symposium on Formal Methods Europe (3. 1996 Oxford, Uk) Marie-Clklaude Gaudel; James C P Woodcock

Berlin Springer 1996

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

7
Algebraic methodology and software technology proceedings [of the] 5th international conference, amast'96, held in Munich, Germany, july 1-5, 1996
Algebraic methodology and software technology proceedings [of the] 5th international conference, amast'96, held in Munich, Germany, july 1-5, 1996
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology proceedings [of the] 5th international conference, amast'96, held in Munich, Germany, july 1-5, 1996

International Conference on Algebraic Methodologyand Software Technology (5. 1996 Munich, De) Martin Wirsing; M Nivat

Berlin Springer 1996

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

8
Logics for concurrency structure versus automata : proceedings
Logics for concurrency structure versus automata : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics for concurrency structure versus automata : proceedings

Workshop on Logics for Concurrency Structure Versus Automata (1994 : Banff, Ca) Faron Moller; G M Birtwistle

Berlin Springer 1996

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

9
Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings
Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic methodology and software technology 4th international conference, amast'95, Montreal, Canada, july 3-7, 1995, proceedings

International Conference on Algebraic Methodologyand Software Technology (4. 1995 Montreal, Ca) Vangalur S Alagar; M Nivat

[ed] Goos, G., Hartmanis, J., Leeuwen, J. Van Berlin, Springer-Verlag, c1985- Lecture notes in computer science

Berlin Springer 1995

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

10
Zum 95 the z formal specification notation : 9th international conference of z users, limerick, ireland, september 7-9, 1995, proceedings
Zum 95 the z formal specification notation : 9th international conference of z users, limerick, ireland, september 7-9, 1995, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Zum 95 the z formal specification notation : 9th international conference of z users, limerick, ireland, september 7-9, 1995, proceedings

International Conference of Z Users (9. 1995 Limerick, Ie) Jonathan P Bowen; Michael G Hinchey

Berlin Springer 1995

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (17)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (76)
  2. Software  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (3)
  2. 1990Até1994  (3)
  3. 1995Até1997  (9)
  4. 1998Até2004  (20)
  5. Após 2004  (42)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (75)
  2. Francês  (2)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.