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.
Informatics [[electronic resource] ] : 10 Years Back. 10 Years Ahead / / by Reinhard Wilhelm
| Informatics [[electronic resource] ] : 10 Years Back. 10 Years Ahead / / by Reinhard Wilhelm |
| Autore | Wilhelm Reinhard |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (IX, 372 p.) |
| Disciplina | 004 |
| Altri autori (Persone) | WilhelmR <1946-> (Reinhard) |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Artificial intelligence Computer organization Software Engineering/Programming and Operating Systems Theory of Computation Information Systems and Communication Service Artificial Intelligence Computer Systems Organization and Communication Networks |
| ISBN | 3-540-44577-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Web -- The Web in 2010: Challenges and Opportunities for Database Research -- Challenges in Ubiquitous Data Management -- Programmable Networks -- Multilateral Security: Enabling Technologies and Their Evaluation -- Cryptography 2000±10 -- A Language-Based Approach to Security -- Software -- Software Engineering in the Years 2000 Minus and Plus Ten -- Thinking Tools for the Future of Computing Science -- Orientations in Verification Engineering of Avionics Software -- Abstract Interpretation Based Formal Methods and Future Challenges -- Extended Static Checking: A Ten-Year Perspective -- Progress on the State Explosion Problem in Model Checking -- A Political Issue: Open Source? -- From Research Software to Open Source -- Architecture -- Microprocessors — 10 Years Back, 10 Years Ahead -- The Quantum Computing Challenge -- Parallel Computation: MM +/- X -- Theory -- Computational Complexity and Mathematical Proofs -- Logic for Computer Science: The Engineering Challenge -- From Algorithm to Program to Software Library -- Artificial Intelligence -- Pervasive Speech and Language Technology -- Embodied Artificial Intelligence 10 Years Back, 10 Years Forward -- Graphics and Vision -- Scientific Visualization - Methods and Applications - -- Computer Vision: Past and Future -- Immersion into Other Disciplines -- Computational Biology at the Beginning of the Post-genomic Era -- Computer Science in Physics. |
| Record Nr. | UNISA-996465719803316 |
Wilhelm Reinhard
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Informatics [[electronic resource] ] : 10 Years Back. 10 Years Ahead / / by Reinhard Wilhelm
| Informatics [[electronic resource] ] : 10 Years Back. 10 Years Ahead / / by Reinhard Wilhelm |
| Autore | Wilhelm Reinhard |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (IX, 372 p.) |
| Disciplina | 004 |
| Altri autori (Persone) | WilhelmR <1946-> (Reinhard) |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computers Artificial intelligence Computer organization Software Engineering/Programming and Operating Systems Theory of Computation Information Systems and Communication Service Artificial Intelligence Computer Systems Organization and Communication Networks |
| ISBN | 3-540-44577-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Web -- The Web in 2010: Challenges and Opportunities for Database Research -- Challenges in Ubiquitous Data Management -- Programmable Networks -- Multilateral Security: Enabling Technologies and Their Evaluation -- Cryptography 2000±10 -- A Language-Based Approach to Security -- Software -- Software Engineering in the Years 2000 Minus and Plus Ten -- Thinking Tools for the Future of Computing Science -- Orientations in Verification Engineering of Avionics Software -- Abstract Interpretation Based Formal Methods and Future Challenges -- Extended Static Checking: A Ten-Year Perspective -- Progress on the State Explosion Problem in Model Checking -- A Political Issue: Open Source? -- From Research Software to Open Source -- Architecture -- Microprocessors — 10 Years Back, 10 Years Ahead -- The Quantum Computing Challenge -- Parallel Computation: MM +/- X -- Theory -- Computational Complexity and Mathematical Proofs -- Logic for Computer Science: The Engineering Challenge -- From Algorithm to Program to Software Library -- Artificial Intelligence -- Pervasive Speech and Language Technology -- Embodied Artificial Intelligence 10 Years Back, 10 Years Forward -- Graphics and Vision -- Scientific Visualization - Methods and Applications - -- Computer Vision: Past and Future -- Immersion into Other Disciplines -- Computational Biology at the Beginning of the Post-genomic Era -- Computer Science in Physics. |
| Record Nr. | UNINA-9910767568203321 |
|
Wilhelm Reinhard
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||