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…
booklooker.de |
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…
buchfreund.de |
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers - gebrauchtes Buch
2010, ISBN: 9783642153303
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8671943/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPa… Mehr…
booklooker.de |
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers - gebrauchtes Buch
2010, ISBN: 9783642153303
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8671943/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisung, I… Mehr…
booklooker.de |
2010, ISBN: 9783642153303
Taschenbuch
First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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…
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 Buch2010, 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…
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers - gebrauchtes Buch
2010
ISBN: 9783642153303
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8671943/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, Banküberweisung, Kreditkarte, PayPa… Mehr…
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers - gebrauchtes Buch
2010, ISBN: 9783642153303
[PU: Springer Berlin], Neubindung, Buchecken und -kanten leicht angestoßen 8671943/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2010, PayPal, Klarna-Sofortüberweisung, I… Mehr…
2010, ISBN: 9783642153303
Taschenbuch
First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 2023-08-07T17:02:00+02:00 (Vienna)
ISBN/EAN: 3642153305
ISBN - alternative Schreibweisen:
3-642-15330-5, 978-3-642-15330-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: marko, van, herausgeber, hsien, juergen krysmanski
Titel des Buches: practical, eindhoven, aspects the novel, resource workshop, international, analysis, name, ansichtskarte, marko, november
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
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
170 p. 35 illus.
BC; 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; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Computer Communication Networks; Algorithms; Programming Techniques; 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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783319465586 Foundational and Practical Aspects of Resource Analysis (Herausgegeben:van Eekelen, Marko; Dal Lago, Ugo)
- 9783319465586 Foundational and Practical Aspects of Resource Analysis (Herausgegeben:van Eekelen, Marko; Dal Lago, Ugo)
- 9783319124667 Foundational and Practical Aspects of Resource Analysis (Ugo Dal Lago; Ricardo Pena)
- 9783319465593 Foundational and Practical Aspects of Resource Analysis (Marko van Eekelen; Ugo Dal Lago)
- 9783319124650 Foundational and Practical Aspects of Resource Analysis (Herausgegeben:Dal Lago, Ugo; Peña, Ricardo)
- 9783642324949 Foundational and Practical Aspects of Resource Analysis (Peña, Ricardo|Eekelen, Marko van|Shkaravska, Olha)
< zum Archiv...