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.
2014 International SPIN Symposium on Model Checking of Software (SPIN) : proceedings : July 21-23, 2014, San Jose, CA, USA
| 2014 International SPIN Symposium on Model Checking of Software (SPIN) : proceedings : July 21-23, 2014, San Jose, CA, USA |
| Autore | Rungta Neha S (Neha Shyam), <1979-> |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (136 pages) |
| Collana | ACM Conferences |
| ISBN | 1-4503-2452-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
SPIN 2014
Proceedings of the 2014 International SPIN Symposium on Model Checking of Software |
| Record Nr. | UNINA-9910376389803321 |
Rungta Neha S (Neha Shyam), <1979->
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2014 International Symposium on Software Testing and Analysis (ISSTA) : proceedings : July 21-25, 2014, San Jose, CA, USA
| 2014 International Symposium on Software Testing and Analysis (ISSTA) : proceedings : July 21-25, 2014, San Jose, CA, USA |
| Autore | Păsăreanu Corina S |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (460 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2645-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2014 International Symposium on Software Testing and Analysis (International Symposium on Software Testing and Analysis) : proceedings : July 21-25, 2014, San Jose, California, United States America
Proceedings of the 2014 International Symposium on Software Testing and Analysis ISSTA '14 International Symposium on Software Testing and Analysis, San Jose, CA, USA - July 21-26, 2014 |
| Record Nr. | UNINA-9910376371503321 |
|
Păsăreanu Corina S
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2014 proceedings of the International Conference on Embedded Software (EMSOFT) : October 12-17, 2014, Jaypee Greens Golf and Spa Resort, New Delhi, India / / sponsoring societies, SIGDA, SIGBED, SIGMICRO, IEEE CEDA ; in cooperation with IEEE Computer Society
| 2014 proceedings of the International Conference on Embedded Software (EMSOFT) : October 12-17, 2014, Jaypee Greens Golf and Spa Resort, New Delhi, India / / sponsoring societies, SIGDA, SIGBED, SIGMICRO, IEEE CEDA ; in cooperation with IEEE Computer Society |
| Pubbl/distr/stampa | New York : , : ACM, , 2014 |
| Descrizione fisica | 1 online resource (301 pages) |
| Soggetto topico |
Embedded computer systems - Programming
Computer software - Development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910135192603321 |
| New York : , : ACM, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2014 proceedings of the International Conference on Embedded Software (EMSOFT) : October 12-17, 2014, Jaypee Greens Golf and Spa Resort, New Delhi, India / / sponsoring societies, SIGDA, SIGBED, SIGMICRO, IEEE CEDA ; in cooperation with IEEE Computer Society
| 2014 proceedings of the International Conference on Embedded Software (EMSOFT) : October 12-17, 2014, Jaypee Greens Golf and Spa Resort, New Delhi, India / / sponsoring societies, SIGDA, SIGBED, SIGMICRO, IEEE CEDA ; in cooperation with IEEE Computer Society |
| Pubbl/distr/stampa | New York : , : ACM, , 2014 |
| Descrizione fisica | 1 online resource (301 pages) |
| Soggetto topico |
Embedded computer systems - Programming
Computer software - Development |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996280623703316 |
| New York : , : ACM, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2014 RecSys Challenge : October 10, 2014, Foster City, California, USA
| 2014 RecSys Challenge : October 10, 2014, Foster City, California, USA |
| Autore | Said Alan |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (75 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-3188-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2014 Recommender Systems Challenge
Proceedings of the 2014 Recommender Systems Challenge RecSysChallenge '14 Recommender Systems Challenge, Foster City, CA, USA - October 10 - 10, 2014 |
| Record Nr. | UNINA-9910375739403321 |
|
Said Alan
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing (JAMAICA) : proceedings : July 21, 2014, San Jose, CA, USA
| 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing (JAMAICA) : proceedings : July 21, 2014, San Jose, CA, USA |
| Autore | Budnik Christof |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2014 |
| Descrizione fisica | 1 online resource (33 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2933-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
JAMAICA 2014
Proceedings of the 2014 Workshop on Joining Academia and Industry Contributions to Test Automation and Model-Based Testing |
| Record Nr. | UNINA-9910376378003321 |
|
Budnik Christof
|
||
| [Place of publication not identified], : ACM, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015) : proceedings : August 30 - September 4, 2015, Bergamo, Italy
| 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015) : proceedings : August 30 - September 4, 2015, Bergamo, Italy |
| Autore | Di Nitto Elisabetta |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2015 |
| Descrizione fisica | 1 online resource (1068 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| ISBN | 1-4503-3675-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
ESEC/FSE '15 Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo, Italy - August 31 - September 04, 2015 |
| Record Nr. | UNINA-9910376591003321 |
|
Di Nitto Elisabetta
|
||
| [Place of publication not identified], : ACM, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2015 International Symposium on Software Testing and Analysis (ISSTA) : proceedings : July 13-17, 2015, Baltimore, MD, USA
| 2015 International Symposium on Software Testing and Analysis (ISSTA) : proceedings : July 13-17, 2015, Baltimore, MD, USA |
| Autore | Young Michal |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2015 |
| Descrizione fisica | 1 online resource (447 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Computer Science
Engineering & Applied Sciences |
| ISBN | 1-4503-3620-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2015 International Symposium on Software Testing and Analysis (International Symposium on Software Testing and Analysis) : proceedings : July 13-17, 2015, Baltimore, Maryland, United States of America
Proceedings of the 2015 International Symposium on Software Testing and Analysis ISSTA '15 International Symposium on Software Testing and Analysis, Baltimore, MD, USA - July 12-17, 2015 |
| Record Nr. | UNINA-9910376602303321 |
|
Young Michal
|
||
| [Place of publication not identified], : ACM, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The 2015 Workshop on Power-Aware Computing and Systems : October 4, 2015, Monterey, California, USA
| The 2015 Workshop on Power-Aware Computing and Systems : October 4, 2015, Monterey, California, USA |
| Pubbl/distr/stampa | New York : , : ACM, , 2015 |
| Descrizione fisica | 1 online resource (37 pages) |
| Disciplina | 004 |
| Soggetto topico |
Computer systems - Energy consumption
Computing platforms - Energy consumption |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the Workshop on Power-Aware Computing and Systems |
| Record Nr. | UNINA-9910376549103321 |
| New York : , : ACM, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2016 ACM International Conference on Computing Frontiers : proceedings : May 16-18, 2016, Como, Italy / / sponsored by SIGMICRO, Association for Computing Machinery
| 2016 ACM International Conference on Computing Frontiers : proceedings : May 16-18, 2016, Como, Italy / / sponsored by SIGMICRO, Association for Computing Machinery |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (487 pages) |
| Disciplina | 621.39 |
| Soggetto topico |
Computerssses - Technological innovations
Information technology Computer engineering |
| ISBN | 1-4503-4128-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the Association for Computing Machinery International Conference on Computing Frontiers
Proceedings of the ACM International Conference on Computing Frontiers |
| Record Nr. | UNINA-9910376161203321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pubbl/distr/stampa
-
ACM
(5974)
- Addison-Wesley (2)
- Addison Wesley (1)