skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A survey of mathematical logic
Material Type:
Livro 		Adicionar ao Meu Espaço

A survey of mathematical logic

Hao Wang

Peking Science Press 1962

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-02 H252s e.2 ) e outros locais(Acessar)

2
Popular lectures on mathematical logic
Popular lectures on mathematical logic
Material Type:
Livro 		Adicionar ao Meu Espaço

Popular lectures on mathematical logic

Hao Wang 1921-

New York Van Nostrand Reinhold Co. c1981

Localização: ICMC - Inst. Ciên. Mat. Computação    (03-01 H233p6 e.1 ) e outros locais(Acessar)

3
Reflections on Kurt Gödel
Reflections on Kurt Gödel
Material Type:
Livro 		Adicionar ao Meu Espaço

Reflections on Kurt Gödel

Hao Wang 1921-

Cambridge, Mass. MIT Press c1987

Localização: ICMC - Inst. Ciên. Mat. Computação    (01A70 W246r ) e outros locais(Acessar)

4
Patient assignment optimization in cloud healthcare systems a distributed genetic algorithm
Patient assignment optimization in cloud healthcare systems a distributed genetic algorithm
Material Type:
Artigo 		Adicionar ao Meu Espaço

Patient assignment optimization in cloud healthcare systems a distributed genetic algorithm

Xinyu Pang Yong‑Feng Ge; Kate Wang; Agma Juci Machado Traina; Hua Wang

Health Information Science and Systems New York v. 11, p. 1-12, 2023

New York 2023

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3150983 )(Acessar)

5
Information security and privacy : 9th Australasian conference, ACISP 2004, Sydney, Australia, July 13-15 2004 : proceedings
Information security and privacy : 9th Australasian conference, ACISP 2004, Sydney, Australia, July 13-15 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Information security and privacy : 9th Australasian conference, ACISP 2004, Sydney, Australia, July 13-15 2004 : proceedings

ACISP 2004 (2004 Sydney, N.S.W.) Huaxiong Wang; Josef Pieprzyk 1949; Vijay Varadharajan

Berlin Springer New York 2004

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

6
Proceedings of the 11th International Conference on Health Information Science - HIS
Proceedings of the 11th International Conference on Health Information Science - HIS
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the 11th International Conference on Health Information Science - HIS

Agma Juci Machado Traina Hua Wang; Yong Zhang; Siuly Siuly; Rui Zhou; Lu Chen; International Conference on Health Information Science - HIS (11. 2022 Virtual Event)

Cham Springer 2022

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3109830 )(Acessar)

7
The International Conference Series on Health Information Science (HIS) provides... [Prefácio]
The International Conference Series on Health Information Science (HIS) provides... [Prefácio]
Material Type:
Livro 		Adicionar ao Meu Espaço

The International Conference Series on Health Information Science (HIS) provides... [Prefácio]

Agma Juci Machado Traina Hua Wang; Yong Zhang; Siuly Siuly; Rui Zhou; Lu Chen; International Conference on Health Information Science - HIS (11. 2022 Virtual Event)

Traina, Agma Juci Machado; Wang, Hua; Zhang, Yong; Siuly, Siuly; Zhou, Rui; Chen, Lu; ed Proceedings of the 11th International Conference on Health Information Science - HIS Cham : Springer, 2022 326 p

Cham Springer 2022

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-3109847 )(Acessar)

8
Advances in web and network technologies, and information management APWeb/WAIM 2007 international workshops, DBMAN 2007 WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007 : proceedings
Advances in web and network technologies, and information management APWeb/WAIM 2007 international workshops, DBMAN 2007 WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in web and network technologies, and information management APWeb/WAIM 2007 international workshops, DBMAN 2007 WebETrends 2007, PAIS 2007 and ASWAN 2007, Huang Shan, China, June 16-18, 2007 : proceedings

APWeb/WAIM 2007 (2007 Huangshan Shi, China) Wei Wang 1973-; Lei Chen; Clarence A Ellis; Ching-Hsien Hsu; Ah Chung Tsoi; Haixun Wang; Kevin Chen-Chuan Chang

Berlin Springer New York c2007

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

9
Cryptology and network security 4th international conference, CANS 2005, Xiamen, China, December 14-16 2005 : proceedings
Cryptology and network security 4th international conference, CANS 2005, Xiamen, China, December 14-16 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Cryptology and network security 4th international conference, CANS 2005, Xiamen, China, December 14-16 2005 : proceedings

International Conference on Cryptology and Network Security (4th 2005 Xiamen, Xiamen Shi, China) Yvo Desmedt; Huaxiong Wang; Yi Mu; Yongqing Li

Berlin Springer New York c2005

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

10
A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs
A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs
Material Type:
Livro 		Adicionar ao Meu Espaço

A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs

Huanchen Bao Weiqiang Wang

Paris Société Mathématique de France 2018

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 ASTERIS n.402 ) e outros locais(Acessar)

Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (13)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1987  (3)
  2. 1987Até2003  (3)
  3. 2004Até2006  (13)
  4. 2007Até2018  (6)
  5. Após 2018  (6)
  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.