Results of search for 'ccl=(su:{analysis})'

Results
	1221.	Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Orna Grumberg, Michael Huth. by Grumberg, Orna Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1222.	Computer Vision/Computer Graphics Collaboration Techniques Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings / edited by André Gagalowicz, Wilfried Philips. by Gagalowicz, André Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1223.	Swarm Robotics Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers / edited by Erol Şahin, William M. Spears, Alan F. T. Winfield. by Şahin, Erol Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1224.	Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Marc Ebner, Michael O’Neill, Anikó Ekárt, Leonardo Vanneschi, Anna Isabel Esparcia-Alcázar. by Ebner, Marc Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1225.	Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Carlos Cotta, Jano Hemert. by Cotta, Carlos Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1226.	Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I / edited by Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro. by Beliczynski, Bartlomiej Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1227.	Adaptive and Natural Computing Algorithms 8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II / edited by Bartlomiej Beliczynski, Andrzej Dzielinski, Marcin Iwanowski, Bernardete Ribeiro. by Beliczynski, Bartlomiej Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1228.	Public Key Cryptography - PKC 2007 10th International Conference on Practice and Theory in Public-Key Cryptography Beijing, China, April 16-20, 2007. Proceedings / edited by Tatsuaki Okamoto, Xiaoyun Wang. by Okamoto, Tatsuaki Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1229.	Research in Computational Molecular Biology 11th Annual International Conference, RECOMB 2007, Oakland, CA, USA, April 21-25, 2007. Proceedings / edited by Terry Speed, Haiyan Huang. by Speed, Terry Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1230.	Evolutionary Computation,Machine Learning and Data Mining in Bioinformatics 5th European Conference, EvoBIO 2007, Valencia, Spain, April 11-13, 2007. Proceedings / edited by Elena Marchiori, Jason H. Moore, Jagath C. Rajapakse. by Marchiori, Elena Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1231.	Cooperative Bug Isolation Winning Thesis of the 2005 ACM Doctoral Dissertation Competition / by Ben Liblit. by Liblit, Ben Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1232.	Advances in Grid and Pervasive Computing Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings / edited by Christophe Cérin, Kuan-Ching Li. by Cérin, Christophe Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1233.	Advances in Neural Networks - ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part I / edited by Derong Liu, Shumin Fei, Zeng-Guang Hou, Huaguang Zhang, Changyin Sun. by Liu, Derong Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1234.	Advances in Neural Networks - ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II / edited by Derong Liu, Shumin Fei, Zengguang Hou, Huaguang Zhang, Changyin Sun. by Liu, Derong Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1235.	Advances in Neural Networks - ISNN 2007 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III / edited by Derong Liu, Shumin Fei, Zengguang Hou, Huaguang Zhang, Changyin Sun. by Liu, Derong Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1236.	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings / edited by Pascal Hentenryck, Laurence Wolsey. by Hentenryck, Pascal Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1237.	Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings / edited by Jin-Yi Cai, S. Barry Cooper, Hong Zhu. by Cai, Jin-Yi Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1238.	Advances in Cryptology - EUROCRYPT 2007 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedings / edited by Moni Naor. by Naor, Moni Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1239.	Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings / edited by Tijani Chahed, Bruno Tuffin. by Chahed, Tijani Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	1240.	Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / edited by João Marques-Silva, Karem A. Sakallah. by Marques-Silva, João Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 2773 results.