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.
SWAT4LS 2011 : 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
| SWAT4LS 2011 : 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences |
| Autore | Paschke Adrian |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (139 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Semantic Web Applications and Tools for the Life Sciences 2011 : 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences SWAT4LS '11 4th Int. Workshop on Semantic Web Applications and Tools for Life Sciences, London, United Kingdom - December 07 - 09, 2011 |
| Record Nr. | UNINA-9910376136703321 |
Paschke Adrian
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactional Memory. Foundations, Algorithms, Tools, and Applications [[electronic resource] ] : COST Action Euro-TM IC1001 / / edited by Rachid Guerraoui, Paolo Romano
| Transactional Memory. Foundations, Algorithms, Tools, and Applications [[electronic resource] ] : COST Action Euro-TM IC1001 / / edited by Rachid Guerraoui, Paolo Romano |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 469 p. 133 illus.) |
| Disciplina | 005.758 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Software engineering Computer Science Logic and Foundations of Programming Software Engineering |
| ISBN | 3-319-14720-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM systems -- Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications. |
| Record Nr. | UNISA-996211262303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactional Memory. Foundations, Algorithms, Tools, and Applications : COST Action Euro-TM IC1001 / / edited by Rachid Guerraoui, Paolo Romano
| Transactional Memory. Foundations, Algorithms, Tools, and Applications : COST Action Euro-TM IC1001 / / edited by Rachid Guerraoui, Paolo Romano |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 469 p. 133 illus.) |
| Disciplina | 005.758 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer science Software engineering Computer Science Logic and Foundations of Programming Software Engineering |
| ISBN | 3-319-14720-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations -- Programming language integration and verification tools -- Hardware supports -- Distributed TM systems -- Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications. |
| Record Nr. | UNINA-9910483444303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||