skip to main content

Idioma:

Resultados 1 - 10 de 23.350 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar solo

Revistas arbitradas (4)

Refinado por: colección: arXiv.org

eliminar

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Artículo		An Operational Semantics for Yul Koutavas, Vasileios ; Yu-Yang, Lin ; Tzevelekos, Nikos arXiv.org, 2024-07 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
2	Material Type: Artículo		Automated Computer Program Evaluation and Projects -- Our Experiences Srinivasan, Bama ; Nehru, Mala ; Parthasarathi, Ranjani ; Mukherjee, Saswati ; Thankachan, Jeena A arXiv.org, 2024-04 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
3	Material Type: Artículo		Reasoning about Interior Mutability in Rust using Library-Defined Capabilities Poli, Federico ; Denis, Xavier ; Müller, Peter ; Summers, Alexander J arXiv.org, 2024-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
4	Material Type: Artículo		Higher-Order Asynchronous Effects Ahman, Danel ; Pretnar, Matija arXiv.org, 2024-06 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
5	Material Type: Artículo		Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil ; Tuosto, Emilio ; Yoshida, Nobuko arXiv.org, 2022-05 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
6	Material Type: Artículo		Isolating Functions at the Hardware Limit with Virtines Wanninger, Nicholas C ; Bowden, Joshua J ; Shetty, Kirtankumar ; Garg, Ayush ; Hale, Kyle C arXiv.org, 2022-03 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
7	Material Type: Artículo		Modular Information Flow through Ownership Crichton, Will ; Patrignani, Marco ; Agrawala, Maneesh ; Hanrahan, Pat arXiv.org, 2022-03 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
8	Material Type: Artículo		Anyone Can Code: Algorithmic Thinking Arya, Ali arXiv.org, 2023-11 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
9	Material Type: Artículo		Enhancing expressivity of checked corecursive streams (extended version) Ancona, Davide ; Barbieri, Pietro ; Zucca, Elena arXiv.org, 2022-02 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por
10	Material Type: Artículo		Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning Zhang, Yinger ; Cai, Hui ; Song, Xeirui ; Chen, Yicheng ; Sun, Rui ; Zheng, Jing arXiv.org, 2024-02 Ithaca: Cornell University Library, arXiv.org Texto completo disponible Recurso en línea Detalles Comentarios y Etiquetas Servicios adicionales Veces citado Citas Citado por

Resultados 1 - 10 de 23.350 para Búsqueda General

Ordenar por: Ordenar por: RelevanciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalizar los resultados

Editar

RSS

Añadir página a Mi Portal

Refine Search Results

Ampliar mis resultados

Ampliar mis resultados

Mostrar solo

Revistas arbitradas (4)

con este tema:

Realización: Logos de Redes Sociales:

Buscando en bases de datos remotas, por favor espere

Buscando por
enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar lo que tiene hasta ahora