Resultados de 21 a 30 de 267 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 (53)
Refinado por:
tipo de recurso:
Archival Material / Manuscripts
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 21 |
Material Type: Archival Material / Manuscript
|
|
Research Experiences for Undergraduates Site: Interdisciplinary Research Experience on Accelerated Deep Learning through A Hardware-Software Collaborative ApproachZhao, Hui ; Albert, Mark2021Sem texto completo |
| 22 |
Material Type: Archival Material / Manuscript
|
|
Establishing a Journey of Inclusion, Identity and Intersectionality through Guided Pathways to Enhance Latinx Success in Engineering and Computer ScienceD'Souza, Nandika Anne, 1967 ; Quintanilla, John ; Huffman, Debbie ; Siller Carrillo, Héctor Rafael ; Ro, Hyun2021Sem texto completo |
| 23 |
Material Type: Archival Material / Manuscript
|
|
2021 GenCyber Grant Program University of North TexasFu, Song2021Sem texto completo |
| 24 |
Material Type: Archival Material / Manuscript
|
|
|
| 25 |
Material Type: Archival Material / Manuscript
|
|
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain TheoryPlotkin, Gordon ; Fiore, Marcelo PTexto completo disponível |
| 26 |
Material Type: Archival Material / Manuscript
|
|
|
| 27 |
Material Type: Archival Material / Manuscript
|
|
Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)Fiore, Marcelo P ; Plotkin, Gordon ; Power, JohnTexto completo disponível |
| 28 |
Material Type: Archival Material / Manuscript
|
|
|
| 29 |
Material Type: Archival Material / Manuscript
|
|
A Per Model of Polymorphism and Recursive TypesAbadi, Martin ; Plotkin, GordonTexto completo disponível |
| 30 |
Material Type: Archival Material / Manuscript
|
|
Towards a Mathematical Operational SemanticsPlotkin, Gordon ; Turi, DanieleTexto completo disponível |
Resultados de 21 a 30 de 267 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 (53)
Refinar Meus Resultados
Assunto
- Computers (144)
- Science And Technology (130)
- Social Life And Customs (116)
- Correspondence (108)
- Emails (104)
- Clubs And Organizations (103)
- Dallas Way (95)
- Evans, Jack (81)
- Harris, George E (69)
- 99 General And Miscellaneous//mathematics, Computing, And Information Science (43)
- Gay Rights (41)
- Projects (38)
- Meetings And Conferences (36)
- Computer Program Documentation (30)
- Laboratory For Foundations Of Computer Science (29)
- Computer Science (25)
- Boards Of Directors (15)
- Data Management Plans (15)
- Emery, Robert (14)
- Government And Law (13)
-
Mais opções
Data de Publicação
- Antes de1988 (26)
- 1988Até1995 (18)
- 1996Até2003 (50)
- 2004Até2013 (124)
- Após 2013 (29)
-
Mais opções
Base de Dados/Biblioteca
- University of Edinburgh dspace (29)
- Gallica - All content. (24)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (3)
- EZB Electronic Journals Library (3)
- SpringerLINK Lecture Notes in Computer Science (2015) (3)
- U.S. Government Documents (2)
- Free E- Journals (2)
- ScienceDirect® (1)
- Springer Nature - Complete Springer Journals (1)
- Springer Nature - Springer Journals All 2022 (1)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access (1)
-
Mais opções
Idioma
- Inglês (243)
- Francês (24)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 