KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Informatics
  • Produktbild: Informatics
Band 2000

Informatics 10 Years Back. 10 Years Ahead

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.02.2001

Abbildungen

IX, 372 p.

Herausgeber

Reinhard Wilhelm

Verlag

Springer Berlin

Seitenzahl

372

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

581 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-41635-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.02.2001

Abbildungen

IX, 372 p.

Herausgeber

Reinhard Wilhelm

Verlag

Springer Berlin

Seitenzahl

372

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

581 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-41635-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Informatics
  • Produktbild: Informatics
  • 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.