skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Repairing ontologies via kernel pseudo-contraction
Repairing ontologies via kernel pseudo-contraction
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Repairing ontologies via kernel pseudo-contraction

Vinícius Bitencourt Matos Renata Wassermann; Federated Logic Conference -FLoC (8. 2022 Haifa, Israel); International Workshop on Non-Monotonic Reasoning Part of the Federated Logic Conference (FLoC 2022) (20. 2022 Haifa, Israel)

CEUR Workshop Proceedings Aachen v. 3197, p. 16-26, 2022

Aachen 2022

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

2
Atomic physics in nuclear experiments proceeding of the Haifa International Workshop held at the Technion--Israel Institute of Technology, August 24-31, 1976 ...
Material Type:
Livro 		Adicionar ao Meu Espaço

Atomic physics in nuclear experiments proceeding of the Haifa International Workshop held at the Technion--Israel Institute of Technology, August 24-31, 1976 ...

Haifa International Workshop, Technion--Israel Institute of Technology (1976) Baruch Rosner; Rafael Kalish; òTekhniyon, Makhon òtekhnologi le-Yiâsra®el

Bristol, Eng. A. Hilger ... in association with the American Institute of Physics c1977

Localização: IF - Instituto de Física    (539.706 H149a 1976 )(Acessar)

3
Distributed algorithms proceedings
Distributed algorithms proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Distributed algorithms proceedings

International Workshop on Distributed Algorithms,6., Haifa, 1992 Adrian Segall

Berlin Springer 1992

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

4
Fast software encryption 4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997 : proceedings
Fast software encryption 4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fast software encryption 4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997 : proceedings

International Workshop on Fast Software Encryption (4th 1997 Haifa, Israel) Eli Biham

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin London Springer c1997

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

5
Proceedings of the International Conference and British-Israeli Workshop on Greenhouse Techniques towards the 3rd millennium
Proceedings of the International Conference and British-Israeli Workshop on Greenhouse Techniques towards the 3rd millennium
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the International Conference and British-Israeli Workshop on Greenhouse Techniques towards the 3rd millennium

International Conference and British-Israeli Workshop on Greenhouse Techniques towards the 3rd millennium (1999 Haifa, Israel) M Teitel; B. J Bailey

Leuven, Belgium International Society for Horticultural Science 2000

Localização: ESALQ - Biblioteca Central    (631.583 I61p 62717 )(Acessar)

6
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Isac, Omri ; Ivanov, Radoslav ; Katz, Guy ; Narodytska, Nina ; Nenzi, Laura

Cham: Springer International Publishing AG 2022

Sem texto completo

Citações Citado por
7
Concrete Durability and Service Life Planning: Proceedings of ConcreteLife'20
Concrete Durability and Service Life Planning: Proceedings of ConcreteLife'20
Material Type:
Livro 		Adicionar ao Meu Espaço

Concrete Durability and Service Life Planning: Proceedings of ConcreteLife'20

Kovler, Konstantin ; Zhutovsky, Semion ; Spatari, Sabrina ; Jensen, Ole M

Cham: Springer International Publishing AG 2020

Sem texto completo

Citações Citado por
8
Cardiac Electrophysiology, Circulation, and Transport
Cardiac Electrophysiology, Circulation, and Transport
Material Type:
Livro 		Adicionar ao Meu Espaço

Cardiac Electrophysiology, Circulation, and Transport

Sideman, S ; Beyar, Rafael ; Kleber, Andre G Beyar, Rafael ; Kléber, André G. ; Sideman, Samuel

Boston, MA: Springer 1991

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)
  2. Disponível na Biblioteca (5)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (7)
  2. Artigos  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (1)
  2. 1991Até1991  (1)
  3. 1992Até1996  (1)
  4. 1997Até2000  (2)
  5. Após 2000  (4)
  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.