Resultados de 1 a 10 de 2.702 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 (2.466)
Refinado por:
assunto:
Algorithms
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected PapersHinze, Ralf Hinze, RalfNetherlands: Springer Nature 2013Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected PapersLiu, Shaoying Liu, ShaoyingNetherlands: Springer Nature 2013Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Computability and Complexity in Analysis: 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected PapersBlanck, Jens ; Brattka, Vasco ; Hertling, Peter Blanck, Jens ; Hertling, Peter ; Brattka, VascoBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected PapersDuchier, Denys ; Parmentier, YannickBerlin, Heidelberg: Springer Berlin / Heidelberg 2013Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected PapersMossakowski, Till ; Kreowski, Hans-Jörg Kreowski, Hans-Jörg ; Mossakowski, TillNetherlands: Springer Nature 2012Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Languages and Compilers for Parallel Computing: 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected PapersShen, Xipeng ; Mueller, Frank ; Tuck, James Mueller, Frank ; Tuck, James ; Shen, XipengNetherlands: Springer Nature 2016Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected PapersPeña, Ricardo ; van Eekelen, Marko ; Shkaravska, Olha van Eekelen, Marko ; Pe'a, Ricardo ; Shkaravska, OlhaNetherlands: Springer Nature 2012Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Reversible Computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised PapersDe Vos, Alexis ; Wille, Robert De Vos, Alexis ; Wille, RobertNetherlands: Springer Nature 2012Texto completo disponível |
| 9 |
Material Type: Artigo
|
|
Proceedings 11th International Workshop on Computing with Terms and GraphsBahr, PatrickarXiv.org, 2021-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
| 10 |
Material Type: Livro
|
|
Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, ProceedingsDevitt, Simon ; Lanese, Ivan Lanese, Ivan ; Devitt, Simon ; Lanese, Ivan ; Devitt, SimonCham: Springer Nature 2016Texto completo disponível |
Resultados de 1 a 10 de 2.702 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 (2.466)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (2.627)
- Anais de Congresso (34)
- Livros (29)
- magazinearticle (5)
- Verbetes (3)
- Book Chapters (3)
- Newsletter Articles (1)
-
Mais opções
Assunto
- Science & Technology (2.204)
- Technology (1.567)
- Computer Science (1.296)
- Engineering (717)
- Machine Learning (591)
- Software (569)
- Artificial Intelligence (558)
- Physical Sciences (537)
- Life Sciences & Biomedicine (497)
- Computer Science, Information Systems (445)
- Engineering, Electrical & Electronic (375)
- Neural Networks (368)
- Computer Science, Theory & Methods (351)
- Methods (328)
- Humans (294)
- Automation (287)
- Studies (286)
- Computer Science, Artificial Intelligence (276)
- Datasets (272)
-
Mais opções
Data de Publicação
- Antes de1993 (14)
- 1993Até2000 (43)
- 2001Até2008 (238)
- 2009Até2017 (912)
- Após 2017 (1.506)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (1.636)
- EZB Electronic Journals Library (1.526)
- DOAJ Directory of Open Access Journals (1.387)
- Gale Academic OneFile Select (1.241)
- ROAD: Directory of Open Access Scholarly Resources (1.215)
- Springer journals (967)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (815)
- Springer Nature - Springer Journals All 2022 (750)
- IngentaConnect Journals (686)
- PubMed Central (605)
- Academic Search Premier (487)
- EBSCOhost Computers and Applied Sciences Complete (472)
- Journals@Ovid Complete (442)
- EBSCO_MEDLINE Complete（医学期刊全文数据库） (389)
- Springer Open Access (319)
- Open Access: BioMedCentral Open Access Titles (154)
- Aerospace Database (128)
- ANTE: Abstracts in New Technology & Engineering (126)
- Wiley Online Library All Journals (124)
- Materials Research Database (105)
-
Mais opções
Idioma
Nome da Publicação
- Bmc Bioinformatics (90)
- Sensors (90)
- Applied Sciences (88)
- Plos One (81)
- Electronics (81)
- International Journal Of Advanced Computer Science & Applications (56)
- International Journal Of Parallel Programming (44)
- The Journal Of Supercomputing (37)
- Journal Of Physics: Conference Series (34)
- Journal Of Physics. Conference Series (34)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 