Rewriting Techniques and Applications : 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings /

Detaylı Bibliyografya
Yazar:	Vincent Oostrom (edición)
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Berlín, Alemania : Springer, 2004, c2004
Seri Bilgileri:	(Lecture Notes in Computer Science)
Online Erişim:	Ver documento en línea

Benzer Materyaller: Rewriting Techniques and Applications :

Hızlı Bakış
Rewriting Techniques and Applications : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
Hızlı Bakış
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /
Hızlı Bakış
Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings /
Hızlı Bakış
Rewriting Techniques and Applications : 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Hızlı Bakış
Rewriting Techniques and Applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /
Hızlı Bakış
Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings /
Hızlı Bakış
Rewriting Techniques and Applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Hızlı Bakış
Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings /
Hızlı Bakış
Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
Hızlı Bakış
Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings /
Hızlı Bakış
Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
Hızlı Bakış
Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /
Hızlı Bakış
Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS Grenoble, France, April 5–6, 2014 : Revised Selected Papers /
Hızlı Bakış
Rewriting and Typed Lambda Calculi : Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings /
Hızlı Bakış
Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers /
Hızlı Bakış
Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
Hızlı Bakış
Screenwriting is Rewriting /
Hızlı Bakış
Analytical and Stochastic Modeling Techniques and Applications : 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
Hızlı Bakış
Rewriting, Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday /
Hızlı Bakış
Software Reuse: Methods, Techniques, and Tools : 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings /
Hızlı Bakış
Applications and Techniques in Information Security : 5th International Conference, ATIS 2014, Melbourne, VIC, Australia, November 26-28, 2014 : Proceedings /
Hızlı Bakış
Analytical and Stochastic Modeling Techniques and Applications : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings /
Hızlı Bakış
Analytical and Stochastic Modeling Techniques and Applications : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings /
Hızlı Bakış
Database and Expert Systems Applications : 15th International Conference, DEXA 2004, Zaragoza, Spain, August 30-September 3, 2004, Proceedings /