for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Die Autoren erörtern aktuelle Paradigmenwechsel in Kommunikationsnetzen, die erforderlich sind, um die einfachen Transportkonzepte der vorherrschenden Netze um Rechen- und Speicherfunktionen zu ergänzen.
Das Buch gibt eine breite Übersicht über die wichtigsten Optimierungsmethoden, wobei die Verfahren beispielhaft erläutert und mit über 400 Abbildungen illustriert werden.
Dieses Lehrbuch bietet eine kompakte Einführung in die Grundlagen der Graphentheorie und die... Læs mere
Das Symbolische Rechnen zur Losung mathematischer Probleme erlebt einen neuen Aufschwung durch den Einsatz speziell dafur entwikckelter Softwaresysteme. Nach dem Erfolg von... Læs mere
This text covers various topics of computer algebra methods, algorithms and software applied to scientific computing. An important topic presented in the book is the application of computer algebra methods to the development of new efficient analytic and numerical solvers.
This text presents modern functional analysis methods for the sensitivity analysis of some infinite-dimensional systems governed by partial differential equations. Among the problems treated are the Signorini problem, the elastic-plastic torsion problem and more.
The latest work on formal methods in computer science by the world's leading experts is presented in this volume, based on the 1995 International Marktoberdorf Summer School.
Auf dem Gebiet der Petri-Netze und Vektoradditionssysteme sind viele Entscheidungsfragen ungeklärt, die Uli Schlachter in seiner Masterarbeit motiviert haben, Spiele auf sogenannten Spielstrukturen mit einer ähnlichen Semantik zu untersuchen.
In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen... Læs mere