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.
Concise Guide to Software Verification : From Model Checking to Annotation Checking / / by Marieke Huisman, Anton Wijs
| Concise Guide to Software Verification : From Model Checking to Annotation Checking / / by Marieke Huisman, Anton Wijs |
| Autore | Huisman Marieke |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (IX, 248 p. 146 illus., 127 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Texts in Computer Science |
| Soggetto topico |
Computer programs - Testing
Software engineering Number theory Software Testing Software Engineering Computational Number Theory |
| ISBN | 3-031-30167-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Background on First-Order Logic and Set Theory -- 3. System Modelling -- 4. Crash Course on Temporal Logic and its Verification -- 5. Software Analysis -- 6. Crash Course on Design by Contract Specifications -- 7. Run-time checking of Design by Contract Specifications -- 8. Static Checking of Design by Contract Specification -- 9. Abstract Specifications. |
| Record Nr. | UNINA-9910735783103321 |
Huisman Marieke
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Continued Fractions : A Modern and Classical Journey into the World of Siegel's Continued Fractions / / by Carsten Elsner, Christopher Robin Havens
| Continued Fractions : A Modern and Classical Journey into the World of Siegel's Continued Fractions / / by Carsten Elsner, Christopher Robin Havens |
| Autore | Elsner Carsten |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (562 pages) |
| Disciplina | 512.7 |
| Altri autori (Persone) | HavensChristopher Robin |
| Collana | Mathematics and Statistics Series |
| Soggetto topico |
Number theory
Number Theory Computational Number Theory |
| ISBN | 3-031-99546-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I. A classical introduction to continued fractions and quadratic convergents -- II. The Zopf constant [1,2,3,...] and its relatives -- III. Matrices and transducers: The computational theory of continued fractions -- IV. The theory of conversions from irregular to regular Hurwitz continued fractions -- V. On a refinement of the irrationality measure -- VI. Appendix. |
| Record Nr. | UNINA-9911031633703321 |
|
Elsner Carsten
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Foundations for Post-Quantum Cryptography : Crypto-Math CREST / / edited by Tsuyoshi Takagi, Masato Wakayama, Noboru Kunihiro, Keisuke Tanaka, Kazufumi Kimoto, Momonari Kudo
| Mathematical Foundations for Post-Quantum Cryptography : Crypto-Math CREST / / edited by Tsuyoshi Takagi, Masato Wakayama, Noboru Kunihiro, Keisuke Tanaka, Kazufumi Kimoto, Momonari Kudo |
| Edizione | [1st ed. 2026.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 |
| Descrizione fisica | 1 online resource (IX, 496 p. 46 illus., 25 illus. in color.) |
| Disciplina | 530.15 |
| Collana | Mathematics for Industry |
| Soggetto topico |
Mathematical physics
Geometry, Algebraic Number theory Mathematical Physics Algebraic Geometry Computational Number Theory |
| ISBN | 9789819612185 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Algebraic Geometry -- 2. Number Theory -- 3. Theory of Computation -- 4. Quantum Computation -- 5. Quantum Field Theory -- 6. Mathematical Physics -- 7. Representation Theory -- 8. Lattice Theory -- 9. Multivariate Polynomial Theory -- 10. Data Encryption -- 11. Digital Signature -- 12. Searchable Encryption -- 13. Obfuscation -- 14. Privacy Protection -- 15. Copyright Protection -- 16. ID-based Encryption. |
| Record Nr. | UNINA-9911046012703321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modern Cryptography : Applied Mathematics for Encryption and Information Security / / by William Easttom
| Modern Cryptography : Applied Mathematics for Encryption and Information Security / / by William Easttom |
| Autore | Easttom Chuck |
| Edizione | [2nd ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (460 pages) |
| Disciplina | 005.8 |
| Collana | Computer Science Series |
| Soggetto topico |
Telecommunication
Data structures (Computer science) Information theory Number theory Data protection Computational intelligence Statistics Communications Engineering, Networks Data Structures and Information Theory Computational Number Theory Data and Information Security Computational Intelligence Applied Statistics |
| ISBN |
9783031123047
9783031123030 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. History of Cryptography to the 1800s -- Chapter 2. History of Cryptography from the 1800’s -- Chapter 3. Basic Information Theory -- Chapter 4. Essential Number Theory and Discrete Math -- Chapter 5. Essential Algebra -- Chapter 6. Fiestel Networks -- Chapter 7. Substitution-Permutation Networks -- Chapter 8. S-Box Design -- Chapter 9. Cryptographic Hashes -- Chapter 10. Asymmetric Algorithms -- Chapter 11. Elliptic Curve Cryptography -- Chapter 12. Random Number Generators -- Chapter 13.SSL/TLS -- Chapter 14. Virtual Private networks, Authentication, And Wireless Security -- Chapter 15. Military Applications -- Chapter 16. Steganography -- Chapter 17. Cryptanalysis -- Chapter 18. Cryptographic Backdoors -- Chapter 19. Quantum Computing and Cryptography. |
| Record Nr. | UNINA-9910624391103321 |
|
Easttom Chuck
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic Mathematics with Python / / by Hugo D. Junghenn
| Symbolic Mathematics with Python / / by Hugo D. Junghenn |
| Autore | Junghenn Hugo D |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (180 pages) |
| Disciplina | 004.0151 |
| Collana | Synthesis Lectures on Mathematics & Statistics |
| Soggetto topico |
Computer science - Mathematics
Mathematics - Data processing Number theory Mathematics Mathematics of Computing Computational Mathematics and Numerical Analysis Computational Number Theory Mathematical Applications in Computer Science Symbolic and Algebraic Manipulation |
| ISBN |
9783031905223
9783031905216 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Python Essentials -- Number Theory -- Rational Arithmetic -- Matrix Algebra -- Polynomial Algebra -- Polynomial Applications -- Multivariate Rational Algebra -- Differentiation -- Integration. |
| Record Nr. | UNINA-9911018763403321 |
|
Junghenn Hugo D
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
