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
B’98: Recent Advances in the Development and Use of the B Method
B’98: Recent Advances in the Development and Use of the B Method
Material Type:
Livro 		Adicionar ao Meu Espaço

B’98: Recent Advances in the Development and Use of the B Method

International B Conference Didier Bert

Springer Berlin Heidelberg 1998

Acesso online

2
B'98 recent advances in the development and use of the B method
B'98 recent advances in the development and use of the B method
Material Type:
Livro 		Adicionar ao Meu Espaço

B'98 recent advances in the development and use of the B method

International B Conference, B'98, 2 1998 Montpellier Didier Bert

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c1998

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1393 )(Acessar)

3
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)

4
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.

5
ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ZB 2002 formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

International Conference of B and Z Users (2nd 2002 Grenoble, France) Didier Bert

Berlin Springer London c2002

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

6
ZB 2000 formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings
ZB 2000 formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ZB 2000 formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings

International Conference of B and Z Users (1st 2000 York, England) J. P Bowen 1956- (Jonathan Peter)

Berlin New York Springer c2000

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

7
ZB 2003: Formal Specification and Development in Z and B
ZB 2003: Formal Specification and Development in Z and B
Material Type:
Livro 		Adicionar ao Meu Espaço

ZB 2003: Formal Specification and Development in Z and B

International Conference of B and Z Users Didier Bert; Jonathan P Bowen; Steve King; Marina Waldén

Springer Berlin Heidelberg 2003

Acesso online

8
ZB 2000: Formal Specification and Development in Z and B
ZB 2000: Formal Specification and Development in Z and B
Material Type:
Livro 		Adicionar ao Meu Espaço

ZB 2000: Formal Specification and Development in Z and B

International Conference of B and Z Users Jonathan Peter Bowen; Steve Dunne; Andy Galloway; Steve King

Springer Berlin Heidelberg 2000

Acesso online

9
ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 proceedings
ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ZB 2005 formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 proceedings

International Conference of B and Z Users (4th 2005 Guildford, England) Steve King; Martin Henson; Steve Schneider; Helen Treharne; LINK (Online service)

Berlin Springer London 2005

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

10
An analysis of the V-band light curve of the Be star ω CMa with the viscous decretion disk model
An analysis of the V-band light curve of the Be star ω CMa with the viscous decretion disk model
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An analysis of the V-band light curve of the Be star ω CMa with the viscous decretion disk model

M. R Ghoreyshi Alex Cavaliéri Carciofi; International Conference on Studies of the B[e] Phenomenon 2016 Prague, Czech Republic 3rd

The B[e] phenomenon: forty years of studies: proceedings of a conference held at charles University, Prague, Czech Republic, 27 June-1 July 2016 São Francisco: Astronomical Society of the Pacific, 2017

San Francisco Astronomical Society of the Pacific 2017

Item não circula. Consulte sua biblioteca.(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  (1.482)
  2. Livros  (856)
  3. Anais de Congresso  (55)
  4. Recursos Textuais  (12)
  5. Audiovisuais  (7)
  6. Book Chapters  (6)
  7. Outros  (2)
  8. Produções Técnicas  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1969  (19)
  2. 1969Até1981  (113)
  3. 1982Até1994  (421)
  4. 1995Até2008  (1.203)
  5. Após 2008  (902)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.292)
  2. Português  (103)
  3. Alemão  (17)
  4. Japonês  (12)
  5. Francês  (6)
  6. Espanhol  (6)
  7. Indeterminado  (6)
  8. Italiano  (2)
  9. Polonês  (1)
  10. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Carvalho, C
  2. Amato, M
  3. Borges, B
  4. Saldiva, P
  5. Barbas, C

Neste Assunto:

  1. Congresses
  2. Computer Science
  3. Kongress
  4. Computers
  5. Mathematics

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

Buscando em bases de dados remotas. Favor aguardar.