Resultados de 1 a 10 de 398 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 (382)
- Revistas revisadas por pares (267)
- Disponível na Biblioteca (15)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Foundations of Software Science and Computation StructuresFoSSaCS ʾ98 M NivatSpringer Berlin Heidelberg 1998Acesso online |
| 2 |
Material Type: Livro
|
|
|
| 3 |
Material Type: Livro
|
|
|
| 4 |
Material Type: Livro
|
|
Theorie des algorithmes, des langages et de la programmationSeminaire Iria (1972-1973) M NivatSl Sn 1973Localização: IME - Inst. Matemática e Estatística (QA750.C N734t 1972-73 )(Acessar) |
| 5 |
Material Type: Livro
|
|
Algebraic Methodology and Software TechnologyInternational Conference on Algebraic Methodology and Software Technology M Nivat; Martin WirsingSpringer Berlin Heidelberg 1996Acesso online |
| 6 |
Material Type: Livro
|
|
Resolution of equations in algebraic structuresHassan Aït-Kaci 1954-; Maurice Nivat 1937-Academic Press 1989Localização: IME - Inst. Matemática e Estatística (QA816.C3 A311r v.2 )(Acessar) |
| 7 |
Material Type: Tese de Doutorado
|
|
Sur les ensembles algébriques d'arbres et les langages déterministes quelques applications à la théorie des schémas de programmeBruno Courcelie Maurice Nivat1976Localização: IME - Inst. Matemática e Estatística (QA806.T C859s )(Acessar) |
| 8 |
Material Type: Tese de Doutorado
|
|
Contributions à la recherche dans des ensembles ordonnés du séquentiel au parallèleAfonso Galvão Ferreira Maurice Nivat 1937-1990Localização: IME - Inst. Matemática e Estatística (QA733.T F383c )(Acessar) |
| 9 |
Material Type: Tese de Doutorado
|
|
Équations avec constantes et algorithme de MakaninJean-Pierre Pécuchet Maurice Nivat 1937-1981Localização: IME - Inst. Matemática e Estatística IMRE SIMON (CIS QA173.T P369e )(Acessar) |
| 10 |
Material Type: Livro
|
|
Algebraic Methodology and Software TechnologyInternational Conference on Algebraic Methodology and Software Technology Vangalur S Alagar; M NivatSpringer Berlin Heidelberg 1995Acesso online |
Resultados de 1 a 10 de 398 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 (382)
- Revistas revisadas por pares (267)
- Disponível na Biblioteca (15)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (242)
- Book Chapters (63)
- Livros (28)
- Resenhas (26)
- Anais de Congresso (25)
- Recursos Textuais (8)
- Reports (3)
- Produções Acadêmicas (3)
-
Mais opções
Assunto
- Science & Technology (112)
- Computer Science (100)
- Technology (94)
- Computer Science, Theory & Methods (88)
- Exact Sciences And Technology (60)
- Mathematics (60)
- Physical Sciences (58)
- Applied Sciences (54)
- Computer Science, Software Engineering (54)
- Computer Science; Control Theory; Systems (52)
- Mathematics, Applied (48)
- Theoretical Computing (38)
- Russian Literature (29)
- 1900-1999 (22)
- Language Theory And Syntactical Analysis (12)
- Artificial Intelligence (11)
- Algorithmics. Computability. Computer Arithmetics (10)
- Discrete Tomography (9)
- Russia (9)
- Pattern Recognition. Digital Image Processing. Computational Geometry (9)
- Metodologia E Técnicas De Computação (5)
- Teoria Da Computação (4)
- Ciência Da Computação (3)
- Linguagens Formais (3)
- Computer Algorithms (2)
- Especificação De Sistemas E Programas (Congressos) (2)
- Parallel Processing (Electronic Computers) (2)
- Engenharia De Software (2)
- Engenharia De Programas (2)
- Ensino (1)
- Contemporaneidade (1)
- Qualidade Ambiental (1)
- Ditadura Militar (1)
- Artigo De Tradução (1)
- Trabalho E Gênero (1)
- Olimpio Costa (1)
- Biology (1)
- Honeybee (1)
- Teoria Do Funcional De Densidade (1)
- Politics (1)
-
Mais opções
Autor/Criador
- Nivat, M (21)
- Aït-Kaci, H (3)
- Wirsing, M (3)
- International Conference on Algebraic Methodologyand Software Technology (2)
- International Conference on Algebraic Methodology and Software Technology (2)
- Alagar, V (2)
- Ferreira, A (2)
- Prodócimo, E (1)
- Rodrigues, J (1)
- Sevegnani, K (1)
- Vergueiro, W (1)
- Lima, C (1)
- Rodrigues, G (1)
- Fugimoto, A (1)
- Angelus Novus, R (1)
- Araújo, M (1)
- Maringoni, A (1)
- Sabbag, D (1)
- Gordon, I (1)
- Pécuchet, J (1)
-
Mais opções
Data de Publicação
- Antes de1979 (28)
- 1979Até1989 (83)
- 1990Até2000 (158)
- 2001Até2012 (111)
- Após 2012 (35)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Elektronische Zeitschriftenbibliothek (Open access) (168)
- Jstor Complete Legacy (151)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (118)
- Science Citation Index Expanded (Web of Science) (109)
- Cairn - Revues (92)
- SpringerLINK Lecture Notes in Computer Science (90)
- SpringerLINK Lecture Notes in Computer Science (2015) (89)
- AUTh Library subscriptions: JSTOR Arts & Sciences VI (80)
- OpenEdition Journals / Revues.org (68)
- Cairn.info (Open access) (62)
- NUS Single-Journal Subscriptions (61)
- ScienceDirect - Connect here FIRST to enable access (54)
- JSTOR Arts & Sciences XIV (28)
- World Scientific Journals (16)
- JSTOR Arts & Sciences XIII (JSTOR collections COVID-19 Expanded Access) 【提供期間延長中】 (15)
- IngentaConnect Journals (13)
- AUTh Library subscriptions: Cambridge Journals Online (12)
- EBSCOhost Computers and Applied Sciences Complete (10)
- SpringerLink Books Lecture Notes in Computer Science Archive (9)
- Springer Books Online Archive (9)
-
Mais opções
Idioma
- Inglês (211)
- Francês (199)
- Japonês (9)
- Russo (3)
- Português (1)
- Indeterminado (1)
- Espanhol (1)
- Vários idiomas (1)
-
Mais opções
Nome da Publicação
- Cahiers Du Monde Russe (46)
- Theoretical Computer Science (35)
- Esprit (28)
- Cahiers Du Monde Russe Et Soviétique (26)
- Magazine Littéraire (19)
- Revue Des Études Slaves (15)
- International Journal Of Pattern Recognition And Artificial Intelligence (11)
- Revue D'économie Financière (6)
- Cahiers Vilfredo Pareto (6)
- Acta Informatica (3)
- Revista LABVERDE (1)
- Oculum Ensaios (1)
- Revista ARA (1)
- Revista Angelus Novus (1)
- Opiniães (1)
- GEOUSP Espaço e Tempo (Online) (1)
- Revista de Contabilidade e Organizações (1)
- Revista Ciência em Extensão (1)
- Revista Música (1)
- Epígrafe (1)
- Risco Revista de Pesquisa em Arquitetura e Urbanismo (Online) (1)
- Journal of Applied Oral Science (1)
- Revista de Direito Sanitário (1)
- Nosso Clínico (1)
- Revista Desassossego (1)
- JISTEM - Journal of Information Systems and Technology Management (Online) (1)
- Psicologia USP (1)
- Revista do Museu de Arqueologia e Etnologia (1)
- Revista de Administração (1)
- REGE Revista de Gestão (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 