Bültmann & Gerriets
Informatik 2000
Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.-22. September 2000
von Kurt Mehlhorn, Gregor Snelting
Verlag: Springer Berlin Heidelberg
Reihe: Informatik aktuell
E-Book / PDF
Kopierschutz: PDF mit Wasserzeichen

Hinweis: Nach dem Checkout (Kasse) wird direkt ein Link zum Download bereitgestellt. Der Link kann dann auf PC, Smartphone oder E-Book-Reader ausgeführt werden.
E-Books können per PayPal bezahlt werden. Wenn Sie E-Books per Rechnung bezahlen möchten, kontaktieren Sie uns bitte.

ISBN: 978-3-642-58322-3
Auflage: 2000
Erschienen am 11.03.2013
Sprache: Deutsch
Umfang: 481 Seiten

Preis: 66,99 €

66,99 €
merken
zum Hardcover 84,95 €
Inhaltsverzeichnis

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 Methoden zur 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.


andere Formate
weitere Titel der Reihe