Ribeiro Leila (57 results)
- Softcover
Seller: Hamelyn, Madrid, M, SpainHamelyn
Contact seller5-star sellerCondition: Used - Near fine
£ 17.30
£ 11.23 shippingShips from Spain to U.S.A.Quantity: 1 available
Condition: Muy bueno. : Este libro constituye las actas del 6.º Taller Internacional sobre Enseñanza de Métodos Formales (FMTea 2024), celebrado en Milán, Italia, el 10 de septiembre de 2024. La obra presenta una selección de artículos de investigación revisados por expertos que se centran en el aprendizaje y la instrucción de m…étodos formales, abarcando desde la teoría lógica hasta su aplicación práctica en la ingeniería de software y la educación en ciencias de la computación.Como parte de la prestigiosa serie Lecture Notes in Computer Science (LNCS 14939), este volumen incluye siete artículos completos y una charla invitada. Es un recurso esencial para académicos, investigadores y profesionales interesados en las metodologías de enseñanza para la verificación de software, el diseño de sistemas y la aplicación de la inteligencia artificial en entornos educativos técnicos. EAN: 9783031713781 Tipo: Libros Categoría: Tecnología|Educación|Ciencias Título: Formal Methods Teaching Autor: Emil Sekerinski| Leila Ribeiro Editorial: Springer Idioma: en Páginas: 152 Formato: tapa blanda.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 42.17
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 37.05
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 49.61
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (Lecture Notes in . Computer Science and General Issues)
Corradini, Andrea [Editor]; Ehrig, Hartmut [Editor]; Montanari, Ugo [Editor]; Ribeiro, Leila [Editor]; Rozenberg, Grzegorz [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 47.56
£ 5.21 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Corradini, Andrea (EDT); Ehrig, Hartmut (EDT); Montanari, Ugo (EDT); Ribeiro, Leila (EDT); Rozenberg, Grzegorz (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.19
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 37.04
£ 15.00 shippingShips from United Kingdom 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
£ 52.49
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 2024th edition NO-PA16APR2015-KAP.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 42.08
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 52.82
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 150 pages. 9.25x6.10x9.21 inches. In Stock.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 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
£ 47.92
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Corradini, Andrea (EDT); Ehrig, Hartmut (EDT); Montanari, Ugo (EDT); Ribeiro, Leila (EDT); Rozenberg, Grzegorz (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.19
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.19
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Corradini, Andrea (EDT); Ehrig, Hartmut (EDT); Montanari, Ugo (EDT); Ribeiro, Leila (EDT); Rozenberg, Grzegorz (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.40
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.79
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Published by Bern / Stuttgart,, Hallwag Verlag 1981
Seller: Ursula Sturm, Meckenheim, , GermanyUrsula Sturm
Contact seller5-star sellerCondition: Used
£ 16.92
£ 16.00 shippingShips from Germany to U.S.A.Quantity: 1 available
4°, Ln., OU, 319 S., 1 Bll., mit Pappschuber, mit zahlreichen farbigen Abb., Zustand: sehr guter Zust., 2000 gr.
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Corradini, Andrea (EDT); Ehrig, Hartmut (EDT); Montanari, Ugo (EDT); Ribeiro, Leila (EDT); Rozenberg, Grzegorz (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.91
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 72.00
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 492.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 36.21
£ 52.93 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed and select…ed from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 35.23
£ 60.53 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods Teaching | 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings | Emil Sekerinski (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2024 | Springer | EAN 9783031713781 | Verantwortliche Person für die EU: Springer Ver…lag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 65.53
£ 30.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 264 pages. 9.25x6.10x0.60 inches. In Stock.
Designing CDMA
Korowajczuk, Leonhard; Xavier, Bruno De Souza Abreu; Filho, Arlindo Villaschi; Ribeiro, Leila Zurba; Korowajczuk, Cristine; DaSilva, Luiz A.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 99.08
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.
Designing CDMA
Korowajczuk, Leonhard; Xavier, Bruno De Souza Abreu; Filho, Arlindo Villaschi; Ribeiro, Leila Zurba; Korowajczuk, Cristine; DaSilva, Luiz A.
- Hardcover
Seller: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contact seller4-star sellerCondition: New
£ 102.82
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.64
£ 53.64 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th BrazilianSymposium on Formal Methods, SBMF 2016, which took place in Natal,Brazil, in November 2016.The 12 papers presented together with two invited talks were carefully reviewed andselect…ed from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.64
£ 55.09 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do No…rte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.76
£ 60.53 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Graph Transformations | Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings | Andrea Corradini (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540388708 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr.…17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.85
£ 60.53 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Methods: Foundations and Applications | 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings | Leila Ribeiro (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2016 | Springer | EAN 9783319498140 | Verantwortliche Person für die EU: Spri…nger Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Designing Cdma 2000 Systems
Korowajczuk, Leonhard; Xavier, Bruno De Souza Abreu; Filho, Arlindo Villaschi; Ribeiro, Leila Zurba; Korowajczuk, Cristine; DaSilva, Luiz A.
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 113.10
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.
