Theoretical aspects of computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Theoretical aspects of computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Guardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Wirsing, Martin, Hung, Dang Van
Formato:	eBook
Lenguaje:	English
Colección:	Lecture Notes in Computer Science, 3722
Materias:	Computer science Computer Communication Networks Logic design
Acceso en línea:	Click here to view the full text content
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Theoretical aspects of computing - ICTAC 2004 first international colloquium guiyand, China, September 20-24, 2004, revised selected papers
por: Araki, Keijiro
Publicado: (2005)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Publicado: (2014)

Theoretical Aspects of Computing - ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Publicado: (2013)

Theoretical aspects of computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
Publicado: (2012)

Theoretical aspects of computing - ICTAC 2010 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
Publicado: (2010)

Theoretical aspects of computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings /
Publicado: (2006)

CONCUR 2005 - concurrency theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Publicado: (2005)

Theoretical computer science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

FSTTCS 2005: foundations of software technology and theoretical computer science / 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
Publicado: (2013)

Theoretical computer science 6th IFIP TC 1/WG 2.2 international conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /
Publicado: (2010)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Publicado: (2012)

ECOOP 2005 - object-oriented programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
Publicado: (2005)

Cryptographic hardware and embedded systems - CHES 2005 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings
Publicado: (2005)

Formal methods for mobile computing 5th International School on formal methods for the design of computer, communication, and software systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
por: Bernardo, Marco
Publicado: (2005)

Advances in computer systems architecture : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings /

High performance embedded architectures and compilers / First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings

Automated technology for verification and analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Trustworthy global computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /

Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /
Publicado: (2010)

Practical aspects of declarative languages (vol. # 3350) 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
por: Cabeza, Daniel
Publicado: (2005)

Transactions on aspect-oriented software development VII a common case study for aspect-oriented modeling /
por: Katz, Shmuel
Publicado: (2010)

Theoretical aspects of distributed computing in sensor networks
Publicado: (2011)

Software composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Mathematical foundations of computer science 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /

Theoretical aspects of evolutionary computing /
Publicado: (2001)

Information theoretic aspects of neural networks /
Publicado: (1999)

Quality of software architectures and software quality : First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings /

Theoretical aspects of evolutionary computing
Publicado: (2001)

Theoretical aspects of evolutionary computing
Publicado: (2001)

Systems aspects in organic and pervasive computing - ARCS 2005 18th international conference on architecture of computing systems, Innsbruck, Austria, March 14-17, 2005, Proceedings
por: Beigl, Michael
Publicado: (2005)

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings /
Publicado: (2012)

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
por: Urzyczyn, Pawel
Publicado: (2005)

Logic programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Distributed applications and interoperable systems (vol. # 3543) / 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Information-theoretic aspects of neural networks
Publicado: (1999)

Information-theoretic aspects of neural networks
Publicado: (1999)

Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Publicado: (2005)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Publicado: (2007)

Computing and combinatorics : 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings /
Publicado: (2013)