Order Total (1 Item Items):
Shipping Destination:
Eekelen Marko (50 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (50)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (38)
- As New, Fine or Near Fine (10)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (20)
- Not Print on Demand (39)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Functional Programming and Parallel Graph Rewriting
Language: English
Published by Addison-Wesley Longman, Incorporated, 1993
ISBN 10: 0201416638 ISBN 13: 9780201416633
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: As New. Unread book in perfect condition.
-
-
Condition: As New. Unread book in perfect condition.
-
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers (Lecture Notes in Computer Science, 7177)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 61.29
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Interactive Theorem Proving
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642228623 ISBN 13: 9783642228629
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 75.90
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. 2011th.
-
-
Foundational and Practical Aspects of Resource Analysis (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642153305 ISBN 13: 9783642153303
Paperback. Condition: 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.
-
US$ 58.54
US$ 20.84 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
-
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 60.83
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 65.66
US$ 20.84 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes in Computer Science, 6898)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.40
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.40
US$ 16.12 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.41
US$ 20.84 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.32
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.10
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.84
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, Fopara 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
Language: English
Published by Springer-Verlag New York Inc, 2012
ISBN 10: 3642324940 ISBN 13: 9783642324949
US$ 80.93
US$ 13.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. revised edition. 150 pages. 9.20x6.10x0.40 inches. In Stock.
-
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 75.70
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Paperback or Softback. Condition: New. Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings. Book.
-
Interactive Theorem Proving : Second International Conference, Itp 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 77.49
US$ 20.18 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Foundational and Practical Aspects of Resource Analysis: First International Workshop, Fopara 2009, Eindhoven, the Netherlands, November 6, 2010, Revised Selected Papers
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642153305 ISBN 13: 9783642153303
US$ 89.34
US$ 13.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 162 pages. 9.00x6.00x0.25 inches. In Stock.
-
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2011
ISBN 10: 3642228623 ISBN 13: 9783642228629
US$ 93.89
US$ 16.82 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 394 pages. 9.20x6.10x0.90 inches. In Stock.
-
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, Revised Selected Papers
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319465589 ISBN 13: 9783319465586
US$ 88.44
US$ 26.91 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. revised edition. 140 pages. 9.25x6.10x0.32 inches. In Stock.
-
Foundational and Practical Aspects of Resource Analysis
Language: English
Published by Springer Berlin Heidelberg, 2010
ISBN 10: 3642153305 ISBN 13: 9783642153303
Condition: 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.
