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.
Ziel des Buches ist es, Studierenden der Ingenieur- oder Naturwissenschaften die Programmierung als Schlüsselqualifikation mit zahlreichen Anwendungsmöglichkeiten vorzustellen.
Ziel des Buches ist es, Studierenden der Ingenieur- oder Naturwissenschaften die Programmierung als Schlüsselqualifikation mit zahlreichen Anwendungsmöglichkeiten vorzustellen.
This book offers an introduction to cryptology, the science that makes secure communications possible, and addresses its two complementary aspects: cryptography---the art of making secure building blocks---and cryptanalysis---the art of breaking them.
This book focuses on the different representations and cryptographic properties of Booleans functions, presents constructions of Boolean functions with some good cryptographic properties.
Dieses Buch ist eine praktische Einführung in den Entwurf und die Programmierung von relationalen Datenbanksystemen, wie sie heute vor allem in betrieblichen Bereichen eingesetzt werden.