Lluch lafuente alberto (46 risultati)

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Condizione: New. pp. 344.

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

Condizione: New.

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

copertina morbida. Condizione: buone. Condizione sovraccoperta: buone. INTERNET E IL WEB SONO ORMAI ENTRATI NELLA REALTÀ DI TUTTI I GIORNI. TERMINI COME SOCIAL NETWORK, BLOG, POST, WEB 2.0 SONO UTILIZZATI QUOTIDIANAMENTE DA MILIONI DI PERSONE. MA QUALI SONO I REALI MECCANISMI ALLA BASE DI QUESTE TECNOLOGIE INNOVATIVE? COSA È IL WEB SEMANTICO? E I WIKI? COME FUNZIONA UN MOTORE DI RICERCA? A QUESTE E A MOLTE ALTRE DOMANDE IL VOLUME RISPONDE IN MANIERA EFFICACE ED ESAUSTIVA. GRAZIE ALLA CHIAREZZA DELLA TRATTAZIONE, AL RIGORE SCIENTIFICO DELL'ESPOSIZIONE E AL RICCO APPARATO DIDATTICO INTERNET E WEB 2.0 È UN TESTO PER CHIUNQUE VOGLIA AFFRONTARE E ACCRESCERE LE PROPRIE ABILITÀ INFORMATICHE.…

Taschenbuch. Condizione: 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. Condizione: 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.…

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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.…

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

Condizione: 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.…

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Condizione: new. Questo è un articolo print on demand.

Condizione: new. Questo è un articolo print on demand.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.