Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Quantum Computation Workbook / Mahn-Soo Choi
| A Quantum Computation Workbook / Mahn-Soo Choi |
| Autore | Choi, Mahn-Soo |
| Pubbl/distr/stampa | Cham, : Springer, 2022 |
| Descrizione fisica | x, 436 p. : ill. ; 24 cm |
| Soggetto topico |
81-XX - Quantum theory [MSC 2020]
81P68 - Quantum computation [MSC 2020] |
| Soggetto non controllato |
Mathematica application
Mathematica software Quantum Information Quantum Simulators Quantum algorithms Quantum computation Quantum error correction codes Quantum simulation software Symbolic calculation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283315 |
Choi, Mahn-Soo
|
||
| Cham, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Compact Representations for the Design of Quantum Logic / Philipp Niemann, Robert Wille
| Compact Representations for the Design of Quantum Logic / Philipp Niemann, Robert Wille |
| Autore | Niemann, Philipp |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | viii, 125 p. : ill. ; 24 cm |
| Altri autori (Persone) | Wille, Robert |
| Soggetto topico |
81P68 - Quantum computation [MSC 2020]
81-XX - Quantum theory [MSC 2020] 03G12 - Quantum logic [MSC 2020] 68Q12 - Quantum algorithms and complexity in the theory of computing [MSC 2020] |
| Soggetto non controllato |
Binary Decision Diagrams
Boolean logic QMDD Quantum Decision Diagrams Quantum circuit simulation Quantum computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0183366 |
|
Niemann, Philipp
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Compact Representations for the Design of Quantum Logic / Philipp Niemann, Robert Wille
| Compact Representations for the Design of Quantum Logic / Philipp Niemann, Robert Wille |
| Autore | Niemann, Philipp |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | viii, 125 p. : ill. ; 24 cm |
| Altri autori (Persone) | Wille, Robert |
| Soggetto topico |
03G12 - Quantum logic [MSC 2020]
68Q12 - Quantum algorithms and complexity in the theory of computing [MSC 2020] 81-XX - Quantum theory [MSC 2020] 81P68 - Quantum computation [MSC 2020] |
| Soggetto non controllato |
Binary Decision Diagrams
Boolean logic QMDD Quantum Decision Diagrams Quantum circuit simulation Quantum computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00183366 |
|
Niemann, Philipp
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Experiments on flux qubits with pi-shifters
| Experiments on flux qubits with pi-shifters |
| Autore | Feofanov Alexey |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2011 |
| Descrizione fisica | 1 online resource (XI, 110 p. p.) |
| Collana | Experimental Condensed Matter Physics / Karlsruher Institut für Technologie, Physikalisches Institut |
| Soggetto topico | Physics |
| Soggetto non controllato |
Circuit quantum electrodynamics
Ferromagnet Josephson devices Quantum computation Superconductivity |
| ISBN | 1000022237 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346906603321 |
|
Feofanov Alexey
|
||
| KIT Scientific Publishing, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Interaction : Eddington, Wheeler, and the Limits of Knowledge / Ian T. Durham, Dean Rickles editors
| Information and Interaction : Eddington, Wheeler, and the Limits of Knowledge / Ian T. Durham, Dean Rickles editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxiii, 212 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00A79 (77-XX) - Physics [MSC 2020] 00-XX - General and overarching topics; collections [MSC 2020] |
| Soggetto non controllato |
Arthur Stanley Eddington
Epistemic vs. Ontic Interpretations Foundations of Information John Archibald Wheeler Ontology of Information Physics of Information Quantum computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0189405 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Information and Interaction : Eddington, Wheeler, and the Limits of Knowledge / Ian T. Durham, Dean Rickles editors
| Information and Interaction : Eddington, Wheeler, and the Limits of Knowledge / Ian T. Durham, Dean Rickles editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxiii, 212 p. : ill. ; 24 cm |
| Soggetto topico |
00-XX - General and overarching topics; collections [MSC 2020]
00A79 (77-XX) - Physics [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Arthur Stanley Eddington
Epistemic vs. Ontic Interpretations Foundations of Information John Archibald Wheeler Ontology of Information Physics of Information Quantum computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00189405 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Modern Discrete Mathematics and Analysis : With Applications in Cryptography, Information Systems and Modeling / Nicholas J. Daras, Themistocles M. Rassias editors
| Modern Discrete Mathematics and Analysis : With Applications in Cryptography, Information Systems and Modeling / Nicholas J. Daras, Themistocles M. Rassias editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xi, 521 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
11-XX - Number theory [MSC 2020] 94-XX - Information and communication theory, circuits [MSC 2020] 14-XX - Algebraic geometry [MSC 2020] 49-XX - Calculus of variations and optimal control; optimization [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 81-XX - Quantum theory [MSC 2020] 60-XX - Probability theory and stochastic processes [MSC 2020] 34-XX - Ordinary differential equations [MSC 2020] 41-XX - Approximations and expansions [MSC 2020] 78-XX - Optics, electromagnetic theory [MSC 2020] 74-XX - Mechanics of deformable solids [MSC 2020] 97-XX - Mathematics education [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Air Defense Systems
Cipher Machines Communications Security Computer security Cryptosystems Cyber-warfare Data encryption Information security Infrared Systems Mathematical modeling Military Imaging Systems Military Logistics Military Operations Research Network Security Optical Communication Systems Prediction Theory Quantum Cryptography Quantum computation Radar Sonar Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124870 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Modern Discrete Mathematics and Analysis : With Applications in Cryptography, Information Systems and Modeling / Nicholas J. Daras, Themistocles M. Rassias editors
| Modern Discrete Mathematics and Analysis : With Applications in Cryptography, Information Systems and Modeling / Nicholas J. Daras, Themistocles M. Rassias editors |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xi, 521 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
14-XX - Algebraic geometry [MSC 2020] 34-XX - Ordinary differential equations [MSC 2020] 41-XX - Approximations and expansions [MSC 2020] 49-XX - Calculus of variations and optimal control; optimization [MSC 2020] 60-XX - Probability theory and stochastic processes [MSC 2020] 65-XX - Numerical analysis [MSC 2020] 68-XX - Computer science [MSC 2020] 74-XX - Mechanics of deformable solids [MSC 2020] 78-XX - Optics, electromagnetic theory [MSC 2020] 81-XX - Quantum theory [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] 94-XX - Information and communication theory, circuits [MSC 2020] 97-XX - Mathematics education [MSC 2020] |
| Soggetto non controllato |
Air Defense Systems
Cipher Machines Communications Security Computer security Cryptosystems Cyber-warfare Data encryption Information security Infrared Systems Mathematical modeling Military Imaging Systems Military Logistics Military Operations Research Network Security Optical Communication Systems Prediction Theory Quantum Cryptography Quantum computation Radar Sonar Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124870 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.]
| Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.] |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xvi, 178 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Ambiguity in Natural and Artistic Languages
Classical and Quantum Turing Machines Entanglement Epistemic Operators Individuals, Quantifiers and Epistemic Operators Mathematical Environment of Quantum Information Non-classical logics Quantum Computer Quantum Entanglement Quantum Information and Quantum Logical Gates Quantum Logic Quantum Logical Circuits to Quantum Computational Logics Quantum computation Quantum gates Quantum teleportation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124953 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.]
| Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.] |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xvi, 178 p. : ill. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] |
| Soggetto non controllato |
Ambiguity in Natural and Artistic Languages
Classical and Quantum Turing Machines Entanglement Epistemic Operators Individuals, Quantifiers and Epistemic Operators Mathematical Environment of Quantum Information Non-classical logic Quantum Computer Quantum Entanglement Quantum Information and Quantum Logical Gates Quantum Logic Quantum Logical Circuits to Quantum Computational Logics Quantum computation Quantum gates Quantum teleportation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124953 |
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
