Automatische Komplexitatsanalyse Funktionaler Programme Image close
Automatische Komplexitatsanalyse Funktionaler Programme by Wolf Zimmermann
Automatische Komplexitatsanalyse Funktionaler Programme by Wolf Zimmermann
Show Hide Adult Content
Automatische Komplexitatsanalyse Funktionaler Programme close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Algorithms & data structures

Automatische Komplexitatsanalyse Funktionaler Programme

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Book
$146.99 was $189.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $36.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$181.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
GI - 3. Fachtagung UEber Programmiersprachen
$47.99
GI - 3. Fachtagung UEber Programmiersprachen
Paperback / softback
Available - Usually ships in 3-4 weeks
7th International Conference on Automated Deduction
$283.99
7th International Conference on Automated Deduction
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Programming Semantics Save $55
$141.99
$197.95
Mathematical Foundations of Programming Semantics
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Machine Vision, Image Processing, and Pattern Analysis
$267.99
Advances in Machine Vision, Image Processing, and Pattern Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 93
$272.99
STACS 93
Paperback / softback
Available - Usually ships in 3-4 weeks
Web Engineering
$286.99
Web Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Multi-Agent-Based Simulation XII
$167.99
Multi-Agent-Based Simulation XII
Paperback / softback
Available - Usually ships in 3-4 weeks
Mobile, Secure, and Programmable Networking
$158.99
Mobile, Secure, and Programmable Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Internet of Things – ICIOT 2019
$135.99
Internet of Things – ICIOT 2019
Paperback / softback
Available - Usually ships in 3-4 weeks
Medical Image Computing and Computer Assisted Intervention – MICCAI 2022
$135.99
Medical Image Computing and Computer Assisted Intervention – MICCAI 2...
Paperback / softback
Available - Usually ships in 3-4 weeks
Ophthalmic Medical Image Analysis
$238.99
Ophthalmic Medical Image Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Conditional Term Rewriting Systems Save $23
$134.99
$158.95
Conditional Term Rewriting Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration and Technology
$173.99
Collaboration and Technology
Paperback / softback
Available - Usually ships in 3-4 weeks
Privacy in Statistical Databases
$135.99
Privacy in Statistical Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming Save $13
$279.99
$293.95
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den ProgrammentwicklungsprozeA unterstA1/4tzen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit fA1/4hrt daher eine Methode ein, die es erlaubt, die ZeitkomplexitAt funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu A1/4bersetzen, dessen LAsung das Zeitverhalten des Programms angibt. Durch EinfA1/4hrung von bedingten Rekurrenzen und Rekurrenzfamilien ist es mAglich, obere und untere Schranken fA1/4r die ZeitkomplexitAt zu finden. Um die mittlere ZeitkomplexitAt zu bestimmen, mA1/4ssen Wahrscheinlichkeiten dafA1/4r berechnet werden, daA im Programm vorkommende Bedingungen wahr bzw. falsch werden. Diese Wahrscheinlichkeiten werden anhand einer probabilistischen Semantik des Programms berechnet. Um mAglichst genaue Schranken fA1/4r die ZeitkomplexitAt zu erhalten, muA eine AbhAngigkeitsanalyse durchgefA1/4hrt werden. Dies ermAglicht eine genaue Analyse von Divide-and-Conquer-Programmen.
Release date Australia
December 20th, 2013
Pages
194
Audience
  • General (US: Trade)
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Country of Publication
Germany
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13
9783540534303
Product ID
14468901

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Wolf Zimmermann

See all books by this author

Vorlesungen Uber Informatik on Paperback by Gerhard Goos Save $24
$121.99
$145.99
Vorlesungen Uber Informatik
by Gerhard Goos ~ Paperback
Available - Usually ships in 3-4 weeks
Vorlesungen Uber Informatik on Paperback by Gerhard Goos Save $20
$78.99
$98.99
Vorlesungen Uber Informatik
by Gerhard Goos ~ Paperback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer science