Cargando…

Certified programs and proofs: first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, proceedings

Detalles Bibliográficos
Autores principales:	Jouannaud, Jean-Pierre, Shao, Zhong
Lenguaje:	eng
Publicado:	Springer 2011
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757880

Ejemplares similares

Programming languages and systems: 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 proceedings
por: Yang, Hongseok
Publicado: (2011)

Certified programs and proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings
por: Hawblitzel, Chris, et al.
Publicado: (2012)

Information systems security: 7th international conference, ICISS 2011, Kolkata, India, December 15-19, 2011, proceedings
por: Jajodia, Sushil, et al.
Publicado: (2011)

Cryptography and coding: 13th IMA international conference, IMACC 2011, Oxford, UK, December 2011, proceedings
por: Chen, Liqun
Publicado: (2011)

Post-quantum cryptography: 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29 - December 2, 2011, proceedings
por: Yang, Bo-Yin
Publicado: (2011)

Advanced data mining and applications: 7th international conference, ADMA 2011, Beijing, China, December 17-19, 2011, proceedings, part II
por: Tang, Jie, et al.
Publicado: (2011)

Future generation information technology: third international conference, FGIT 2011, Jeju Island, December 8-10, 2011 proceedings
por: Kim, Tai-hoon, et al.
Publicado: (2011)

Security technology: international conference, SECTECH 2011, held as part of the future generation information technology conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 proceedings
por: Kim, Tai-hoon, et al.
Publicado: (2011)

Progress in cryptology - INDOCRYPT 2011: 12th international conference on cryptology in India, Chennai, India, December 11-14, 2011, proceedings
por: Bernstein, Daniel J, et al.
Publicado: (2011)

Middleware 2011: ACM/IFIP/USENIX 12th international middleware conference, Lisbon, Portugal, December 12-16, 2011, proceedings
por: Kon, Fabio, et al.
Publicado: (2011)

Grid and distributed computing: international conferences, GDC 2011, held as part of the future generation information technology conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011 proceedings
por: Kim, Tai-hoon, et al.
Publicado: (2011)

CONCUR 2011 - concurrency theory: 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, proceedings
por: Katoen, Joost-Pieter, et al.
Publicado: (2011)

Swarm, evolutionary, and memetic computing: second international conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, proceedings, part I
por: Panigrahi, Bijaya Ketan, et al.
Publicado: (2011)

Knowledge science, engineering and management: 5th international conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011 proceedings
por: Xiong, Hui, et al.
Publicado: (2011)

Communication and networking: international conference, FGCN 2011, held as part of the future generation information technology conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011 proceedings, part II
por: Kim, Tai-hoon, et al.
Publicado: (2011)

35-December 2011
Publicado: (2011)

In the December 2011 issue
por: Nitrini, Ricardo
Publicado: (2011)

Databases in networked information systems: 7th international workshop, DNIS 2011, Aizu-Wakamatsu, Japan, december 12-14, 2011 proceedings
por: Kikuchi, Shinji, et al.
Publicado: (2011)

Signal processing, image processing and pattern recognition: international conferences, SIP 2011, held as part of the future generation information technology conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 proceedings
por: Kim, Tai-hoon, et al.
Publicado: (2011)

Proceedings of the International Conference on IT Convergence and Security 2011
por: Kim, Kuinam, et al.
Publicado: (2012)

Software engineering, business continuity, and education: international conferences, ASEA, DRBC and EL 2011, held as part of the future generation information technology conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 proceedings
por: Kim, Tai-hoon, et al.
Publicado: (2011)

Algorithms and computation: 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 proceedings
por: Asano, Takao, et al.
Publicado: (2011)

Swarm, evolutionary, and memetic computing, part II: second international conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, proceedings, part II
por: Panigraphi, Bijata Ketan, et al.
Publicado: (2011)

Pervasive computing: 9th international conference, PERVASIVE 2011, San Francisco, USA, June 12-15, 2011 proceedings
por: Lyons, Kent, et al.
Publicado: (2011)

Advances in cryptology - ASIACRYPT 2011: 17th international conference on the theory and application of cryptology and information security, Seoul, South Korea, December 4-8, 2011, proceedings
por: Lee, Dong Hoon, et al.
Publicado: (2011)

Computational intelligence and information technology: first international conference, CIIT 2011, Pune, India, November 7-8, 2011 proceedings
por: Das, Vinu V, et al.
Publicado: (2013)

Digital human modeling: third international conference, ICDHM 2011, held as part of HCI international 2011, Orlando, FL, USA, July 9-14, 2011, proceedings
por: Duffy, Vincent G
Publicado: (2011)

Advances in soft computing: 10th Mexican international conference on artificial intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011, proceedings, part II
por: Batyrshin, Ildar, et al.
Publicado: (2011)

Brucellosis, Taiwan, 2011
por: Chuang, Yu-Chung, et al.
Publicado: (2011)

Electrical, Information Engineering and Mechatronics 2011 : Proceedings of the 2011 International Conference on Electrical, Information Engineering and Mechatronics
por: Wang, Xudong, et al.
Publicado: (2012)

BE Newsletter Issue #3 December 2011
por: Billen, Ronny
Publicado: (2011)

Visual informatics: second international visual informatics conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, proceedings, part II
por: Badioze Zaman, Halimah, et al.
Publicado: (2011)

Visual informatics: second international visual informatics conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, proceedings, part I
por: Badioze Zaman, Halimah, et al.
Publicado: (2011)

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering
por: Jiang, Liangzhong
Publicado: (2012)

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering
por: Jiang, Liangzhong
Publicado: (2012)

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering
por: Jiang, Liangzhong
Publicado: (2012)

2011 International Conference in Electrics, Communication and Automatic Control Proceedings
por: Chen, Ran
Publicado: (2012)

Internationalization, design and global development: 4th international conference, IDGD 2011, held as part of HCI international 2011, Orlando, FL, USA, July 9-14, 2011, proceedings
por: Rau, P L Patrick
Publicado: (2011)

Entertainment computing - ICEC 2011: 10th international conference, ICEC 2011, Vancouver, BC, Canada, October 5-8, 2011, proceedings
por: Anacleto, Junia, et al.
Publicado: (2011)

Computer Science and Convergence : CSA 2011 & WCC 2011 Proceedings
por: Park, James, et al.
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_50gt2palv552vasd1dmq3jjegb