Importe total (1 artículo artículos):
Destino del pedido:
ribeiro leila (49 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (49)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (40)
- Como nuevo, Excelente o Muy bueno (8)
- Bueno o Aceptable (No hay ningún otro resultado que coincida con este filtro.)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (23)
- No impresión bajo demanda (34)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Formal Methods Teaching
Librería: Hamelyn, Madrid, M, España
Calificación del vendedor: 5 de 5 estrellas
EUR 19,43
Envío por EUR 12,99
Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 40,71
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 48,64
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 43,87
Envío por EUR 13,87
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,20
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 43,85
Envío por EUR 17,37
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 60,42
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2024th edition NO-PA16APR2015-KAP.
-
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 50,18
Envío por EUR 17,37
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 63,07
Envío por EUR 11,58
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 150 pages. 9.25x6.10x9.21 inches. In Stock.
-
Graph Transformations: Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (Lecture Notes in Computer Science, 4178)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,13
Envío por EUR 13,87
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Programming and Software Engineering)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,13
Envío por EUR 13,87
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 73,63
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods : Foundations and Applications; 19th Brazilian Symposium, Sbmf 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 73,63
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,15
Envío por EUR 17,93
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,10
Envío por EUR 17,37
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Methods : Foundations and Applications; 19th Brazilian Symposium, Sbmf 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 60,12
Envío por EUR 17,37
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Graph Transformations
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 76,94
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 492.
-
Volkskunst Amerikas
Publicado por Bern / Stuttgart,, Hallwag Verlag, 1981
Librería: Ursula Sturm, Meckenheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 19,00
Envío por EUR 18,50
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito4°, Ln., OU, 319 S., 1 Bll., mit Pappschuber, mit zahlreichen farbigen Abb., Zustand: sehr guter Zust., 2000 gr.
-
Graph Transformations
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 75,88
Envío por EUR 7,53
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 492 Illus.
-
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006: Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,74
Envío por EUR 17,37
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Graph Transformations
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 75,06
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 492.
-
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Idioma: Inglés
Publicado por Springer Nature Switzerland, 2024
ISBN 10: 3031713788 ISBN 13: 9783031713781
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 40,65
Envío por EUR 61,21
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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 selected 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.
-
Formal Methods Teaching | 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,55
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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 Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Methods: Foundations and Applications; 19th Brazilian Symposium, Sbmf 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3319498142 ISBN 13: 9783319498140
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,24
Envío por EUR 34,73
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 264 pages. 9.25x6.10x0.60 inches. In Stock.
-
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Idioma: Inglés
Publicado por Springer International Publishing, 2016
ISBN 10: 3319498142 ISBN 13: 9783319498140
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 62,03
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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 andselected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
-
Graph Transformations : Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2006
ISBN 10: 3540388702 ISBN 13: 9783540388708
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 63,70
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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 Norte, 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.
-
Formal Methods: Foundations and Applications | 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,35
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Graph Transformations | Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,25
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
-
DESIGNING CDMA
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 134,88
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Formal Methods : Foundations and Applications; 19th Brazilian Symposium, Sbmf 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 126,39
Envío por EUR 17,37
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
