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.
Automated software engineering
| Automated software engineering |
| Pubbl/distr/stampa | [Dordrecht], : Kluwer Academic Publishers |
| Disciplina | 005.1 |
| Soggetto topico |
Software engineering
Expert systems (Computer science) Génie logiciel Systèmes experts (Informatique) Programari Programes d'ordinador |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1573-7535 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142662303321 |
| [Dordrecht], : Kluwer Academic Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Database Computing for Scholarly Research : Case Studies Using the Online Cultural and Historical Research Environment / / by Sandra R. Schloen, Miller C. Prosser
| Database Computing for Scholarly Research : Case Studies Using the Online Cultural and Historical Research Environment / / by Sandra R. Schloen, Miller C. Prosser |
| Autore | Schloen Sandra R. |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XXXI, 467 p. 315 illus., 308 illus. in color.) |
| Disciplina | 001.20285 |
| Collana | Quantitative Methods in the Humanities and Social Sciences |
| Soggetto topico |
Social sciences - Statistical methods
Information retrieval Computer architecture Cultural property Statistics in Social Sciences, Humanities, Law, Education, Behavorial Sciences, Public Policy Data Storage Representation Cultural Heritage Programari |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-46696-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2: The Case for a Database Approach -- Chapter 3. OCHRE—An Item-based Approach -- Chapter 4. An Item-based Approach—Organize -- Chapter 5. An Item-Based Approach—Propertize -- Chapter 6. An Item-based Approach—Rationalize -- Chapter 7. Data Integration and Analysis -- Chapter 8. Computational Wizardry -- Chapter 9. Publication—Where Data Comes to Life!- Chapter 10. Comprehensive Case Study I -- Chapter 11. Comprehensive Case Study II -- Chapter 12. Comprehensive Case Study III -- Chapter 13. Final Thoughts. |
| Record Nr. | UNINA-9910799231203321 |
Schloen Sandra R.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of Heuristics / / edited by Rafael Martí, Panos M. Pardalos, Mauricio G.C. Resende
| Handbook of Heuristics / / edited by Rafael Martí, Panos M. Pardalos, Mauricio G.C. Resende |
| Autore | Martí Rafael |
| Edizione | [2nd ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (0 pages) |
| Disciplina | 518.1 |
| Altri autori (Persone) |
PardalosPanos M
ResendeMauricio G. C |
| Collana | Mathematics and Statistics Series |
| Soggetto topico |
Algorithms
Mathematical optimization Mathematical analysis Engineering mathematics Engineering - Data processing Computer science - Mathematics Computer software Optimization Analysis Mathematical and Computational Engineering Applications Mathematical Applications in Computer Science Mathematical Software Optimització matemàtica Anàlisi matemàtica Matemàtica per a enginyers Processament de dades Programari Algorismes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-032-00385-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Adaptive and Multi-Level Metaheuristics -- Biased Random-Key Genetic Programming -- Data Mining in Heuristics -- Deep Learning in Search Heuristics -- Evolution Strategies -- Evolutionary Algorithms -- Innovative Applications of Metaheuristics to Supervised Machine Learning -- Matheuristics by Examples -- Multi-start Methods -- Multiobjective Optimization -- Quantum-Inspired Heuristics -- Restart Strategies -- Simheuristics -- The Hybrid Metaheuristic CMSA -- Constraint-Based Local Search -- Guided Local Search -- Theory of Local Search. |
| Record Nr. | UNINA-9911034939503321 |
|
Martí Rafael
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra / / by David A. Cox, John Little, Donal O'Shea
| Ideals, Varieties, and Algorithms : An Introduction to Computational Algebraic Geometry and Commutative Algebra / / by David A. Cox, John Little, Donal O'Shea |
| Autore | Cox David A |
| Edizione | [5th ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (665 pages) |
| Disciplina | 516.3/5 |
| Altri autori (Persone) |
LittleJohn
O'SheaDonal |
| Collana | Undergraduate Texts in Mathematics |
| Soggetto topico |
Geometry, Algebraic
Commutative algebra Commutative rings Logic, Symbolic and mathematical Computer software Algebraic Geometry Commutative Rings and Algebras Mathematical Logic and Foundations Mathematical Software Geometria algebraica Anells commutatius Àlgebra commutativa Programari |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031918414
9783031918407 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Notation for Sets and Functions -- 1 Geometry, Algebra, and Algorithms -- 2 Groebner Bases -- 3 Elimination Theory -- 4 The Algebra-Geometry Dictionary -- 5 Polynomial and Rational Functions on a Variety -- 6 Robotics and Automatic Geometric Theorem Proving -- 7 Invariant Theory of Finite Groups -- 8 Projective Algebraic Geometry -- 9 The Dimension of a Variety -- 10 Additional Groebner Basis Algorithms -- Appendix A Some Concepts from Algebra -- Appendix B Pseudocode -- Appendix C Computer Algebra Systems -- Appendix D Independent Projects -- References -- Index. |
| Record Nr. | UNINA-9911022157503321 |
|
Cox David A
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Intelligent Crowdsourced Testing / / by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng
| Intelligent Crowdsourced Testing / / by Qing Wang, Zhenyu Chen, Junjie Wang, Yang Feng |
| Autore | Wang Qing |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (251 pages) |
| Disciplina | 929.605 |
| Soggetto topico |
Computer programs - Testing
Software engineering - Management Software Testing Software Management Programari Assaigs (Tecnologia) |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 981-16-9643-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Preliminary of Crowdsourced Testing -- 1 Introduction -- 2 Preliminaries -- 3 Book Structure -- Part II Supporting Technology for Crowdsourced Testing Workers -- 4 Characterization of Crowd Worker -- 5 Task Recommendation for Crowd Worker -- Part III Supporting Technology for Crowdsourced Testing Tasks -- 6 Crowd Worker Recommendation for Testing Task -- 7 Crowdsourced Testing Task Management -- Part IV Supporting Technology for Crowdsourced Testing Results -- 8 Classification of Crowdsourced Testing Reports -- 9 Duplicate Detection of Crowdsourced Testing Reports -- 10 Prioritization of Crowdsourced Testing Reports -- 11 Summarization of Crowdsourced Testing Reports -- 12 Quality Assessment of Crowdsourced Testing Cases -- Part V Conclusions and Future Perspectives -- 13 Conclusions -- 14 Perspectives. |
| Record Nr. | UNINA-9910578696503321 |
|
Wang Qing
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
International journal on software tools for technology transfer : STTT
| International journal on software tools for technology transfer : STTT |
| Pubbl/distr/stampa | Berlin, : Springer, 1997- |
| Disciplina | 005 |
| Soggetto topico |
Computer software - Development
Systems software Technology transfer Computer programming - Management Logiciels Programació (Ordinadors) Programari Transferència de tecnologia |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1433-2787 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
STTT
Software tools for technology transfer |
| Record Nr. | UNINA-9910138872003321 |
| Berlin, : Springer, 1997- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practicing R for Statistical Computing / / by Muhammad Aslam, Muhammad Imdad Ullah
| Practicing R for Statistical Computing / / by Muhammad Aslam, Muhammad Imdad Ullah |
| Autore | Aslam Muhammad |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (300 pages) |
| Disciplina | 005.55 |
| Altri autori (Persone) | Imdad UllahMuhammad |
| Soggetto topico |
Mathematical statistics—Data processing
Statistics—Computer programs Statistics and Computing Statistical Software R (Llenguatge de programació) Estadística Programari |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 981-9928-86-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. R Language: Introduction -- Chapter 2. Obtaining and Installing R Language -- Chapter 3. Using R as a Calculator -- Chapter 4. Data Mode and Data Structure -- Chapter 5. Working with Data -- Chapter 6. Descriptive Statistics -- Chapter 7. Probability and Probability Distributions -- Chapter 8. Confidence Intervals and Comparison Tests -- Chapter 9. Correlation & Regression Analysis -- Chapter 10. Graphing in R -- Chapter 11. Control Flow: election and Iteration -- Chapter 12. Functions and R Resources -- Chapter 13. Common Errors and Mistakes -- Chapter 14. Functions for Better Programming -- Chapter 15. Some Useful Functions -- Chapter 16. Important Packages. |
| Record Nr. | UNINA-9910735777603321 |
|
Aslam Muhammad
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Requirements engineering
| Requirements engineering |
| Pubbl/distr/stampa | London, : Springer-Verlag |
| Descrizione fisica | 1 online resource |
| Disciplina | 005.1 |
| Soggetto topico |
Requirements engineering
Software engineering Computer software - Development Logiciels - Développement Génie logiciel Programari Programes d'ordinador |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1432-010X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910138887403321 |
| London, : Springer-Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software concepts & tools
| Software concepts & tools |
| Pubbl/distr/stampa | Berlin, : Springer, -©2000 |
| Soggetto topico |
Computer software
Logiciels Zeitschrift Online-Ressource Software Online-Publikation Programació (Ordinadors) Programari |
| Soggetto genere / forma |
Periodicals.
Zeitschrift Online-Publikation Revistes electròniques. |
| ISSN | 1432-2188 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Software concepts and tools |
| Record Nr. | UNINA-9910482001903321 |
| Berlin, : Springer, -©2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software process improvement and practice
| Software process improvement and practice |
| Pubbl/distr/stampa | [Chichester, Sussex, England], : John Wiley & Sons |
| Descrizione fisica | 1 online resource |
| Disciplina | 005 |
| Soggetto topico |
Computer software
Software engineering Logiciels Génie logiciel Programari Enginyeria d'ordinadors |
| Soggetto genere / forma |
Integrating resources (Publications)
Computer network resources. Periodicals. Revistes electròniques. |
| ISSN | 1099-1670 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Software process |
| Record Nr. | UNINA-9910172115703321 |
| [Chichester, Sussex, England], : John Wiley & Sons | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Programari
(12)
- Computer software (4)
- Software engineering (4)
- Génie logiciel (3)
- Logiciels (3)