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.
Algoritmi : Lo spirito dell'informatica / / by David Harel, Yishai Feldman
| Algoritmi : Lo spirito dell'informatica / / by David Harel, Yishai Feldman |
| Autore | Harel David |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (616 p.) |
| Disciplina | 520 |
| Collana | Collana di Informatica |
| Soggetto topico |
Algorithms
Computers Theory of Computation |
| ISBN | 88-470-0580-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | Preliminari -- Introduzione e revisione storica -- Algoritmi e dati -- I linguaggi e i paradigmi di programmazione -- Metodi e analisi -- Metodi algoritmici -- La correttezza degli algoritmi -- L’efficienza degli algoritmi -- Limiti e robustezza -- Inefficienza e intrattabilità -- Non computabilità e indecidibilità -- L’universalità algoritmica e la sua robustezza -- Rilassare le regole -- Parallelismo, Concorrenza e modelli alternativi -- Algoritmi probabilistici -- Crittografia e Interazioni affidabili -- Una veduta più ampia -- Ingegneria del software -- Sistemi reattivi -- Algoritmi e Intelligenza -- Poscritto -- Soluzioni -- Note bibliografiche. |
| Record Nr. | UNINA-9910483938103321 |
Harel David
|
||
| Milano : , : Springer Milan : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Next Generation Information Technologies and Systems [[electronic resource] ] : 7th International Conference, NGITS 2009 Haifa, Israel, June 16-18, 2009 Revised Selected Papers / / edited by Yishai Feldman, Donald Kraft, Tsvi Kuflik
| Next Generation Information Technologies and Systems [[electronic resource] ] : 7th International Conference, NGITS 2009 Haifa, Israel, June 16-18, 2009 Revised Selected Papers / / edited by Yishai Feldman, Donald Kraft, Tsvi Kuflik |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 169 p.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Application software Data mining Multimedia information systems Database management Information Storage and Retrieval Computer Applications Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Multimedia Information Systems Database Management |
| Soggetto genere / forma |
Haifa (2009)
Kongress. |
| ISBN | 3-642-04941-9 |
| Classificazione |
DAT 600f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Lectures -- Searching in the “Real World” -- Structured Data on the Web -- Middleware and Integration -- Worldwide Accessibility to Yizkor Books -- Biomedical Information Integration Middleware for Clinical Genomics -- Modeling -- Interpretation of History Pseudostates in Orthogonal States of UML State Machines -- System Grokking – A Novel Approach for Software Understanding, Validation, and Evolution -- Refactoring of Statecharts -- Healthcare/Biomedical -- Towards Health 2.0: Mashups to the Rescue -- Semantic Warehousing of Diverse Biomedical Information -- InEDvance: Advanced IT in Support of Emergency Department Management -- Service and Information Management -- Enhancing Text Readability in Damaged Documents -- ITRA under Partitions -- Short and Informal Documents: A Probabilistic Model for Description Enrichment -- Applications -- Towards a Pan-European Learning Resource Exchange Infrastructure -- Performance Improvement of Fault Tolerant CORBA Based Intelligent Transportation Systems (ITS) with an Autonomous Agent -- A Platform for LifeEvent Development in a eGovernment Environment: The PLEDGE Project -- Online Group Deliberation for the Elicitation of Shared Values to Underpin Decision Making. |
| Record Nr. | UNISA-996465329703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Next Generation Information Technologies and Systems : 7th International Conference, NGITS 2009 Haifa, Israel, June 16-18, 2009 Revised Selected Papers / / edited by Yishai Feldman, Donald Kraft, Tsvi Kuflik
| Next Generation Information Technologies and Systems : 7th International Conference, NGITS 2009 Haifa, Israel, June 16-18, 2009 Revised Selected Papers / / edited by Yishai Feldman, Donald Kraft, Tsvi Kuflik |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 169 p.) |
| Disciplina | 004 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Application software Data mining Multimedia information systems Database management Information Storage and Retrieval Computer Applications Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Multimedia Information Systems Database Management |
| Soggetto genere / forma |
Haifa (2009)
Kongress. |
| ISBN | 3-642-04941-9 |
| Classificazione |
DAT 600f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Lectures -- Searching in the “Real World” -- Structured Data on the Web -- Middleware and Integration -- Worldwide Accessibility to Yizkor Books -- Biomedical Information Integration Middleware for Clinical Genomics -- Modeling -- Interpretation of History Pseudostates in Orthogonal States of UML State Machines -- System Grokking – A Novel Approach for Software Understanding, Validation, and Evolution -- Refactoring of Statecharts -- Healthcare/Biomedical -- Towards Health 2.0: Mashups to the Rescue -- Semantic Warehousing of Diverse Biomedical Information -- InEDvance: Advanced IT in Support of Emergency Department Management -- Service and Information Management -- Enhancing Text Readability in Damaged Documents -- ITRA under Partitions -- Short and Informal Documents: A Probabilistic Model for Description Enrichment -- Applications -- Towards a Pan-European Learning Resource Exchange Infrastructure -- Performance Improvement of Fault Tolerant CORBA Based Intelligent Transportation Systems (ITS) with an Autonomous Agent -- A Platform for LifeEvent Development in a eGovernment Environment: The PLEDGE Project -- Online Group Deliberation for the Elicitation of Shared Values to Underpin Decision Making. |
| Record Nr. | UNINA-9910484658903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||