‹ 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, 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.

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, S von Kozubek, Tomas (Herausgeber); Blaheta, Radim (Herausgeber); Sístek, Jakub (Herausgeber); Rozlozník,
64,99 EUR

361,99 EUR

Analytical and Stochastic Modeling Techniques and Applications 18th International Conference, ASMTA von Al-Begain, Khalid (Herausgeber); Balsamo, Simonetta (Herausgeber); Fiems, Dieter (Herausgeber); Mari
74,89 EUR

Distributed Intelligent Systems A Coordination Perspective von Bedrouni, Abdellah; Mittu, Ranjeev; Boukhtouta, Abdeslem; Berger, Jean
129,99 EUR

CISSP Study Guide von Conrad, Eric; Misenar, Seth; Feldman, Joshua
49,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.