نتایج جستجو
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.), 2008
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.), 2008
Mastering AutoCAD 2008 and AutoCAD LT 2008
George Omura, 2007
Mastering AutoCAD 2008 and AutoCAD LT 2008
George Omura, 2007
Network-Based Information Systems: 2nd International Conference, NBiS 2008, Turin, Italy, September 1-5, 2008. Proceedings
Arjan Durresi (auth.), Makoto Takizawa, Leonard Barolli, Tomoya Enokido (eds.), 2008
Network-Based Information Systems: 2nd International Conference, NBiS 2008, Turin, Italy, September 1-5, 2008. Proceedings
Arjan Durresi (auth.), Makoto Takizawa, Leonard Barolli, Tomoya Enokido (eds.), 2008
Artificial Neural Networks - ICANN 2008: 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part I
Shotaro Akaho (auth.), Véra Kůrková, Roman Neruda, Jan Koutník (eds.), 2008
Artificial Neural Networks - ICANN 2008: 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II
Anton Andrejko, Mária Bieliková (auth.), Véra Kůrková, Roman Neruda, Jan Koutník (eds.), 2008
Artificial Neural Networks in Pattern Recognition: Third IAPR Workshop, ANNPR 2008 Paris, France, July 2-4, 2008 Proceedings
Alexander Hasenfuss, Barbara Hammer, Fabrice Rossi (auth.), Lionel Prevost, Simone Marinai, Friedhelm Schwenker (eds.), 2008
Computational intelligence in architecting engineering systems : proceedings of the Artificial Neural Networks in Engineering Conference (ANNIE 2008) held November 9-12, 2008. St. Louis, Missouri, USA
C. H. Dagli, C. H. Dagli, David L. Enke, K. Mark Bryden, Halil Ceylan, Mitsuo Gen, 2008
Advances in Geometric Modeling and Processing: 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings
Juncong Lin, Xiaogang Jin, Zhengwen Fan, Charlie C. L. Wang (auth.), Falai Chen, Bert Jüttler (eds.), 2008
Advances in Geometric Modeling and Processing: 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings
Juncong Lin, Xiaogang Jin, Zhengwen Fan, Charlie C. L. Wang (auth.), Falai Chen, Bert Jüttler (eds.), 2008
Entertainment Computing - ICEC 2008: 7th International Conference, Pittsburgh, PA, USA, September 25-27, 2008. Proceedings
Miguel Sicart (auth.), Scott M. Stevens, Shirley J. Saldamarco (eds.), 2009
AutoCAD 2008 and AutoCAD LT 2008: No Experience Required
David Frey, Jon McFarland, 2007
Advances in Communication and Networking: Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Chun Yang, Qinyou Hu, Chaojian Shi, Jinhai Chen (auth.), Tai-hoon Kim, Laurence T. Yang, Jong Hyuk Park, Alan Chin-Chen Chang, Thanos Vasilakos, Sang-Soo Yeo (eds.), 2009
Advances in Security Technology: International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Wen-Chung Kuo (auth.), Haeng-kon Kim, Tai-hoon Kim, Akingbehin Kiumi (eds.), 2009
Advances in Software Engineering: International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers
Jung-Eun Lim, O-Hoon Choi, Hong-Seok Na, Doo-Kwon Baik (auth.), Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett (eds.), 2009
New Frontiers in Applied Data Mining: PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers
Takuya Kida, Tomoya Saito, Hiroki Arimura (auth.), Sanjay Chawla, Takashi Washio, Shin-ichi Minato, Shusaku Tsumoto, Takashi Onoda, Seiji Yamada, Akihiro Inokuchi (eds.), 2009
New Frontiers in Applied Data Mining: PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008. Revised Selected Papers
Takuya Kida, Tomoya Saito, Hiroki Arimura (auth.), Sanjay Chawla, Takashi Washio, Shin-ichi Minato, Shusaku Tsumoto, Takashi Onoda, Seiji Yamada, Akihiro Inokuchi (eds.), 2009
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.), 2008
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.), 2008
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2009
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Marc Pauly (auth.), Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.), 2008
