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.
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 | ||
| ||
Computer a responsabilità limitata : dove le macchine non riescono ad arrivare / David Harel ; traduzione di Luigi Civalleri
| Computer a responsabilità limitata : dove le macchine non riescono ad arrivare / David Harel ; traduzione di Luigi Civalleri |
| Autore | HAREL, David |
| Pubbl/distr/stampa | Torino : Einaudi, copyr. 2002 |
| Descrizione fisica | XII, 195 p. ; 21 cm. |
| Disciplina | 004.16 |
| Collana | Grandi Tascabili |
| Soggetto topico | Microelaboratori elettronici |
| ISBN | 88-06-16009-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990001863520203316 |
|
HAREL, David
|
||
| Torino : Einaudi, copyr. 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Engineering and Technology : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers / / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu
| Computer Engineering and Technology : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers / / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 188 p. 110 illus.) |
| Disciplina | 004.16 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Microprocessors
Arithmetic and logic units, Computer Computer memory systems Logic design Computer software—Reusability Processor Architectures Arithmetic and Logic Structures Memory Structures Logic Design Performance and Reliability |
| ISBN | 3-662-45815-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Processor architecture -- Computer application and software optimization -- Technology on the horizon. |
| Record Nr. | UNINA-9910299252803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer problems solved for the over 50s / / Joli Ballew
| Computer problems solved for the over 50s / / Joli Ballew |
| Autore | Ballew Joli |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Harlow, England : , : Prentice Hall, , [2011] |
| Descrizione fisica | 1 online resource (225 p. ) : col. ill |
| Disciplina | 004.16 |
| Collana | In simple steps |
| Soggetto topico |
Software maintenance
Computers - Maintenance and repair |
| ISBN |
1-283-27554-6
9786613275547 0-273-74641-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contents Top 10 Computer Problems Tips 1 Set a password 2 Uninstall unwanted software 3 Run the System Configuration utility 4 Improve performance with ReadyBoost 5 Add an external hard drive 6 Review shared settings 7 Create a homegroup 8 Get Windows Live Essentials 9 Enable the Guest account 10 Share media over a network 1 Know your computer Explore your system Find your Windows Experience Index Calculate free hard drive space Explore programs listed in the Notification area Explore your hardware in Device Manager Explore the All Programs menu Create a password reset disk Create a system repair disk 2 First steps and quick fixes Set a password Run Windows Update Update third-party programs Check the Action Center in Windows 7 Scan with Windows Defender Reboot the PC, modems and routers Use System Restore Update a driver Replace missing system files Run the System Configuration utility Locate Help 3 Free up hard drive space Delete unnecessary files and folders Search for and delete specific file types Uninstall unwanted software Delete unnecessary System Restore files Delete unwanted media files Run Disk Cleanup Empty the Recycle Bin Access Disk Defragmenter 4 Fix hardware problems Understand common hardware problems Verify Windows compatibility Improve performance with ReadyBoost Troubleshoot sound problems Troubleshoot printer problems Locate a driver on the internet Download and install a driver Rollback a bad driver Add an external hard drive Reseat non-working internal hardware 5 Fix software problems Browse menus for Help Update software Reinstall software Run in Windows XP mode Google error messages Consider an alternative program Uninstall an error-prone application 6 Repair boot problems Restart the computer Boot to the Last Known Good Configuration Boot with Safe mode (and then reboot) Choose Startup Repair Boot with your system recovery disk Perform a repair installation Run Disk Check 7 Diagnose and repair network problems Review troubleshooting tasks already introduced Verify required hardware is powered on Reconnect cables and connections Reposition wireless access points Run the network troubleshooter Replace damaged cables, splitters and other hardware Verify your network is private Review sharing settings Create a user account Require a password Remove unwanted networks Create a homegroup Join a homegroup 8 Install missing and must-have applications Download and installation basics Get Windows Live Essentials Get a Windows Live ID Get Microsoft Security Essentials Get PowerPoint Viewer Get Adobe Reader Consider QuickTime Consider iTunes Consider Skype Consider Firefox 9 Fix email problems Change how often Mail checks for email Show images and enable links Unblock attachments Label email as Junk Label email as Not Junk Apply a junk email filter Empty Sent and Deleted Items folders Get rid of an email stuck in your Outbox or Inbox Update the time and date on your PC Decipher error messages Export contacts 10 Resolve problems with Internet Explorer 8 Rule out network problems Use Compatibility View Change security settings Verify cookies are enabled Manage add-ons Reset Internet Explorer settings Run the Malicious Software Removal Tool Get online support Check for an update Show toolbars Delete unwanted Favorites 11 Resolve security warning messages Know the difference between system and third-party messages Explore the Action Center Resolve a problem in the Action Center Uninstall unwanted manufacturer update software Check the security report for a website View all parts of an email Turn off security messages 12 Remove a virus Know the signs of a virus First steps Install anti-virus updates Run anti-virus software scans Choose an online solution Use the Malicious Software Removal Tool Look on the internet for removal instructions Final steps 13 Manage and share data Review sharing settings Create a folder Move or copy data into a folder Delete a file or folder Share a file or folder Configure specific sharing permissions Understand libraries Add a folder to a library Find a missing file or folder Restore data from the Recycle Bin Create a search folder Remove the Read Only attribute 14 Fix problems with media Move media files into media libraries Clean up your media libraries Share media from Media Player Access media over your network Learn what program you need to play a file Obtain third-party media software Associate a file type with a program Set multiple file associations Convert files to another format Troubleshoot DVD playback Change record settings in Media Center 15 Manage and maintain your PC Delete unwanted data Compress files and folders Move rarely used data off of your PC Organise your files in folders Enable the Guest account Keep your desktop clean Pin items to the Start menu or taskbar Review problem reports and solutions Keep your computer up to date 16 Install hardware to improve performance Install a digital camera, web cam or media card Install a printer Locate a driver Download and install a driver Use ReadyBoost Install software Change when the computer sleeps Change what happens when you press the Power button Top 10 Computer Problems Solved |
| Record Nr. | UNINA-9910150235903321 |
|
Ballew Joli
|
||
| Harlow, England : , : Prentice Hall, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer security / Dieter Gollmann
| Computer security / Dieter Gollmann |
| Autore | Gollmann, Dieter |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | Chichester : John Wiley & Sons, 2011 |
| Descrizione fisica | XIX, 436 p. : tab., fig. ; 24 cm |
| Disciplina |
004.16
005.8 |
| Soggetto non controllato | Archivi di datiSicurezza |
| ISBN | 978-0-470-74115-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000028584 |
|
Gollmann, Dieter
|
||
| Chichester : John Wiley & Sons, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Computers and commonsense / Nancy Foy
| Computers and commonsense / Nancy Foy |
| Autore | FOY, Nancy |
| Pubbl/distr/stampa | London : Longman, 1972 |
| Descrizione fisica | XI, 210 p. ; 22 cm |
| Disciplina | 004.16 |
| Collana | Business data processing |
| Soggetto topico | Elaboratori elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002222210203316 |
|
FOY, Nancy
|
||
| London : Longman, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computers and games : second international conference, CG 2000 : Hamamatsu, Japan, October 26-28, 2000 : revised papers / Tony Marslad... <et al.> (eds.)
| Computers and games : second international conference, CG 2000 : Hamamatsu, Japan, October 26-28, 2000 : revised papers / Tony Marslad... <et al.> (eds.) |
| Autore | International conference CG 2000 <2.; 2000 ; Hamamatsu; Japan> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2001 |
| Descrizione fisica | XIII,442 p. : ill. ; 20 cm |
| Disciplina | 004.16 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
Microelaboratori - Congressi - 2000
Videogiochi - Congressi - 2000 |
| ISBN | 3-540-43080-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001109920203316 |
|
International conference CG 2000 <2.; 2000 ; Hamamatsu; Japan>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
