Passer au contenu principal Passer au contenu du pied de page

Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings

Silvia Lizeth Tapia Tarifa Édition : Jos Proen

3 novembre 2022

102,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 513 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

245

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031208713

Breaking Barriers with Generative Intelligence. Using GI to Improve Human Education and Well-Being: First International Workshop, BBGI 2024, Thessaloniki, Greece, June 10, 2024, Proceedings

Azza Basiouni Couverture souple
175,50 $
2 formats offerts
Breaking Barriers with Generative Intelligence. Using GI to Improve Human Education and Well-Being: First International Workshop, BBGI 2024, Thessaloniki, Greece, June 10, 2024, Proceedings

Azza Basiouni Couverture souple
72,95 $
Investigations Involving the Internet and Computer Networks

Office of Justice Programs Couverture souple
22,50 $
What is Digital Journalism Studies?

Steen Steensen Couverture souple
33,95 $
3 formats offerts
Nuclear Non-Proliferation in International Law: Volume II - Verification and Compliance

Jonathan L. Black-branch Couverture rigide
262,95 $
2 formats offerts
Information Systems Research in Vietnam, Volume 2: A Shared Vision and New Frontiers

Nguyen Hoang Thuan Couverture rigide
233,95 $
2 formats offerts
Pro Database Migration to Azure: Data Modernization for the Enterprise

Kevin Kline Couverture souple
87,95 $
2 formats offerts
The Data-centric Revolution: Restoring Sanity To Enterprise Information Systems

Dave Mccomb Couverture souple
44,99 $
Digital Transformation: What is the Company of Today?

Andrea Bencsik Couverture souple
58,50 $
The Cambridge Handbook of Smart Contracts, Blockchain Technology and Digital Platforms

Couverture souple
50,70 $
2 formats offerts
Using Moodle: Teaching With The Popular Open Source Course Management System

Jason Cole Couverture souple
47,99 $
Information Systems Research in Vietnam: A Shared Vision and New Frontiers

Nguyen Hoang Thuan Couverture souple
160,95 $
Digital transformation: what is the company of today?

Andrea Bencsik Couverture rigide
262,95 $
2 formats offerts
Digital Economy. Emerging Technologies and Business Innovation: 9th International Conference on Digital Economy, ICDEc 2024, Rabat, Morocco, May 9-11, 2024, Proceedings, Part I

Mohamed Anis Bach Tobji Couverture souple
204,50 $
Meeting the Challenge of Social Problems via Agent-Based Simulation: Post-Proceedings of the Second International Workshop on Agent-Based Approaches in Economic and Social Complex Systems

T. Terano Couverture souple
80,50 $
Information Systems Research in Vietnam: A Shared Vision and New Frontiers

Nguyen Hoang Thuan Couverture rigide
160,95 $
2 formats offerts
Technologos in Being: Radical Media Archaeology and the Computational Machine

Wolfgang Ernst Couverture souple
58,50 $
2 formats offerts
Enterprise Architecture and Innovation Management v11: How to move from ideas to reality with agility

Martin Owen Couverture souple
65,97 $
Knowledge Discovery, Knowledge Engineering and Knowledge Management: 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

Ana Fred Couverture souple
80,50 $
2 formats offerts
Privacy and Identity Management. Sharing in a Digital World: 18th IFIP WG 9.2, 9.6/11.7, 11.6 International Summer School, Privacy and Identity 2023, Oslo, Norway, August 8-11, 2023, Revised Selected Papers

Felix Bieker Couverture souple
72,95 $

Évaluation éditoriale

jos proen

Auteur

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Couverture souple
80,50 $
2 formats offerts
Practical Aspects of Declarative Languages: 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Martin Gebser Couverture souple
94,95 $
2 formats offerts
Practical Aspects of Declarative Languages: 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Michael Hanus Couverture souple
124,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Ahmed Bouajjani Couverture souple
124,50 $
2 formats offerts
Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part II

Eike Kiltz Couverture souple
291,95 $
2 formats offerts
Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part I

Eike Kiltz Couverture souple
175,50 $
2 formats offerts
Diagrammatic Representation And Inference: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings

Peter Chapman Couverture souple
160,95 $
2 formats offerts
Theory of Cryptography: 20th International Conference, TCC 2022, Chicago, IL, USA, November 7-10, 2022, Proceedings, Part III

Eike Kiltz Couverture souple
102,50 $
2 formats offerts
Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

Anne E. Haxthausen Couverture souple
94,95 $
2 formats offerts
Networked Systems: 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings

Mohammed-Amine Koulali Couverture souple
80,50 $
2 formats offerts
Computer Performance Engineering and Stochastic Modelling: 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings

Mauro Iacono Couverture souple
109,50 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Étienne Andr Couverture souple
116,95 $
2 formats offerts
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II

Étienne Andr Couverture souple
109,50 $
2 formats offerts
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Leen Lambers Couverture souple
72,95 $
2 formats offerts
Socio-Technical Aspects in Security: 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

Simon Parkin Couverture souple
116,95 $
2 formats offerts
Model-Driven Engineering and Software Development: 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers

Luís Ferreira Pires Couverture souple
116,95 $
2 formats offerts
Design, Operation and Evaluation of Mobile Communications: Third International Conference, MOBILE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Gavriel Salvendy Couverture souple
145,95 $
2 formats offerts
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings

Maribel Fernández Couverture souple
102,50 $
2 formats offerts
Passive And Active Measurement: 23rd International Conference, Pam 2022, Virtual Event, March 28-30, 2022, Proceedings

Oliver Hohlfeld Couverture souple
160,95 $
2 formats offerts