Resultados de 1 a 10 de 1.615 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
- Revistas revisadas por pares (1.180)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
An extended framework for specifying and reasoning about proof systemsNigam, Vivek ; Pimentel, Elaine ; Reis, GiselleJournal of logic and computation, 2016-04, Vol.26 (2), p.539-576 [Periódico revisado por pares]Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
Correction to "Linear mixed function-on-function regression models," by Wei Wang; 70, xxx-xxx, December 2014Biometrics, 2014-12, Vol.70 (4), p.1062-1062 [Periódico revisado por pares]United States: Blackwell Publishing LtdTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Prediction of global buckling loads of doubly symmetric pultruded FRP columns subjected to concentric compressionZhan, Yang ; Wu, GangZeitschrift für angewandte Mathematik und Mechanik, 2019-06, Vol.99 (6), p.n/a [Periódico revisado por pares]Weinheim: Wiley Subscription Services, IncTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Algorithmic Study of the Characteristics of Electrocardiograph Signals in Patients with Coronary Heart DiseaseLi, Honger ; Zhao, Lixia Ramirez, Gustavo ; Gustavo RamirezScientific programming, 2021-09, Vol.2021, p.1-10 [Periódico revisado por pares]New York: HindawiTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Editorial: The Role of Information Systems in Enabling Open InnovationWhelan, Eoin ; Conboy, Kieran ; Crowston, Kevin ; Morgan, Lorraine ; Rossi, MattiJournal of the Association for Information Systems, 2014-11, Vol.15 (11), p.XX-XXX [Periódico revisado por pares]Atlanta: Association for Information SystemsTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Least-Squares Independent Component AnalysisSuzuki, Taiji ; Sugiyama, MasashiNeural computation, 2011-01, Vol.23 (1), p.284-301 [Periódico revisado por pares]One Rogers Street, Cambridge, MA 02142-1209, USA: MIT PressTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of SummationBergstra, JanScientific annals of computer science, 2020-01, Vol.30 (2), p.167-203 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
A Modified Decomposition Algorithm for Maximum Weight Bipartite Matching and Its Experimental EvaluationDas, ShibsankarScientific annals of computer science, 2020-01, Vol.30 (1), p.39-67 [Periódico revisado por pares]Alexandru Ioan Cuza University of IasiTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
A Complete Axiomatisation for Probabilistic Trace EquivalenceTimmers, Ferry ; Groote, Jan FrisoScientific annals of computer science, 2020-01, Vol.30 (1), p.69-104 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Most General Algebraic Specifications for an Abstract Datatype of Rational NumbersBergstra, Jan AScientific annals of computer science, 2020-01, Vol.30 (1), p.1-24 [Periódico revisado por pares]Iasi: Alexandru Ioan Cuza University of IasiTexto completo disponível |
Resultados de 1 a 10 de 1.615 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
- Revistas revisadas por pares (1.180)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (1.313)
- magazinearticle (259)
- Anais de Congresso (21)
- Resenhas (18)
- Book Chapters (3)
- Newsletter Articles (1)
-
Mais opções
Assunto
- Science & Technology (1.076)
- Technology (725)
- Physical Sciences (530)
- Computer Science (479)
- Mathematics (467)
- Mathematics, Applied (387)
- Engineering (207)
- Algorithms (186)
- Exact Sciences And Technology (157)
- Computer Science, Software Engineering (138)
- Studies (135)
- Mathematical Analysis (130)
- Computer Science, Theory & Methods (122)
- Mathematical Models (114)
- Computer Science, Information Systems (108)
- Engineering, Electrical & Electronic (103)
- Software (99)
- Internet (99)
- Optimization (98)
- Computer Science, Artificial Intelligence (97)
-
Mais opções
Data de Publicação
- Antes de1973 (34)
- 1973Até1985 (65)
- 1986Até1997 (124)
- 1998Até2010 (634)
- Após 2010 (762)
-
Mais opções
Base de Dados/Biblioteca
- Computers & Applied Sciences Complete - EBSCO (1.615)
- Science Citation Index Expanded (Web of Science) (885)
- Academic Search Premier (819)
- Academic OneFile (641)
- EBSCOhost Business Source Complete (574)
- SpringerNature Journals (416)
- Springer Nature - Springer Journals All 2022 (403)
- Free E-Journal (出版社公開部分のみ） (392)
- ROAD: Directory of Open Access Scholarly Resources (241)
- IngentaConnect Journals (230)
- DOAJ Directory of Open Access Journals (226)
- SIAM journals archive (Locus) (220)
- Journals@Ovid Complete (208)
- Jstor Complete Legacy (198)
- JSTOR Mathematics and Statistics (150)
- JSTOR Arts and Sciences I Collection (136)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (134)
- Taylor & Francis Journals Complete (129)
- Taylor & Francis Current Content Access (129)
- Taylor & Francis Open access Read & Publish (121)
-
Mais opções
Nome da Publicação
- Computational & Applied Mathematics (58)
- Siam Journal On Numerical Analysis (52)
- International Journal Of Computer Mathematics (49)
- Eweek (49)
- Siam Journal On Applied Mathematics (48)
- Advances In Mathematical Physics (38)
- Pc World (33)
- Siam Review (31)
- Siam Journal On Control And Optimization (26)
- Communications Of The Acm (24)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 