Passer au contenu principal Passer au contenu du pied de page

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

Édition : Aaron Dutle

17 juin 2021

102,99 $ ~~Réduction sur le prix courant 128,33 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Programming and Software Engineering

Publié par: Springer International Publishing

ISBN: 9783030763848

HCI International 2020 - Late Breaking Papers: Virtual and Augmented Reality: 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
HCI International 2020 - Late Breaking Papers: User Experience Design and Case Studies: 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
Hci International 2020 - Late Breaking Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
Model-Driven Engineering and Software Development: 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers

Slimane Hammoudi Couverture souple
80,50 $
2 formats offerts
Linking Theory and Practice of Digital Libraries: 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings

Omar Alonso Couverture souple
102,50 $
2 formats offerts
Algorithms And Data Structures: 14th International Symposium, Wads 2015, Victoria, Bc, Canada, August 5-7, 2015. Proceedings

Frank Dehne Couverture souple
80,50 $
HCI International 2017 - Posters' Extended Abstracts: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Constantine Stephanidis Couverture souple
80,50 $
2 formats offerts
Linking Theory and Practice of Digital Libraries: 25th International Conference on Theory and Practice of Digital Libraries, TPDL 2021, Virtual Event, September 13-17, 2021, Proceedings

Gerd Berget Couverture souple
116,95 $
2 formats offerts
Frontiers in Cyber Security: 6th International Conference, FCS 2023, Chengdu, China, August 21-23, 2023, Revised Selected Papers

Haomiao Yang Couverture souple
58,50 $
From Born-Physical to Born-Virtual: Augmenting Intelligence in Digital Libraries: 24th International Conference on Asian Digital Libraries, ICADL 2022, Hanoi, Vietnam, November 30 - December 2, 2022, Proceedings

Yuen-hsien Tseng Couverture souple
131,50 $
2 formats offerts
High Performance Computing: 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22-25, 2020, Proceedings

Ponnuswamy Sadayappan Couverture souple
131,50 $
2 formats offerts
HCI for Cybersecurity, Privacy and Trust: 5th International Conference, HCI-CPT 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings

Abbas Moallem Couverture souple
175,50 $
2 formats offerts
Quantum Computing and Quantum Communications: First NASA International Conference, QCQC '98, Palm Springs, California, USA, February 17-20, 1998, Selected Papers

Colin P. Williams Couverture souple
71,50 $
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers

Zheng Li Couverture souple
80,50 $
2 formats offerts
Frontiers in Cyber Security: 6th International Conference, FCS 2023, Chengdu, China, August 21-23, 2023, Revised Selected Papers

Haomiao Yang Couverture souple
160,95 $
2 formats offerts
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Radhia Cousot Couverture souple
80,50 $
Autonomic Communication: First International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers

Michael Smirnov Couverture souple
80,50 $
Computational Theory of Mind for Human-Machine Teams: First International Symposium, ToM for Teams 2021, Virtual Event, November 4-6, 2021, Revised Selected Papers

Nikolos Gurney Couverture souple
175,50 $
2 formats offerts
HCI International 2020 - Late Breaking Papers: Cognition, Learning and Games: 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings

Constantine Stephanidis Couverture souple
160,95 $
2 formats offerts
ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium: International Workshops: DOING, MADEISD, SKG, BBIGAP, SIMPDA, AIMinScience 2020 and Doctoral Consortium, Lyon, France, August 25-27, 2020, Proceedings

Ladjel Bellatreche Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

aaron dutle

Auteur

Combinatorial Algorithms: 30th International Workshop, Iwoca 2019, Pisa, Italy, July 23-25, 2019, Proceedings

Charles J. Colbourn Couverture souple
116,95 $
2 formats offerts
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Gilles Barthe Couverture souple
80,50 $
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings

Flavio De Paoli Couverture souple
72,95 $
Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010, Proceedings

Fabio Massacci Couverture souple
80,50 $
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Sérgio Campos Couverture souple
87,95 $
2 formats offerts
Formal Methods For Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings

Alberto Lluch Lafuente Couverture souple
80,50 $
2 formats offerts
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Couverture souple
80,50 $
Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

Alfredo Cuzzocrea Couverture souple
80,50 $
Agile Processes in Software Engineering and Extreme Programming: 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings

Giulio Concas Couverture souple
80,50 $
Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Luca Ardito Couverture souple
102,50 $
2 formats offerts
Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

Gordon Fraser Couverture souple
80,50 $
Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings

Andrea Bondavalli Couverture souple
80,50 $
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Christiano Braga Couverture souple
65,95 $
Adaptive and Natural Computing Algorithms: 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013, Proceedings

Marco Tomassini Couverture souple
80,50 $
Computational Intelligence Methods for Bioinformatics and Biostatistics: 17th International Meeting, CIBB 2021, Virtual Event, November 15-17, 2021, Revised Selected Papers

Davide Chicco Couverture souple
102,50 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

Alberto Del Pia Couverture souple
131,50 $
2 formats offerts
Genetic Programming: 12th European Conference, Eurogp 2009 Tubingen, Germany, April, 15-17, 2009 Proceedings

Leonardo Vanneschi Couverture souple
80,50 $
Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Michael Luck Couverture souple
80,50 $
Pattern Recognition in Bioinformatics: 4th IAPR International Conference, PRIB 2009, Sheffield, UK, September 7-9, 2009, Proceedings

Visakan Kadirkamanathan Couverture souple
80,50 $
Formal Methods Teaching: 4th International Workshop And Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings

João F. Ferreira Couverture souple
87,95 $
2 formats offerts