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 online resource (XXI, 412 p. p.) |
| Soggetto non controllato |
concurrency
formal semantics Java memory model type safety |
| 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 online resource (476 p.) |
| Soggetto topico | Research & information: general |
| Soggetto non controllato |
adaptation
agriculture sector agroforest agroforestry agroforestry coffee agroforestry concessions anastomosis artesian wells assisted natural regeneration (ANR) belowground biodiversity boundary work Bungoma cacao agroforestry carbon payment carbon sequestration carbon storage certification climate adaptation climate change mitigation co-investment cocoa cocoa agroforestry coffee coinvestment cost efficiency cost-benefit analysis deforestation ecohydrology economic benefits economics ecosystem services entrainment environmental stewardship equity erosion farmer perspectives farmer tree preference financial analysis forest and landscape restoration (FLR) forest classification forest conversion forest-water-people nexus Fraxinus dimorpha fruit tree-based agroforestry fruit trees global grazing management inceptisols independent smallholders index of root anchoring innovation transfer instrumental values intention Jambi Java Kisumu land restoration land suitability land-use change landscape landscape approach landscape restoration legality livelihoods Mount Bromo-Tengger mycorrhizal attributes n/a nationally determined contribution natural habitats on-farm planned comparison options by context Oryza overland flow paddy cultivation pairwise ranking palm oil participatory and integrative research-extension participatory methods payment for ecosystem services Peru planted forest Pontoscolex corethrurus potential expansion areas relational values remittances representative concentration pathway resource competition restoration returning migrants rights-based approach rodents root length density root tensile strength rural-urban scenario evaluation shade tree species silvopastoral silvopasture slope stability social-ecological systems soil chemical characteristics soil engineers soil macro-porosity soil macroporosity soil organic carbon soil restoration soil shear strength soil water availability stakeholders stewardship stocktake Sulawesi Sumatra sustainable development goals (SDGs) sustainable intensification systems improvement throughfall traditional ecological knowledge tree cover tree planting tree seedling survival trees trees on farm trimming tropical forests uptake and expansion utility value Vietnam village savings and loan associations water water balance West Kalimantan |
| 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 | ||
| ||
