Sophia Drossopoulou (23 results)
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 36.16
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 36.34
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
US$ 37.63
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 35.84
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.88
US$ 16.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.79
US$ 20.99 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 93.69
US$ 16.94 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2008 edition. 399 pages. 9.25x6.25x1.00 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 64.00
US$ 73.36 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised ve conferen…ces (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 135.20
US$ 16.23 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 27.73
US$ 121.99 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 416 | Sprache: Englisch | Produktart: Bücher | ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit compris…ed?ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci?c to the satellite events). The ?ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe ?nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 128.38
US$ 33.87 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 110.42
US$ 56.92 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 169.85
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 652.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 113.98
US$ 81.33 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. ECOOP 2009 -- Object-Oriented Programming | 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings | Sophia Drossopoulou | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642030123 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Laui…nger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 182.51
US$ 16.94 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 631 pages. 9.00x5.80x1.10 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 128.03
US$ 75.35 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference - with the hard work they put in, it was a great success. Thanks to Sophia Drossopoulou for her dedicated work as PC Chair in assem…bling a ne scienti c program including forward-looking keynotes, and for her e orts to reduce the environmental impact of the PC meeting by replacing a physical meeting with a virtual meeting. I would also like to thank James Noble for taking the time and e ort to write up last year's banquet speech so that it could be included in this year's proceedings. One of the strong features of ECOOPis the two days of workshopspreceding themainconferencethatallowsintenseinteractionbetweenparticipants.Thanks to all workshop organizers. Lastyear'ssuccessfulsummerschooltutorialswerefollowedupthisyearwith seven interesting tutorials. Thanks to the organizers and speakers. This year's Dahl-Nygaard award honored yet another pioneer in the eld, namely, David Ungar for his contributions includingSelf. I appreciate his e orts in providing us with an excellent award talk. The world is changing and so is ECOOP. Please contemplate my short note on the following pages entitled On Future Trends for ECOOP.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 101.10
US$ 121.99 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 652 | Sprache: Englisch | Produktart: Bücher | Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference ¿ with the hard work they put in, it was a great success. Thanks to Sophia Drossopoulou for her dedicated work as PC…Chair in assembling a ?ne scienti?c program including forward-looking keynotes, and for her e?orts to reduce the environmental impact of the PC meeting by replacing a physical meeting with a virtual meeting. I would also like to thank James Noble for taking the time and e?ort to write up last year¿s banquet speech so that it could be included in this year¿s proceedings. One of the strong features of ECOOPis the two days of workshopspreceding themainconferencethatallowsintenseinteractionbetweenparticipants.Thanks to all workshop organizers. Lastyear¿ssuccessfulsummerschooltutorialswerefollowedupthisyearwith seven interesting tutorials. Thanks to the organizers and speakers. This year¿s Dahl-Nygaard award honored yet another pioneer in the ?eld, namely, David Ungar for his contributions includingSelf. I appreciate his e?orts in providing us with an excellent award talk. The world is changing and so is ECOOP. Please contemplate my short note on the following pages entitled On Future Trends for ECOOP.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 64.00
US$ 26.72 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit compr…ised ve conferences (CC, ESOP,FASE, FOSSACS, TACAS), 22satelliteworkshops(ACCAT,AVIS,Bytecode,CMCS,COCV,DCC,FESCA, FIT, FORMED, GaLoP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV,SafeCert,SC,SLA++P,WGT,andWRLA),ninetutorials,andseveninvited lectures (excluding those that were speci c to the satellite events). The ve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less than 26%, with each conference below 27%. Congratulationsthereforetoallthe authorswhomadeittothe nalprogramme! I hope that most of the other authors will still have found a way of participating in this exciting event, and that you will all continue submitting to ETAPS and contributing to make of it the best conference in the area. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. 416 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 57.88
US$ 56.92 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Semantics, Parametricity, and Types.- A Sound Semantics for OCaml light .- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices.- Regular Expression Subtyping for…XML Query and Update Languages.- Semantics.- A Theory of Hygieni.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 64.00
US$ 69.71 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Semantics, Parametricity, and Types.- A Sound Semantics for OCaml light .- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices.- Regular Expression Subtyping for XML Query and Update Languages.- Semantics.-… A Theory of Hygienic Macros.- A Hybrid Denotational Semantics for Hybrid Systems.- Full Abstraction for Linda.- Practical Programming with Higher-Order Encodings and Dependent Types.- Functional and Logic Programming.- Programming in JoCaml (Tool Demonstration).- Playing with : Constraints and Domain Cooperation.- Typing Safe Deallocation.- Iterative Specialisation of Horn Clauses.- ESOP Invited Talk.- Constructive Mathematics and Functional Programming (Abstract).- Static Analysis.- Ranking Abstractions.- Non-disjunctive Numerical Domain for Array Predicate Abstraction.- Upper Adjoints for Fast Inter-procedural Variable Equalities.- Cover Algorithms and Their Combination.- Security I.- Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract).- Linear Declassification.- Just Forget It - The Semantics and Enforcement of Information Erasure.- Concurrency.- Open Bisimulation for the Concurrent Constraint Pi-Calculus.- The Conversation Calculus: A Model of Service-Oriented Computation.- Inferring Channel Buffer Bounds Via Linear Programming.- ETAPS Invited Talk.- Verification of Higher-Order Computation: A Game-Semantic Approach.- Program Verification.- Verification of Equivalent-Results Methods.- Semi-persistent Data Structures.- A Realizability Model for Impredicative Hoare Type Theory.- Oracle Semantics for Concurrent Separation Logic.- Security II.- CertificateTranslationinAbstractInterpretation.- A Formal Implementation of Value Commitment.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 416 pp. Englisch.
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 128.03
US$ 26.72 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference - with the hard work they put in, it was a great success. Thanks to Sophia Drossopoulou for her dedicated work as P…C Chair in assembling a ne scienti c program including forward-looking keynotes, and for her e orts to reduce the environmental impact of the PC meeting by replacing a physical meeting with a virtual meeting. I would also like to thank James Noble for taking the time and e ort to write up last year's banquet speech so that it could be included in this year's proceedings. One of the strong features of ECOOPis the two days of workshopspreceding themainconferencethatallowsintenseinteractionbetweenparticipants.Thanks to all workshop organizers. Lastyear'ssuccessfulsummerschooltutorialswerefollowedupthisyearwith seven interesting tutorials. Thanks to the organizers and speakers. This year's Dahl-Nygaard award honored yet another pioneer in the eld, namely, David Ungar for his contributions includingSelf. I appreciate his e orts in providing us with an excellent award talk. The world is changing and so is ECOOP. Please contemplate my short note on the following pages entitled On Future Trends for ECOOP. 652 pp. Englisch.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 174.07
US$ 8.81 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 652 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 128.03
US$ 69.71 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Welcome to the proceedings of ECOOP 2009! Thanks to the local organizersfor working hard on arranging the conference ¿ with the hard work they put in, it was a great success. Thanks to Sophia Drossopoulou for her dedicated work as PC Ch…air in assembling a ne scienti c program including forward-looking keynotes, and for her e orts to reduce the environmental impact of the PC meeting by replacing a physical meeting with a virtual meeting. I would also like to thank James Noble for taking the time and e ort to write up last year¿s banquet speech so that it could be included in this year¿s proceedings. One of the strong features of ECOOPis the two days of workshopspreceding themainconferencethatallowsintenseinteractionbetweenparticipants.Thanks to all workshop organizers. Lastyear¿ssuccessfulsummerschooltutorialswerefollowedupthisyearwith seven interesting tutorials. Thanks to the organizers and speakers. This year¿s Dahl-Nygaard award honored yet another pioneer in the eld, namely, David Ungar for his contributions includingSelf. I appreciate his e orts in providing us with an excellent award talk. The world is changing and so is ECOOP. Please contemplate my short note on the following pages entitled On Future Trends for ECOOP.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 652 pp. Englisch.
