نتایج جستجو
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
Control, Computation and Information Systems: First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
Jong Yeoul Park, Jae Ug Jeong (auth.), P. Balasubramaniam (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
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
A daybook for nurse educators
Katherine Pakieser-Reed; Sigma Theta Tau International, 2011
Karl Leonhard Reinhold and the Enlightenment: The 2007 Montréal International Reinhold Workshop
George di Giovanni (auth.), George Giovanni (eds.), 2010
Karl Leonhard Reinhold and the Enlightenment: The 2007 Montréal International Reinhold Workshop
George di Giovanni (auth.), George Giovanni (eds.), 2010
Intermodal Transport: National Peer Review: Turkey (International Transport Forum)
OECD Organisation for Economic Co-operation and Development, 2009
International Business Travel in the Global Economy (Transport and Mobility)
Jonathan V. Beaverstock, Ben Derudder, James Faulconbridge, Frank Witlox, 2010
ITF Round Tables Terrorism and International Transport: Towards Risk-based Security Policy
OECD Organisation for Economic Co-operation and Development, 2009
Cellular Automata: 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings
Joël Rossier, Enrico Petraglio, André Stauffer, Gianluca Tempesti (auth.), Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra (eds.), 2004
Cellular Automata: 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings
Joël Rossier, Enrico Petraglio, André Stauffer, Gianluca Tempesti (auth.), Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra (eds.), 2004
Cellular Automata: 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings
Joël Rossier, Enrico Petraglio, André Stauffer, Gianluca Tempesti (auth.), Peter M. A. Sloot, Bastien Chopard, Alfons G. Hoekstra (eds.), 2004
Advances in Intelligent Systems and Applications - Volume 2: Proceedings of the International Computer Symposium ICS 2012 Held at Hualien, Taiwan, December 12–14, 2012
Yi-Pin Liao, Chih-Ming Hsiao (auth.), Jeng-Shyang Pan, Ching-Nung Yang, Chia-Chen Lin (eds.), 2013
Advances in Materials and Processing Technologies XVI: Selected, Peer Reviewed Papers from the 16th International Conference on Advanced Materials and ... 22-26,
Zone-ching Lin, You-min Huang, Liang-kuang Chen, 2014
Microbial enhancement of oil recovery—recent advances, proceedings of the 1992 international conference on microbial enhanced oil recovery
Eugene T. Premuzic and Avril Woodhead (Eds.), 1993
Computational Logistics: 5th International Conference, ICCL 2014, Valparaiso, Chile, September 24-26, 2014. Proceedings
Rosa G. González-Ramírez, Frederik Schulte, Stefan Voß, Jose A. Ceroni Díaz (eds.), 2014
Advances in Nonlinear Speech Processing: International Conference on Non-Linear Speech Processing, NOLISP 2007 Paris, France, May 22-25, 2007 Revised Selected Papers
Christophe d’Alessandro, Baris Bozkurt, Boris Doval, Thierry Dutoit, Nathalie Henrich (auth.), Mohamed Chetouani, Amir Hussain, Bruno Gas, Maurice Milgram, Jean-Luc Zarader (eds.), 2007
Advances in Nonlinear Speech Processing: International Conference on Nonlinear Speech Processing, NOLISP 2009, Vic, Spain, June 25-27. Revised Selected Papers
Bertrand Rivet, Jonathon Chambers (auth.), Jordi Solé-Casals, Vladimir Zaiats (eds.), 2010
