Algebraic methodology and software technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers.

QR Code

Algebraic methodology and software technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers.

Bibliographic Details
Format:	Book
Online Access:	Ver documento en línea

Similar Items

Algebraic methodology and software technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings.

Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers /
Published: (2017)

Simulation and Modeling Methodologies, Technologies and Applications : International Conference, SIMULTECH 2011 Noordwijkerhout, The Netherlands, July 29-31, 2011 Revised Selected Papers /
Published: (2013)

Component-based software engineering : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /
Published: (2010)

Agent-oriented software engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers.

Software engineering methodology /
by: Tuner, Ray
Published: (1984)

Advanced Computer Science and Information Technology : Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings.

Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers.

E-technologies : 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015. Proceedings /
Published: (2015)

Web Information Systems and Technologies : 12th International Conference, WEBIST 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers /
Published: (2017)

Agile processes in software engineering and extreme programming : 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings.

Collaboration and technology : 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010, Proceedings /
Published: (2010)

Collaboration and technology : 16th International Conference, CRIWG 2010 Maastricht, The Netherlands, September 20-23, 2010 Proceedings /
by: Kolfschoten, Gwendolyn
Published: (2010)

Computer and computing technologies in agriculture IV : 4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers /
Published: (2011)

Declarative agent languages and technologies VIII : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised selected and invited papers /
Published: (2011)

Active media technology : 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010 : proceedings /
Published: (2010)

Information and Software Technologies : 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings /
Published: (2017)

Agent-oriented software engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers.

Agent and multi-agent systems. Technologies and applications : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings.

Computer and computing technologies in agriculture IV : 4th IFIP TC 12 International Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV /
Published: (2010)

Advances in computer science and information technology : AST/UCMA/ISA/ACN 2010 conferences Miyazaki, Japan, June 23-25, 2010 joint proceedings /
Published: (2010)

Artificial intelligence: methodology, systems, and applications : 14th International Conference, AIMSA 2010, Varna, Bulgaria, september 8-10. 2010. Proceedings.

Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers /
Published: (2017)

Intelligent Technologies for Interactive Entertainment : 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016, Revised Selected Papers /
Published: (2017)

Advances in software engineering : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings.

Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /
Published: (2017)

Arts and technology : Third International Conference, ArtsIT 2013, Milan, Italy, march 21-23, 2013, revised selected papers.

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Published: (2017)

Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers /
Published: (2017)

Agile processes in software engineering and extreme programming : 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings.

Software Business : 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, Proceedings /
Published: (2017)

Smart Cities, Green Technologies, and Intelligent Transport Systems : 5th International Conference, SMARTGREENS 2016, and Second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers /
Published: (2017)

Biomedical Engineering Systems and Technologies : 9th International Joint Conference, BIOSTEC 2016, Rome, Italy, February 21-23, 2016, Revised Selected Papers /
Published: (2017)

Agreement technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers.

Methodology and technology of decommissioning nuclear facilities : report of a Technical Committee Meeting on the Methodology and and Technology of Decommissioning Nuclear Facilities /
Published: (1986)

Advances in new technologies, interactive interfaces and communicability : First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers.

Emerging technologies for education : 4th international symposium, SETE 2019, held in conjunction with ICWL 2019, Magdeburg, Germany, September 23-25, 2019. Revised selected papers /
Published: (2020)

Arts and technology : First International Conference, ArtsIT 2009, Yi-Lan, Taiwan, september 24-25, 2009, revised selected papers.

Curves and surfaces : 7th International Conference, Curves and Surfaces 2010 Avignon, France, June 24-30, 2010 Revised Selected Papers /
Published: (2012)

Analysis of social media and ubiquitous data : International Workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010, Revised Selected Papers.