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.
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585785003321 |
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483156703316 |
|
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools
| Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools |
| Autore | Ganchev Ivan (Telecommunications engineer) |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 401 pages 120 illustration) |
| Disciplina | 004.6 |
| Altri autori (Persone) |
van der MeiR. D
van den BergHans |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Computer system failures Special purpose computers Application software Coding theory Information theory E-commerce Computer Communication Networks System Performance and Evaluation Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Coding and Information Theory e-Commerce/e-business |
| Soggetto non controllato |
Human-Computer Interactopm (HCI)
Internet of Services (IoS) Internet of Things (IoT) data communication systems quality of service (QoS) computer networks multimedia systems user interfaces quality of experience (QoE) telecommunication networks computer systems information theory cloud computing communication channels internet telecommunication traffic |
| ISBN | 3-319-90415-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services -- Context Monitoring for Improved System Performance and QoE -- QoE Management for Future Networks -- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management -- Lag Compensation for First Person Shooter Games in Cloud Gaming -- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios -- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems -- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments -- Integrating SDN and NFV with QoS-aware Service Composition -- Energy vs. QoX Network- and Cloud Services Management -- Traffic Management for Cloud Federation -- Efficient Simulation of IoT Cloud Use Cases -- Security of Internet of Things for Reliable Internet of Services -- TCP performance over current cellular access: A comprehensive analysis. |
| Record Nr. | UNINA-9910293146403321 |
|
Ganchev Ivan (Telecommunications engineer)
|
||
| Cham : , : Springer International Publishing AG, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools
| Autonomous Control for a Reliable Internet of Services : Methods, Models, Approaches, Techniques, Algorithms, and Tools |
| Autore | Ganchev Ivan (Telecommunications engineer) |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 401 pages 120 illustration) |
| Disciplina | 004.6 |
| Altri autori (Persone) |
van der MeiR. D
van den BergHans |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Computer system failures Special purpose computers Application software Coding theory Information theory E-commerce Computer Communication Networks System Performance and Evaluation Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Coding and Information Theory e-Commerce/e-business |
| Soggetto non controllato |
Human-Computer Interactopm (HCI)
Internet of Services (IoS) Internet of Things (IoT) data communication systems quality of service (QoS) computer networks multimedia systems user interfaces quality of experience (QoE) telecommunication networks computer systems information theory cloud computing communication channels internet telecommunication traffic |
| ISBN | 3-319-90415-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | State-of-the-Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services -- Context Monitoring for Improved System Performance and QoE -- QoE Management for Future Networks -- Scalable Traffic Quality and System Efficiency Indicators towards Overall Telecommunication System's QoE Management -- Lag Compensation for First Person Shooter Games in Cloud Gaming -- The Value of Context-awareness in Bandwidth-challenging HTTP Adaptive Streaming Scenarios -- Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems -- QoS-based Elasticity for Service Chains in Distributed Edge Cloud Environments -- Integrating SDN and NFV with QoS-aware Service Composition -- Energy vs. QoX Network- and Cloud Services Management -- Traffic Management for Cloud Federation -- Efficient Simulation of IoT Cloud Use Cases -- Security of Internet of Things for Reliable Internet of Services -- TCP performance over current cellular access: A comprehensive analysis. |
| Record Nr. | UNISA-996465829503316 |
|
Ganchev Ivan (Telecommunications engineer)
|
||
| Cham : , : Springer International Publishing AG, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Boundless faith [[electronic resource] ] : the global outreach of American churches / / Robert Wuthnow
| Boundless faith [[electronic resource] ] : the global outreach of American churches / / Robert Wuthnow |
| Autore | Wuthnow Robert |
| Pubbl/distr/stampa | Berkeley, : University of California Press, c2009 |
| Descrizione fisica | 1 online resource (359 p.) |
| Disciplina | 266/.02373 |
| Soggetto topico |
Missions, American
Protestant churches - United States - Missions |
| Soggetto non controllato |
american christianity
american christians american policy american politics american religion building orphanages christianity church leaders churches computer networks congregations direct engagement evangelical foreign policy global church globalization grass roots mechanisms heterogeneity inequality micro businesses missionaries overseas mission prayer preachers religion religious advocacy religious short term volunteer efforts social organization spiritual stereotypes voice of religion |
| ISBN | 0-520-94306-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Introduction -- 1. At Home and Abroad The Changing Contours of American Religion -- 2. The Global Christianity Paradigm From Cultural Connection to Demographic Distance -- 3. Four Faces of Globalization Debating Heterogeneity and Inequality -- 4. The Evolution of Transnational Ties Changing Patterns of Social Organization -- 5. The Global Role of Congregations Bridging Borders through Direct Engagement -- 6. Faith and Foreign Policy Does Religious Advocacy Matter? -- 7. The Challenges Ahead Good for America, Good for the World? -- Appendix -- Notes -- Selected Bibliography -- Index |
| Record Nr. | UNINA-9910790261103321 |
|
Wuthnow Robert
|
||
| Berkeley, : University of California Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Boundless faith [[electronic resource] ] : the global outreach of American churches / / Robert Wuthnow
| Boundless faith [[electronic resource] ] : the global outreach of American churches / / Robert Wuthnow |
| Autore | Wuthnow Robert |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berkeley, : University of California Press, c2009 |
| Descrizione fisica | 1 online resource (359 p.) |
| Disciplina | 266/.02373 |
| Soggetto topico |
Missions, American
Protestant churches - United States - Missions |
| Soggetto non controllato |
american christianity
american christians american policy american politics american religion building orphanages christianity church leaders churches computer networks congregations direct engagement evangelical foreign policy global church globalization grass roots mechanisms heterogeneity inequality micro businesses missionaries overseas mission prayer preachers religion religious advocacy religious short term volunteer efforts social organization spiritual stereotypes voice of religion |
| ISBN | 0-520-94306-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Introduction -- 1. At Home and Abroad The Changing Contours of American Religion -- 2. The Global Christianity Paradigm From Cultural Connection to Demographic Distance -- 3. Four Faces of Globalization Debating Heterogeneity and Inequality -- 4. The Evolution of Transnational Ties Changing Patterns of Social Organization -- 5. The Global Role of Congregations Bridging Borders through Direct Engagement -- 6. Faith and Foreign Policy Does Religious Advocacy Matter? -- 7. The Challenges Ahead Good for America, Good for the World? -- Appendix -- Notes -- Selected Bibliography -- Index |
| Record Nr. | UNINA-9910810301203321 |
|
Wuthnow Robert
|
||
| Berkeley, : University of California Press, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber Security : 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers
| Cyber Security : 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers |
| Autore | Lu Wei |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , 2023 |
| Descrizione fisica | 1 electronic resource (239 p.) |
| Altri autori (Persone) |
ZhangYuqing
WenWeiping YanHanbing LiChao |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer networking & communications Artificial intelligence Legal aspects of IT Network security |
| Soggetto non controllato |
application service layer
artificial intelligence communication systems computer crime computer networks computer security computer systems cryptography cyber security data communication systems data security databases machine learning network protocols network security privacy signal processing telecommunication networks telecommunication systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996503561903316 |
|
Lu Wei
|
||
| Singapore : , : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cyber Security : 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers
| Cyber Security : 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16-17, 2022, Revised Selected Papers |
| Autore | Lu Wei |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , 2023 |
| Descrizione fisica | 1 electronic resource (239 p.) |
| Altri autori (Persone) |
ZhangYuqing
WenWeiping YanHanbing LiChao |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer networking & communications Artificial intelligence Legal aspects of IT Network security |
| Soggetto non controllato |
application service layer
artificial intelligence communication systems computer crime computer networks computer security computer systems cryptography cyber security data communication systems data security databases machine learning network protocols network security privacy signal processing telecommunication networks telecommunication systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910633995903321 |
|
Lu Wei
|
||
| Singapore : , : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
| Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers |
| Autore | Lu Wei |
| Pubbl/distr/stampa | Singapore, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (234 pages) |
| Altri autori (Persone) |
ZhangYuqing
WenWeiping YanHanbing LiChao |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer networking & communications Coding theory & cryptology Network security Artificial intelligence Software Engineering |
| Soggetto non controllato |
artificial intelligence
authentication computer hardware computer networks computer security computer systems cryptography data communication systems data mining data security databases information retrieval network protocols network security privacy signal processing telecommunication networks telecommunication systems |
| ISBN | 981-16-9229-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910522970803321 |
|
Lu Wei
|
||
| Singapore, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
| Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers |
| Autore | Lu Wei |
| Pubbl/distr/stampa | Singapore, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (234 pages) |
| Altri autori (Persone) |
ZhangYuqing
WenWeiping YanHanbing LiChao |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer networking & communications Coding theory & cryptology Network security Artificial intelligence Software Engineering |
| Soggetto non controllato |
artificial intelligence
authentication computer hardware computer networks computer security computer systems cryptography data communication systems data mining data security databases information retrieval network protocols network security privacy signal processing telecommunication networks telecommunication systems |
| ISBN | 981-16-9229-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464545403316 |
|
Lu Wei
|
||
| Singapore, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
