Passer au contenu principal Passer au contenu du pied de page

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson Édition : Andre Scedrov , Victor Zakharov

30 décembre 2017

80,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 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

209

Communications in Computer and Information Science

Publié par: Springer Nature

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

ISBN: 9783319717333

Universal Access in Human-Computer Interaction. Users Diversity: 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

Constantine Stephanidis Couverture souple
160,95 $
Universal Access in Human-Computer Interaction. Addressing Diversity: 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I

Constantine Stephanidis Couverture souple
160,95 $
Music Technology with Swing: 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers

Mitsuko Aramaki Couverture souple
80,50 $
2 formats offerts
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Cyrille Artho Couverture souple
80,50 $
2 formats offerts
Artificial Evolution: Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers

Jin-Kao Hao Couverture souple
80,50 $
Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies: 16th International Conference, UAHCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Margherita Antona Couverture souple
204,50 $
2 formats offerts
Compiler Construction: 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings

Kai Koskimies Couverture souple
80,50 $
Nasa Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings

Ritchie Lee Couverture souple
116,95 $
2 formats offerts
Intelligent Human Computer Interaction: 15th International Conference, IHCI 2023, Daegu, South Korea, November 8-10, 2023, Revised Selected Papers, Part II

Bong Jun Choi Couverture souple
109,50 $
2 formats offerts
Digital Human Modeling: Second International Conference, ICDHM 2009, Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009 Proceedings

Vincent G. Duffy Couverture souple
160,95 $
Foundations of Augmented Cognition: 5th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings

Dylan D. Schmorrow Couverture souple
80,50 $
Virtual and Mixed Reality - New Trends, Part I: International Conference, Virtual and Mixed Reality 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

Randall Shumaker Couverture souple
80,50 $
Universal Access in Human-Computer Interaction. User and Context Diversity: 16th International Conference, UAHCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part II

Margherita Antona Couverture souple
189,95 $
2 formats offerts
Virtual, Augmented and Mixed Reality. Applications and Case Studies: 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II

Jessie Y.c. Chen Couverture souple
131,50 $
2 formats offerts
Structured Object-oriented Formal Language And Method: 10th International Workshop, Sofl+msvl 2020, Singapore, March 1, 2021, Revised Selected Papers

Jinyun Xue Couverture souple
80,50 $
2 formats offerts
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Couverture souple
80,50 $
2 formats offerts
Gesture-Based Human-Computer Interaction and Simulation: 7th International Gesture Workshop, GW 2007, Lisbon, Portugal, May 23-25, 2007, Revised Selected Papers

Miguel Sales Dias Couverture souple
80,50 $
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Ana Bove Couverture souple
80,50 $
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Vlad Rusu Couverture souple
80,50 $
2 formats offerts
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers

Bernhard K. Aichernig Couverture souple
80,50 $

Évaluation éditoriale

andre scedrov

Auteur

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Couverture souple
94,95 $
2 formats offerts
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Couverture souple
80,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, Revised Selected Papers

Raian Ali Couverture souple
80,50 $
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
Formal Techniques For Safety-critical Systems: 4th International Workshop, Ftscs 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho Couverture souple
80,50 $
2 formats offerts
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Cyrille Artho Couverture souple
80,50 $
2 formats offerts
New Frontiers In Quantitative Methods In Informatics: 7th Workshop, Infq 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Simonetta Balsamo Couverture souple
80,50 $
2 formats offerts
Knowledge Discovery, Knowledge Engineering and Knowledge Management: 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers

Ana Fred Couverture souple
160,95 $
2 formats offerts
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
Evaluation of Novel Approaches to Software Engineering: 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers

Ernesto Damiani Couverture souple
80,50 $
2 formats offerts
Modern Problems of Robotics: Second International Conference, MPoR 2020, Moscow, Russia, March 25-26, 2020, Revised Selected Papers

Arkady Yuschenko Couverture souple
124,50 $
2 formats offerts
Human Mental Workload: Models and Applications: Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

Luca Longo Couverture souple
80,50 $
2 formats offerts
Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

Hermann Kaindl Couverture souple
124,50 $
2 formats offerts
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Couverture souple
58,50 $
Management of Information, Process and Cooperation: Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

Jian Cao Couverture souple
80,50 $
2 formats offerts
Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers

Paola Festa Couverture souple
80,50 $
2 formats offerts
Modern Information Technology and IT Education: 13th International Conference, SITITO 2018, Moscow, Russia, November 29 - December 2, 2018, Revised Selected Papers

Vladimir Sukhomlin Couverture souple
80,50 $
2 formats offerts
Modern Information Technology and IT Education: 12th International Conference, SITITO 2017, Moscow, Russia, November 24-26, 2017, Revised Selected Papers

Vladimir Sukhomlin Couverture souple
80,50 $
2 formats offerts
Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

Dalibor Klus Couverture souple
80,50 $
2 formats offerts
Model-Driven Engineering and Software Development: 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers

Slimane Hammoudi Couverture souple
80,50 $
2 formats offerts