Rewriting Techniques and Applications: 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings (Lecture Notes in Computer Science, 2706)

Книги на иностранных языках → На английском → Компьютеры и ИТ → Программирование → Алгоритмы
Rewriting Techniques and Applications: 14th International Conference, Rta 2003, Valencia, Spain, June 2003 : Proceedings (Lecture Notes in Computer Science, 2706)
Автор
 
Год
 
Страниц
 
0
ISBN
 
3540402543
Издатель
 
Springer
Категория
 
Алгоритмы

Содержание:

Общедоступная история астрономии в XIX столетии

Описание:

This book constitutes the refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003. The 26 revised regular papers and 6 system descriptions presented togetherwith 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed.

Похожие книги

..
Год: 2007
Web Reasoning and Rule Systems: Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings (Lecture Notes in Computer ... Applications, incl. Internet/Web, and HCI)Web Reasoning and Rule Systems: Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings (Lecture Notes in Computer ... Applications, incl. Internet/Web, and HCI)
Автор: Axel Polleres, Terrance Swift
Год: 2009
Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings (Lecture Notes ... Computer Science and General Issues)Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings (Lecture Notes ... Computer Science and General Issues)
Автор: Osamu Watanabe, Thomas Zeugmann
Год: 2010
Progress in Cryptology - AFRICACRYPT 2010: Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010, Proceedings ... Computer Science / Security and Cryptology)Progress in Cryptology - AFRICACRYPT 2010: Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010, Proceedings ... Computer Science / Security and Cryptology)
Автор: Daniel J. Bernstein, Tanja Lange
Год: 2010
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор: Thomas Kühne, Bran V. Selic, Marie-Pierre Gervais, Francois Terrier
Год: 2010
Advances in Information Retrieval: 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings (Lecture Notes in Computer Science)Advances in Information Retrieval: 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings (Lecture Notes in Computer Science)
Автор: Fabio Crestani, Mark Girolami, C.J.van Rijsbergen
Год: 2002