• Produktbild: Computer Science Today
  • Produktbild: Computer Science Today
Band 1000

Computer Science Today Recent Trends and Developments

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.10.1995

Abbildungen

XV, 645 p.

Herausgeber

Jan van Leeuwen

Verlag

Springer Berlin

Seitenzahl

645

Maße (L/B/H)

23,5/15,5/3,6 cm

Gewicht

984 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60105-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.10.1995

Abbildungen

XV, 645 p.

Herausgeber

Jan van Leeuwen

Verlag

Springer Berlin

Seitenzahl

645

Maße (L/B/H)

23,5/15,5/3,6 cm

Gewicht

984 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60105-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Computer Science Today
  • Produktbild: Computer Science Today
  • A quantum jump in computer science.- Artificial life and real world computing.- Recurrent neural networks.- Scalable computing.- Efficient use of parallel & distributed systems: From theory to practice.- Experimental validation of models of parallel computation.- Quo vadetis, parallel machine models?.- Templates for linear algebra problems.- The ART behind IDEAS.- Algorithmic number theory and its relationship to computational complexity.- Edge-coloring algorithms.- Towards a computational theory of genome rearrangements.- Algebraic topology and distributed computing a primer.- Differential BDDs.- Algorithmic techniques for geometric optimization.- All the needles in a haystack: Can exhaustive search overcome combinatorial chaos?.- Fundamental limitations on search algorithms: Evolutionary computing in perspective.- Mathematical system models as a basis of software engineering.- Formulations and formalisms in software architecture.- The Oz Programming Model.- Standard Generalized Markup Language: Mathematical and philosophical issues.- Avoiding the undefined by underspecification.- Towards a theory of recursive structures.- Chu spaces and their interpretation as concurrent objects.- Abstracting unification: A key step in the design of logic program analyses.- Programming Satan's computer.- Petri Net models of distributed algorithms.- Symmetry and induction in model checking.- Alternating automata and program verification.- Reasoning about actions and change with ramification.- Trends in active vision.- Computational machine learning in theory and praxis.- Fuzzy sets as a tool for modeling.- Information retrieval and informative reasoning.- Database transaction models.- Multimedia authoring tools: State of the art and research challenges.- Computational models for distributed multimedia applications.- Hypermedia systems as internet tools.