Cantitate/Preț
Produs

Informatik 2000: Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.–22. September 2000: Informatik aktuell

Editat de Kurt Mehlhorn, Gregor Snelting
de Limba Germană Paperback – 13 sep 2000
Die Gesellschaft für Informatik veranstaltet ihre 30. Jahrestagung, die Informatik 2000, vom 19.- 22. September 2000 in Berlin. Die Jahrestagung 2000 beschäftigt sich mit den zentralen Themen "Zukunft der Informatik-Ausbildung","Bioinformatik", "Aktuelle Trends in der Informatik" und "Softwaretechnik 2000".
Neben Praxisberichten aus der Industrie finden sich Forschungsberichte namhafter aber auch junger Forscher. Die genannten Schwerpunktthemen werden durch Workshops, die im Schlußkapitel des Kongressbandes dokumentiert sind, sinnvoll ergänzt.
Citește tot Restrânge

Din seria Informatik aktuell

Preț: 48600 lei

Preț vechi: 60751 lei
-20% Nou

Puncte Express: 729

Preț estimativ în valută:
9301 9661$ 7726£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540678809
ISBN-10: 3540678808
Pagini: 492
Ilustrații: X, 481 S. 73 Abb.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.69 kg
Ediția:2000
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik aktuell

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Möglichkeiten und Grenzen der Virtualisierung des Informatikstudiums.- Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer.- Anwendungsorientierung in der Informatik-Ausbildung.- Erfolg macht Spa?: Softwaretechnik an der Universität Stuttgart.- Audio — Video — DISCO: Alltagstaugliche Konzepte für das Lernen mit neuen Medien.- Some Misunderstandings about the Anglo-Saxon Graduation System.- Perspektiven der Bioinformatik in der Funktionellen Genomforschung.- Neue Wege in der Exploration.- A Behavior and Utility-Based Control Architecture for Real-Time Applications.- Komponentenbasierte Konstruktion flexibler Software-Entwicklungswerkzeuge.- Kreativität in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus TRIZ.- Aktives Lernen von Algorithmen mit interaktiven Visualisierungen.- Towards a Manufacturing System under Hard Real-Time Constraints.- Die Verarbeitung von Parallelismus-Constraints.- Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems.- Glykowissenschaften, ein neuer Einsatzbereich der Bioinformatik.- PROPAN: Ein retargierbares System für Postpassoptimierungen und –analysen.- WWW.BDD-PORTAL.ORG: Ein Forschungsportal im WWW.- II2: Unterstützung mobiler und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen223.- Probabilistic Projection and Belief Update in the pGOLOG Framework.- Explaining What Went Wrong in Dynamic Domains.- Modellierung und Unterstützung verfahrenstechnischer Modellierungsprozesse.- Verteilte Lösung simulationsbasierter Optimierungsprobleme auf vernetzten Workstations.- Proving the Correctness of a Complete Microprocessor.- Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung.- Formale und stochastische Methodenzur Qualitätssicherung technischer Software.- Bank2010: Eine fachliche und technische Vision.- XML-basierte Internetanbindung technischer Prozesse.- Improving the Validation Process for a Better Field Quality in a Product Line Architecture.- Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.- Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme.- Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.- Generatorunterstützte objektorientierte Entwicklung multimedialer Lehrund Lernsysteme zur Effizienzsteigerung und Qualitätsverbesserung.- Sicherheit in Mediendaten.- Rigorose Entwicklung software-intensiver Systeme.- Internet-Datenbanken.- Electronic Government.- Molekulare Bioinformatik.- Grafiktag 2000.- Unternehmen Hochschule.- Lehrerbildung Informatik - Konzepte und Erfahrungen.- Technologien zur virtuellen Ausbildung für wirtschaftlich schwache Länder.