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.
Cloud computing [[electronic resource] ] : moving IT out of the office
| Cloud computing [[electronic resource] ] : moving IT out of the office |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Swindon, GBR, : British Informatics Society Ltd., 2012 |
| Descrizione fisica | 1 online resource (59 p.) |
| Disciplina | 004.16 |
| Soggetto topico |
Cloud computing - Economic aspects
Information technology - Management |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-78017-131-5
1-78017-130-7 1-78017-132-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | section 1. What is the cloud? -- section 2. The case for the cloud -- section 3. Moving to the cloud -- section 4. Changing the IT infrastructure -- section 5. Security in the cloud. |
| Record Nr. | UNINA-9910453549803321 |
| Swindon, GBR, : British Informatics Society Ltd., 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cloud computing [[electronic resource] ] : moving IT out of the office
| Cloud computing [[electronic resource] ] : moving IT out of the office |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Swindon, GBR, : British Informatics Society Ltd., 2012 |
| Descrizione fisica | 1 online resource (59 p.) |
| Disciplina | 004.16 |
| Soggetto topico |
Cloud computing - Economic aspects
Information technology - Management |
| ISBN |
1-78017-131-5
1-78017-130-7 1-78017-132-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | section 1. What is the cloud? -- section 2. The case for the cloud -- section 3. Moving to the cloud -- section 4. Changing the IT infrastructure -- section 5. Security in the cloud. |
| Record Nr. | UNINA-9910790808203321 |
| Swindon, GBR, : British Informatics Society Ltd., 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CODASPY'20 : proceedings of the Tenth ACM Conference on Data and Application Security and Privacy : March 16-18, 2020, New Orleans, LA, USA / / general chairs, Vassil Rouseev, Bhavani Thuraisingham
| CODASPY'20 : proceedings of the Tenth ACM Conference on Data and Application Security and Privacy : March 16-18, 2020, New Orleans, LA, USA / / general chairs, Vassil Rouseev, Bhavani Thuraisingham |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2020 |
| Descrizione fisica | 1 online resource (392 pages) : illustrations |
| Disciplina | 004.16 |
| Collana | ACM conferences |
| Soggetto topico |
Application software - Security measures
Computer security Data protection Online social networks - Security measures |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412317203321 |
| New York : , : Association for Computing Machinery, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coding iPhone apps for kids : a playful introduction to swift / Gloria Winquist and Matt McCarthy
| Coding iPhone apps for kids : a playful introduction to swift / Gloria Winquist and Matt McCarthy |
| Autore | Winquist, Gloria |
| Pubbl/distr/stampa | San Francisco, : No Starch Press, 2017 |
| Descrizione fisica | XXI, 312 p. : ill. color. ; 24 cm |
| Disciplina | 004.16 |
| Altri autori (Persone) | McCarthy, Matt |
| Soggetto topico |
Telefoni cellulari - Programmazione - Linguaggio Swift
Microelaboratori - Programmazione - Linguaggio Swift |
| ISBN |
1593277563
9781593277567 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0775395 |
Winquist, Gloria
|
||
| San Francisco, : No Starch Press, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Communication in Critical Embedded Systems : First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papers / / edited by Kalinka Branco, Alex Pinto, Daniel Pigatto
| Communication in Critical Embedded Systems : First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papers / / edited by Kalinka Branco, Alex Pinto, Daniel Pigatto |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XV, 131 p. 68 illus.) |
| Disciplina | 004.16 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Mobile computing
Multimedia information systems Computer organization Mobile Computing Multimedia Information Systems Computer Systems Organization and Communication Networks |
| ISBN | 3-319-61403-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distributed Algorithms -- Hardware and Software Architectures -- Integration of High Availability Clusters and Grids with Embedded Systems -- Media Access Control (MAC), cognitive radios and directional antennas -- Communication Group -- Mobile and Embedded Computing -- Middleware and Web Services -- Interaction between sensors and Mobile Robots -- GPU -- FPGA -- Fly by Wireless -- P2P, Mobile and Ad-Hoc Networks -- Safety and Certification -- Security -- Sensor and Vehicular Networks -- Unmanned systems (UAVs, UGVs). |
| Record Nr. | UNINA-9910254811003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Companion of the 2018 ACM Conference on Computer Supported Cooperative Work and Social Computing / / Vanessa Evers, Association for Computing Machinery-Digital Library
| Companion of the 2018 ACM Conference on Computer Supported Cooperative Work and Social Computing / / Vanessa Evers, Association for Computing Machinery-Digital Library |
| Autore | Evers Vanessa |
| Pubbl/distr/stampa | New York, New York : , : ACM, , [2018] |
| Descrizione fisica | 1 online resource (495 pages) |
| Disciplina | 004.16 |
| Collana | ACM Conferences. |
| Soggetto topico | Microcomputer workstations |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375700203321 |
|
Evers Vanessa
|
||
| New York, New York : , : ACM, , [2018] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Component-Based Software Development for Embedded Systems [[electronic resource] ] : An Overview of Current Research Trends / / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper
| Component-Based Software Development for Embedded Systems [[electronic resource] ] : An Overview of Current Research Trends / / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (VIII, 348 p.) |
| Disciplina | 004.16 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Operating Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Software Development for Embedded Systems – An Introduction -- Component-Based Software Development for Embedded Systems – An Introduction -- Specification and Verification -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets -- Modular Verification of Reconfigurable Components -- Component Compatibility -- Behavioral Types for Embedded Software – A Survey -- Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing -- Component Architectures, Implementation and Tool Support -- Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML -- Model Driven Software Development in the Context of Embedded Component Infrastructures -- A Component Framework for Consumer Electronics Middleware -- Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks -- CoConES: An Approach for Components and Contracts in Embedded Systems -- Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study -- Non-functional Properties -- Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process -- Performance Evaluation Approaches for Software Architects -- Component-Based Engineering of Distributed Embedded Control Software -- Component-Based Development of Dependable Systems with UML. |
| Record Nr. | UNISA-996465724903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-based software development for embedded systems : an overview of current research trends / / Colin Atkinson ... [et al.] (eds.)
| Component-based software development for embedded systems : an overview of current research trends / / Colin Atkinson ... [et al.] (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (VIII, 348 p.) |
| Disciplina | 004.16 |
| Altri autori (Persone) | AtkinsonColin |
| Collana | Lecture notes in computer science,State-of-the-art survey |
| Soggetto topico |
Component software
Embedded computer systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Software Development for Embedded Systems – An Introduction -- Component-Based Software Development for Embedded Systems – An Introduction -- Specification and Verification -- Specification and Verification of Applications Based on Function Blocks -- A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets -- Modular Verification of Reconfigurable Components -- Component Compatibility -- Behavioral Types for Embedded Software – A Survey -- Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing -- Component Architectures, Implementation and Tool Support -- Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML -- Model Driven Software Development in the Context of Embedded Component Infrastructures -- A Component Framework for Consumer Electronics Middleware -- Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks -- CoConES: An Approach for Components and Contracts in Embedded Systems -- Adopting a Component-Based Software Architecture for an Industrial Control System – A Case Study -- Non-functional Properties -- Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process -- Performance Evaluation Approaches for Software Architects -- Component-Based Engineering of Distributed Embedded Control Software -- Component-Based Development of Dependable Systems with UML. |
| Record Nr. | UNINA-9910484766103321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CompTIA A+ complete practice tests : exam core 1 (220-1001) and exam core 2 (220-1002) / / Jeff T Parker, Quentin Docter
| CompTIA A+ complete practice tests : exam core 1 (220-1001) and exam core 2 (220-1002) / / Jeff T Parker, Quentin Docter |
| Autore | Parker Jeff |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Indianapolis, Indiana : , : Sybex, , [2019] |
| Descrizione fisica | 1 online resource (563 pages) |
| Disciplina | 004.16 |
| Soggetto topico | Microcomputers - Maintenance and repair - Examinations |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-119-55354-7
1-119-51693-5 1-119-51700-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910554864503321 |
|
Parker Jeff
|
||
| Indianapolis, Indiana : , : Sybex, , [2019] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CompTIA A+ complete practice tests : exam core 1 (220-1001) and exam core 2 (220-1002) / / Jeff T Parker, Quentin Docter
| CompTIA A+ complete practice tests : exam core 1 (220-1001) and exam core 2 (220-1002) / / Jeff T Parker, Quentin Docter |
| Autore | Parker Jeff |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Indianapolis, Indiana : , : Sybex, , [2019] |
| Descrizione fisica | 1 online resource (563 pages) |
| Disciplina | 004.16 |
| Soggetto topico | Microcomputers - Maintenance and repair - Examinations |
| ISBN |
1-119-55354-7
1-119-51693-5 1-119-51700-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910830728503321 |
|
Parker Jeff
|
||
| Indianapolis, Indiana : , : Sybex, , [2019] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
