skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Dissertação de Mestrado
Adicionar ao Meu Espaço

Argumentação e demonstração dos alunos do Ensino Médio: uma proposta de investigação matemática sobre crescimento e decrescimento de funções afins

Campos, Rodrigo Ruiz

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2017-11-21

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

2
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

An efficient algorithm for representing piecewise linear functions into logic

Sandro Preto Marcelo Finger; International Workshop on Logical and Semantic Frameworks, with Applications - LSFA 2020 (15. 2020 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 351, p.167-186, 2020

Amsterdam Elsevier 2020

Localização: IME - Inst. Matemática e Estatística    (PROD-3013847 )(Acessar)

3
Material Type:
Artigo
Adicionar ao Meu Espaço

Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability

Sandro Preto Marcelo Finger

Mathematical Structures in Computer Science Cambridge v. 32, n. 9, p. 1119-1144, 2022

Cambridge 2022

Localização: IME - Inst. Matemática e Estatística    (PROD-3078150 )(Acessar)

4
Material Type:
Tese de Doutorado
Adicionar ao Meu Espaço

Semantics modulo satisfiability with applications: function representation, probabilities and game theory

Preto, Sandro Márcio Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2021-06-04

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

5
Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations
Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations

Werner Balser

Springer New York 2000

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

6
Material Type:
Livro
Adicionar ao Meu Espaço

Leçons sur les fonctions définies par les équations différentielles du premier ordre professées au Collége de France

Pierre Boutroux 1880-1922 Paul Painlevé 1863-1933

Paris Gauthier-Villars 1908

Localização: ICMC - Inst. Ciên. Mat. Computação    (34-02 B781L e.1 ) e outros locais(Acessar)

7
Time-Varying Systems and Computations
Time-Varying Systems and Computations
Material Type:
Livro
Adicionar ao Meu Espaço

Time-Varying Systems and Computations

Dewilde Alle-Jan van der Veen; Alle-Jan van der Veen

Springer US 1998

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

8
Mathematical analysis linear and metric structures and continuity
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical analysis linear and metric structures and continuity

Mariano Giaquinta 1947- Giuseppe Modica

Boston Birkhäuser c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (15-01 G434ma e.1 )(Acessar)

9
L functions for the orthogonal group
Material Type:
Livro
Adicionar ao Meu Espaço

L functions for the orthogonal group

D. Ginzburg (David) I. I Pëiìateëtìskiæi-Shapiro 1929- (Il§ëiìa Iosifovich); Stephen Rallis 1942-

Providence, R.I. American Mathematical Society 1997

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

10
Complex analysis on infinite dimensional spaces
Material Type:
Livro
Adicionar ao Meu Espaço

Complex analysis on infinite dimensional spaces

Seán Dineen 1944-

London Springer New York c1999

Localização: IME - Inst. Matemática e Estatística    (QA327 D583a e.2 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (59.863)
  2. Revistas revisadas por pares (42.318)
  3. Disponível na Biblioteca (61)

Assunto 

  1. Science & Technology  (39.797)
  2. Technology  (19.876)
  3. Physical Sciences  (18.361)
  4. Mathematics  (16.860)
  5. Engineering  (12.196)
  6. Engineering, Electrical & Electronic  (8.550)
  7. Mathematical Analysis  (8.130)
  8. Algorithms  (7.776)
  9. Linear Programming  (7.682)
  10. Exact Sciences And Technology  (7.599)
  11. Life Sciences & Biomedicine  (7.418)
  12. Computer Science  (7.328)
  13. Linear Functions  (6.710)
  14. Mathematics, Applied  (6.563)
  15. Linear Models  (6.128)
  16. Mathematical Functions  (6.013)
  17. Optimization  (5.971)
  18. Linear Systems  (5.781)
  19. Humans  (5.552)
  20. Mathematical Models  (5.428)
  21. Functions  (1.555)
  22. Linear Operators  (1.062)
  23. Analytic Functions  (792)
  24. Convex Functions  (683)
  25. Operator Theory  (592)
  26. Mathematical Optimization  (238)
  27. Functions Of Complex Variables  (148)
  28. Algebras, Linear  (125)
  29. Differential Equations, Linear  (84)
  30. Linear Topological Spaces  (38)
  31. Functions, Special  (12)
  32. Linear Operators  (11)
  33. Operadores  (10)
  34. Análise Funcional  (10)
  35. Análise Funcional  (8)
  36. Differential Equations, Linear  (7)
  37. Operadores  (7)
  38. Algebras, Linear  (6)
  39. Functions Of Complex Variables  (6)
  40. Funções De Uma Variável Complexa  (6)
  41. Álgebra Linear  (6)
  42. Linear Topological Spaces  (5)
  43. Functions  (5)
  44. Programação Não Linear  (5)
  45. Equações Diferenciais Ordinárias  (5)
  46. Teoria Dos Grupos  (4)
  47. Holomorfia  (4)
  48. Mathematical Optimization  (4)
  49. Functions, Special  (4)
  50. Operadores Lineares  (4)
  51. Álgebra Linear  (4)
  52. Convex Functions  (4)
  53. Analytic Functions  (4)
  54. Operator Theory  (3)
  55. Programação Não Linear  (2)
  56. Equações Diferenciais Ordinárias  (1)
  57. Holomorfia  (1)
  58. Teoria Dos Grupos  (1)
  59. Operadores Lineares  (1)
  60. Funções De Uma Variável Complexa  (1)
  61. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1960  (802)
  2. 1960Até1975  (2.698)
  3. 1976Até1991  (4.470)
  4. 1992Até2008  (15.532)
  5. Após 2008  (36.149)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (59.609)
  2. Japonês  (3.594)
  3. Alemão  (109)
  4. Francês  (91)
  5. Português  (91)
  6. Chinês  (73)
  7. Russo  (53)
  8. Espanhol  (36)
  9. Catalão  (17)
  10. Tcheco  (16)
  11. Norueguês  (11)
  12. Coreano  (11)
  13. Árabe  (10)
  14. Croatian  (8)
  15. Persa  (8)
  16. Serbian  (7)
  17. Polonês  (5)
  18. Italiano  (5)
  19. Eslovaco  (4)
  20. Indonésio  (4)
  21. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Vilenkin, N
  3. Klimyk, A
  4. Preto, S
  5. Belyi, S

Buscando em bases de dados remotas. Favor aguardar.