序號 |
書名/著者 |
Web20 連結網址 |
1 |
Advanced methods, techniques, and applications in modeling and simulation [electronic resource] : Asia Simulation Conference 2011, Seoul, Korea, November 2011 : proceedings / edited by Jong-Hyun Kim ... [et al.]. |
Click here |
2 |
Advances in artificial intelligence - SBIA 2012 [electronic resource] : 21th [ie: 21st] Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012 : proceedings / edited by Leliane N. Barros ... [et al.]. |
Click here |
3 |
Advances in computer entertainment [electronic resource] : 9th international conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012 : proceedings / edited by Anton Nijholt, Teresa Romao, Dennis Reidsma. |
Click here |
4 |
Advances in conceptual modeling [electronic resource] : ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC, MORE-BI, RIGiM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012 : proceedings / edited by Silvana Castano ... [et al.]. |
Click here |
5 |
Advances in intelligent data analysis XI [electronic resource] : 11th international symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012 : proceedings / edited by Jaakko Hollmen, Frank Klawonn, Allan Tucker. |
Click here |
6 |
Advances in natural language processing [electronic resource] : 8th international conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012 : proceedings / edited by Hitoshi Isahara, Kyoko Kanzaki. |
Click here |
7 |
Advances on Digital Television and Wireless Multimedia Communications [electronic resource] : 9th International Forum on Digital TV and Wireless Multimedia Communication, IFTC 2012, Shanghai, China, November 9-10, 2012. Proceedings / edited by Wenjun Zhan |
Click here |
8 |
Agent-mediated electronic commerce [electronic resource] : Designing trading strategies and mechanisms for electronic markets : AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 : revised selected papers / edite |
Click here |
9 |
Agile management [electronic resource] : leadership in an agile environment / by Angel Medinilla. |
Click here |
10 |
Algorithmic game theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings / edited by Maria Serna. |
Click here |
11 |
Algorithmic learning theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012 : proceedings / edited by Nader H. Bshouty ... [et al.]. |
Click here |
12 |
Applications of graph transformations with industrial relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers / edited by Andy Schurr, Daniel Varro, Gergely Var |
Click here |
13 |
AsiaSim 2012 [electronic resource] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012 : proceedings. Part I / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei. |
Click here |
14 |
AsiaSim 2012 [electronic resource] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012 : proceedings. Part II / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei. |
Click here |
15 |
AsiaSim 2012 [electronic resource] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012 : proceedings. Part III / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei. |
Click here |
16 |
Believable bots [electronic resource] : can computers play like people? / edited by Philip Hingston. |
Click here |
17 |
Biometrics and Kansei Engineering [electronic resource] / edited by Khalid Saeed, Tomomasa Nagashima. |
Click here |
18 |
Business information systems workshops [electronic resource] : BIS 2012 International Workshops and Future Internet Symposium, Vilnius, Lithuania, May 21-23, 2012 : revised papers / edited by Witold Abramowicz, John Domingue, Krzysztof Wecel. |
Click here |
19 |
Computational intelligence and intelligent systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012 : proceedings / edited by Zhenhua Li ... [et al.]. |
Click here |
20 |
Computational issues in fluid construction grammar [electronic resource] : a new formalism for the representation of lexicons and grammars / edited by Luc Steels. |
Click here |
21 |
Computational visual media [electronic resource] : first international conference, CVM 2012, Beijing, China, November 8-10, 2012 : proceedings / edited by Shi-Min Hu, Ralph R. Martin. |
Click here |
22 |
Computer network security [electronic resource] : 6th international conference on mathematical methods, models and architectures for computer network security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012 : proceedings / edited by Igor Koten |
Click here |
23 |
Computer science and its applications [electronic resource] : CSA 2012 / edited by Sang-Soo Yeo ... [et al.]. |
Click here |
24 |
Computer vision and graphics [electronic resource] : international conference, ICCVG 2012, Warsaw, Poland, September 24-26, 2012 : proceedings / edited by Leonard Bolc ... [et al.]. |
Click here |
25 |
Conceptual modeling [electronic resource] : 31st international conference ER 2012, Florence, Italy, October 15-18, 2012 : proceedings / edited by Paolo Atzeni, David Cheung, Sudha Ram. |
Click here |
26 |
Contemporary research on E-business technology and strategy [electronic resource] : International Conference, iCETS 2012, Tianjin, China, August 29-31, 2012 : revised selected papers / edited by Vasil Khachidze ... [et al.]. |
Click here |
27 |
Data and knowledge engineering [electronic resource] : third International conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings / edited by Yang Xiang ... [et al.]. |
Click here |
28 |
Data-driven methods for adaptive spoken dialogue systems [electronic resource] : computational learning for conversational interfaces / edited by Oliver Lemon, Olivier Pietquin. |
Click here |
29 |
Data-driven process discovery and analysis [electronic resource] : first international symposium, SIMPDA 2011, Campione d'Italia, Italy, June 29 - July 1, 2011 : revised selected papers / edited by Karl Aberer, Ernesto Damiani, Tharam Dillon. |
Click here |
30 |
Discovery science [electronic resource] : 15th international conference, DS 2012, Lyon, France, October 29-31, 2012 : proceedings / edited by Jean-Gabriel Ganascia, Philippe Lenca, Jean-Marc Petit. |
Click here |
31 |
Distributed computing [electronic resource] : 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings / edited by Marcos K. Aguilera. |
Click here |
32 |
Emerging research in artificial intelligence and computational intelligence [electronic resource] : International Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings / edited by Jingsheng Lei ... [et al.]. |
Click here |
33 |
Financial cryptography and data security [electronic resource] : FC 2012 workshops, USEC and WECSR 2012, Kralendijk, Bonaire, March 2, 2012 : revised selected papers / edited by Jim Blyth, Sven Dietrich, L. Jean Camp. |
Click here |
34 |
Formal methods and software engineering [electronic resource] : 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / edited by Toshiaki Aoki, Kenji Taguchi. |
Click here |
35 |
Gesture and sign language in human-computer interaction and embodied communication [electronic resource] : 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011 : revised selected papers / edited by Eleni Efthimiou, Georgios Kouroup |
Click here |
36 |
Graph-theoretic concepts in computer science [electronic resource] : 38th international workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012 : revised selcted papers / edited by Martin Charles Golumbic ... [et al.]. |
Click here |
37 |
Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, Joao Lourenco, Onn Shehory. |
Click here |
38 |
Information and communications security [electronic resource] : 14th international conference, ICICS 2012, Hong Kong, China, October 29-31, 2012 : proceedings / edited by Tat Wing Chim, Tsz Hon Yuen. |
Click here |
39 |
Information security and cryptology [electronic resource] : 7th international conference, Inscrypt 2011, Beijing, China, November 30 - December 3, 2011 : revised selected papers / edited by Chuan-Kun Wu, Moti Yung, Dongdai Lin. |
Click here |
40 |
Intelligent information processing VI [electronic resource] : 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012 : proceedings / edited by Zhongzhi Shi, David Leake, Sunil Vadera. |
Click here |
41 |
Interactive storytelling [electronic resource] : 5th international conference, ICIDS 2012, San Sebastian, Spain, November 12-15, 2012 : proceedings / edited by David Oyarzun ... [et al.]. |
Click here |
42 |
Internet and distributed computing systems [electronic resource] : 5th international conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings / edited by Yang Xiang ... [et al.]. |
Click here |
43 |
Large-scale complex IT systems [electronic resource] : development, operation and management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers / edited by Radu Calinescu, David Garlan. |
Click here |
44 |
Learning and intelligent optimization [electronic resource] : 6th International Conference, LION 6, Paris, France, January 16-20, 2012 : revised selected papers / edited by Youssef Hamadi, Marc Schoenauer. |
Click here |
45 |
Leveraging applications of formal methods, verification, and validation [electronic resource] : international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers / edi |
Click here |
46 |
Mobile multimedia communications [electronic resource] : 6th International ICST Conference, MOBIMEDIA 2010, Lisbon, Portugal, September 6-8, 2010. Revised Selected Papers / edited by Jonathan Rodriguez, Rahim Tafazolli, Christos Verikoukis. |
Click here |
47 |
Modeling Time in Computing [electronic resource] / by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. |
Click here |
48 |
Multiagent system technologies [electronic resource] : 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012 : proceedings / edited by Ingo J. Timm, Christian Guttmann. |
Click here |
49 |
Multi-agent systems [electronic resource] : 9th European workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011 : revised selected papers / edited by Massimo Cossentino ... [et al.]. |
Click here |
50 |
Networked digital technologies [electronic resource] : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012 : proceedings. Part II / edited by Rachid Benlamri. |
Click here |
51 |
ntroduction to programming concepts with case studies in Python [electronic resource] / by Gokturk Ucoluk, Sinan Kalkan. |
Click here |
52 |
Operational semantics and verification of security protocols [electronic resource] / by Cas Cremers, Sjouke Mauw. |
Click here |
53 |
Principles and practice of constraint programming [electronic resource] : 18th International Conference, CP 2012, Quebec City, QC, Canada, October 8-12, 2012 : proceedings / edited by Michela Milano. |
Click here |
54 |
Progress in cultural heritage preservation [electronic resource] : 4th international conference, EuroMed 2012, Limassol, Cyprus, October 29 - November 3, 2012 : proceedings / edited by Marinos Ioannides ... [et al.]. |
Click here |
55 |
Protocol engineering [electronic resource] / by Hartmut Konig. |
Click here |
56 |
Provenance and annotation of data and processes [electronic resource] : 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012 : revised selected papers / edited by Paul Groth, James Frew. |
Click here |
57 |
Research and development in intelligent systems XXIX [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of AI-2012, The Thirty-second SGAI International Conference on Innovative Techniques and Applicat |
Click here |
58 |
Research in cryptology [electronic resource] : 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011 : revised selected papers / edited by Frederik Armknecht, Stefan Lucks. |
Click here |
59 |
Rewriting logic and its applications [electronic resource] : 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012 : revised selected papers / edited by Franciso Duran. |
Click here |
60 |
Secure IT systems [electronic resource] : 17th Nordic conference, NordSec 2012, Karlskrona, Sweden, October 31 - November 2, 2012 : proceedings / edited by Audun Josang, Bengt Carlsson. |
Click here |
61 |
Security, privacy, and applied cryptography engineering [electronic resource] : second international conference, SPACE 2012, Chennai, India, November 3-4, 2012 : proceedings / edited by Andrey Bogdanov, Somitra Sanadhya. |
Click here |
62 |
Serious games: The challenge [electronic resource] : ITEC/CIP and T 2011: Joint Conference of the Interdisciplinary Research Group on Technology, Education, and Communication, and the Scientific Network on Critical and Flexible Thinking Ghent, Belgium, Oc |
Click here |
63 |
Service-oriented computing [electronic resource] : 10th international conference, ICSOC 2012, Shanghai, China, November 12-15, 2012 : proceedings / edited by Chengfei Liu ... [et al.]. |
Click here |
64 |
Service-Oriented Crowdsourcing [electronic resource] : Architecture, Protocols and Algorithms / by Daniel Schall. |
Click here |
65 |
Simulation, modeling, and programming for autonomous robots [electronic resource] : third international conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012 : proceedings / edited by Itsuki Noda ... [et al.]. |
Click here |
66 |
Soft computing approach to pattern classification and object recognition [electronic resource] : a unified concept / by Kumar S. Ray. |
Click here |
67 |
Structural, syntactic, and statistical pattern recognition [electronic resource] : joint IAPR international workshop, SSPR & SPR 2012, Hiroshima, Japan, November 7-9, 2012 : proceedings / edited by Georgy Gimel'farb ... [et al.]. |
Click here |
68 |
Subject-oriented business process management [electronic resource] / by Albert Fleischmann ... [et al.]. |
Click here |
69 |
Syndevs co-design flow [electronic resource] : a hardware / software co-design flow based on the discrete event system specification model of computation / by H. Gregor Molter. |
Click here |
70 |
System simulation and scientific computing [electronic resource] : International conference, ICSC 2012, Shanghai, China, October 27-30, 2012 : proceedings. Part I / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma. |
Click here |
71 |
System simulation and scientific computing [electronic resource] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012 : proceedings. Part II / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma. |
Click here |
72 |
The complexity of valued constraint satisfaction problems [electronic resource] / by Stanislav Zivny. |
Click here |
73 |
The dynamics of global sourcing [electronic resource] : perspectives and practices : 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012 : revised selected papers / edited by Julia Kotlarsky, Ilan Oshri, Leslie P. Willcocks. |
Click here |
74 |
The Semantic Web - ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012 : proceedings. Part I / edited by Philippe Cudre-Mauroux ... [et al.]. |
Click here |
75 |
The Semantic Web - ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012 : proceedings. Part II / edited by Philippe Cudre-Mauroux ... [et al.]. |
Click here |
76 |
Transactions on computational collective intelligence VIII [electronic resource] / edited by Ngoc Thanh Nguyen. |
Click here |
77 |
Trends in enterprise architecture research and Practice-driven research on enterprise transformation [electronic resource] : 7th Workshop, TEAR 2012, and 5th Working Conference, PRET 2012, held at The Open Group Conference 2012, Barcelona, Spain, October |
Click here |
78 |
Web information systems and mining [electronic resource] : international conference, WISM 2012, Chengdu, China, October 26-28, 2012 : proceedings / edited by Fu Lee Wang ... [et al.]. |
Click here |