Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

Unifying theories of programming third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Qin, Shengchao
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer 2010.
Σειρά:	Lecture Notes in Computer Science, 6445
Θέματα:	Computer science Software engineering Logic design Artificial intelligence
Διαθέσιμο Online:	Click here to view the full text content
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
Έκδοση: (2010)

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Έκδοση: (2013)

Verified software: theories, tools, experiments third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
Έκδοση: (2010)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Έκδοση: (2010)

Logic for programming, artificial intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
Έκδοση: (2010)

Principles and practice of constraint programming CP 2010 16th international conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings /
Έκδοση: (2010)

Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25 - May 1, 2010, revised selected papers /
Έκδοση: (2010)

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 /
Έκδοση: (2013)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Έκδοση: (2014)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Έκδοση: (2012)

Mathematics of program construction 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010. Proceedings /
Έκδοση: (2010)

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Έκδοση: (2013)

Logic for programming, artificial intelligence, and reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings /
Έκδοση: (2007)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Έκδοση: (2012)

Programming languages and systems 19th european symposium on programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Έκδοση: (2010)

Algorithmic learning theory 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings /
Έκδοση: (2010)

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Έκδοση: (2010)

Algebraic methodology and software technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /
Έκδοση: (2011)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
Έκδοση: (2013)

Programming languages and systems 8th aasian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /
Έκδοση: (2010)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Έκδοση: (2012)

Functional and logic programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
Έκδοση: (2008)

Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
ανά: Baader, Franz
Έκδοση: (2005)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Έκδοση: (2010)

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Έκδοση: (2010)

Verified software: theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Έκδοση: (2014)

Computer aided verification 22nd international conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
Έκδοση: (2010)

Interactive theorem proving first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Έκδοση: (2010)

Verified software: theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Έκδοση: (2014)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Έκδοση: (2013)

Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Έκδοση: (2011)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Έκδοση: (2012)

Computational logic in multi-agent systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings /
Έκδοση: (2013)

Computational logic in multi-agent systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings /
Έκδοση: (2014)

Approaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /
Έκδοση: (2010)

Language and automata theory and applications 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings /
Έκδοση: (2010)

Tools and algorithms for the construction and analysis of systems 16th international conference, TACAS 2010, held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Έκδοση: (2010)

Unconventional computation 9th international conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings /
Έκδοση: (2010)

Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Έκδοση: (2012)