Azala

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings /

This book constitutes the refereed proceedings of the 6th International Conference on Software Language Engineering, SLE 2013, held in Indianapolis, IN, USA, in October 2013. The 17 technical papers presented together with 2 tool demonstration papers and one keynote were carefully reviewed and selec...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Erwig, Martin. (Argitaratzailea, http://id.loc.gov/vocabulary/relators/edt), Paige, Richard F. (Argitaratzailea, http://id.loc.gov/vocabulary/relators/edt), Van Wyk, Eric. (Argitaratzailea, http://id.loc.gov/vocabulary/relators/edt)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	English
Argitaratua:	Cham : Springer International Publishing : Imprint: Springer, 2013.
Edizioa:	1st ed. 2013.
Saila:	Programming and Software Engineering ; 8225
Gaiak:	Programming languages (Electronic computers). Software engineering. Mathematical logic. Artificial intelligence. Computer simulation. Management information systems. Computer science. Programming Languages, Compilers, Interpreters. Software Engineering. Mathematical Logic and Formal Languages. Artificial Intelligence. Simulation and Modeling. Management of Computing and Information Systems.
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-319-02654-1
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings /
Argitaratua: (2014)

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers /
Argitaratua: (2013)

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
Argitaratua: (2015)

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Argitaratua: (2013)

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings /
Argitaratua: (2013)

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
Argitaratua: (2014)

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Argitaratua: (2013)

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
Argitaratua: (2015)

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /
Argitaratua: (2013)

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
Argitaratua: (2013)

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers /
Argitaratua: (2014)

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Argitaratua: (2013)

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /
Argitaratua: (2005)

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 /
Argitaratua: (2005)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers /
Argitaratua: (2010)

Principles and Practice of Constraint Programming - CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings /
Argitaratua: (2007)

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /
Argitaratua: (2007)

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings /
Argitaratua: (2006)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Argitaratua: (2006)

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings /
Argitaratua: (2014)

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings /
Argitaratua: (2007)

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings /
Argitaratua: (2005)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems /
nork: Puppis, Gabriele., et al.
Argitaratua: (2010)

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings /
Argitaratua: (2007)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /
Argitaratua: (2005)

Specification and Verification of Multi-agent Systems
Argitaratua: (2010)

Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
Argitaratua: (2011)

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
Argitaratua: (2007)

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /
Argitaratua: (2011)

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings /
Argitaratua: (2006)

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
Argitaratua: (2005)

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
Argitaratua: (2015)

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /
Argitaratua: (2010)

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
Argitaratua: (2013)

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Argitaratua: (2012)

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers /
Argitaratua: (2012)

Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings /
Argitaratua: (2011)

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /
Argitaratua: (2014)

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /
Argitaratua: (2006)

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings /
Argitaratua: (2011)