نتایج جستجو
![Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers](http://cdn.ketabkoo.com/covers/14/1415103-n.jpg)
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 19-21, 2020, Revised Selected Papers
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel, 2021![Silicon science and advanced micro-device engineering I : selected, peer reviewed papers from the 5th International Symposium on Silicon Science and the 1st International Conference on Advanced Micro-Device Engineering (ISSS & AMDE 2009), was held by the International Education and Research Center for Silicon Science and the Advanced Technology Research Center (ATEC), Gunma University on 10 and 11 December 2009 in Kiryu, Japan](http://cdn.ketabkoo.com/covers/1/164249-n.jpg)
Silicon science and advanced micro-device engineering I : selected, peer reviewed papers from the 5th International Symposium on Silicon Science and the 1st International Conference on Advanced Micro-Device Engineering (ISSS & AMDE 2009), was held by the International Education and Research Center for Silicon Science and the Advanced Technology Research Center (ATEC), Gunma University on 10 and 11 December 2009 in Kiryu, Japan
Osamu Hanaizumi; Masafumi Unno; Gunma Daigaku. International Education and Research Center for Silicon Science.; Gunma Daigaku. Advanced Technology Research Center, 2011![Land Reclamation: Extending the Boundaries : Proceedings of the Seventh International Conference of the International Affiliation of Land Reclamationists, Runcorn, United Kingdom, 13-16 May 2003](http://cdn.ketabkoo.com/covers/10/1017007-n.jpg)
Land Reclamation: Extending the Boundaries : Proceedings of the Seventh International Conference of the International Affiliation of Land Reclamationists, Runcorn, United Kingdom, 13-16 May 2003
International Affiliation of Land Reclamationists. International Conference, 2003![Abdominal Imaging. Computational and Clinical Applications: 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.](http://cdn.ketabkoo.com/covers/0/1736-n.jpg)
Abdominal Imaging. Computational and Clinical Applications: 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014.
Hiroyuki Yoshida, Janne J. Näppi, Sanjay Saini (eds.), 2014![Advances in Self-Organizing Maps: 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings](http://cdn.ketabkoo.com/covers/0/3625-n.jpg)
Advances in Self-Organizing Maps: 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Takashi Abe, Shigehiko Kanaya, Toshimichi Ikemura (auth.), José C. Príncipe, Risto Miikkulainen (eds.), 2009![Advances in Self-Organizing Maps: 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings](http://cdn.ketabkoo.com/covers/0/3626-n.jpg)
Advances in Self-Organizing Maps: 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Takashi Abe, Shigehiko Kanaya, Toshimichi Ikemura (auth.), José C. Príncipe, Risto Miikkulainen (eds.), 2009![Advances in Self-Organizing Maps: 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings](http://cdn.ketabkoo.com/covers/0/3627-n.jpg)
Advances in Self-Organizing Maps: 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009. Proceedings
Takashi Abe, Shigehiko Kanaya, Toshimichi Ikemura (auth.), José C. Príncipe, Risto Miikkulainen (eds.), 2009![Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text](http://cdn.ketabkoo.com/covers/0/7082-n.jpg)
Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
Sigbjorn Finne, Simon Peyton Jones (auth.), John Launchbury, Erik Meijer, Tim Sheard (eds.), 1996![Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text](http://cdn.ketabkoo.com/covers/0/7083-n.jpg)
Advanced Functional Programming: Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
Sigbjorn Finne, Simon Peyton Jones (auth.), John Launchbury, Erik Meijer, Tim Sheard (eds.), 1996![Stessa 2009: proceedings of the 6th International Conference on Behaviour of Steel Structures in Seismic Areas, Philadelphia, Pennsylvania, USA, 16-20 August 2009](http://cdn.ketabkoo.com/covers/0/8199-n.jpg)
Stessa 2009: proceedings of the 6th International Conference on Behaviour of Steel Structures in Seismic Areas, Philadelphia, Pennsylvania, USA, 16-20 August 2009
Frederico M Mazzolani; James M Ricles; Richard Sause, 2009![Advances in Cryptology - CRYPTO 2003: 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings](http://cdn.ketabkoo.com/covers/0/9794-n.jpg)
Advances in Cryptology - CRYPTO 2003: 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003. Proceedings
Adi Shamir, Eran Tromer (auth.), Dan Boneh (eds.), 2003![Advances in Cryptology - CRYPTO 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings](http://cdn.ketabkoo.com/covers/0/9795-n.jpg)
Advances in Cryptology - CRYPTO 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings
Elad Barkan, Eli Biham, Adi Shamir (auth.), Cynthia Dwork (eds.), 2006![Advances in Cryptology - CRYPTO 2007: 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings](http://cdn.ketabkoo.com/covers/0/9796-n.jpg)
Advances in Cryptology - CRYPTO 2007: 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings
Vivien Dubois, Pierre-Alain Fouque, Adi Shamir, Jacques Stern (auth.), Alfred Menezes (eds.), 2007![Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings](http://cdn.ketabkoo.com/covers/0/9802-n.jpg)
Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings
Alex Biryukov, Christophe De Cannière, Michaël Quisquater (auth.), Matt Franklin (eds.), 2004![Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings](http://cdn.ketabkoo.com/covers/0/9803-n.jpg)
Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings
Alex Biryukov, Christophe De Cannière, Michaël Quisquater (auth.), Matt Franklin (eds.), 2004![Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings](http://cdn.ketabkoo.com/covers/0/9804-n.jpg)
Advances in Cryptology – CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings
Alex Biryukov, Christophe De Cannière, Michaël Quisquater (auth.), Matt Franklin (eds.), 2004![Advances in Cryptology – CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings](http://cdn.ketabkoo.com/covers/0/9805-n.jpg)
Advances in Cryptology – CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings
Xiaoyun Wang, Hongbo Yu, Yiqun Lisa Yin (auth.), Victor Shoup (eds.), 2005![Advances in Cryptology – CRYPTO 2008: 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings](http://cdn.ketabkoo.com/covers/0/9806-n.jpg)
Advances in Cryptology – CRYPTO 2008: 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings
Jean-Sébastien Coron, Jacques Patarin, Yannick Seurin (auth.), David Wagner (eds.), 2008![Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers](http://cdn.ketabkoo.com/covers/0/10221-n.jpg)
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.), 2011![Advances in Production Management Systems. Sustainable Production and Service Supply Chains: IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II](http://cdn.ketabkoo.com/covers/0/13292-n.jpg)
Advances in Production Management Systems. Sustainable Production and Service Supply Chains: IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II
Takashi Tanizaki (auth.), Vittal Prabhu, Marco Taisch, Dimitris Kiritsis (eds.), 2013![Agent Mediated Electronic Commerce: First International Workshop on Agent Mediated Electronic Trading AMET-98 Minneapolis, MN, USA, May 10th, 1998 Selected Papers](http://cdn.ketabkoo.com/covers/0/15813-n.jpg)