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.
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 | ||
| ||
Computers and games : 4th international conference, CG 2004 : Ramat-Gan, Israel, july 5-7, 2004 : revised papers / H. Jaap van den Herik.. [et al.](eds.)
| Computers and games : 4th international conference, CG 2004 : Ramat-Gan, Israel, july 5-7, 2004 : revised papers / H. Jaap van den Herik.. [et al.](eds.) |
| Autore | International conference CG 2004 : <4. ; : 2004 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | XIV, 331 p. : ill. ; 20 cm |
| Disciplina | 004.16 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Microelaboratori - Congressi - Ramat-Gan - 2004
Videogiochi - Congressi - Ramat-Gan - 2004 |
| ISBN | 3-540-32488-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002979540203316 |
|
International conference CG 2004 : <4. ; : 2004
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computers and games : 5th international conference, CG 2006 : Turin, Italy, May 29-31, 2006 : revised papers / H. Jaap van den Herik...[et al.](Eds.)
| Computers and games : 5th international conference, CG 2006 : Turin, Italy, May 29-31, 2006 : revised papers / H. Jaap van den Herik...[et al.](Eds.) |
| Autore | International conference, CG 2006 : <5; : 2006 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2007 |
| Descrizione fisica | XII, 282 p. : ill. ; 24 cm |
| Disciplina | 004.16 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Microelaboratori - Congressi - Turin - 2006
Videogiochi - Congressi - Turin - 2006 |
| ISBN | 978-3-540-75537-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003080430203316 |
|
International conference, CG 2006 : <5; : 2006
|
||
| Berlin [etc.] : Springer, copyr. 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computers and games : 6th international conference, CG 2008 : Beijing, China, September 29-October 1, 2008 : Proceedings / H. Jaap van den Herik...[et al.] (Eds.)
| Computers and games : 6th international conference, CG 2008 : Beijing, China, September 29-October 1, 2008 : Proceedings / H. Jaap van den Herik...[et al.] (Eds.) |
| Autore | International conference, CG 2008 : <6.; : 2008 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2008 |
| Descrizione fisica | XII, 274 p. : ill. ; 24 cm |
| Disciplina | 004.16 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Microelaboratori - Congressi - Beijing - 2008
Videogiochi - Congressi - Beijing - 2008 |
| ISBN | 978-3-540-87607-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003158810203316 |
|
International conference, CG 2008 : <6.; : 2008
|
||
| Berlin [etc.] : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computers and Games [[electronic resource] ] : Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers / / edited by Tony Marsland, Ian Frank
| Computers and Games [[electronic resource] ] : Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers / / edited by Tony Marsland, Ian Frank |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XIV, 450 p.) |
| Disciplina | 004.16 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computers Artificial intelligence Computer science—Mathematics Algorithms Data structures (Computer science) Popular Computer Science Theory of Computation Artificial Intelligence Mathematics of Computing Algorithm Analysis and Problem Complexity Data Structures |
| ISBN | 3-540-45579-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Search and Strategies -- A Least-Certainty Heuristic for Selective Search -- Lambda-Search in Game Trees — with Application to Go -- Abstract Proof Search -- Solving Kriegspiel-Like Problems: Examining Efficient Search Methods -- Strategies for the Automatic Construction of Opening Books -- Awari Retrograde Analysis -- Construction of Chinese Chess Endgame Databases by Retrograde Analysis -- Learning and Pattern Acquisition -- Learning from Perfection -- Chess Neighborhoods, Function Combination, and Reinforcement Learning -- Learning a Go Heuristic with Tilde -- Learning Time Allocation Using Neural Networks -- Theory and Complexity Issues -- The Complexity of Graph Ramsey Games -- Virus Versus Mankind -- Creating Difficult Instances of the Post Correspondence Problem -- Integer Programming Based Algorithms for Peg Solitaire Problems -- Ladders Are PSPACE-Complete -- Simple Amazons Endgames and Their Connection to Hamilton Circuits in Cubic Subgrid Graphs -- Further Experiments with Games -- New Self-Play Results in Computer Chess -- SUPER-SOMA — Solving Tactical Exchanges in Shogi without Tree Searching -- A Shogi Processor with a Field Programmable Gate Array -- Plausible Move Generation Using Move Merit Analysis with Cut-Off Thresholds in Shogi -- Abstraction Methods for Game Theoretic Poker -- Reasoning by Agents in Computer Bridge Bidding -- Invited Talks and Reviews -- Linguistic Geometry for Solving War Games -- Physics and Ecology of Rock-Paper-Scissors Game -- Review: Computer Language Games -- Review: Computer Go 1984–2000 -- Review: Intelligent Agents for Computer Games -- Review: RoboCup through 2000 -- Review: Computer Shogi through 2000. |
| Record Nr. | UNISA-996465906303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
