- 0 Ergebnisse
Kleinster Preis: € 41,90, größter Preis: € 81,07, Mittelwert: € 59,01
1
Bestellen
bei booklooker.de
€ 41,90
Versand: € 0,001
Bestellengesponserter Link
Eekelen, Marko van:

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers Marko van Eekelen (u. a.) - Taschenbuch

2010, ISBN: 9783642153303

[ED: Taschenbuch], [PU: Springer Berlin], The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presen… Mehr…

Versandkosten:Geen verzendingskosten. (EUR 0.00) preigu
2
Bestellen
bei booklooker.de
€ 43,90
Versand: € 0,001
Bestellengesponserter Link

Eekelen, Marko van:

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers Marko van Eekelen (u. a.) - Taschenbuch

2010, ISBN: 9783642153303

[ED: Taschenbuch], [PU: Springer Berlin], The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presen… Mehr…

Versandkosten:Geen verzendingskosten. (EUR 0.00) Buchbär
3
Foundational and Practical Aspects of Resource Analysis - Marko Van Eekelen; Olha Shkaravska
Bestellen
bei lehmanns.de
€ 64,19
Versand: € 0,001
Bestellengesponserter Link
Marko Van Eekelen; Olha Shkaravska:
Foundational and Practical Aspects of Resource Analysis - Taschenbuch

2010

ISBN: 9783642153303

First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers, Buch, Softcover, The First International Workshop on FOundational and Pra… Mehr…

Versandkosten:sofort lieferbar. (EUR 0.00)
4
Bestellen
bei buchfreund.de
€ 81,07
Versand: € 0,001
Bestellengesponserter Link
van Eekelen, Marko und Olha Shkaravska:
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers 2010 - gebrauchtes Buch

2010, ISBN: 9783642153303

2010 Neubindung, Buchecken und -kanten leicht angestoßen 8671943/12 Versandkostenfreie Lieferung language,complexity,formal method,formal methods,embedded systems,programming language,pol… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
5
Foundational and Practical Aspects of Resource Analysis
Bestellen
bei eBook.de
€ 63,99
Bestellengesponserter Link
Foundational and Practical Aspects of Resource Analysis - neues Buch

2010, ISBN: 3642153305

Foundational and Practical Aspects of Resource Analysis - First International Workshop FOPARA 2009 Eindhoven The Netherlands November 6 2010 Revised Selected Papers. Auflage 2010: ab 63.9… Mehr…

Nr. 12392641. Versandkosten:, , plus verzendkosten., zzgl. Versandkosten

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Details zum Buch
Foundational and Practical Aspects of Resource Analysis

This book constitutes the refereed proceedings of the First International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, held at the 16th International Symposium on Formal Methods, FM 2009, in Eindhoven, The Netherlands, in November 2009. The 10 revised full papers were carefully reviewed and selected from 13 research presentation contributions and one invited lecture.

Detailangaben zum Buch - Foundational and Practical Aspects of Resource Analysis


EAN (ISBN-13): 9783642153303
ISBN (ISBN-10): 3642153305
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
162 Seiten
Gewicht: 0,279 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-09-17T09:16:15+02:00 (Vienna)
Detailseite zuletzt geändert am 2022-04-30T09:12:28+02:00 (Vienna)
ISBN/EAN: 9783642153303

ISBN - alternative Schreibweisen:
3-642-15330-5, 978-3-642-15330-3


Daten vom Verlag:

Autor/in: Marko van Eekelen; Olha Shkaravska
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
Verlag: Springer; Springer Berlin
170 Seiten
Erscheinungsjahr: 2010-09-09
Berlin; Heidelberg; DE
Gewicht: 0,276 kg
Sprache: Englisch
64,19 € (DE)
65,99 € (AT)
80,08 CHF (CH)
POD
170 p. 35 illus.

BC; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; abstract interpretation; complexity; embedded systems; formal method; formal methods; language; polynomial programming language; programming language; resource analysis; static complexity analysis; algorithm analysis and problem complexity; C; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Algorithm Analysis and Problem Complexity; Programming Techniques; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Communication Networks; Algorithms; Programming Techniques; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Netzwerk-Hardware; Algorithmen und Datenstrukturen; Computerprogrammierung und Softwareentwicklung; EA

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.

< zum Archiv...