for at udvide
kategorilisten.
Matematisk datateori
-
Energie- und Paritatsgewinnbedingungen auf Spielstrukturen (Bog, Paperback / softback, Tysk)
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.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Verteilte Laufzeitverifikation auf eingebetteten Systemen: Logiken und Monitorkonstruktionen fur asynchrone Prozesse (Bog, Paperback / softback, Tysk)
In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Stochastische Integration: Eine Einfuhrung in die Finanzmathematik (Bog, Paperback / softback, Tysk)
Michael Hoffmann stellt auf leicht verständliche Art und Weise die Grundlagen der stochastischen Analysis dar, d.h. die Begriffe der stochastischen Integration und der stochastischen Differentialgleichungen.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Quantencomputer & Co: Grundideen und zentrale Begriffe der Quanteninformation verstandlich erklart (Bog, Paperback / softback, Tysk)
Dabei werden sowohl die grundlegenden Konzepte der Quantenphysik vorgestellt, die wichtig für die Anwendungen in der Quanteninformationstechnologie sind, als auch zentrale Experimente, die das Verständnis für die Grundlagen der Quantenphysik nachhaltig beeinflussten.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Programmieren fur Ingenieure und Naturwissenschaftler: Intelligente Algorithmen und digitale Technologien (Bog, Paperback / softback, Tysk)
Ziel des Buches ist es, Ingenieuren oder Naturwissenschaftlern die Programmierung als... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Elementare Differentialgeometrie (nicht nur) fur Informatiker: Mit vielen Grafiken und Visualisierungen in JavaScript (Bog, Paperback / softback, Tysk)
Die "Elementare Differentialgeometrie (nicht nur) für Informatiker" entstand aus einer Vorlesung an Hochschule für Angewandte Wissenschaften Hamburg (HAW) über mathematische Methoden der Computergrafik.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Stream Ciphers (Bog, Paperback / softback, Engelsk)
Part II studies some special ciphers including the security of mobile phones, RC4 and related ciphers, the eStream project and the blum-blum-shub generator and related ciphers.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Refinement in Z and Object-Z: Foundations and Advanced Applications (Bog, Paperback / softback, Engelsk)
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Statistical Image Processing and Multidimensional Modeling (Bog, Paperback / softback, Engelsk)
Examples abound throughout remote sensing (satellite data mapping, data assimilation, climate-change studies, land use), medical imaging (organ... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany (Bog, Paperback / softback, Engelsk)
Generic programming is about making programs more adaptable by making them more general.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Functional Data Structures in R: Advanced Statistical Programming in R (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage)
-
Fundamentals of Matrix-Analytic Methods (Bog, Paperback / softback, Engelsk)
Fundamentals of Matrix-Analytic Methods targets advanced-level students in mathematics, engineering and computer science. It focuses on the fundamental parts of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
