Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /

Na minha lista:

Detalhes bibliográficos
Principais autores:	Voronkov, Andrei., SpringerLink (Online service)
Formato:	Digital
Publicado em:
Assuntos:	Inteligência artificial. Álgebra - Processamento de dados. Computação.
Endereço do item:	http://dx.doi.org/10.1007/978-3-540-70590-1
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Computers Helping People with Special Needs 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings /
por: Miesenberger, Klaus., et al.
Publicado em: (2022)

Unconventional Computing 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings /
por: Calude, Cristian S., et al.
Publicado em: (2022)

Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
por: Audebaud, Philippe., et al.
Publicado em: (2022)

Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings /
por: Autexier, Serge., et al.
Publicado em: (2022)

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings /
por: Cervesato, Iliano., et al.
Publicado em: (2022)

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
por: Meyden, Ron., et al.
Publicado em: (2022)

Information Security and Privacy 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings /
por: Mu, Yi., et al.
Publicado em: (2022)

Detection of Intrusions and Malware, and Vulnerability Assessment 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings /
por: Zamboni, Diego., et al.
Publicado em: (2022)

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
por: Ibarra, Oscar H., et al.
Publicado em: (2022)

Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
por: Paige, Richard F., et al.
Publicado em: (2022)

Smart Homes and Health Telematics 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings /
por: Helal, Sumi., et al.
Publicado em: (2022)

Progress in Cryptology - INDOCRYPT 2008 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings /
por: Chowdhury, Dipanwita Roy., et al.
Publicado em: (2022)

Logic, language, information and computation : 15th International Workshop, Wollic 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /
por: Hodges, Wilfrid, et al.
Publicado em: (2022)

Conceptual Structures - Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings /
por: Eklund, Peter., et al.
Publicado em: (2022)

Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12/15, 2008 : proceedings /
por: Armando, Alessandro., et al.
Publicado em: (2022)

Computer Vision Systems 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings /
por: Gasteratos, Antonios., et al.
Publicado em: (2022)

Theory and Applications of Satisfiability Testing SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
por: Kleine Büning, Hans., et al.
Publicado em: (2022)

Optical SuperComputing First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings /
por: Dolev, Shlomi., et al.
Publicado em: (2022)

Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /
por: Vallecillo, Antonio., et al.
Publicado em: (2022)

ECOOP 2008 Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings /
por: Vitek, Jan., et al.
Publicado em: (2022)

Digital Mammography 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings /
por: Krupinski, Elizabeth A., et al.
Publicado em: (2022)

Privacy Enhancing Technologies 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings /
por: Borisov, Nikita., et al.
Publicado em: (2022)

CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
por: Breugel, Franck., et al.
Publicado em: (2022)

Image and Signal Processing 3rd International Conference, ICISP 2008. Cherbourg-Octeville, France, July 1 - 3, 2008. Proceedings /
por: Elmoataz, Abderrahim., et al.
Publicado em: (2022)

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
por: Beckmann, Arnold, et al.
Publicado em: (2022)

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
por: Garcia de la Banda, Maria., et al.
Publicado em: (2022)

Pervasive Computing 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings /
por: Indulska, Jadwiga., et al.
Publicado em: (2022)

Sharing Data, Information and Knowledge 25th British National Conference on Databases, BNCOD 25, Cardiff, UK, July 7-10, 2008. Proceedings /
por: Gray, Alex., et al.
Publicado em: (2022)

Rough Sets and Knowledge Technology Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings /
por: Wang, Guoyin., et al.
Publicado em: (2022)

Foundations of Intelligent Systems 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings /
por: An, Aijun, et al.
Publicado em: (2022)

Internet and Network Economics 4th International Workshop, WINE 2008, Shanghai, China, December 17-20, 2008. Proceedings /
por: Papadimitriou, Christos., et al.
Publicado em: (2022)

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings /
por: Sheth, Amit., et al.
Publicado em: (2022)

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings /
por: Chen, Liqun., et al.
Publicado em: (2022)

Computing and Combinatorics 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings /
por: Hu, Xiaodong., et al.
Publicado em: (2022)

Information Systems Security 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings /
por: Sekar, R., et al.
Publicado em: (2022)

Electronic Government 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings /
por: Wimmer, Maria A., et al.
Publicado em: (2022)

Service-Oriented Computing - ICSOC 2008 6th International Conference, Sydney, Australia, December 1-5, 2008. Proceedings /
por: Bouguettaya, Athman., et al.
Publicado em: (2022)

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings /
por: Li, Xiaodong., et al.
Publicado em: (2022)

Intelligent Virtual Agents 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings /
por: Prendinger, Helmut., et al.
Publicado em: (2022)

Global E-Security 4th International Conference, ICGeS 2008, London, UK, June 23-25, 2008. Proceedings /
por: Jahankhani, Hamid, et al.
Publicado em: (2022)