Lluch alberto (18 Ergebnisse)

Zustand: Very Good. : En quin cap cap? es un libro infantil escrito por Enric Lluch i Girbés e ilustrado por Alberto Cristobal Pallarés. Publicado en 1999 por Edicions del Bullent, S.L., este libro de tapa blanda cuenta la historia de los reyes de Trébol que se pierden, dejando a sus súbditos sin rey, reina ni herederos. Los súbditos deberán encontrar una solución para esta situación. El libro pertenece a la serie Estrella de Mar y está escrito en catalán. EAN: 9788489663503 Tipo: Libros Categoría: Infantil y Juvenil|Literatura y Ficción Título: En quin cap cap? Autor: Enric Lluch i Girbés Editorial: Edicions del Bullent, S.L. Idioma: ca Páginas: 64 Formato: tapa blanda. Pallarés, Alberto Cristobal (illustrator).…

Zustand: 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.

tapa blanda. Zustand: Bien. Civilización, progreso y cultura.(008) Revista de Occidente. Madrid. 1972. 20 cm. Encuadernación en tapa blanda de editorial. Cubierta deslucida. (=3528174=) JM04.

Zustand: New. In English.

Zustand: Very Good. Pallarés, Alberto Cristobal (illustrator).

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 261 pages. 9.25x6.10x0.55 inches. In Stock.

Zustand: New.

Paperback. Zustand: Brand New. 2014 edition. 320 pages. 9.20x6.10x0.80 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover a wide range of topicsand techniques related to system coordination, including: programming andcommunication abstractions; communication protocols and behavioural types;actors and concurrent objects; tuple spaces; games, interfaces and contracts; informationflow policies and dissemination techniques; and probabilistic modelsand formal verification.…

Paperback. Zustand: Brand New. 296 pages. 9.25x6.10x0.67 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, pi-calculus, information flow, models, specifications and proofs and quantitative analysis.…

Taschenbuch. Zustand: Neu. Coordination Models and Languages | 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings | Alberto Lluch Lafuente (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2016 | Springer | EAN 9783319395180 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Trustworthy Global Computing | 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers | Martín Abadi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2014 | Springer | EAN 9783319051185 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Formal Methods for Industrial Critical Systems | 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings | Alberto Lluch Lafuente (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2021 | Springer | EAN 9783030852474 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 264 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.…