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.
Declarative Programming and Knowledge Management [[electronic resource] ] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / / edited by Michael Hanus, Ricardo Rocha
| Declarative Programming and Knowledge Management [[electronic resource] ] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / / edited by Michael Hanus, Ricardo Rocha |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 251 p. 51 illus.) |
| Disciplina | 658.4038 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Computers Computer science—Mathematics Artificial Intelligence Programming Techniques Theory of Computation Math Applications in Computer Science |
| ISBN | 3-319-08909-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs -- Sharing and Exchanging Data -- Propositional Encoding of Constraints over Tree-Shaped Data -- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry -- On Axiomatic Rejection for the Description Logic ALC -- And Action! - Monoid Actions and (Pre)orders -- HEX-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic Programming -- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets -- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over Program Transformations. |
| Record Nr. | UNISA-996213698203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / / edited by Michael Hanus, Ricardo Rocha
| Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / / edited by Michael Hanus, Ricardo Rocha |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 251 p. 51 illus.) |
| Disciplina | 658.4038 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Computers Computer science—Mathematics Artificial Intelligence Programming Techniques Theory of Computation Math Applications in Computer Science |
| ISBN | 3-319-08909-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs -- Sharing and Exchanging Data -- Propositional Encoding of Constraints over Tree-Shaped Data -- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry -- On Axiomatic Rejection for the Description Logic ALC -- And Action! - Monoid Actions and (Pre)orders -- HEX-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic Programming -- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets -- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over Program Transformations. |
| Record Nr. | UNINA-9910483494903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / / edited by Ricardo Rocha, John Launchbury
| Practical Aspects of Declarative Languages [[electronic resource] ] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / / edited by Ricardo Rocha, John Launchbury |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VIII, 265 p. 64 illus., 12 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Software engineering Mathematical logic Artificial intelligence Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-642-18378-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466061803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Terrestrial mammal conservation : global evidence for the effects of interventions for terrestrial mammals excluding bats and primates / / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, William J. Sutherland and others
| Terrestrial mammal conservation : global evidence for the effects of interventions for terrestrial mammals excluding bats and primates / / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, William J. Sutherland and others |
| Autore | Littlewood Nick A. |
| Pubbl/distr/stampa | Open Book Publishers |
| Descrizione fisica | 1 online resource (1097 pages) |
| Disciplina | 333.95416 |
| Soggetto topico | Topical Subject Heading |
| ISBN |
9781800640863
9781800640849 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557180603321 |
Littlewood Nick A.
|
||
| Open Book Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Terrestrial mammal conservation : global evidence for the effects of interventions for terrestrial mammals excluding bats and primates / / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, William J. Sutherland and others
| Terrestrial mammal conservation : global evidence for the effects of interventions for terrestrial mammals excluding bats and primates / / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, William J. Sutherland and others |
| Autore | Littlewood Nick A. |
| Pubbl/distr/stampa | Open Book Publishers |
| Descrizione fisica | 1 online resource (1097 pages) |
| Disciplina | 333.95416 |
| Soggetto topico | Habitat conservation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advisory Board -- About the authors -- Acknowledgements -- 1. About this book / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 2. Threat: Residential and commercial development / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 3. Threat: Agriculture and Aquaculture / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 4. Threat: Energy production and mining / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 5. Threat: Transportation and service corridors / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 6. Threat: Biological resource use / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 7. Threat: Human intrusions and disturbance / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 8. Threat: Natural system modifications / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 9. Threat: Invasive alien and other problematic species / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 10. Threat: Pollution / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 11. Threat: Climate change and severe weather Download Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 12. Habitat protection / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 13. Habitat restoration and creation / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 14. Species management / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- 15. Education and awareness raising / Nick A. Littlewood, Ricardo Rocha, Rebecca K. Smith, Philip A. Martin, Sarah L. Lockhart, Rebecca F. Schoonover, Elspeth Wilman, Andrew J. Bladon, Katie A. Sainsbury, Stuart Pimm and William J. Sutherland -- Appendix 1: Journals (and years) searched -- Index -- About the Team. |
| Record Nr. | UNINA-9910688310403321 |
|
Littlewood Nick A.
|
||
| Open Book Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
What Works in Conservation 2021 / William Junior Sutherland, Lynn V. Dicks, Silviu O. Petrovan, Rebecca K. Smith
| What Works in Conservation 2021 / William Junior Sutherland, Lynn V. Dicks, Silviu O. Petrovan, Rebecca K. Smith |
| Autore | Agra har’El |
| Pubbl/distr/stampa | Cambridge, : Open Book Publishers, 2021 |
| Descrizione fisica | 1 online resource (lxxiv-964 p.) |
| Altri autori (Persone) |
AldridgeDavid
AltringhamJohn D AshpoleJoscelyne E BardgettRichard D BerthinussenAnna BladonAndrew J BowkettAndrew E CarmelYohay ChildMatthew F DänhardtJuliana DicksLynn V GrillasPatrick HutchisonJames JamesKaty JonasCoral S JönssonAnnelie JunkerJessica K.H.J zu ErmgassenErasmus KeyGeorgina KühlHjalmar S LemassonAnaelle J LittlewoodNick LockhartSarah MartinPhilip MartinPhilip A MccormackCaitlin G MeredithHelen Ne’emanGidi OckendonNancy OrthLisa PetrovanSilviu O PettitLaura R PimmStuart PopleRobert G RandallNicola RichardsonOlivia C RochaRicardo SainsburyKatie A SchoonoverRebecca F SchowanekSimon ShowlerDavid A SmithRebecca K SutherlandWilliam J TaylorNigel G TimbrellLydia T TurpieSusan WalshJessica C WhitfieldMike WilliamsDavid R WilmanElspeth WrightHugh L YoungFey SutherlandWilliam Junior DicksLynn V PetrovanSilviu O SmithRebecca K |
| Soggetto topico |
Environmental Studies
practical intervention farmland soil fertility conservation environment forest environmental study amphibian bat bird invasive specie |
| ISBN | 979-1-03-652979-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | What Works in Conservation |
| Record Nr. | UNINA-9910520203303321 |
|
Agra har’El
|
||
| Cambridge, : Open Book Publishers, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||