‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

Linksbuch Neu neu Rechtsbuch

Eekelen, Marko van (Herausgeber); Shkaravska, Olha (Herausgeber)

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6324

Springer-Verlag GmbH, Springer Berlin, September 2010


162 S. - Sprache: Englisch - 237x157x13 mm

ISBN: 3642153305 EAN: 9783642153303

ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal.


Preis: 64,19 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 64,19 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Inhaltsverzeichnis

FOPARA 2009.- Comparing Cost Functions in Resource Analysis.- Improvements to a Resource Analysis for Hume.- A Space Consumption Analysis by Abstract Interpretation.- Global and Local Space Properties of Stream Programs.- Characterising Effective Resource Analyses for Parallel and Distributed Coordination.- Static Complexity Analysis of Higher Order Programs.- Derivational Complexity Is an Invariant Cost Model.- A Local Criterion for Polynomial-Time Stratified Computations.- Non-deterministic Boolean Proof Nets.- Polynomial Time Computation in the Context of Recursive Analysis.


ISBN 3-642-15330-5

ISBN 978-3-642-15330-3

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Advances in Visual Computing 1 Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, Novem von Bebis, George (Herausgeber); Boyle, Richard (Herausgeber); Parvin, Bahram (Herausgeber)
139,99 EUR

Web 2.0 von Mörike, Michael (Herausgeber); Sauerburger, Heinz (Herausgeber); Beck, Astrid (Herausgeber)
23,50 EUR

Database Systems for Advanced Applications DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP von Chen, Lei (Herausgeber); Liu, Chengfei (Herausgeber); Liu, Qing (Herausgeber); Deng, Ke (Herausgeber
80,24 EUR
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21 von D'Amato, Claudia (Herausgeber); Fernández, Miriam (Herausgeber); Tamma, Valentina (Herausgeber); Lec
106,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.