Order Total (1 Item Items):
Shipping Destination:
Alpuente María (35 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (35)
- 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 (28)
- As New, Fine or Near Fine (4)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (35)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (17)
- Not Print on Demand (25)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
-
Paperback or Softback. Condition: New. Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Pa. Book.
-
Condition: As New. Unread book in perfect condition.
-
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture Notes in Computer Science, 5825)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings (Lecture Notes in Computer Science, 5079)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers (Lecture Notes in Computer Science, 6564)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
Logic-based Program Synthesis and Transformation : 20th International Symposium, Lopstr 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New. pp. 224.
-
Logic-based Program Synthesis and Transformation : 20th International Symposium, Lopstr 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Formal Methods for Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642045693 ISBN 13: 9783642045691
Paperback. Condition: Brand New. 1st edition. 212 pages. 9.25x6.00x0.50 inches. In Stock.
-
Paperback. Condition: Brand New. 2011 edition. 248 pages. 9.00x5.75x0.50 inches. In Stock.
-
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings: Vol 5079
Language: English
Published by Springer-Verlag New York Inc, 2008
ISBN 10: 3540691634 ISBN 13: 9783540691631
Paperback. Condition: Brand New. 1st edition. 379 pages. 9.13x6.06x0.87 inches. In Stock.
-
Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Language: English
Published by Springer, Springer Spektrum, 2009
ISBN 10: 3642045693 ISBN 13: 9783642045691
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
-
Taschenbuch. Condition: Neu. Formal Methods for Industrial Critical Systems | 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings | María Alpuente (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642045691 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Static Analysis | 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings | María Alpuente (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2008 | Springer | EAN 9783540691631 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 396 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
-
Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Language: English
Published by Springer-Verlag GmbH, 2011
ISBN 10: 364220550X ISBN 13: 9783642205507
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
ESTÉTICA DE MANOS Y PIES (EDICIÓN 2023)
Language: Spanish
Published by EDITORIAL PARANINFO, SA, 2012
ISBN 10: 8413661633 ISBN 13: 9788413661636
Seller: Librerias Prometeo y Proteo, Malaga, MA, Spain
Seller rating 2 out of 5 stars
Rústica. Condition: New. Dust Jacket Condition: Nuevo. 01. El cuidado estético de manos y pies contribuye a reforzar la confianza y el bienestar, además de prevenir diversas enfermedades o lesiones en muchos casos.Este libro desarrolla los contenidos del módulo profesional de Estética de manos y pies, de los Ciclos Formativos de grado medio en Peluquería y Cosmética Capilar, y en Estética y Belleza, pertenecientes a la familia profesional de Imagen Personal. Estética de manos y pies explica los principales fundamentos de la estética de manos y pies, así como sus cuidados fundamentales y las premisas para su correcto cuidado y embellecimiento. Proporciona al alumnado las competencias necesarias para el desempeño de las funciones de un manicurista especializado y las herramientas para una correcta inserción en el mundo laboral. La obra incluye una unidad exclusivamente dedicada al cuidado y embellecimiento estético de las manos y pies del público masculino, detallando aquellas características de su tipo de piel, así como las particularidades que se deben tener en cuenta en los servicios de manicura y pedicura masculina. Tania Pellicer Zamora es graduada superior en Estilismo y Dirección de Peluquería y actualmente es docente de Enseñanza Secundaria en la especialidad de Peluquería. María Teresa Robles Rodríguez es graduada en Peluquería y Estética, y ha realizado formación continuada con diversas casas comerciales. Actualmente es docente de la especialidad de Peluquería y Estética. Ambas autoras tienen una dilatada experiencia profesional en el sector de la Imagen personal y la peluquería, al haber estado a cargo de sus propios salones de belleza durante más de 15 años. LIBRO.
-
Encuadernación de tapa blanda. Condition: Bien. Cuatro libros en buen estado, encuadernados en rústica. Los libros son: EN ALGUNA PARTE ES OTOÑO + VERSOS PERVERSOS + DE NACIMIENTOS Y PREMURAS + DE LA LLUVIA.
-
Condition: new. Questo è un articolo print on demand.
-
Static Analysis
Language: English
Published by Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540691634 ISBN 13: 9783540691631
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems. 396 pp. Englisch.
-
Formal Methods for Industrial Critical Systems
Language: English
Published by Springer Berlin Heidelberg Okt 2009, 2009
ISBN 10: 3642045693 ISBN 13: 9783642045691
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with 4 invited papers and 6 posters. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications. 224 pp. Englisch.
-
Condition: New. Print on Demand pp. 224 Illus.
-
Condition: New. PRINT ON DEMAND pp. 224.
