Informatics

10 Years Back. 10 Years Ahead

AvReinhard Wilhelm

Häftad, Engelska, 2001

Del i serien Lecture Notes in Computer Science

566 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

739 kr

Beskrivning

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come.This book marks two remarkable and festive moments: the 10th anniversary of the International Research and Conference Center for Computer Science in Dagstuhl, Germany and the 2000th volume published in the Lecture Notes in Computer Science series.

Produktinformation

Utgivningsdatum:2001-02-07
Mått:155 x 235 x 21 mm
Vikt:581 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:372
Upplaga:2001
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540416357

Utforska kategorier

Informationsteknik: allmänt inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Grundlagen der Programmiersprachen

Reinhard Wilhelm, Kurt Mehlhorn

E-bok

2013

447 kr

Grundlagen der Programmiersprachen

Kurt Mehlhorn, Reinhard Wilhelm

Häftad, 1986

514 kr

Compiler Construction

Reinhard Wilhelm

Häftad, 2001

566 kr

Compiler Construction

Reinhard Wilhelm

E-bok

2003

732 kr

Übersetzerbau

Reinhard Wilhelm, Helmut Seidl

Häftad, 2007

352 kr

Übersetzerbau

Helmut Seidl, Reinhard Wilhelm

E-bok

2007

219 kr

Übersetzerbau

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

Häftad, 2012

311 kr

Übersetzerbau

Sebastian Hack, Helmut Seidl, Reinhard Wilhelm

E-bok

2012

178 kr

Übersetzerbau

Helmut Seidl, Reinhard Wilhelm, Sebastian Hack

Häftad, 2010

260 kr

Übersetzerbau

Sebastian Hack, Reinhard Wilhelm, Helmut Seidl

E-bok

2009

211 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

549 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

923 kr