序號 |
書名/著者 |
Web20 連結網址 |
1 |
Abdominal imaging [electronic resource] : computational and clinical applications : 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012 : proceedings / edited by Hiroyuki Yoshida, David Hawkes, Michael W. Vannie |
Click here |
2 |
Advances in bioinformatics and computational biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings / edited by Marcilio C. Souto, Maricel G. Kann. |
Click here |
3 |
Advances in cryptology - CRYPTO 2012 [electronic resource] : 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012 : proceedings / edited by Reihaneh Safavi-Naini, Ran Canetti. |
Click here |
4 |
Advances in visual computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012 : revised selected papers. Part I / edited by George Bebis... [et al.]. |
Click here |
5 |
Advances in visual computing [electronic resource] : 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012 : revised selected papers. Part II / edited by George Bebis... [et al.]. |
Click here |
6 |
Advances in web-based learning - ICWL 2012 [electronic resource] : 11th International Conference, Sinaia, Romania, September 2-4, 2012 : proceedings / edited by Elvira Popescu... [et al.]. |
Click here |
7 |
Advancing democracy, government and governance [electronic resource] : joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2012, Vienna, Austria, September 3-6, 2012 : proc |
Click here |
8 |
Algorithms - ESA 2012 [electronic resource] : 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / edited by Leah Epstein, Paolo Ferragina. |
Click here |
9 |
Algorithms in bioinformatics [electronic resource] : 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / edited by Ben Raphael, Jijun Tang. |
Click here |
10 |
Artificial immune systems [electronic resource] : 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings / edited by Carlos A. Coello Coello... [et al.]. |
Click here |
11 |
Artificial intelligence: Methodology, systems, and applications [electronic resource] : 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012 : proceedings / edited by Allan Ramsay, Gennady Agre. |
Click here |
12 |
Augmented environments for computer-assisted interventions [electronic resource] : 6th International Workshop, AE-CAI 2011, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011 : revised selected papers / edited by Cristian A. Lin |
Click here |
13 |
Bio-inspired models of network, information, and computing systems [electronic resource] : 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011 : revised selected papers / edited by Emma Hart... [et al.]. |
Click here |
14 |
Business process management [electronic resource] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012 : proceedings / edited by Alistair Barros, Avigdor Gal, Ekkart Kindler. |
Click here |
15 |
Business system management and engineering [electronic resource] : from open issues to applications / edited by Claudio A. Ardagna... [et al.]. |
Click here |
16 |
Coalgebraic methods in computer science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers / edited by Dirk Pattinson, Lutz Schroder. |
Click here |
17 |
Collaboration and technology [electronic resource] : 18th International Conference, CRIWG 2012 Raesfeld, Germany, September 16-19, 2012 : proceedings / edited by Valeria Herskovic... [et al.]. |
Click here |
18 |
Compiler design [electronic resource] : analysis and transformation / by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack. |
Click here |
19 |
Computational logic in multi-agent systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings / edited by Michael Fisher... [et al.]. |
Click here |
20 |
Computational logistics [electronic resource] : third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings / edited by Hao Hu... [et al.]. |
Click here |
21 |
Computational social networks [electronic resource] : mining and visualization / edited by Ajith Abraham. |
Click here |
22 |
Computational social networks [electronic resource] : security and privacy / edited by Ajith Abraham. |
Click here |
23 |
Computer algebra in scientific computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / edited by Vladimir P. Gerdt... [et al.]. |
Click here |
24 |
Computer science - theory and applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings / edited by Edward A. Hirsch... [et al.]. |
Click here |
25 |
Computers and creativity [electronic resource] / edited by Jon McCormack, Mark d'Inverno. |
Click here |
26 |
Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / edited by Joachim Gudmundsson, Julian Mestre, Taso Viglas. |
Click here |
27 |
Constructing ambient intelligence [electronic resource] : AmI 2011 Workshops, Amsterdam, The Netherlands, November 16-18, 2011 : revised selected papers / edited by Reiner Wichert, Kristof Laerhoven, Jean Gelissen. |
Click here |
28 |
Contemporary computing [electronic resource] : 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012 : proceedings / edited by Manish Parashar... [et al.]. |
Click here |
29 |
Controlled natural language [electronic resource] : third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012 : proceedings / edited by Tobias Kuhn, Norbert E. Fuchs. |
Click here |
30 |
Convergence and hybrid information technology [electronic resource] : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / edited by Geuk Lee... [et al.]. |
Click here |
31 |
Convergence and hybrid information technology [electronic resource] : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012 : proceedings / edited by Geuk Lee... [et al.]. |
Click here |
32 |
Cooperative design, visualization, and engineering [electronic resource] : 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012 : proceedings / edited by Yuhua Luo. |
Click here |
33 |
Data management in cloud, grid and P2P systems [electronic resource] : 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012 : proceedings / edited by Abdelkader Hameurlain... [et al.]. |
Click here |
34 |
Data warehousing and knowledge discovery [electronic resource] : 14th International Conference, DaWaK 2012, Vienna, Austria, September 3-6, 2012 : proceedings / edited by Alfredo Cuzzocrea, Umeshwar Dayal. |
Click here |
35 |
Database and expert systems applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012 : proceedings. Part I / edited by Stephen W. Liddle,... [et al.]. |
Click here |
36 |
Database and expert systems applications [electronic resource] : 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012 : proceedings. Part II / edited by Stephen W. Liddle... [et al.]. |
Click here |
37 |
Datalog in academia and industry [electronic resource] : second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012 : proceedings / edited by Pablo Barcelo, Reinhard Pichler. |
Click here |
38 |
E-Commerce and web technologies [electronic resource] : 13th International Conference, EC-Web 2012, Vienna, Austria, September 4-5, 2012 : proceedings / edited by Christian Huemer, Pasquale Lops. |
Click here |
39 |
Electronic government [electronic resource] : 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012 : proceedings / edited by Hans J. Scholl... [et al.]. |
Click here |
40 |
Electronic participation [electronic resource] : 4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012 : proceedings / edited by Efthimios Tambouris, Ann Macintosh, Oystein Saebo. |
Click here |
41 |
Enabling flexibility in process-aware information systems [electronic resource] : challenges, methods, technologies / by Manfred Reichert, Barbara Weber. |
Click here |
42 |
Enabling real-time business intelligence [electronic resource] : 5th International Workshop, BIRTE 2011, Held at the 37th International Conference on Very Large Databases, VLDB 2011, Seattle, WA, USA, September 2, 2011, Revised Selected Papers / edited by |
Click here |
43 |
Engineering secure two-party computation protocols [electronic resource] : design, optimization, and applications of efficient secure function evaluation / by Thomas Schneider. |
Click here |
44 |
Entertainment computing - ICEC 2012 [electronic resource] : 11th International Conference, ICEC 2012, Bremen, Germany, September 26-29, 2012 ; proceedings / edited by Marc Herrlich, Rainer Malaka, Maic Masuch. |
Click here |
45 |
E-science and information management [electronic resource] : third International Symposium on Information Management in a Changing World, IMCW 2012, Ankara, Turkey, September 19-21, 2012. Proceedings / edited by Serap Kurbanoglu... [et al.]. |
Click here |
46 |
Euro-Par 2012 parallel processing [electronic resource] : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / edited by Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis. |
Click here |
47 |
Exploring the abyss of inequalities [electronic resource] : 4th International Conference on Well-Being in the Information Society, WIS 2012, Turku, Finland, August 22-24, 2012 : proceedings / edited by Kristina Eriksson-Backa, Annika Luoma, Erica Krook. |
Click here |
48 |
Financial cryptography and data security [electronic resource] : 16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012 : revised selected papers / edited by Angelos D. Keromytis. |
Click here |
49 |
FM 2012 [electronic resource] : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / edited by Dimitra Giannakopoulou, Dominique Mery. |
Click here |
50 |
Formal methods for industrial critical systems [electronic resource] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / edited by Marielle Stoelinga, Ralf Pinger. |
Click here |
51 |
Formal modeling and analysis of timed systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / edited by Marcin Jurdzinski, Dejan Nickovic. |
Click here |
52 |
From animals to animats 12 [electronic resource] : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012 : proceedings / edited by Tom Ziemke, Christian Balkenius, John Hallam. |
Click here |
53 |
Global security, safety, and sustainability & e-Democracy [electronic resource] : 7th International and 4th e-Democracy, Joint Conferences, ICGS3/e-Democracy 2011, Thessaloniki, Greece, August 24-26, 2011 : revised selected papers / edited by Christos K. |
Click here |
54 |
Global trends in computing and communication systems [electronic resource] : 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. : proceedings. Part I / edited by P. Venkata Krishna, M. Rajasekhara Babu, Ezendu Ariwa. |
Click here |
55 |
Green Communications and Networking [electronic resource] : First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011 : revised selected papers / edited by Joel J. P. C. Rodrigues... [et al.]. |
Click here |
56 |
Handbook of natural computing [electronic resource] / edited by Grzegorz Rozenberg, Thomas Back, Joost N. Kok. |
Click here |
57 |
Implementation and application of automata [electronic resource] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / edited by Nelma Moreira, Rogerio Reis. |
Click here |
58 |
Information and communication technologies [electronic resource] : 18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012 : proceedings / edited by Robert Szabo, Attila Vidacs. |
Click here |
59 |
Information technology in bio- and medical informatics [electronic resource] : Third International Conference, ITBAM 2012, Vienna, Austria, September 4-5, 2012 : proceedings / edited by Christian Bohm... [et al.]. |
Click here |
60 |
Information theoretic security [electronic resource] : 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012 : proceedings / edited by Adam Smith. |
Click here |
61 |
Intelligent data engineering and automated learning - IDEAL 2012 [electronic resource] : 13th International Conference, Natal, Brazil, August 29-31, 2012 ; proceedings / edited by Hujun Yin, Jose A. F. Costa, Guilherme Barreto. |
Click here |
62 |
Interactive theorem proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings / edited by Lennart Beringer, Amy Felty. |
Click here |
63 |
Internet of things, smart spaces, and next generation networking [electronic resource] : 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 : proceedings / edited by Sergey Andreev, Ser |
Click here |
64 |
Knowledge management and acquisition for intelligent systems [electronic resource] : 12th Pacific Rim Knowledge Acquisition Workshop, PKAW 2012, Kuching, Malaysia, September 5-6, 2012 : proceedings / edited by Deborah Richards, Byeong Ho Kang. |
Click here |
65 |
Knowledge technology [electronic resource] : Third Knowledge Technology Week, KTW 2011, Kajang, Malaysia, July 18-22, 2011 : revised selected papers / edited by Dickson Lukose, Abdul Rahim Ahmad, Azizah Suliman. |
Click here |
66 |
Logic, language, information and computation [electronic resource] : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / edited by Luke Ong, Ruy Queiroz. |
Click here |
67 |
Mathematical foundations of computer science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / edited by Branislav Rovan, Vladimiro Sassone, Peter Widmayer. |
Click here |
68 |
Multidisciplinary research and practice for information systems [electronic resource] : IFIP WG 8.4, 8.9/TC 5 International Cross-Domain Conference and Workshop on Availability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24 |
Click here |
69 |
New frontiers in artificial intelligence [electronic resource] : JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011 : revised selected papers / edited by Manabu Okumura, Daisuke Bekki, Ken Satoh. |
Click here |
70 |
Nordic contributions in IS research [electronic resource] : Third Scandinavian Conference on Information Systems, SCIS 2012, Sigtuna, Sweden, August 17-20, 2012 : proceedings / edited by Christina Keller... [et al.]. |
Click here |
71 |
omputer security - ESORICS 2012 [electronic resource] : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012 : proceedings / edited by Sara Foresti, Moti Yung, Fabio Martinelli. |
Click here |
72 |
Parallel problem solving from nature - PPSN XII [electronic resource] : 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings. Part I / edited by Carlos A. Coello Coello... [et al.]. |
Click here |
73 |
Parallel problem solving from nature - PPSN XII [electronic resource] : 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings. Part II / edited by Carlos A. Coello Coello... [et al.]. |
Click here |
74 |
Parameterized and exact computation [electronic resource] : 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings / edited by Dimitrios M. Thilikos, Gerhard J. Woeginger. |
Click here |
75 |
Pattern recognition [electronic resource] : joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012 : proceedings / edited by Axel Pinz... [et al.]. |
Click here |
76 |
PRICAI 2012 [electronic resource] : trends in artificial intelligence ; 12th Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, September 3-7, 2012 : proceedings / edited by Patricia Anthony, Mitsuru Ishizuka, Dickson Luko |
Click here |
77 |
Progress in Cryptology - LATINCRYPT 2012 [electronic resource] : 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012 : proceedings / edited by Alejandro Hevia, Gregory Neven. |
Click here |
78 |
Progress in pattern recognition, image analysis, computer vision, and applications [electronic resource] : 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luis Alvarez... [et al.]. |
Click here |
79 |
Provable security [electronic resource] : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012 : proceedings / edited by Tsuyoshi Takagi... [et al.]. |
Click here |
80 |
Reasoning web [electronic resource] : semantic technologies for advanced query answering : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012 : proceedings / edited by Thomas Eiter, Thomas Krennwallner. |
Click here |
81 |
Rules on the web [electronic resource] : research and applications ; 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings / edited by Antonis Bikakis, Adrian Giurca. |
Click here |
82 |
Scientific workflows [electronic resource] : programming, optimization, and synthesis with ASKALON and AWDL / by Jun Qin, Thomas Fahringer. |
Click here |
83 |
Secure data management [electronic resource] : 9th VLDB Workshop, SDM 2012, Istanbul, Turkey, August 27, 2012 : proceedings / edited by Willem Jonker, Milan Petkovic. |
Click here |
84 |
Security and cryptography for networks [electronic resource] : 8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012 : proceedings / edited by Ivan Visconti, Roberto Prisco. |
Click here |
85 |
Security and Privacy in Mobile Information and Communication Systems [electronic resource] : 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012 : revised selected papers / edited by Andreas U. Schmidt... [et al.]. |
Click here |
86 |
Semantic search over the web [electronic resource] / edited by Roberto De Virgilio, Francesco Guerra, Yannis Velegrakis. |
Click here |
87 |
Service-oriented and cloud computing [electronic resource] : First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012 : proceedings / edited by Flavio Paoli, Ernesto Pimentel, Gianluigi Zavattaro. |
Click here |
88 |
Shall we play the Festschrift game? [electronic resource] : essays on the occasion of Lauri Carlson's 60th birthday / edited by Diana Santos, Krister Linden, Wanjiku Ng'ang'a. |
Click here |
89 |
Similarity search and applications [electronic resource] : 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012 : proceedings / edited by Gonzalo Navarro, Vladimir Pestov. |
Click here |
90 |
Spatial cognition VIII [electronic resource] : International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31-September 3, 2012 : proceedings / edited by Cyrill Stachniss, Kerstin Schill, David Uttal. |
Click here |
91 |
Static analysis [electronic resource] : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / edited by Antoine Mine, David Schmidt. |
Click here |
92 |
Swarm intelligence [electronic resource] : 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings / edited by Marco Dorigo... [et al.]. |
Click here |
93 |
Text, speech and dialogue [electronic resource] : 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012 : proceedings / edited by Petr Sojka... [et al.]. |
Click here |
94 |
The German language in the digital age [electronic resource] = Die Deutsche sprache im digitalen zeitalter / Aljoscha Burchardt... [et al.] ; edited by Georg Rehm, Hans Uszkoreit. |
Click here |
95 |
Theoretical aspects of computing - ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / edited by Abhik Roychoudhury, Meenakshi D'Souza. |
Click here |
96 |
Theoretical foundations of artificial general intelligence [electronic resource] / edited by Pei Wang, Ben Goertzel. |
Click here |
97 |
Topics in performance evaluation, measurement and characterization [electronic resource] : third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011 : revised selected papers / edited by Raghunath Nambiar, Meikel Poess. |
Click here |
98 |
Trust, privacy and security in digital business [electronic resource] : 9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012 : proceedings / edited by Simone Fischer-Hubner, Sokratis Katsikas, Gerald Quirchmayr. |
Click here |
99 |
Uncertainty quantification in scientific computing [electronic resource] : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / edited by Andrew M. Dienstfrey, Ronald F. Boisvert. |
Click here |
100 |
Web reasoning and rule systems [electronic resource] : 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012 : proceedings / edited by Markus Krotzsch, Umberto Straccia. |
Click here |
101 |
Web-age information management [electronic resource] : 13th International Conference, WAIM 2012, Harbin, China, August 18-20, 2012 : proceedings / edited by Hong Gao... [et al.]. |
Click here |
102 |
Web-Age Information Management [electronic resource] : WAIM 2012 International Workshops: GDMM, IWSN, MDSP, USDM, and XMLDM Harbin, China, August 18-20, 2012 : proceedings / edited by Zhifeng Bao... [et al.]. |
Click here |
103 |
Wireless algorithms, systems, and applications [electronic resource] : 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings / edited by Xinbing Wang... [et al.]. |
Click here |