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

Édition : Silvia Lizeth Tapia Tarifa

3 novembre 2022

78,99 $ ~~Réduction sur le prix courant 98,13 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer International Publishing

ISBN: 9783031208720

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

silvia lizeth tapia tarifa

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