Fortran gilt nunmehr seit über drei Jahrzehnten als die Programmiersprache zur Lösung technisch-wissenschaftlicher Probleme, was nicht zuletzt auf die stetige Entwicklung der Sprache auf standardisiertem Niveau zurückzuführen ist.
Das Buch präsentiert in vergleichender Darstellung die wesentlichen Funktionen von Betriebssystemen: Prozeßverwaltung, Speicherverwaltung, Ein- und Ausgabe, Dateiverwaltung, Datenschutz und Benutzerschnittstellen.
Artificial neural networks and genetic algorithms both are areas of research which have their origins in mathematical models constructed in order to gain understanding of important natural processes.
Fortran, die seit vierzig Jahren führende Programmiersprache der Numerischen Datenverarbeitung (des Scientific Computing), hat vor kurzem eine radikale Modernisierung erfahren: Fortran 90, das die bisherige Version FORTRAN 77 vollständig umfaßt und darüber hinaus neue, mächtige Sprachkonstrukte enthält, die eine Grundlage für die Entwicklung qualitativ hochstehender numerischer Software bilden.
This book is a collection of selected papers written by researchers qf our "e;RISC"e; institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason- ing).
For several years now I have been teaching courses in computer algebra at the Universitat Linz, the University of Delaware, and the Universidad de Alcala de Henares.
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation.
This is a new type of calculus book: Students who master this text will be well versed in calculus and, in addition, possess a useful working knowledge of one of the most important mathematical software systems, namely, MACSYMA.
Graph-based representation of images is becoming a popular tool since it represents in a compact way the structure of a scene to be analyzed and allows for an easy manipulation of sub-parts or of relationships between parts.
The aim of this book is to present important software tools, basic concepts, methods, and highly sophisticated applications of computerized symbolic manipulation to mechanics problems.
In 19 articles presented by leading experts in the field of geometric modelling the state-of-the-art on representing,modeling, and analyzing curves, surfaces as well as other 3-dimensional geometry is given.
Der effizienten Gestaltung von Güterverkehrsnetzen kommt angesichts der zunehmenden wirtschaftlichen Verflechtung und überlasteter Straßen eine immer größere Bedeutung zu.
Dieses Lehrbuch behandelt zunächst zentrale Themen der klassischen Theoretischen Informatik und führt darauf aufbauend in die Grundlagen der Algorithmischen Informationstheorie ein.
This book presents a variety of widely used algorithms, expressing them in a pure functional programming language to make their structure and operation clearer to readers.
Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollständigen Induktion bis hin zur transfiniten Induktion.
