2 resultados para Android Logica Java Deduzione Naturale Didattica
em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo
Filtro por publicador
- Repository Napier (2)
- Academic Archive On-line (Mid Sweden University; Sweden) (4)
- Academic Research Repository at Institute of Developing Economies (1)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (9)
- Adam Mickiewicz University Repository (1)
- AMS Campus - Alm@DL - Università di Bologna (2)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (24)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (190)
- Aquatic Commons (2)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (21)
- Aston University Research Archive (1)
- Biblioteca Digital - Universidad Icesi - Colombia (3)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (2)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (1)
- Biblioteca Digital de la Universidad Católica Argentina (1)
- Biblioteca Digital Loyola - Universidad de Deusto (2)
- Biblioteca Valenciana Digital - Ministerio de Educación, Cultura y Deporte - Valencia - Espanha (3)
- Bibloteca do Senado Federal do Brasil (5)
- Biodiversity Heritage Library, United States (3)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (8)
- Boston University Digital Common (4)
- Brock University, Canada (3)
- Bulgarian Digital Mathematics Library at IMI-BAS (3)
- Cambridge University Engineering Department Publications Database (2)
- CentAUR: Central Archive University of Reading - UK (10)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (9)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (1)
- Cochin University of Science & Technology (CUSAT), India (1)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- Dalarna University College Electronic Archive (6)
- Department of Computer Science E-Repository - King's College London, Strand, London (2)
- Digital Commons - Michigan Tech (1)
- DigitalCommons@The Texas Medical Center (1)
- DigitalCommons@University of Nebraska - Lincoln (2)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (9)
- DRUM (Digital Repository at the University of Maryland) (2)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (11)
- Harvard University (1)
- Helda - Digital Repository of University of Helsinki (1)
- Indian Institute of Science - Bangalore - Índia (6)
- Infoteca EMBRAPA (12)
- Instituto Politécnico de Leiria (1)
- Instituto Politécnico do Porto, Portugal (6)
- Livre Saber - Repositório Digital de Materiais Didáticos - SEaD-UFSCar (2)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (11)
- Massachusetts Institute of Technology (1)
- Ministerio de Cultura, Spain (8)
- Publishing Network for Geoscientific & Environmental Data (192)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (20)
- Queensland University of Technology - ePrints Archive (22)
- RDBU - Repositório Digital da Biblioteca da Unisinos (4)
- Repositório Aberto da Universidade Aberta de Portugal (1)
- Repositorio Académico de la Universidad Nacional de Costa Rica (1)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (2)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (4)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (2)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (1)
- Repositorio Institucional de la Universidad de La Laguna (3)
- Repositorio Institucional de la Universidad de Málaga (5)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (26)
- Research Open Access Repository of the University of East London. (1)
- Savoirs UdeS : plateforme de diffusion de la production intellectuelle de l’Université de Sherbrooke - Canada (3)
- SerWisS - Server für Wissenschaftliche Schriften der Fachhochschule Hannover (2)
- Universidad Autónoma de Nuevo León, Mexico (2)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (45)
- Universidade Complutense de Madrid (2)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (15)
- Universita di Parma (1)
- Universitat de Girona, Spain (3)
- Université de Montréal (1)
- Université de Montréal, Canada (4)
- University of Michigan (161)
- University of Queensland eSpace - Australia (15)
- University of Southampton, United Kingdom (14)
- Worcester Research and Publications - Worcester Research and Publications - UK (2)
Relevância:
Resumo:
A JME-compliant cryptographic library for mobile application development is introduced in this paper. The library allows cryptographic protocols implementation over elliptic curves with different security levels and offers symmetric and asymmetric bilinear pairings operations, as Tate, Weil, and Ate pairings.
Relevância:
Resumo:
ACR is supported by a research grant from CNPq.
