Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Foundations of Software Technology and Theoretical Computer Science: 18th Conference, Chennai, India, December 17-19, 1998. ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Arvind, Vikraman ; Ramanujam, SundarBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
|
2 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedingsV Arvind; R Ramanujam; Conference on Foundations of Software Technology and Theoretical Computer Science (18th 1998 Madras, India)Berlin Springer London c1998Localização: IME - Inst. Matemática e Estatística (S L471c v.1530 )(Acessar) |
|
3 |
Material Type: Livro
|
Computing with New Resources: Essays Dedicated to Jozef Gruska on the Occasion of His 80th BirthdayCalude, Cristian S ; Freivalds, Rusins ; Kazuo, Iwama Calude, Cristian S ; Freivalds, Rūsiņ ; Kazuo, Iwama ; Calude, Cristian S. ; Freivalds, Rūsiņš ; Kazuo, IwamaCham: Springer Nature 2014Texto completo disponível |
|
4 |
Material Type: Livro
|
Quantum computer science: an introductionN. David MerminCambridge University Press 2007Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Artigo
|
An Efficient Methodology for Mapping Quantum Circuits to the IBM QX ArchitecturesZulehner, Alwin ; Paler, Alexandru ; Wille, RobertIEEE transactions on computer-aided design of integrated circuits and systems, 2019-07, Vol.38 (7), p.1226-1236 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
6 |
Material Type: Livro
|
Quantum Attacks on Public-Key CryptosystemsYan, Song Y.Boston, MA: Springer US 2013Texto completo disponível |
|
7 |
Material Type: Artigo
|
FS-PEKS: Lattice-Based Forward Secure Public-Key Encryption with Keyword Search for Cloud-Assisted Industrial Internet of ThingsZhang, Xiaojun ; Xu, Chunxiang ; Wang, Huaxiong ; Zhang, Yuan ; Wang, ShixiongIEEE transactions on dependable and secure computing, 2021-05, Vol.18 (3), p.1019-1032Washington: IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
From the Quantum Approximate Optimization Algorithm to a Quantum Alternating Operator AnsatzHadfield, Stuart ; Wang, Zhihui ; O’Gorman, Bryan ; Rieffel, Eleanor G. ; Venturelli, Davide ; Biswas, RupakAlgorithms, 2019-02, Vol.12 (2), p.34 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
9 |
Material Type: Artigo
|
On the Need for Large Quantum DepthChia, Nai-Hui ; Chung, Kai-Min ; Lai, Ching-YiJournal of the ACM, 2023-02, Vol.70 (1), p.1-38, Article 6 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
10 |
Material Type: Livro
|
Post-Quantum Cryptography: 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, ProceedingsTakagi, Tsuyoshi Takagi, Tsuyoshi ; Takagi, TsuyoshiCham: Springer Nature 2016Texto completo disponível |