نتایج جستجو
برای Peking University Press Pub. Date :2010 09 01، صفحه ۵۶ از ۴۴۴ در بین ۱۱,۰۸۲ کتاب.
PDF
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010PDF
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010
PDF
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010PDF
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Alessandro Moschitti (auth.), Tiziana Margaria, Bernhard Steffen (eds.), 2010PDF
Post-Quantum Cryptography: Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
Daniel Smith-Tone (auth.), Nicolas Sendrier (eds.), 2010PDF
Post-Quantum Cryptography: Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
Daniel Smith-Tone (auth.), Nicolas Sendrier (eds.), 2010PDF
Autonomic and Trusted Computing: 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
Stefan Wildermann, Andreas Oetken, Jürgen Teich, Zoran Salcic (auth.), Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou (eds.), 2010PDF
Autonomic and Trusted Computing: 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
Stefan Wildermann, Andreas Oetken, Jürgen Teich, Zoran Salcic (auth.), Bing Xie, Juergen Branke, S. Masoud Sadjadi, Daqing Zhang, Xingshe Zhou (eds.), 2010PDF
Agents and Data Mining Interaction: 6th International Workshop on Agents and Data Mining Interaction, ADMI 2010, Toronto, ON, Canada, May 11, 2010, Revised Selected Papers
Sandip Sen (auth.), Longbing Cao, Ana L. C. Bazzan, Vladimir Gorodetsky, Pericles A. Mitkas, Gerhard Weiss, Philip S. Yu (eds.), 2010PDF
Agents and Data Mining Interaction: 6th International Workshop on Agents and Data Mining Interaction, ADMI 2010, Toronto, ON, Canada, May 11, 2010, Revised Selected Papers
Sandip Sen (auth.), Longbing Cao, Ana L. C. Bazzan, Vladimir Gorodetsky, Pericles A. Mitkas, Gerhard Weiss, Philip S. Yu (eds.), 2010PDF
Mobile and Ubiquitous Systems: Computing, Networking, and Services: 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers
Glen Pink, Simon Gerber, Michael Fry, Judy Kay, Bob Kummerfeld, Rainer Wasinger (auth.), Patrick Sénac, Max Ott, Aruna Seneviratne (eds.), 2012PDF
Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II
Yang Liu, Jian Shao (auth.), Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew (eds.), 2011PDF
Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 2010, Proceedings, Part II
Yang Liu, Jian Shao (auth.), Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew (eds.), 2011PDF
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.), 2010PDF
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Burkhard Monien, Dominic Dumrauf, Tobias Tscheuschner (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.), 2010PDF
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.), 2010PDF
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Pierre Fraigniaud (auth.), Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis (eds.), 2010PDF
Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings
Ricardo Baeza-Yates (auth.), Tiziana Calamoneri, Josep Diaz (eds.), 2010PDF
Algorithms and Complexity: 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010. Proceedings
Ricardo Baeza-Yates (auth.), Tiziana Calamoneri, Josep Diaz (eds.), 2010PDF
Complex Networks: Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers
Philippe J. Giabbanelli, Dorian Mazauric, Jean-Claude Bermond (auth.), Luciano da F. Costa, Alexandre Evsukoff, Giuseppe Mangioni, Ronaldo Menezes (eds.), 2011PDF
Complex Networks: Second International Workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, Revised Selected Papers
Philippe J. Giabbanelli, Dorian Mazauric, Jean-Claude Bermond (auth.), Luciano da F. Costa, Alexandre Evsukoff, Giuseppe Mangioni, Ronaldo Menezes (eds.), 2011PDF
Web Information Systems and Mining: International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings
JiShan Fan (auth.), Fu Lee Wang, Zhiguo Gong, Xiangfeng Luo, Jingsheng Lei (eds.), 2010PDF
