Búsqueda avanzada

LIBROS DEL AUTOR: markus lebender

1 resultados para LIBROS DEL AUTOR: markus lebender

Ordenar por

Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC

Markus Lebender

Inhaltsangabe:Zusammenfassung: Die vorliegende Arbeit beschäftigt sich mit zwei thematischen Schwerpunkten. Der eine Schwerpunkt sind numerische, verifizierende Verfahren. Darunter werden Algorithmen und Methoden verstanden, die mathematische Aufgaben mittels Computer numerisch (also nicht symbolisch) lösen und hierbei Lösungseinschließungen liefern im Gegensatz zu den herkömm...

Disponible

46,02 €