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.
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
| Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
| Autore | Sergey Ilya |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
| Altri autori (Persone) | SergeyIlya |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
| ISBN | 3-030-99336-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910555236003321 |
Sergey Ilya
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
| Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
| Autore | Sergey Ilya |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
| Altri autori (Persone) | SergeyIlya |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
| ISBN | 3-030-99336-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464540903316 |
|
Sergey Ilya
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
| Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings |
| Autore | Panda Dhabaleswar K |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (150 pages) |
| Disciplina | 004.11 |
| Altri autori (Persone) | SullivanMichael |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networking & communications
Software Engineering Operating systems Computer architecture & logic design Network hardware |
| Soggetto non controllato |
cloud computing
computer networks computer programming computer systems CUDA distributed computer systems gpu gpus hpc microprocessor chips mpi parallel algorithms parallel architectures parallel processing systems parallel programming programming languages signal processing telecommunication systems algorithms high performance computing |
| ISBN | 3-031-10419-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478861303316 |
|
Panda Dhabaleswar K
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
| Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings |
| Autore | Panda Dhabaleswar K |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (150 pages) |
| Disciplina | 004.11 |
| Altri autori (Persone) | SullivanMichael |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networking & communications
Software Engineering Operating systems Computer architecture & logic design Network hardware |
| Soggetto non controllato |
cloud computing
computer networks computer programming computer systems CUDA distributed computer systems gpu gpus hpc microprocessor chips mpi parallel algorithms parallel architectures parallel processing systems parallel programming programming languages signal processing telecommunication systems algorithms high performance computing |
| ISBN | 3-031-10419-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910580293303321 |
|
Panda Dhabaleswar K
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [[electronic resource] ] : A Reference Model Guided Approach for Common Challenges / / edited by Zhiming Zhao, Margareta Hellström
| Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [[electronic resource] ] : A Reference Model Guided Approach for Common Challenges / / edited by Zhiming Zhao, Margareta Hellström |
| Autore | Zhao Zhiming |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (X, 373 p. 124 illus., 101 illus. in color.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Environment Special purpose computers Computers Software engineering Geography Computer Applications Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general |
| Soggetto non controllato |
Computer Applications
Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general Computer and Information Systems Applications Environmental Sciences Database Management System Software Engineering Geography cloud computing cloud providers cloud services computer networks computing resource data communication systems databases distributed computer systems distributed systems engineering grid computing internet network protocols open access parallel processing systems signal processing telecommunication networks wireless telecommunication systems Information technology: general issues The environment Expert systems / knowledge-based systems Computer networking & communications Operating systems |
| ISBN | 3-030-52829-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Supporting cross-domain system-level environmental and earth science -- ICT infrastructure for environmental and earth sciences -- Common challenges and requirements -- ENVRI reference model -- Reference model guided engineering -- Semantic and knowledge engineering using ENVRI RM -- Data curation and preservation -- Data cataloguing -- Data identification and citation -- Data processing -- Virtual infrastructure optimization -- Data provenance -- Metadata, semantic linking -- Authentication, Authorization, and Accounting -- Virtual research environment -- Case study: e.g., data subscriptions using elastic Cloud service -- Case study: e.g., D4Science: a VRE solution for RI -- Case study: LifeWatch -- Sustainability -- Future challenges. |
| Record Nr. | UNINA-9910413438503321 |
|
Zhao Zhiming
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [[electronic resource] ] : A Reference Model Guided Approach for Common Challenges / / edited by Zhiming Zhao, Margareta Hellström
| Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [[electronic resource] ] : A Reference Model Guided Approach for Common Challenges / / edited by Zhiming Zhao, Margareta Hellström |
| Autore | Zhao Zhiming |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (X, 373 p. 124 illus., 101 illus. in color.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Environment Special purpose computers Computers Software engineering Geography Computer Applications Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general |
| Soggetto non controllato |
Computer Applications
Environment, general Special Purpose and Application-Based Systems Information Systems and Communication Service Software Engineering/Programming and Operating Systems Geography, general Computer and Information Systems Applications Environmental Sciences Database Management System Software Engineering Geography cloud computing cloud providers cloud services computer networks computing resource data communication systems databases distributed computer systems distributed systems engineering grid computing internet network protocols open access parallel processing systems signal processing telecommunication networks wireless telecommunication systems Information technology: general issues The environment Expert systems / knowledge-based systems Computer networking & communications Operating systems |
| ISBN | 3-030-52829-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Supporting cross-domain system-level environmental and earth science -- ICT infrastructure for environmental and earth sciences -- Common challenges and requirements -- ENVRI reference model -- Reference model guided engineering -- Semantic and knowledge engineering using ENVRI RM -- Data curation and preservation -- Data cataloguing -- Data identification and citation -- Data processing -- Virtual infrastructure optimization -- Data provenance -- Metadata, semantic linking -- Authentication, Authorization, and Accounting -- Virtual research environment -- Case study: e.g., data subscriptions using elastic Cloud service -- Case study: e.g., D4Science: a VRE solution for RI -- Case study: LifeWatch -- Sustainability -- Future challenges. |
| Record Nr. | UNISA-996418281903316 |
|
Zhao Zhiming
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||