Resultados de 1 a 10 de 9.006 para Busca Geral
Mostrar Somente
- Recursos Online (9.003)
- Revistas revisadas por pares (6.745)
- Disponível na Biblioteca (2)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Design of a dew point evaporative cooler for buildings in Mediterranean climateAbada, Djallel ; Maalouf, Chadi ; MOUSSA, Tala ; Boudjabi, Amel Ferial ; Polidori, Guillaume ; Rouag-Saffidine, Djamila ; Sotehi, Oualid ; Derghout, Zoheir ; Wurtz, Etienne Kurnitski, J. ; Gameiro da Silva, M.C. ; Nastase, I. ; Wargocki, P. ; Tanabe, S.I ; Mazzarela, L. ; Zhang, H. ; Cao, G. ; Inard, C.E3S Web of Conferences, 2019-01, Vol.111, p.2021 [Periódico revisado por pares]Les Ulis: EDP SciencesTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
On subtyping and matchingABADI, M ; CARDELLI, LACM transactions on programming languages and systems, 1996-07, Vol.18 (4), p.401-423 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Formal parametric polymorphismAbadi, M. ; Cardelli, L. ; Curien, P.-L.Theoretical computer science, 1993-12, Vol.121 (1), p.9-58 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
Explicit substitutionsAbadi, M. ; Cardelli, L. ; Curien, P.-L. ; Levy, J.-J.Annual Symposium on Principles of Programming Languages: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1989, p.31-46New York, NY, USA: ACMTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Explicit substitutionsAbadi, M. ; Cardelli, L. ; Curien, P.-L. ; Lévy, J.-J.Journal of functional programming, , Vol.1 (4), p.375-416 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Dynamic typing in a statically-typed languageAbadi, M. ; Cardelli, L. ; Pierce, B. ; Plotkin, G. Association for Computing Machinery, CORPORATE New York, NYAnnual Symposium on Principles of Programming Languages: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 11-13 Jan. 1989, 1989, p.213-227New York, NY, USA: ACMTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
On Subtyping and MatchingAbadi, Martín ; Cardelli, LucaECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995, p.145-167 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Formal parametric polymorphismAbadi, Martín ; Cardelli, Luca ; Curien, Pierre-LouisAnnual Symposium on Principles of Programming Languages: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 1993, p.157-170New York, NY, USA: ACMTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Analysis and caching of dependenciesAbadi, Martín ; Lampson, Butler ; Lévy, Jean-Jacques Wexelblat, Richard L.International Conference on Functional Programming: Proceedings of the first ACM SIGPLAN international conference on Functional programming; 24-26 May 1996, 1996, p.83-91New York, NY, USA: ACMTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
S-nitrosylated proteins of a medicinal CAM plant Kalanchoe pinnata- ribulose-1,5-bisphosphate carboxylase/oxygenase activity targeted for inhibitionAbat, Jasmeet K ; Mattoo, Autar K ; Deswal, RenuThe FEBS journal, 2008-06, Vol.275 (11), p.2862-2872 [Periódico revisado por pares]Oxford, UK: Oxford, UK : Blackwell Publishing LtdTexto completo disponível |
Resultados de 1 a 10 de 9.006 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (9.003)
- Revistas revisadas por pares (6.745)
- Disponível na Biblioteca (2)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (7.459)
- Newsletter Articles (650)
- Anais de Congresso (252)
- Book Chapters (198)
- magazinearticle (159)
- Livros (148)
- Resenhas (75)
- Verbetes (38)
- Dissertações (13)
- Imagens (5)
- Artigos de Jornal (3)
- Reports (3)
- Videos (1)
- Conjunto de Dados (1)
- Web Resources (1)
-
Mais opções
Assunto
- Science & Technology (4.037)
- Physical Sciences (1.533)
- Life Sciences & Biomedicine (1.382)
- Technology (1.299)
- Physics (1.119)
- Computer Science (911)
- Science & Technology - Other Topics (721)
- Life Sciences (587)
- Mathematics (570)
- Humans (543)
- Animals (535)
- Computer Science, Theory & Methods (502)
- Multidisciplinary Sciences (496)
- Chemistry (388)
- Social Sciences (343)
- Male (340)
- Exact Sciences And Technology (335)
- Female (333)
- Biochemistry & Molecular Biology (314)
- Finance (298)
- Física Nuclear (2)
- Teoria Da Computação (1)
- Ciência Da Computação (1)
- Teoria Das Categorias (Congressos) (1)
- Categories (Mathematics) (1)
-
Mais opções
Autor/Criador
- Curien, P (3)
- Vanin, V (2)
- Romain, P (2)
- Beck, F (2)
- Duchene, G (2)
- Porquet, M (2)
- Pitts, A (2)
- Merdinger, J (2)
- Kreiner, A (2)
- Haas, B (2)
- Byrski, T (2)
- Rouabah, S (2)
- Curien, D (2)
- Bourgeois, C (2)
- Abramsky, S (2)
- Fourman, M (1)
- P. T. Johnstone (1)
- Bakker, J (1)
- Rydeheard, D (1)
- Aczel, P (1)
-
Mais opções
Data de Publicação
- Antes de1959 (440)
- 1959Até1974 (215)
- 1975Até1990 (428)
- 1991Até2007 (1.661)
- Após 2007 (6.388)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- EZB Electronic Journals Library (3.414)
- Science Citation Index Expanded (Web of Science) (3.385)
- Gale Academic OneFile Select (2.285)
- DOAJ Directory of Open Access Journals (1.842)
- SpringerLink (1.631)
- ROAD: Directory of Open Access Scholarly Resources (1.545)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (1.540)
- IngentaConnect Journals (1.212)
- Springer Nature - Springer Journals All 2022 (1.200)
- PubMed Central (PMC) (1.165)
- ScienceDirect - Connect here FIRST to enable access (1.117)
- EBSCO_Academic Search Premier (1.084)
- JSTOR (970)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (948)
- Wiley Online Library Journals (828)
- NUS Single-Journal Subscriptions (751)
- AUC Wiley Frozen Package in 2012 (635)
- Wiley-Blackwell Full Collection 2013 (617)
- Ovid SocietyJournals and Single Titles (584)
- Springer_OA刊 (556)
-
Mais opções
Idioma
Nome da Publicação
- Plos One (350)
- Zeitschrift Für Die Gesamte Versicherungs-Wissenschaft (182)
- Angewandte Chemie (105)
- The Journal Of High Energy Physics (104)
- Theoretical Computer Science (103)
- Physical Review. C, Nuclear Physics (100)
- The European Physical Journal. C, Particles And Fields (100)
- Hermes (91)
- Annalen Der Physik (86)
- Mathematical Structures In Computer Science (82)
- Physical Review C (2)
- Physical Review C (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 