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 |
| ISBN | 9783031314766 |
| 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 -- StrandSpaces 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 | ||
| ||
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / / edited by John P. Gallagher, Martin Sulzmann
| Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / / edited by John P. Gallagher, Martin Sulzmann |
| Edizione | [1st ed.. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 281 p. 74 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computers Professions Electronic digital computers - Evaluation Computers, Special purpose Software Engineering Compilers and Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Special Purpose and Application-Based Systems |
| ISBN |
9783319906867
3319906860 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349422903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The global financial crisis : policies and implications : policies and implications / / John P. Gallagher and Emmett C. Wilkins, editors
| The global financial crisis : policies and implications : policies and implications / / John P. Gallagher and Emmett C. Wilkins, editors |
| Pubbl/distr/stampa | New York : , : Nova Science Publishers, Inc., , 2012 |
| Descrizione fisica | 1 online resource (218 pages) : illustrations |
| Disciplina | 330.90511 |
| Collana | Global Economic Studies |
| Soggetto topico |
Financial crises - United States
Global Financial Crisis, 2008-2009 Finance - United States Financial institutions - United States |
| ISBN | 1-61470-423-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Banking and Financial Infrastructure Continuity : Pandemic Flu, Terrorism, and Other Challenges / N. Eric Weiss -- The Global Financial Crisis : Increasing IMF Resources and the Role of Congress / Jonathan E. Sanford and Martin A. Weiss -- The Global Financial Crisis : Analysis and Policy Implications / Dick K. Nanto -- China and the Global Financial Crisis : Implications for the United States / Wayne M. Morrison -- The Global Financial Crisis : Foreign and Trade Policy Effects / Dick K. Nanto. |
| Record Nr. | UNINA-9910155024203321 |
| New York : , : Nova Science Publishers, Inc., , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||