Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 42,37
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 46,07
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 47,48
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 48,80
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 53,35
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 47,54
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 43,75
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 59,89
Quantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 61,10
Quantité disponible : 2 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 46,69
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 49,04
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 51,82
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 65,66
Quantité disponible : 2 disponible(s)
Ajouter au panierEtat : New.
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642153305 ISBN 13 : 9783642153303
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
EUR 68,01
Quantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. The First International Workshop on FOundational and Practical Aspects of Resource Analysis (FOPARA) was initiated to serve as a forum for presenting originalresearchresultsthatarerelevanttothe analysisofresource(time,space) consumption by computer programs. FOPARA aimed to bring together the - searchers working on foundational issues with the researchers focusing more on practical results. Therefore, both theoretical and practical contributions were encouraged.The contributions coveredthe following topics: resourceanalysisfor embedded systems, logical and machine-independent characterizations of c- plexity classes, logics closely related to complexity classes, type systems for c- trolling complexity, semantic methods to analyze resources,including quasi- and sup-interpretations, practical applications of resource analysis, etc. This ?rst FOPARA brought two di?erent groups of researchers together. In 2006 and 2008 informal application-oriented resource analysis workshops (an EmBoundedOpen WorkshopinBudapest,2006,andaResourceAnalysisWo- shop in Hertfordshire, 2008) were held as a?liated events of the International Symposium on the Implementation and Application of Functional Languages (IFL).Participants in these workshops were the University of St. Andrew (UK), Heriot-Watt University of Edinburgh (UK), Ludwig Maximilians University of Munich (Germany), Complutense University of Madrid (Spain) and the Po- technical University of Madrid (Spain). Another group of researchers was active in the series of informal workshops on implicit computational complexity (see, for instance, WICC 2008 in Paris). That series gathers researchers working in theoretical foundations of resource analysis, mainly from France (universities of ParisDiderotandParisNord,LORIANancy),Italy(universitiesofBolognaand Turin), Norway, Germany and Portugal. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 49,86
Quantité disponible : Plus de 20 disponibles
Ajouter au panierPaperback. Etat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 67,36
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 52,29
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 63,06
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 2014 edition. 160 pages. 9.25x6.10x0.50 inches. In Stock.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 59,52
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 55,92
Quantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 58,86
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 57,60
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par Springer-Verlag New York Inc, 2012
ISBN 10 : 3642324940 ISBN 13 : 9783642324949
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 69,48
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. revised edition. 150 pages. 9.20x6.10x0.40 inches. In Stock.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 63,82
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Langue: anglais
Edité par Springer-Verlag New York Inc, 2010
ISBN 10 : 3642153305 ISBN 13 : 9783642153303
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 76,69
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 162 pages. 9.00x6.00x0.25 inches. In Stock.
Langue: anglais
Edité par Springer-Verlag New York Inc, 2016
ISBN 10 : 3319465589 ISBN 13 : 9783319465586
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 75,92
Quantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. revised edition. 140 pages. 9.25x6.10x0.32 inches. In Stock.
Langue: anglais
Edité par Springer International Publishing, Springer International Publishing, 2014
ISBN 10 : 331912465X ISBN 13 : 9783319124650
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 42,80
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 papers presented in this volume were carefully reviewed and selected from 12 submissions. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
Langue: anglais
Edité par Springer Berlin Heidelberg, 2010
ISBN 10 : 3642153305 ISBN 13 : 9783642153303
Vendeur : moluna, Greven, Allemagne
EUR 60,02
Quantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. 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 A.
Langue: anglais
Edité par Springer Berlin Heidelberg, 2012
ISBN 10 : 3642324940 ISBN 13 : 9783642324949
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 49,22
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.
Vendeur : preigu, Osnabrück, Allemagne
EUR 41,40
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Foundational and Practical Aspects of Resource Analysis | Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers | Ugo Dal Lago (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2014 | Springer | EAN 9783319124650 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.