skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers

WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-

Berlin Springer New York c1999

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

2
Ensino da medicina veterinária em Portugal primeiras instalações
Material Type:
Livro 		Adicionar ao Meu Espaço

Ensino da medicina veterinária em Portugal primeiras instalações

J. B. Silva Fiadeiro Mário B Braz

Lisboa Universidade Técnica de Lisboa 1989

Localização: FMVZ - Fac. Med. Vet. e Zootecnia    (SF756.34 F438e )(Acessar)

3
Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques

WADT '98 José Luiz Fiadeiro; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Acesso online

4
On families of specifications over a II-institution modularity in formal stepwise development
On families of specifications over a II-institution modularity in formal stepwise development
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

On families of specifications over a II-institution modularity in formal stepwise development

Paulo A. S. Veloso Sheila Regina Murgel Veloso; Jose Luiz Fiadeiro

Rio de Janeiro PUC 1998

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

5
Formal Aspects of Component Software
Formal Aspects of Component Software
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue José Luiz Fiadeiro José Luiz Fiadeiro; Zhiming Liu; Jinyun Xue

Springer International Publishing 2014

Acesso online

6
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 ; revised selected papers

WADT 2006 (2006 La Roche-en-Ardenne, Belgium) José Luiz Fiadeiro 1961-; Pierre-Yves Schobbens 1961-

Berlin Springer 2007

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

7
Formal methods foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings
Formal methods foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings

Brazilian Symposium (20th 2017 Recife, Brazil) Simone Cavalheiro; José Fiadeiro; SBMF 2017

Cham, Switzerland Springer 2017

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

8
Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

CALCO 2005 (Swansea, Wales) Neil Harman; Markus Roggenbach; Jan Rutten; Jos e Luiz Fiadeiro 1961

Berlin Springer New York c2005

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

9
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papers

WADT 2004 (2004 Barcelona, Spain) Jos e Luiz Fiadeiro 1961; Peter Mosses; F Orejas (Fernando)

Berlin Springer New York c2005

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

10
Business process management 4th international conference, BPM 2006, Vienna, Austria, September 5-7 2006 : proceedings
Business process management 4th international conference, BPM 2006, Vienna, Austria, September 5-7 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Business process management 4th international conference, BPM 2006, Vienna, Austria, September 5-7 2006 : proceedings

BPM 2006 (2006 Vienna, Austria) Schahram Dustdar; Jos e Luiz Fiadeiro 1961; A Sheth (Amit) 1959

Berlin Springer New York c2006

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (64)
  2. Anais de Congresso  (39)
  3. Book Chapters  (39)
  4. Livros  (10)
  5. Reports  (1)
  6. Produções Técnicas  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (11)
  2. 1990Até1996  (11)
  3. 1997Até2002  (50)
  4. 2003Até2010  (37)
  5. Após 2010  (49)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (150)
  2. Francês  (3)
  3. Japonês  (3)
  4. Português  (1)
  5. Alemão  (1)
  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.