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 | ||
| ||
Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors
| Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xv, 201 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Q65 - Abstract data types; algebraic specification [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Boolean algebra Boolean functions Coalgebra Computer Programming Computer Vision Database Dynamical systems Formal logic Functors Game Theory Image Processing Mathematics Matrix algebra Semantical models Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248772 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Essential Python for the Physicist / Giovanni Moruzzi
| Essential Python for the Physicist / Giovanni Moruzzi |
| Autore | Moruzzi, Giovanni |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | x, 302 p. : ill. ; 24 cm |
| Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
65-XX - Numerical analysis [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Computational physics
Computer Programming Computer modeling Numerical methods Python for Physics Scientific computer animation Scientific computer graphics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00226570 |
Moruzzi, Giovanni
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Never Split Tens! : a Biographical Novel of Blackjack Game Theorist Edward O. Thorp. PLUS : Tips and Techniques to Help You Win / Les Golden ; Illustrations by the author
| Never Split Tens! : a Biographical Novel of Blackjack Game Theorist Edward O. Thorp. PLUS : Tips and Techniques to Help You Win / Les Golden ; Illustrations by the author |
| Autore | Golden, Leslie M. |
| Pubbl/distr/stampa | Cham, : Copernicus, 2017 |
| Descrizione fisica | xx, 288 p. : ill. ; 24 cm |
| Soggetto topico |
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
91A60 - Probabilistic games; gambling [MSC 2020] 91Gxx - Actuarial science and mathematical finance [MSC 2020] |
| Soggetto non controllato |
1963 Fall Joint Computer Conference
Allan Wilson Blackjack card game Card Counting Casino Operations Computer Programming Edward Thorp Four Horsemen of Aberdeen Gambling Methods Gambling Systems Harvey Dubner Julian Braun Kelly criterion Manny Kimmel Monte-Carlo Simulation Probability theory Sampling without replacement Vivian Thorp |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124031 |
|
Golden, Leslie M.
|
||
| Cham, : Copernicus, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Part 1. / Meikang Qiu editor
| Part 1. / Meikang Qiu editor |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xxvii, 734 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Computer Hardware Computer Networks Computer Programming Computer Science Computer Systems Correlation analysis Distributed Systems Distributed computer systems Embedded Systems Microprocessor Chips Network Protocols Parallel algorithms Parallel architectures Parallel processing systems Processors Signal Processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00248656 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Python for agriculturists / Muhammad Azhar Iqbal
| Python for agriculturists / Muhammad Azhar Iqbal |
| Autore | Iqbal, Muhammad A. |
| Pubbl/distr/stampa | Cham, : Springer, 2025 |
| Descrizione fisica | 1 testo elettronico (XIII, 306 p. : ill.) |
| Disciplina | 630(Agricoltura e tecnologie connesse) |
| Soggetto non controllato |
Agricultural Data Analysis
Agricultural Problem Solving Computer Programming Digital Agriculture Python Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00308787 |
|
Iqbal, Muhammad A.
|
||
| Cham, : Springer, 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||