Resultados de 1 a 10 de 1.058 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (1.055)
- Revistas revisadas por pares (859)
- Disponível na Biblioteca (2)
Refinado por:
idioma:
Francês
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Termination orders for 3-polygraphsGuiraud, YvesComptes rendus. Mathématique, 2006-02, Vol.342 (4), p.219-222 [Periódico revisado por pares]Paris: Elsevier SASTexto completo disponível |
| 2 |
Material Type: Revista
|
|
Theoretical computer science Part B Logic, semantics and theory of programmingAmsterdam North-Holland 1991-Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Artigo
|
|
Raisonner en logique modale sur l'incertitude liée aux données : application en archéologieGavignet, Elisabeth ; Leclercq, Eric ; Cullot, Nadine ; Savonnet, MarinetteRevue internationale de géomatique, 2016, Vol.26 (4), p.467-490 [Periódico revisado por pares]LavoisierTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
The NuMI neutrino beamCoelho, João De Abreu Barbosa, 1984-; Escobar, Carlos Ourivio, 1948- Universidade Estadual de Campinas (Unicamp); Universidade Estadual De CampinasCOELHO, João de Abreu Barbosa; ESCOBAR, Carlos Ourivio. The NuMI neutrino beam. Nuclear instruments & methods in physics research. Section A, Accelerators spectrometers detectors and associated equipment. Amsterdam : Elsevier, 2016. Vol. 806 (Jan., 2016), p. 279-306. Disponível em: https://hdl.handle.net/20.500.12733/1666957. Acesso em: 16 nov. 2023.2016Acesso online |
| 5 |
Material Type: Artigo
|
|
Bits and qubitsUniversidade Estadual de Campinas (Unicamp); Lavor, Carlile Campos, 1968-; Universidade Estadual De Campinashttps://repositorio.unicamp.br/acervo/detalhe/12247342019Acesso online |
| 6 |
Material Type: Livro
|
|
Le logiciel, entre l’esprit et la matière : Leçon inaugurale prononcée au Collège de France le jeudi 15 novembre 2018Leroy, XavierCollège de France 2019Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
Diagramme de justification. Un outil pour la validation, la certification et l’accréditation: Justification diagram. A new kind of diagram for validation, accreditation and certificationPolacsek, ThomasIngénierie des systèmes d'Information, 2017, Vol.22 (2), p.95-120LavoisierTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Conditions d’assertion de chaque et de tout et règles de déduction du quantificateur universelMari, Alda ; Retoré, ChristianTravaux de linguistique (Gand, Belgium), 2016-01, Vol.72 (1), p.89-106 [Periódico revisado por pares]De Boeck SupérieurTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Politiques formelles d’échange d'informations critiques dans les organisationsSaurel, ClaireIngénierie des systèmes d'Information, 2016, Vol.21 (4)LavoisierTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarquésMoy, MatthieuTechnique et science informatiques: TSI, 2014, Vol.33 (3), p.285-293 [Periódico revisado por pares]LavoisierTexto completo disponível |
Resultados de 1 a 10 de 1.058 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (1.055)
- Revistas revisadas por pares (859)
- Disponível na Biblioteca (2)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (1.006)
- magazinearticle (15)
- Anais de Congresso (13)
- Livros (9)
- Book Chapters (7)
- Resenhas (4)
- Dissertações (2)
- Conjunto de Dados (1)
- Revistas (1)
-
Mais opções
Assunto
- Science & Technology (455)
- Technology (324)
- Operations Research & Management Science (175)
- Automation & Control Systems (174)
- Engineering (139)
- Physical Sciences (129)
- Computer Science (125)
- Algorithms (110)
- Mathematics (91)
- Artificial Intelligence (64)
- Neural Networks (62)
- Life Sciences & Biomedicine (62)
- Social Sciences (58)
- Machine Learning (58)
- Logic (57)
- Fuzzy Logic (49)
- Engineering, Electrical & Electronic (48)
- Computer Science, Artificial Intelligence (48)
- Engineering, Multidisciplinary (46)
- Computer Assisted Instruction (44)
- Education (27)
- Politics (6)
- Science (3)
- Pneumonia (2)
- Ciência (2)
- Artigo De Pesquisa (2)
- Poesia (2)
- Nanotubos De Carbono (2)
- Poemas (2)
- Clarice Lispector (2)
- Editorial (2)
- Patrimônio Cultural (2)
- Matéria Escura (Astronomia) (2)
- Artigo Original (2)
- Carbon Nanotubes (2)
- Neutrinos (2)
- Pneumonia (2)
- Política (2)
- Education (2)
- Entrevista (2)
- Dark Matter (Astronomy) (2)
- Science (2)
- Politics (2)
-
Mais opções
Autor/Criador
- Universidade Estadual De Campinas (2)
- Morettin, E (2)
- Santos, E (2)
- Pino, C (2)
- Santana, M (2)
- Romancini, R (2)
- Editorial, E (2)
- Chinen, N (2)
- Editorial, C (2)
- Bosi, A (2)
- Frezatti, F (2)
- Castro Filho, C (2)
- Marcovitch, J (2)
- Segreto, E (2)
- Zucchi, A (2)
- Monteiro, J (2)
- Santos, R (2)
- Cunha, K (2)
- Santos, L (2)
- Mello, A (2)
-
Mais opções
Data de Publicação
- Antes de1974 (15)
- 1974Até1988 (23)
- 1989Até2000 (49)
- 2001Até2013 (339)
- Após 2013 (646)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Electronic Journals Library (611)
- Science Citation Index Expanded (Web of Science) (414)
- ROAD (355)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (187)
- DOAJ Directory of Open Access Journals (152)
- IngentaConnect Journals (131)
- JSTOR (126)
- Cairn - Revues (111)
- Academic OneFile (97)
- Cairn (82)
- Academic Search Premier (EB_SDU_P3) (80)
- Wiley-Blackwell Full Collection 2013 (65)
- Wiley Online Library (65)
- AUC Wiley Frozen Package in 2012 (65)
- Taylor & Francis Journals Complete (64)
- Business Source Complete (EB_SDU_P3) (64)
- Taylor & Francis (62)
- Taylor & Francis Open access Read & Publish (61)
- NUS Single-Journal Subscriptions (56)
- Sociological Abstracts (53)
-
Mais opções
Idioma
Nome da Publicação
- Studies In Informatics And Control (174)
- Ingénierie Des Systèmes D'information (58)
- Bulletin Of The Polish Academy Of Sciences. Technical Sciences (50)
- Traitement Du Signal (46)
- Mathematical Logic Quarterly (32)
- Jornal Internacional De Estudos Em Educação Matemática (30)
- Technique Et Science Informatiques: Tsi (24)
- Essachess- Journal For Communication Studies (22)
- Biometrics (21)
- Canadian Geotechnical Journal (20)
- Revista ARA (2)
- Revista Angelus Novus (2)
- Sala Preta (2)
- RUS (São Paulo) (2)
- Filologia e Linguística Portuguesa (2)
- Cadernos de Filosofia Alemã: Crítica e Modernidade (2)
- Cadernos de Literatura em Tradução (2)
- Revista CPC (2)
- Epígrafe (2)
- Malala (2)
- Revista de Filosofia Antiga (2)
- Literatura e Sociedade (2)
- Revista Desassossego (2)
- ARS (São Paulo) (2)
- Tempo Social (2)
- Via Atlântica (2)
- Khronos (2)
- Cadernos Espinosanos (2)
- Revista de Italianística (2)
- REGE Revista de Gestão (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 