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.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [[electronic resource] ] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
| Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [[electronic resource] ] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| Soggetto non controllato |
Computer Programming
Computer Software Computers |
| ISBN |
9783031314766
9783031314759 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Strategies in Conditional Narrowing Modulo SMT Plus Axioms -- Optimizing Maude Programs via Program Specialization -- Automated Synthesis of Software Contracts with KindSpec -- Abstract Interpretation of Graphs -- Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming -- Grammar Induction for Under-resourced Languages: The Case of Ch'ol -- Answer Set Programming Made Easy -- The role of Abstraction in Model Checking -- Justifications and a Reconstruction of Parity Game Solving Algorithms -- SMT-based Test-Case Generation and Validation for Programs with Complex Specifications -- Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation -- Modularization of Logic Programs -- Proof-theoretic Foundations of Normal Logic Programs -- A Discourse on Guessing and Reasoning -- Reversible Debugging in Logic Programming -- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning -- Strand Spaces with Choice via a Process Algebra Semantics. |
| Record Nr. | UNISA-996534466503316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
| Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (363 pages) |
| Disciplina |
004
005.131 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| Soggetto non controllato |
Computer Programming
Computer Software Computers |
| ISBN |
9783031314766
9783031314759 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Strategies in Conditional Narrowing Modulo SMT Plus Axioms -- Optimizing Maude Programs via Program Specialization -- Automated Synthesis of Software Contracts with KindSpec -- Abstract Interpretation of Graphs -- Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming -- Grammar Induction for Under-resourced Languages: The Case of Ch'ol -- Answer Set Programming Made Easy -- The role of Abstraction in Model Checking -- Justifications and a Reconstruction of Parity Game Solving Algorithms -- SMT-based Test-Case Generation and Validation for Programs with Complex Specifications -- Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation -- Modularization of Logic Programs -- Proof-theoretic Foundations of Normal Logic Programs -- A Discourse on Guessing and Reasoning -- Reversible Debugging in Logic Programming -- Towards Systematically Engineering Autonomous Systems using Reinforcement Learning and Planning -- Strand Spaces with Choice via a Process Algebra Semantics. |
| Record Nr. | UNINA-9910725100503321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Foundations of Software Engineering : A Practical Guide to Essentials / / Gerard O'Regan
| Mathematical Foundations of Software Engineering : A Practical Guide to Essentials / / Gerard O'Regan |
| Autore | O'Regan Gerard |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (XXXVII, 519 p. 152 illus., 96 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Texts in Computer Science Series |
| Soggetto topico |
Software engineering
Software engineering - Mathematics |
| Soggetto non controllato |
Computer Software
Computer Programming Computers |
| ISBN | 3-031-26212-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Fundamentals of Software Engineering -- 2. Software Engineering Mathematics -- 3. Mathematical Prerequisites -- 4. Introduction to Algorithms -- 5 -- Algebra -- 6. Mathematical Induction and Recursion -- 7. Graph Theory -- 8. Sequences, Series and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability and Dependability. |
| Record Nr. | UNINA-9910720078703321 |
O'Regan Gerard
|
||
| Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Foundations of Software Engineering : A Practical Guide to Essentials / / Gerard O'Regan
| Mathematical Foundations of Software Engineering : A Practical Guide to Essentials / / Gerard O'Regan |
| Autore | O'Regan Gerard |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (XXXVII, 519 p. 152 illus., 96 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Texts in Computer Science Series |
| Soggetto topico |
Software engineering
Software engineering - Mathematics |
| Soggetto non controllato |
Computer Software
Computer Programming Computers |
| ISBN | 3-031-26212-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Fundamentals of Software Engineering -- 2. Software Engineering Mathematics -- 3. Mathematical Prerequisites -- 4. Introduction to Algorithms -- 5 -- Algebra -- 6. Mathematical Induction and Recursion -- 7. Graph Theory -- 8. Sequences, Series and Permutations and Combinations -- 9. A Short History of Logic -- 10. Propositional and Predicate Logic -- 11. Advanced Topics in Logic -- 12. Language Theory and Semantics -- 13. Automata Theory -- 14. Computability and Decidability -- 15. Software Reliability and Dependability. |
| Record Nr. | UNISA-996547962803316 |
|
O'Regan Gerard
|
||
| Cham, Switzerland : , : Springer, Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Graph Structures in SQL Server and Azure SQL : Enabling Deeper Insights Using Highly Connected Data / / by Louis Davidson
| Practical Graph Structures in SQL Server and Azure SQL : Enabling Deeper Insights Using Highly Connected Data / / by Louis Davidson |
| Autore | Davidson Louis |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (244 pages) |
| Disciplina | 005.758 |
| Soggetto topico |
Microsoft software
Microsoft .NET Framework Database management Computer programming Microsoft Database Management Programming Techniques |
| Soggetto non controllato |
Computer Programming
Computers |
| ISBN |
9781484294598
9781484294581 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction to Graphs -- 2. Data Structures and Algorithms -- 3. SQL Graph Tables Basics -- 4. SQL Graph Tables: Extended Topics -- 5. Tree Data Structures -- 6. Tree Structures, Algorithms, and Performance -- 7. Other Directed Acyclic Graphs -- 8. A Graph for Testing. |
| Record Nr. | UNINA-9910725084003321 |
|
Davidson Louis
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pro Jakarta EE 10 : Open Source Enterprise Java-based Cloud-native Applications Development / / by Peter Späth
| Pro Jakarta EE 10 : Open Source Enterprise Java-based Cloud-native Applications Development / / by Peter Späth |
| Autore | Späth Peter |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (484 pages) |
| Disciplina | 060 |
| Soggetto topico |
Programming languages (Electronic computers)
Compilers (Computer programs) Computer programming Internet programming Big data Programming Language Compilers and Interpreters Programming Techniques Web Development Big Data |
| Soggetto non controllato |
Computer Programming
Internet Programming Java (Computer Program Language) Computers |
| ISBN |
9781484282144
9781484282137 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Development Workflow -- 1: Installing a Development Server -- 2: Creating and Building Projects With Eclipse -- 3: Development With NetBeans as IDE -- 4: Git and Subversion -- 5: Continuous Integration -- 6: Corporate Maven Repositories -- Part II: Advanced Web Tier Topics -- 7: Facelets -- 8: Faces Custom Components -- 9: Flows -- 10: Websockets -- 11: Frontend Technologies -- 12: Form-based Authentication -- 13: Client Certificates -- 14: REST Security -- 15: Java MVC -- Part III: Advanced Architecture-related Topics16: Microprofiles -- 17: Custom CDI -- 18: Interceptors -- 19: Bean Validation -- 20: Jakarta EE Concurrency -- 21: Batch Processing -- Part IV: Useful Supporting Technologies -- 22: XML Binding -- 23: JSON Handling -- 24: Jakarta Mail -- 25: Application Client (Groovy) -- 26: Adding Scripting Languages -- Part V: Advanced Resources-related Topics -- 27: Hibernate as ORM -- 28: Connectors -- 29: Caching -- 30: NoSQL -- Part VI: Security Enhancements -- 31: Secured JMX -- 32: Java Web Tokens with Encryption -- 33: Java Enterprise Security -- Part VII: Advanced Monitoring and Logging -- 34: Monitoring Workflow -- 35: Logging Pipeline with Fluentd -- 36: Performance Troubleshooting -- 37: Garbage Collection -- 38: Memory Troubleshooting -- 39: Custom Log4j Appender. |
| Record Nr. | UNINA-9910728385403321 |
|
Späth Peter
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Understanding Crypto Fundamentals : Value Investing in Cryptoassets and Management of Underlying Risks / / by Thomas Jeegers
| Understanding Crypto Fundamentals : Value Investing in Cryptoassets and Management of Underlying Risks / / by Thomas Jeegers |
| Autore | Jeegers Thomas |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (315 pages) |
| Disciplina | 005.11 |
| Soggetto topico | Cryptocurrencies |
| Soggetto non controllato |
Computer Programming
Computers |
| ISBN | 1-4842-9309-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Why Consider Crypto Investments? -- Chapter 1 A Brief history of Money -- Chapter 2 Complementary Currencies -- Chapter 3 Blockchain as a Force for Good -- Chapter 4 Portfolio Management Primer -- Part II What Are Cryptoassets? -- Chapter 5 Birth of a New Asset Class -- Chapter 6 Blockchain Basics -- Chapter 7 Cryptoasset Taxonomies -- Chapter 8 Types of Investments in Cryptoassets -- Part III When Is a Good Time to Invest? -- Chapter 9 Crypto Trends -- Chapter 10 Prime Time -- Part IV Where Should One Invest? -- Chapter 11 Investment Vehicles -- Part V How Should One Invest? -- Chapter 12 Investment Strategies -- Chapter 13 Non-Financial Risk Management -- Chapter 14 Financial Risk Management -- Part VI Which Assets Should One Consider? -- Chapter 15 Assessment Framework -- Chapter 16 Value Investment in Cryptoassets -- Chapter 17 Concluding Remarks -- Part VII Appendices -- Appendix A: Precursors of Cryptoassets -- Appendix B: Bitcoin's Replacement Cost Valuation -- Appendix C: Financial Products Applied to Crypto -- Appendix D: Acronyms and Abbreviations -- Appendix E: References. |
| Record Nr. | UNINA-9910728393803321 |
|
Jeegers Thomas
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||