Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Name: Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Grigore Rosu
ISBN: 9783642307928

Holger Giese Édition : Grigore Rosu

31 mai 2012

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

269

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783642307928

Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers

Jan Mazal Couverture souple
124,50 $
2 formats offerts
Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Jérémie Guiochet Couverture souple
94,95 $
2 formats offerts
Information Technology in Disaster Risk Reduction: 7th IFIP WG 5.15 International Conference, ITDRR 2022, Kristiansand, Norway, October 12-14, 2022, Revised Selected Papers

Terje Gjosæter Couverture souple
175,50 $
Modelling and Simulation for Autonomous Systems: 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers

Jan Mazal Couverture souple
145,95 $
2 formats offerts
Parallel Computational Technologies: 11th International Conference, Pct 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Leonid Sokolinsky Couverture souple
80,50 $
2 formats offerts
Space Information Networks: 4th International Conference, SINC 2019, Wuzhen, China, September 19-20, 2019, Revised Selected Papers

Quan Yu Couverture souple
80,50 $
2 formats offerts
Serious Games, Interaction, and Simulation: 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

Carlos Vaz de Carvalho Couverture souple
87,95 $
2 formats offerts
Image Analysis And Processing - Iciap 2009: 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedings

Pasquale Foggia Couverture souple
248,50 $
E-Commerce, and Web Technologies: 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013, Proceedings

Christian Huemer Couverture souple
105,50 $
Computational Intelligence in Data Science: 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part II

Mieczyslaw Lech Owoc Couverture rigide
189,95 $
2 formats offerts
Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024, Proceedings

Maryam Lotfian Couverture souple
189,95 $
2 formats offerts
Computational Intelligence in Data Science: 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part I

Mieczyslaw Lech Owoc Couverture rigide
175,50 $
2 formats offerts
Computational Science and Its Applications - ICCSA 2013: 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

Beniamino Murgante Couverture souple
80,50 $
Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024, Proceedings

Maryam Lotfian Couverture souple
72,95 $
Space Information Networks: First International Conference, SINC 2016, Kunming, China, August 24-25, 2016. Revised Selected Papers

Quan Yu Couverture souple
80,50 $
2 formats offerts
Information Security Applications: 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers

Dong Hoon Lee Couverture souple
80,50 $
Computational Intelligence in Data Science: 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Sarath Chandran K R Couverture souple
175,50 $
Medical Image Computing And Computer-assisted Intervention - Miccai 2009: 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II

Guang-Zhong Yang Couverture souple
248,50 $
Combinatorial Optimization And Applications: 13th International Conference, Cocoa 2019, Xiamen, China, December 13-15, 2019, Proceedings

Yingshu Li Couverture souple
80,50 $
2 formats offerts
Proceedings of the 11th International Conference of Ar.Tec. (Scientific Society of Architectural Engineering): Colloqui.AT.e 2024 - Volume 1

Rossella Corrao Couverture rigide
554,95 $
2 formats offerts

Évaluation éditoriale

grigore rosu

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Description

Vous aimerez peut-être aussi

Modelling and Simulation for Autonomous Systems: 9th International Conference, MESAS 2022, Prague, Czech Republic, October 20-21, 2022, Revised Selected Papers

Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

Information Technology in Disaster Risk Reduction: 7th IFIP WG 5.15 International Conference, ITDRR 2022, Kristiansand, Norway, October 12-14, 2022, Revised Selected Papers

Modelling and Simulation for Autonomous Systems: 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers

Parallel Computational Technologies: 11th International Conference, Pct 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

Space Information Networks: 4th International Conference, SINC 2019, Wuzhen, China, September 19-20, 2019, Revised Selected Papers

Serious Games, Interaction, and Simulation: 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

Image Analysis And Processing - Iciap 2009: 15th International Conference Vietri sul Mare, Italy, September 8-11, 2009 Proceedings

E-Commerce, and Web Technologies: 14th International Conference, EC-Web 2013, Prague, Czech Republic, August 27-28, 2013, Proceedings

Computational Intelligence in Data Science: 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part II

Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024, Proceedings

Computational Intelligence in Data Science: 7th IFIP TC 12 International Conference, ICCIDS 2024, Chennai, India, February 21-23, 2024, Revised Selected Papers, Part I

Computational Science and Its Applications - ICCSA 2013: 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

Web and Wireless Geographical Information Systems: 21st International Symposium, W2GIS 2024, Yverdon-les-Bains, Switzerland, June 17-18, 2024, Proceedings

Space Information Networks: First International Conference, SINC 2016, Kunming, China, August 24-25, 2016. Revised Selected Papers

Information Security Applications: 13th International Workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012, Revised Selected Papers

Computational Intelligence in Data Science: 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers

Medical Image Computing And Computer-assisted Intervention - Miccai 2009: 12th International Conference, London, UK, September 20-24, 2009, Proceedings, Part II

Combinatorial Optimization And Applications: 13th International Conference, Cocoa 2019, Xiamen, China, December 13-15, 2019, Proceedings

Proceedings of the 11th International Conference of Ar.Tec. (Scientific Society of Architectural Engineering): Colloqui.AT.e 2024 - Volume 1

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Distributed Applications and Interoperable Systems: 14th IFIP WG 6.1 International Conference, DAIS 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Coordination Models and Languages: 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings

Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Distributed Applications and Interoperable Systems: 12th IFIP WG 6.1 International Conference, DAIS 2012. Stockholm, Sweden, June 13-16, 2012, Proceedings

Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Distributed Applications and Interoperable Systems: 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

Distributed Applications and Interoperable Systems: 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Distributed Applications and Interoperable Systems: 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

Distributed Applications and Interoperable Systems: 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings

Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Coordination Models and Languages: 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems: 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

Distributed Applications and Interoperable Systems: 23rd IFIP WG 6.1 International Conference, DAIS 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings

Service-oriented And Cloud Computing: 7th Ifip Wg 2.14 European Conference, Esocc 2018, Como, Italy, September 12-14, 2018, Proceedings

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings