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.
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
| A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler |
| Autore | Lochbihler Andreas |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2012 |
| Descrizione fisica | 1 electronic resource (XXI, 412 p. p.) |
| Soggetto non controllato |
Java
formal semantics type safety memory model concurrency |
| ISBN | 1000028867 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Machine-Checked, Type-Safe Model of Java Concurrency
A Machine-Checked, Type-Safe Model of Java Concurrency |
| Record Nr. | UNINA-9910346893103321 |
Lochbihler Andreas
|
||
| KIT Scientific Publishing, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A practical introduction to data structures and algorithm analysis : Java edition / Clifford A. Shaffer
| A practical introduction to data structures and algorithm analysis : Java edition / Clifford A. Shaffer |
| Autore | Shaffer, Clifford A. |
| Pubbl/distr/stampa | Upper Saddle River (N.J.) : Prentice Hall, c1998 |
| Descrizione fisica | xvii, 488 p. : ill. ; 25 cm |
| Disciplina | 005.133 |
| Soggetto non controllato |
Computer science - Linguaggi di programmazione
Java |
| ISBN | 0-13-660911-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001439110403321 |
|
Shaffer, Clifford A.
|
||
| Upper Saddle River (N.J.) : Prentice Hall, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Agroforestry-Based Ecosystem Services
| Agroforestry-Based Ecosystem Services |
| Autore | van Noordwijk Meine |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 electronic resource (476 p.) |
| Soggetto topico | Research & information: general |
| Soggetto non controllato |
carbon storage
cacao agroforestry farmer tree preference utility value entrainment erosion forest conversion overland flow soil macroporosity throughfall water balance boundary work ecohydrology forest-water-people nexus landscape approach participatory methods scenario evaluation social-ecological systems tropical forests assisted natural regeneration (ANR) co-investment ecosystem services environmental stewardship equity forest and landscape restoration (FLR) rights-based approach tree planting water coffee fruit trees index of root anchoring slope stability soil shear strength root length density root tensile strength agroforestry carbon sequestration climate change mitigation grazing management land restoration nationally determined contribution silvopastoral tree cover cocoa agroforestry climate adaptation soil restoration soil organic carbon soil macro-porosity soil water availability inceptisols Fraxinus dimorpha soil chemical characteristics mycorrhizal attributes traditional ecological knowledge anastomosis agroforest silvopasture economics financial analysis carbon payment Peru innovation transfer trimming intention participatory and integrative research-extension stakeholders adaptation Kisumu Bungoma payment for ecosystem services village savings and loan associations fruit tree-based agroforestry economic benefits farmer perspectives resource competition systems improvement uptake and expansion cost-benefit analysis landscape restoration global stocktake agroforestry coffee shade tree species pairwise ranking Vietnam trees on farm options by context on-farm planned comparison tree seedling survival agriculture sector cost efficiency land suitability potential expansion areas representative concentration pathway cocoa Java livelihoods rural-urban remittances returning migrants Sumatra Sulawesi certification deforestation palm oil forest classification Jambi legality independent smallholders agroforestry concessions West Kalimantan land-use change belowground biodiversity soil engineers Pontoscolex corethrurus natural habitats planted forest artesian wells Oryza paddy cultivation restoration rodents sustainable intensification Mount Bromo-Tengger coinvestment instrumental values landscape relational values stewardship sustainable development goals (SDGs) trees |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557429103321 |
|
van Noordwijk Meine
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithms in Java / Robert Sedgewick
| Algorithms in Java / Robert Sedgewick |
| Autore | Sedgewick, Robert |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Boston (Mass.) : Addison-Wesley, c2003 |
| Descrizione fisica | xix, 737 p. : ill. ; 24 cm |
| Disciplina | 005.133 |
| Soggetto non controllato |
Linguaggi di programmazione
Java Algoritmi |
| ISBN | 0-201-36120-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | v. 1, pts. 1-4. Fundamentals, data structures, sorting, searching |
| Record Nr. | UNINA-990001499000403321 |
|
Sedgewick, Robert
|
||
| Boston (Mass.) : Addison-Wesley, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algoritmi e strutture dati in Java / Adam Drozdek ; Marcello Dalpasso (cur. ed. italiana)
| Algoritmi e strutture dati in Java / Adam Drozdek ; Marcello Dalpasso (cur. ed. italiana) |
| Autore | Drozdek, Adam |
| Pubbl/distr/stampa | Milano : Apogeo, c2001 |
| Descrizione fisica | xv, 627 p. : ill. ; 24 cm |
| Disciplina | 005.73 |
| Soggetto non controllato |
Strutture dati
Algoritmi Java |
| ISBN | 88-7303-895-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990007893570403321 |
|
Drozdek, Adam
|
||
| Milano : Apogeo, c2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algoritmi in Java : fondamenti, strutture dati, ordinamento, ricerca / Robert Sedgewick
| Algoritmi in Java : fondamenti, strutture dati, ordinamento, ricerca / Robert Sedgewick |
| Autore | Sedgewick, Robert |
| Edizione | [3 ed.] |
| Pubbl/distr/stampa | Milano : Pearson Addison Wesley, c2003 |
| Descrizione fisica | XXII, 754 p. : ill. ; 26 cm |
| Disciplina | 005.133 |
| Soggetto non controllato |
Linguaggi di programmazione
Algoritmi Java |
| ISBN | 88-7192-169-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009857180403321 |
|
Sedgewick, Robert
|
||
| Milano : Pearson Addison Wesley, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The bronze-iron age of Indonesia [[electronic resource] /] / by H. R. Van Heekeren
| The bronze-iron age of Indonesia [[electronic resource] /] / by H. R. Van Heekeren |
| Autore | Heekeren H. R. van |
| Pubbl/distr/stampa | Brill, 1958 |
| Descrizione fisica | 1 online resource (108 pages, plates) : map, tables |
| Disciplina | 571.30991 |
| Collana | Verhandelingen van het Koninklijk Instituut voor Taal-, Land-en Volkenkunde |
| Soggetto topico |
Bronze age - Indonesia
Iron age - Indonesia Bronze age Iron age |
| Soggetto non controllato |
indonesia
Dolmen Dong Son culture Jakarta Java Megalith Sarcophagus Timpani Tympan |
| ISBN | 90-04-28644-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910156507903321 |
|
Heekeren H. R. van
|
||
| Brill, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cellular automaton modeling of biological pattern formation : characterization, applications, and analysis / Andreas Deutsch, Sabine Dormann ; foreword by Philip K. Maini
| Cellular automaton modeling of biological pattern formation : characterization, applications, and analysis / Andreas Deutsch, Sabine Dormann ; foreword by Philip K. Maini |
| Autore | Deutsch, Andreas |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 2005 |
| Descrizione fisica | XXIII, 331 p. : ill. ; 24 cm |
| Altri autori (Persone) | Dormann, Sabine |
| Soggetto topico | 92-XX - Biology and other natural sciences [MSC 2020] |
| Soggetto non controllato |
Biocomputing
Development Java Modeling Pattern recognition Simulation Simulation and Modeling |
| ISBN | 08-17-64281-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISOB-VAN0065568 |
|
Deutsch, Andreas
|
||
| Boston [etc.], : Birkhäuser, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Suor Orsola Benincasa | ||
| ||
Cellular automaton modeling of biological pattern formation : characterization, applications, and analysis / Andreas Deutsch, Sabine Dormann ; foreword by Philip K. Maini
| Cellular automaton modeling of biological pattern formation : characterization, applications, and analysis / Andreas Deutsch, Sabine Dormann ; foreword by Philip K. Maini |
| Autore | Deutsch, Andreas |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 2005 |
| Descrizione fisica | XXIII, 331 p. : ill. ; 24 cm |
| Altri autori (Persone) | Dormann, Sabine |
| Soggetto topico | 92-XX - Biology and other natural sciences [MSC 2020] |
| Soggetto non controllato |
Biocomputing
Development Java Modeling Pattern recognition Simulation Simulation and Modeling |
| ISBN | 08-17-64281-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0065568 |
|
Deutsch, Andreas
|
||
| Boston [etc.], : Birkhäuser, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cellular automaton modeling of biological pattern formation : characterization, applications, and analysis / Andreas Deutsch, Sabine Dormann ; foreword by Philip K. Maini
| Cellular automaton modeling of biological pattern formation : characterization, applications, and analysis / Andreas Deutsch, Sabine Dormann ; foreword by Philip K. Maini |
| Autore | Deutsch, Andreas |
| Pubbl/distr/stampa | Boston [etc.], : Birkhäuser, 2005 |
| Descrizione fisica | XXIII, 331 p. : ill. ; 24 cm |
| Altri autori (Persone) | Dormann, Sabine |
| Soggetto topico | 92-XX - Biology and other natural sciences [MSC 2020] |
| Soggetto non controllato |
Biocomputing
Development Java Modeling Pattern recognition Simulation Simulation and Modeling |
| ISBN | 08-17-64281-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00065568 |
|
Deutsch, Andreas
|
||
| Boston [etc.], : Birkhäuser, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
