نتایج جستجو

Innovations in Bio-Inspired Computing and Applications: Proceedings of the 6th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2015) held in Kochi, India during December 16-18, 2015
Václav Snášel, Ajith Abraham, Pavel Krömer, Millie Pant, Azah Kamilah Muda (eds.), 2016
Aquatic Oligochaeta: Proceedings of the Second International Symposium on Aquatic Obligochaete Biology, held in Pallanza, Italy, September 21–24, 1982
Ralph O. Brinkhurst (auth.), Giuliano Bonomi, Christer Erséus (eds.), 1984
Aquatic Oligochaeta: Proceedings of the Third International Symposium on Aquatic Oligochaeta held in Hamburg, Germany September 29-October 4, 1985
Pietro Omodeo (auth.), Ralph O. Brinkhurst, Robert J. Diaz (eds.), 1988
Aquatic Oligochaete Biology VI: Proceedings of the VI International Symposium on Aquatic Oligochaetes held in Stromstat, Sweden, September 5–10, 1994
Marianne C. Eckroth, Ralph O. Brinkhurst (auth.), Kathryn A. Coates, Trefor B. Reynoldson, Thomas B. Reynoldson (eds.), 1996
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
Ju-Sung Kang, Dowon Hong (auth.), Tai-hoon Kim, Hojjat Adeli, Wai-chi Fang, Javier García Villalba, Kirk P. Arnett, Muhammad Khurram Khan (eds.), 2011
Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader: FourWorkshops held at PRICAI 2000 Melbourne,Australia,August 28 - September 1, 2000 Revised Papers
Graham J. Williams, Dickson Lukose2 (auth.), Ryszard Kowalczyk, Seng Wai Loke, Nancy E. Reed, Graham J. Williams (eds.), 2001
Advances in Microwave and Radio Frequency Processing: Report from the 8th International Conference on Microwave and High Frequency Heating held in Bayreuth, Germany, September 3–7, 2001
H. C. Reader (auth.), Professor Dr. Monika Willert-Porada (eds.), 2006
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
K. L. McMillan (auth.), Nicolas Halbwachs, Lenore D. Zuck (eds.), 2005
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
K. L. McMillan (auth.), Nicolas Halbwachs, Lenore D. Zuck (eds.), 2005
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.), 2006
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
Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.), 2007
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.), 2008
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Sharad Malik (auth.), C. R. Ramakrishnan, Jakob Rehof (eds.), 2008
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.), 2009
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.), 2009
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.), 2010
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.), 2011
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.), 2012
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings
Holger Hermanns (auth.), Cormac Flanagan, Barbara König (eds.), 2012
Multimodal Brain Image Analysis: First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings
Xue Yang, Carolyn B. Lauzon, Ciprian Crainiceanu (auth.), Tianming Liu, Dinggang Shen, Luis Ibanez, Xiaodong Tao (eds.), 2011
Multimodal Brain Image Analysis: First International Workshop, MBIA 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011. Proceedings
Xue Yang, Carolyn B. Lauzon, Ciprian Crainiceanu (auth.), Tianming Liu, Dinggang Shen, Luis Ibanez, Xiaodong Tao (eds.), 2011
Acute Renal Disorders and Renal Emergencies: Proceedings of Pediatric Nephrology Seminar X held at Bal Harbour, Florida, January 30 – February 3, 1983
Bernard S. Kaplan M.B., B.Ch., F.C.P.(S.A.), Paul R. Goodyer M.D. (auth.), José Strauss MD (eds.), 1984