Passer au contenu principal Passer au contenu du pied de page

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

Shengchao Qin

21 octobre 2010

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

310

Theoretical Computer Science and General Issues

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642166891

HCI International 2023 Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part V

Constantine Stephanidis Couverture souple
248,50 $
2 formats offerts
HCI International 2023 Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Constantine Stephanidis Couverture souple
189,95 $
2 formats offerts
HCI International 2023 Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV

Constantine Stephanidis Couverture souple
248,50 $
2 formats offerts
HCI International 2023 Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III

Constantine Stephanidis Couverture souple
175,50 $
2 formats offerts
HCI International 2023 Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Constantine Stephanidis Couverture souple
248,50 $
2 formats offerts
Algorithms and Computation: 8th International Workshop, Walcom 2014, Chennai, India, February 13-15, 2014, Proceedings

Sudebkumar Prasant Pal Couverture souple
80,50 $
Unconventional Computation And Natural Computation: 19th International Conference, Ucnc 2021, Espoo, Finland, October 18-22, 2021, Proceedings

Irina Kostitsyna Couverture souple
87,95 $
2 formats offerts
HCI International 2023 - Late Breaking Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Constantine Stephanidis Couverture souple
58,50 $
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

Couverture souple
49,50 $
HCI International 2023 - Late Breaking Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

Constantine Stephanidis Couverture souple
145,95 $
2 formats offerts
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Zhenhua Duan Couverture souple
80,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 $
Euro-par 2013: Parallel Processing: 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings

Felix Wolf Couverture souple
80,50 $
HCI International 2023 - Late Breaking Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Constantine Stephanidis Couverture souple
58,50 $
HCI International 2023 - Late Breaking Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Constantine Stephanidis Couverture souple
145,95 $
2 formats offerts
Computational Logistics: Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012, Proceedings

Hao Hu Couverture souple
105,50 $
New Trends in Database and Information Systems: ADBIS 2022 Short Papers, Doctoral Consortium and Workshops: DOING, K-GALS, MADEISD, MegaData, SWODCH, Turin, Italy, September 5-8, 2022, Proceedings

Silvia Chiusano Couverture souple
175,50 $
2 formats offerts
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Shengchao Qin Couverture souple
80,50 $
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings

Yamine Aït-Ameur Couverture souple
145,95 $
2 formats offerts
Proceedings of the 5th International Conference on Big Data and Internet of Things

Mohamed Lazaar Couverture souple
408,95 $
2 formats offerts

Évaluation éditoriale

Auteur

Algorithmic Aspects in Information and Management: 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings

Qianping Gu Couverture souple
80,50 $
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

Bo Chen Couverture souple
80,50 $
Hybrid Learning and Education: Second International Conference, Ichl 2009, Macau, China, August 25-27, 2009, Proceedings

Fu Lee Wang Couverture souple
80,50 $
Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

Jin-Yi Cai Couverture souple
160,95 $
Theoretical and Mathematical Foundations of Computer Science: Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, Revised Selected Papers

Qihai Zhou Couverture souple
160,95 $
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Zhiming Liu Couverture souple
80,50 $
Requirements Engineering in the Big Data Era: Second Asia Pacific Symposium, Apres 2015, Wuhan, China, October 18-20, 2015, Proceedings

Lin Liu Couverture souple
80,50 $
Theory and Applications of Models of Computation: Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings

Jin-Yi Cai Couverture souple
160,95 $
Frontiers in Algorithmics: Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings

Franco P. Preparata Couverture souple
80,50 $
Computational Logistics: Third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012, Proceedings

Hao Hu Couverture souple
105,50 $
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Cliff B. Jones Couverture souple
80,50 $
Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Yoram Moses Couverture souple
80,50 $
Frontiers In Algorithmics: 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings

Minming Li Couverture souple
80,50 $
2 formats offerts
Wireless Algorithms, Systems, And Applications: 10th International Conference, Wasa 2015, Qufu, China, August 10-12, 2015, Proceedings

Kuai Xu Couverture souple
80,50 $
2 formats offerts
Evolutionary Computation in Combinatorial Optimization: 12th European Conference, Evocop 2012, Malaga, Spain, April 11-13, 2012, Proceedings

Jin-Kao Hao Couverture souple
102,50 $
Algorithmic Aspects In Information And Management: 14th International Conference, Aaim 2020, Jinhua, China, August 10-12, 2020, Proceedings

Zhao Zhang Couverture souple
80,50 $
2 formats offerts
Frontiers in Algorithmics: Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009, Proceedings

Xiaotie Deng Couverture souple
80,50 $
Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Jianer Chen Couverture souple
80,50 $
Simulated Evolution and Learning: 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings

Xiaodong Li Couverture souple
160,95 $
Theory And Applications Of Models Of Computation: 16th International Conference, Tamc 2020, Changsha, China, October 18-20, 2020, Proceedings

Jianer Chen Couverture souple
80,50 $
2 formats offerts