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

2
Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]
Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]

Dines Bjørner; Cliff B Jones; Zhiming Liu; Jim Woodcock; Festschrift Symposium (2007.09.24-25 : Macao); International Colloquium on Theoretical Aspects of Computing, ICTAC (4 : 2007.09. : Macao)

Berlin u.a. Springer 2007

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

3
Verification of object-oriented software the KeY approach
Verification of object-oriented software the KeY approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification of object-oriented software the KeY approach

Bernhard Beckert; Reiner H ahnle; P. H Schmitt (Peter H.) 1948

Berlin Springer New York c2007

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

4
Formal approaches to agent-based systems Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
Formal approaches to agent-based systems Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal approaches to agent-based systems Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers

FAABS 2004 (2004 Greenbelt, Md.) Michael G Hinchey (Michael Gerard) 1969; James L Rash; Walter F Truszkowski; Christopher A Rouff

Berlin Springer New York c2005

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

5
Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy June 14-16, 2006 : proceedings
Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy June 14-16, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for open object-based distributed systems 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy June 14-16, 2006 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (8th 2006 Bologna, Italy) Roberto Gorrieri; Heike Wehrheim

Berlin Springer New York 2006

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

6
Verification, model checking, and abstract interpretation 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
Verification, model checking, and abstract interpretation 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification, model checking, and abstract interpretation 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings

VMCAI 2008 (2008 San Francisco, Calif.) Francesco Logozzo; Doron Peled 1962; Lenore D Zuck 1958

Berlin Springer New York c2008

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

7
Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings

VMCAI 2010 (2010 : Madrid, Spain) Gilles Barthe 1967-; Manuel Hermenegildo

Berlin Springer New York c2010

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.24 V849v 11. )(Acessar)

8
Principles and practice of Semantic Web reasoning third international workshop, PPSWR 2005, Dagstuhl Castle, Germany September 11-16, 2005 ; proceedings
Principles and practice of Semantic Web reasoning third international workshop, PPSWR 2005, Dagstuhl Castle, Germany September 11-16, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles and practice of Semantic Web reasoning third international workshop, PPSWR 2005, Dagstuhl Castle, Germany September 11-16, 2005 ; proceedings

PPSWR 2005 (2005 Dagstuhl, Wadern, Germany) Fran cois Fages; Sylvain Soliman

Berlin Springer New York c2005

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

9
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings

International Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957

Berlin Springer New York c2004

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

10
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (5th 2005 Bertinoro, Italy) Marco Bernardo; Alessandro Bogliolo

Berlin Springer New York 2005

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

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. Livros  (855)
  2. Book Chapters  (377)
  3. Artigos  (361)
  4. Dissertações  (52)
  5. Anais de Congresso  (22)
  6. magazinearticle  (6)
  7. Conjunto de Dados  (2)
  8. Reports  (2)
  9. Newsletter Articles  (1)
  10. Produções Acadêmicas  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1982  (15)
  2. 1982Até1991  (26)
  3. 1992Até2001  (162)
  4. 2002Até2012  (1.207)
  5. Após 2012  (498)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (873)
  2. Alemão  (729)
  3. Francês  (87)
  4. Espanhol  (15)
  5. Japonês  (11)
  6. Português  (11)
  7. Dinamarquês  (5)
  8. Sueco  (2)
  9. Italiano  (1)
  10. Norueguês  (1)
  11. Chinês  (1)
  12. Estoniano  (1)
  13. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.