Algorithm Analysis and Problem Complexity.

Information computing and applications = third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012 : proceedings / by: (書目-電子資源)

Topics in Cryptology - CT-RSA 2012 = the Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012 : proceedings / by: (書目-電子資源)

Image Analysis and Recognition : = Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings by: (書目-電子資源)

Information security applications = 12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011 : revised selected papers / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, proceedings / by: (書目-電子資源)

Algorithms in bioinformatics = 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Algorithms in bioinformatics = 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings / by: (書目-電子資源)

Bio-inspired computing and communication = first workshop on bio-inspired design of networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 revised selected papers / by: (書目-電子資源)

Evolutionary computation, machine learning and data mining in bioinformatics = 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Artifical evolution = 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009 : revised selected papers / by: (書目-電子資源)

Provable security = 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010 : proceedings / by: (書目-電子資源)

Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers / by: (書目-電子資源)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I / by: (書目-電子資源)

Recent trends in network security and applications = third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010, proceedings / by: (書目-電子資源)

Computer networks and intelligent computing = 5th international conference on information processing, ICIP 2011, Bangalore, India, August 5-7, 2011 : proceedings / by: (書目-電子資源)

Information Retrieval Technology = Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers / by: (書目-電子資源)

Time-Dependent scheduling by: (書目-電子資源)

Privacy enhancing technologies = 11th international symposium, PETS 2011, Waterloo, ON, Canada, July 27-29 2011 : proceedings / by: (書目-電子資源)

Public key infrastructures, services and applications = 6th European workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Financial Cryptography and Data Security = 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers / by: (書目-電子資源)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 14th international workshop, APPROX 2011, and 15th international workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011 : proceedings / by: (書目-電子資源)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I / by: (書目-電子資源)

Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Geographic information science = 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012 : proceedings / by: (書目-電子資源)

Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers / by: (書目-電子資源)

Privacy and identity management for life = 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers / by: (書目-電子資源)

Unconventional computation and natural computation = 11th International Conference, UCNC 2012, Orle?ans, France, September 3-7, 2012 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings / by: (書目-電子資源)

Conceptual Structures: Knowledge Visualization and Reasoning = 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / by: (書目-電子資源)

Transactions on data hiding and multimedia security IV by: (書目-電子資源)

Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part II / by: (書目-電子資源)

Information Security and Privacy = 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings / by: (書目-電子資源)

Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings / by: (書目-電子資源)

Learning and intelligent optimization = second international conference, LION 2007 II, Trento, Italy, December 8-12, 2007. selected papers / by: (書目-電子資源)

Advances in Cryptology - ASIACRYPT 2012 = 18th international conference on the theory and application of cryptology and information security, Beijing, China, December 2-6, 2012 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part IV / by: (書目-電子資源)

Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings / by: (書目-電子資源)

Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Fast Software Encryption = 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers / by: (書目-電子資源)

The multivariate algorithmic revolution and beyond = essays dedicated to Michael R. Fellows on the occasion of his 60th birthday / by: (書目-電子資源)

Computers and games = 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings / by: (書目-電子資源)

Information Theoretic Security = Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008. Proceedings / by: (書目-電子資源)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part III / by: (書目-電子資源)

Cryptology and network security = 7th international conference, CANS 2008, Hong-Kong, China, December 2-4, 2008, proceedings / by: (書目-電子資源)

Advances in visual computing = international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008, proceedings, Part II / by: (書目-電子資源)

Transactions on computational systems biology XIII by: (書目-電子資源)

Advances in information and computer security = Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008, proceedings / by: (書目-電子資源)

Mobile and ubiquitous Systems: Computing, networking, and services = 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010 : revised selected papers / by: (書目-電子資源)

Contemporary computing = third International Conference, IC3 2010, Noida, India, August 9-11, 2010, proceedings.. Part II / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / by: (書目-電子資源)

Artificial immune systems = 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings / by: (書目-電子資源)

Comparative genomics = international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 11th international conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part II / by: (書目-電子資源)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part III / by: (書目-電子資源)

Image analysis and processing = ICIAP 2011 : 16th international conference, Ravenna, Italy, September 14-16, 2011 : proceedings.. Part I / by: (書目-電子資源)

Computer processing of oriental languages = Language Technology for the Knowledge-based Economy :: language technology for the knowledge-based economy ; 22nd international conference, ICCPOL 2009, Hong Kong, March 26-27, 2009 ; proceedings / by: (書目-電子資源)

CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (書目-電子資源)

Information security = 12th international conference, ISC 2009, Pisa, Italy, September 7-9, 2009 : proceedings / by: (書目-電子資源)

Computational geometry, graphs and applications = 9th international conference, CGGA 2010, Dalian, China, November 3-6, 2010 : revised selected papers / by: (書目-電子資源)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part II / by: (書目-電子資源)

Public Key Cryptography - PKC 2009 = 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings / by: (書目-電子資源)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (書目-電子資源)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II / by: (書目-電子資源)

Multimedia, computer graphics and broadcasting = international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings.. Part II / by: (書目-電子資源)

Topics in cryptology - CT-RSA 2010 = the Cryptographers' track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010 : proceedings / by: (書目-電子資源)

Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings / by: (書目-電子資源)

Grammatical inference = theoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings / by: (書目-電子資源)

Intelligent information and database systems = 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.. Part III / by: (書目-電子資源)

Algorithm theory - SWAT 2010 = 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 : proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2010 = 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings.. Part I / by: (書目-電子資源)

Mechanisms for autonomous management of networks and services = 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010 : proceedings / by: (書目-電子資源)

Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (書目-電子資源)

Bioinspired computation in combinatorial optimization = algorithms and their computational complexity / by: (書目-電子資源)

Anticipatory behavior in adaptive learning systems = from psychological theories to artificial cognitive systems / by: (書目-電子資源)

Principles of distributed systems = 14th international conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010 : proceedings / by: (書目-電子資源)

Signal processing and multimedia = International Conferences, SIP and MulGraB 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Communication and networking = International Conference, FGCN 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings.. Part II / by: (書目-電子資源)

Comparative Genomics = RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers / by: (書目-電子資源)

Learning classifier systems = 11th International Workshop, IWLCS 2008, Atlanta, GA, USA, July 13, 2008, and 12th International Workshop, IWLCS 2009, Montreal, QC, Canada, July 9, 2009, revised selected papers / by: (書目-電子資源)

Artificial neural networks in pattern recognition = 4th IAPR TC3 Workshop, ANNPR 2010, Cairo, Egypt, April 11-13, 2010 : proceedings / by: (書目-電子資源)

Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part III / by: (書目-電子資源)

Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers / by: (書目-電子資源)

Distributed Search by Constrained Agents = Algorithms, Performance, Communication / by: (書目-電子資源)

Computer Vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part II / by: (書目-電子資源)

Active Mining = Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers by: (書目-電子資源)

Algorithms in bioinformatics = 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010, proceedings / by: (書目-電子資源)

Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 by: (書目-電子資源)

Intelligent data engineering and automated learning = IDEAL 2011 : 12th international conference, Norwich, UK, September 7-9, 2011 : proceedings / by: (書目-電子資源)

Integer Programming and Combinatorial Optimization = 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings / by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Deep Structure, Singularities, and Computer Vision : = First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers by: (書目-電子資源)

Combinatorial Geometry and Graph Theory = Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / by: (書目-電子資源)

Dissemination of Information in Optical Networks = From Technology to Algorithms In Cooperation with Ralf Klasing / by: (書目-電子資源)

Graph transformations = 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27 - October 2, 2010, proceedings / by: (書目-電子資源)

Public Key Infrastructure = Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers / by: (書目-電子資源)

Language and automata theory and applications = 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / by: (書目-電子資源)

Mathematical aspects of network routing optimization by: (書目-電子資源)

Theory of Cryptography = Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part I / by: (書目-電子資源)

Security aspects in information technology = first international conference, InfoSecHiComNet 2011, Haldia, India, October 19-22, 2011 : proceedings / by: (書目-電子資源)

Matters computational = ideas, algorithms, source code / by: (書目-電子資源)

Information Security and Cryptology : = First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings by: (書目-電子資源)

Towards a service-based Internet = third European conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010 : proceedings / by: (書目-電子資源)

Computing and combinatorics = 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings / by: (書目-電子資源)

Learning Theory = 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings / by: (書目-電子資源)

Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / by: (書目-電子資源)

Progress in pattern recognition, image analysis, computer vision, and applications = 16th Iberoamerican Congress, CIARP 2011, Pucon, Chile, November 15-18, 2011 : proceedings / by: (書目-電子資源)

Euclidean shortest paths = exact or approximate algorithms / by: (書目-電子資源)

Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (書目-電子資源)

Combinatorial algorithms = 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Advances in information and computer security = 7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012 : proceedings / by: (書目-電子資源)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings / by: (書目-電子資源)

Bioinformatics research and applications = 6th International Symposium, ISBRA 2010, Storrs, CT, USA, May 23-26, 2010 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (書目-電子資源)

Advances in intelligent data analysis IX = 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010 : proceedings / by: (書目-電子資源)

Large-scale scientific computing = 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers / by: (書目-電子資源)

Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / by: (書目-電子資源)

Detection of intrusions and malware, and vulnerability assessment = 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010 : proceedings / by: (書目-電子資源)

Developments in language theory = 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, proceedings / by: (書目-電子資源)

Algorithmic number theory = 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010 : proceedings / by: (書目-電子資源)

Communications and multimedia security = 11th IFIP TC 6/TC ; 11 international conference, CMS 2010, Linz, Austria, May 31 - June 2, 2010 : proceedings / by: (書目-電子資源)

Advanced Methods for Knowledge Discovery from Complex Data by: (書目-電子資源)

Computer information systems - analysis and technologies = 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011 : proceedings / by: (書目-電子資源)

Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (書目-電子資源)

Advances in swarm intelligence = first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 : proceedings.. Part I / by: (書目-電子資源)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010, proceedings / by: (書目-電子資源)

Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. II / by: (書目-電子資源)

Compiler construction = 19th international conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (書目-電子資源)

Mathematical software - ICMS 2010 = Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (書目-電子資源)

Algorithms - ESA 2010 = 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.. Part II / by: (書目-電子資源)

Experimental algorithms = 8th international symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009 : proceedings / by: (書目-電子資源)

Information security, practice and experience = 6th International Conference, ISPEC 2010, Seoul, Korea, May 12-13, 2010 : proceedings / by: (書目-電子資源)

Artificial intelligence and soft computing = 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010.. Part I / by: (書目-電子資源)

Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday / by: (書目-電子資源)

Probabilistic Modeling in Bioinformatics and Medical Informatics by: (書目-電子資源)

Computer vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part III / by: (書目-電子資源)

Genetic programming theory and practice VII by: (書目-電子資源)

Methods and models in artificial and natural computation = a homage to Professor Mira's scientific legacy : Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, proceedings, part 1 / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part II / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 17th international conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 : proceedings / by: (書目-電子資源)

Self-organizing architectures = First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009 : revised selected and invited papers / by: (書目-電子資源)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XI = 11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.. Part II / by: (書目-電子資源)

Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (書目-電子資源)

Randomized Algorithms for Analysis and Control of Uncertain Systems by: (書目-電子資源)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part I / by: (書目-電子資源)

Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings / by: (書目-電子資源)

From animals to animats 11 = 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Luce, France, August 25-28, 2010, proceedings / by: (書目-電子資源)

Fast Software Encryption = 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / by: (書目-電子資源)

On the move to meaningful internet systems : OTM 2010 = confederated international conferences : CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, proceedings.. Part I / by: (書目-電子資源)

Advanced research in applied artificial intelligence = 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012 : proceedings / by: (書目-電子資源)

Graph theoretic concepts in computer science = 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009 : revised papers / by: (書目-電子資源)

Evolutionary Multiobjective Optimization = Theoretical Advances and Applications / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (書目-電子資源)

System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers / by: (書目-電子資源)

Learning and intelligent optimization = 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010 : selected papers / by: (書目-電子資源)

Engineering stochastic local search algorithms = designing, implementing and analyzing effective heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009 : proceedings / by: (書目-電子資源)

Sensor applications, experimentation, and logistics = First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009 : revised selected papers / by: (書目-電子資源)

Computer science - theory and applications = 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / by: (書目-電子資源)

Algorithms and computation = 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 : proceedings / by: (書目-電子資源)

Approximation and online algorithms = 7th International Workshop, WAOA 2009, Copenhagen Denmark, September 10-11, 2009 : revised papers / by: (書目-電子資源)

Information and communications security = 13th international conference, ICICS 2011, Beijing, China, November 23-26, 2011 : proceedings / by: (書目-電子資源)

Post-quantum cryptography = 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29 - December 2, 2011 : proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization = 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008 : proceedings / by: (書目-電子資源)

Transactions on data hiding and multimedia security VI by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / by: (書目-電子資源)

Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (書目-電子資源)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I / by: (書目-電子資源)

Visual informatics = sustaining research and innovations : second international visual informatics conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011 : proceedings.. Part I / by: (書目-電子資源)

Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings / by: (書目-電子資源)

Multiple classifier systems = 10th international workshop, MCS 2011, Naples, Italy, June 15-17, 2011 : proceedings / by: (書目-電子資源)

Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings / by: (書目-電子資源)

New challenges on bioinspired applications = 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011 : proceedings.. Part II / by: (書目-電子資源)

Fixed-point algorithms for inverse problems in science and engineering by: (書目-電子資源)

Discovery science = 14th international conference, DS 2011, Espoo, Finland, October 5-7, 2011 : proceedings / by: (書目-電子資源)

Intelligent information and database systems = Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010 : proceedings.. Part II / by: (書目-電子資源)

Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings / by: (書目-電子資源)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part I / by: (書目-電子資源)

Artificial neural networks and machine learning = ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011 : proceedings.. Part I / by: (書目-電子資源)

Theory of cryptography = 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings / by: (書目-電子資源)

Advances in wireless, mobile networks and applications = international conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011 : proceedings / by: (書目-電子資源)

Image analysis and recognition = 8th international conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011 : proceedings.. Part II / by: (書目-電子資源)

Post-quantum cryptography = second international workshop, PQCrypto 2008, Cincinnati, OH, USA, October 17-19, 2008 : proceedings / by: (書目-電子資源)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part II / by: (書目-電子資源)

Recent advances in intrusion detection = 13th International Symposium, RAID 2010, Ottawa, Ontario, Canada, September 15-17, 2010, proceedings / by: (書目-電子資源)

Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (書目-電子資源)

Image analysis and recognition = 6th international conference, ICIAR 2009, Halifax, Canada, July 6-8, 2009 : Proceedings / by: (書目-電子資源)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (書目-電子資源)

Ad hoc networks = Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, revised selected papers / by: (書目-電子資源)

Handbook of floating-point arithmetic by: (書目-電子資源)

Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings / by: (書目-電子資源)

Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II / by: (書目-電子資源)

Information security and cryptology = 7th international conference, Inscrypt 2011, Beijing, China, November 30 - December 3, 2011 : revised selected papers / by: (書目-電子資源)

Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (書目-電子資源)

Applied cryptography and network security = 8th international conference, ACNS 2010, Beijing, China, June 22-25, 2010 : proceedings / by: (書目-電子資源)

Independent component analysis and signal separation = 8th International Conference, ICA 2009, Paraty, Brazil, March 15 - 18, 2009 proceedings / by: (書目-電子資源)

Cyberspace safety and security = 4th international symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012 : proceedings / by: (書目-電子資源)

Information security and privacy = 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010, proceedings / by: (書目-電子資源)

Pattern recognition = 32nd DAGM Symposium, Darmstadt, Germany, September 22-24, 2010, proceedings / by: (書目-電子資源)

Information and communication technologies = international conference, ICT 2010, Kochi, Kerala, India, September 7-9, 2010, proceedings / by: (書目-電子資源)

Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings / by: (書目-電子資源)

OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications = 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part II / by: (書目-電子資源)

Grid Computing in Life Science = First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations / by: (書目-電子資源)

OpenMP in the petascale era = 7th international workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science = 36th International Workshop, WG 2010, Zaros, Crete, Greece, June 28-30, 2010, revised papers / by: (書目-電子資源)

Topics in cryptology--CT-RSA 2009 = the Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009 ; proceedings / by: (書目-電子資源)

Information retrieval technology = 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010 : proceedings / by: (書目-電子資源)

Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (書目-電子資源)

Model and data engineering = first international conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings / by: (書目-電子資源)

Architectures for adaptive software systems = 5th International Conference on the Quality of Software Architectures, QOSA 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings / by: (書目-電子資源)

Pattern recognition in bioinformatics = 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012 : proceedings / by: (書目-電子資源)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part V / by: (書目-電子資源)

Intelligent data engineering and automated learning = IDEAL 2008 : 9th international conference, Daejeon, South Korea, November 2-5, 2008 : proceedings / by: (書目-電子資源)

Distributed Computing in Sensor Systems = 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / by: (書目-電子資源)

On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part II / by: (書目-電子資源)

Mesh processing in medical image analysis 2012 = MICCAI 2012 international workshop, MeshMed 2012, Nice, France, October 1, 2012 : proceedings / by: (書目-電子資源)

Artificial neural networks and machine learning - ICANN 2012 = 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings.. Part II / by: (書目-電子資源)

Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / by: (書目-電子資源)

Advances in communication, network, and computing = third international conference, CNC 2012, Chennai, India, February 24-25, 2012 : revised selected papers / by: (書目-電子資源)

Advances in swarm intelligence = third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings.. Part II / by: (書目-電子資源)

A generative theory of relevance by: (書目-電子資源)

Overview of the PMBOKR guide = paving the way for pmp certification / by: (書目-電子資源)

Emerging intelligent computing technology and applications = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012 : proceedings / by: (書目-電子資源)

Scheduling for parallel processing by: (書目-電子資源)

Image analysis and recognition = 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012 : proceedings.. Part II / by: (書目-電子資源)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part I / by: (書目-電子資源)

Multi-agent systems = 9th European workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011 : revised selected papers / by: (書目-電子資源)

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops : = ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings by: (書目-電子資源)

Theory of Cryptography = Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings / by: (書目-電子資源)

Signal processing and information technology = first International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011 : revised selected papers / by: (書目-電子資源)

Progress in pattern recognition, image analysis, computer vision, and applications = 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / by: (書目-電子資源)

Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part III / by: (書目-電子資源)

Information Security and Cryptology = 4th international conference, Inscrypt 2008, Beijing, China, December 14-17, 2008 ; revised selected papers / by: (書目-電子資源)

Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (書目-電子資源)

Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings / by: (書目-電子資源)

Intelligent data engineering and automated learning - IDEAL 2010 = 11th international conference, Paisley, UK, September 1-3, 2010 : proceedings / by: (書目-電子資源)

Algorithmic aspects of wireless sensor networks = fourth international workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. revised selected papers / by: (書目-電子資源)

Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers / by: (書目-電子資源)

LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings / by: (書目-電子資源)

Hybrid metaheuristics = 5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings / by: (書目-電子資源)

Advances in computer science and information technology = AST/UCMA/ISA/ACN 2010 conferences, Miyazaki, Japan, June 23-25, 2010 : joint proceedings / by: (書目-電子資源)

Computer vision and graphics = International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, proceedings.. Part II / by: (書目-電子資源)

Finite-state methods and natural language processing = 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, revised selected papers / by: (書目-電子資源)

Mobile lightweight wireless systems = Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, revised selected papers / by: (書目-電子資源)

Logic, language, information and computation = 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / by: (書目-電子資源)

Computational intelligence methods for bioinformatics and biostatistics = 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, revised selected papers / by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part II / by: (書目-電子資源)

Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / by: (書目-電子資源)

Brain informatics = international conference, BI 2012, Macau, China, December 4-7, 2012 : proceedings / by: (書目-電子資源)

Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings / by: (書目-電子資源)

Graph drawing = 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (書目-電子資源)

Computational topology in image context = 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012 : proceedings / by: (書目-電子資源)

Combinatorial image analysis = 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009 : proceedings / by: (書目-電子資源)

Beyond loop level parallelism in OpenMP = accelerators, tasking and more : 6th international workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 : proceedings / by: (書目-電子資源)

Swarm, evolutionary, and memetic computing = first International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010 : proceedings / by: (書目-電子資源)

Algorithms unplugged by: (書目-電子資源)

Progress in Cryptology - INDOCRYPT 2005 : = 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings / by: (書目-電子資源)

Algorithms and computation = 23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings / by: (書目-電子資源)

Combinatorial and Algorithmic Aspects of Networking = First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers by: (書目-電子資源)

Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / by: (書目-電子資源)

Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity / by: (書目-電子資源)

Advances in visual computing = 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008, proceedings, Part I / by: (書目-電子資源)

Design by evolution = advances in evolutionary design / by: (書目-電子資源)

Advances in soft computing = 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010 : proceedings, part II / by: (書目-電子資源)

Cryptographic hardware and embedded systems = CHES 2011 : 13th international workshop, Nara, Japan, September 28 - October 1, 2011 : proceedings / by: (書目-電子資源)

Discovery science = 13th International Conference, DS 2010, Canberra, Australia, October 6-8, 2010, proceedings / by: (書目-電子資源)

Game theory for networks by: (書目-電子資源)

Agent computing and multi-agent systems = 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007 : revised papers / by: (書目-電子資源)

Computational collective intelligence = technologies and applications : third international conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011 : proceedings.. Part II / by: (書目-電子資源)

Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers / by: (書目-電子資源)

Computability and complexity theory by: (書目-電子資源)

A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (書目-電子資源)

Transactions on computational science IV = special issue on security in computing / by: (書目-電子資源)

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I / by: (書目-電子資源)

Multi-disciplinary trends in artificial intelligence = 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings / by: (書目-電子資源)

Visual informatics = Bridging Research and Practice : First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 : proceedings / by: (書目-電子資源)

Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / by: (書目-電子資源)

Cryptography and security = from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday / by: (書目-電子資源)

A Modular Calculus for the Average Cost of Data Structuring by: (書目-電子資源)

Information security theory and practice = security and privacy of mobile devices in wireless communication : 5th IFIP WG 11.2 international workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011 : proceedings / by: (書目-電子資源)

Database theory and application, bio-science and bio-Technology = International Conferences, DTA and BSBT 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Mobile and ubiquitous systems: Computing, networking, and services = 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised selected papers / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 7th international conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010 : proceedings / by: (書目-電子資源)

Public key infrastructures, services and applications = 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised selected papers / by: (書目-電子資源)

Algorithmic Learning Theory : = 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings by: (書目-電子資源)

Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings / by: (書目-電子資源)

Replication = theory and practice / by: (書目-電子資源)

Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part II / by: (書目-電子資源)

Computational Intelligence and Security : = International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II by: (書目-電子資源)

AI 2011 = advances in artificial intelligence : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011 : proceedings / by: (書目-電子資源)

Multiple access communications = 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings / by: (書目-電子資源)

Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-電子資源)

Communications and multimedia security = 12th IFIP TC 6 / TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21,2011 : proceedings / by: (書目-電子資源)

Information security applications = 11th international workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010 : revised selected papers / by: (書目-電子資源)

Computational intelligence methods for bioinformatics and biostatistics = 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 - July 2, 2011 : revised selected papers / by: (書目-電子資源)

U- and E-Service, science and technology = international conference, UNESST 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Information security and cryptology - ICISC 2008 = 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised selected papers / by: (書目-電子資源)

Critical infrastructure protection V = 5th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2011, Hanover, NH, USA, March 23-25, 2011, revised selected papers / by: (書目-電子資源)

Research in computational molecular biology = 13th annual international conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009 ; proceedings / by: (書目-電子資源)

Network Models and Optimization = Multiobjective Genetic Algorithm Approach / by: (書目-電子資源)

Information and communications security = 12th international conference, ICICS 2010, Barcelona, Spain, December 15-17, 2010 : proceedings / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings / by: (書目-電子資源)

Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings / by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part III / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings / by: (書目-電子資源)

Algorithms and data structures = 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings / by: (書目-電子資源)

Sequences and Their Applications - SETA 2008 = 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings / by: (書目-電子資源)

Hybrid artificial intelligence systems = third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. proceedings / by: (書目-電子資源)

Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings / by: (書目-電子資源)

Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings / by: (書目-電子資源)

Recent trends in wireless and mobile networks = Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010 : proceedings / by: (書目-電子資源)

DNA computing and molecular programming = 16th international conference, DNA 16, Hong Kong, China, June 14-17, 2010 : revised selected papers / by: (書目-電子資源)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part II / by: (書目-電子資源)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part III / by: (書目-電子資源)

Advances in knowledge discovery and data mining = 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011 : proceedings.. Part II / by: (書目-電子資源)

Information Security and Cryptology = Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / by: (書目-電子資源)

Cryptographic Hardware and Embedded Systems -- CHES 2008 = 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / by: (書目-電子資源)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (書目-電子資源)

Advances in swarm intelligence = third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings.. Part I / by: (書目-電子資源)

Data and Applications Security XXII = 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings / by: (書目-電子資源)

Theory of quantum computation, communication, and cryptography = 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, revised selected papers / by: (書目-電子資源)

Bioinspired models of network, information, and computing systems = 4th international conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, revised selected papers / by: (書目-電子資源)

Sparsity = graphs, structures, and algorithms / by: (書目-電子資源)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II / by: (書目-電子資源)

Partially supervised learning = first IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011 : revised selected papers / by: (書目-電子資源)

On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part I / by: (書目-電子資源)

Complexity Theory and Cryptology = An Introduction to Cryptocomplexity / by: (書目-電子資源)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings / by: (書目-電子資源)

Security and privacy in mobile information and communication systems = Second International ICST Conference, MobiSec 2010, Catania, Sicily, Italy, May 27-28, 2010, revised selected papers / by: (書目-電子資源)

Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part II / by: (書目-電子資源)

Advanced concepts for intelligent vision systems = 12th international conference, ACIVS 2010, Sydney, Australia, December 13-16, 2010 : proceedings, part I / by: (書目-電子資源)

Future generation information technology = 4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II / by: (書目-電子資源)

Graph Drawing = 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers / by: (書目-電子資源)

Research in computational molecular biology = 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : proceedings / by: (書目-電子資源)

Advanced concepts for intelligent vision systems = 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012 : proceedings / by: (書目-電子資源)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part II / by: (書目-電子資源)

Spatio-temporal image analysis for longitudinal and time-series image data = second International Workshop, STIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1, 2012 : proceedings / by: (書目-電子資源)

Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2010 = 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings.. Part II / by: (書目-電子資源)

Multimodal brain image analysis = first international workshop, MBIA 2011, held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011 : proceedings / by: (書目-電子資源)

Communications and Information Processing = International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012 : revised selected papers.. Part II / by: (書目-電子資源)

Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings / by: (書目-電子資源)

Foundations and applications of security analysis = Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / by: (書目-電子資源)

Research in computational molecular biology = 12th annual international conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. proceedings / by: (書目-電子資源)

String processing and information retrieval = 16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings / by: (書目-電子資源)

High performance architecture and grid computing = international conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011 : proceedings / by: (書目-電子資源)

Advances in knowledge discovery and data mining = 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010 : proceedings.. Part II / by: (書目-電子資源)

Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part I / by: (書目-電子資源)

Financial cryptography and data security = 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011 : revised selected papers / by: (書目-電子資源)

Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings / by: (書目-電子資源)

Algorithms and Data Structures = The Basic Toolbox / by: (書目-電子資源)

Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Security in Ad-hoc and Sensor Networks = First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers / by: (書目-電子資源)

Advances in information and computer security = 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 : proceedings / by: (書目-電子資源)

Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Security and Cryptography for Networks = 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings / by: (書目-電子資源)

Search computing = trends and developments / by: (書目-電子資源)

Distributed computing in sensor systems = 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009 : proceedings / by: (書目-電子資源)

Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings / by: (書目-電子資源)

Advanced concepts for intelligent vision systems = 13th international conference, ACIVS 2011, Ghent, Belgium, August 22-25, 2011 : proceedings / by: (書目-電子資源)

Service-oriented computing = ICSOC/ServiceWave 2009 Workshops : International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, revised selected papers / by: (書目-電子資源)

Principles of programming languages by: (書目-電子資源)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (書目-電子資源)

Image analysis and recognition = 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012 : proceedings.. Part I / by: (書目-電子資源)

Combinatorial optimization and applications = third international conference, COCOA 2009, Huangshan, China, June 10-12, 2009 : proceedings / by: (書目-電子資源)

Mobile networks and management = Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010 : revised selected papers / by: (書目-電子資源)

Contemporary computing = third International Conference, IC3 2010, Noida, India, August 9-11, 2010, proceedings.. Part I / by: (書目-電子資源)

Computer vision - ACCV 2009 = 9th Asian Conference on Computer Vision, Xi'an, September 23-27, 2009 : revised selected papers.. Part I / by: (書目-電子資源)

Genetic programming theory and practice VIII by: (書目-電子資源)

UNIX operating system = the development tutorial via UNIX kernel services / by: (書目-電子資源)

Cellular Automata = 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / by: (書目-電子資源)

Advances in cryptology - EUROCRYPT 2010 = 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, French Riviera, May 30 - June 3, 2010 : proceedings / by: (書目-電子資源)

Bioinformatics = Problem Solving Paradigms / by: (書目-電子資源)

Algorithmic Applications in Management = First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings / by: (書目-電子資源)

Motion in games = 4th international conference, MIG 2011, Edinburgh, UK, November 13-15, 2011 : proceedings / by: (書目-電子資源)

Fast Software Encryption = 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers / by: (書目-電子資源)

Advances in information retrieval theory = third international conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011 : proceedings / by: (書目-電子資源)

Local Pattern Detection = International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers / by: (書目-電子資源)

Control and automation, and energy system engineering = international conferences, CA and CES3 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Trust, privacy and security in digital business = 8th international conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011 : proceedings / by: (書目-電子資源)

Information intelligence, systems, technology and management = 5th International Conference, ICISTM 2011, Gurgaon, India, March 10-12, 2011 : proceedings / by: (書目-電子資源)

Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by: (書目-電子資源)

Energy minimization methods in computer vision and pattern recognition = 8th international conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011 : proceedings / by: (書目-電子資源)

Algorithms and models for the web-graph = 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 ; proceedings / by: (書目-電子資源)

Advances in bioinformatics and computational biology = 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (書目-電子資源)

DNA Computing = 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / by: (書目-電子資源)

Progress in cryptology = AFRICACRYP T 2011 : 4th international conference on cryptology in Africa, Dakar, Senegal, July 5-7, 2011 : proceedings / by: (書目-電子資源)

Computational geometry and graph theory = international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers / by: (書目-電子資源)

Approximation and online algorithms = 6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers / by: (書目-電子資源)

Algorithms and data structures = 11th international symposium, WADS 2009, Banff, Canada, August 21-23, 2009 : proceedings / by: (書目-電子資源)

Algorithms and programming = problems and solutions / by: (書目-電子資源)

Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings by: (書目-電子資源)

Applications and theory of petri nets = 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / by: (書目-電子資源)

LATIN 2010 = theoretical informatics : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010 : proceedings / by: (書目-電子資源)

Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part I / by: (書目-電子資源)

Complexity Theory = Exploring the Limits of Efficient Algorithms / by: (書目-電子資源)

Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time / by: (書目-電子資源)

Selected areas in cryptography = 17th international workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers / by: (書目-電子資源)

Similarity search and applications = 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012 : proceedings / by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010, proceedings / by: (書目-電子資源)

Formal methods and software engineering = 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, proceedings / by: (書目-電子資源)

Structural information and communication complexity = 16th international colloquium, SIROCCO 2009, Piran, Slovenia, May 25-27, 2009, revised selected papers / by: (書目-電子資源)

Battery Management Systems = Accurate State-of-Charge Indication for Battery-Powered Applications / by: (書目-電子資源)

Graph-Theoretic Concepts in Computer Science : = 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers by: (書目-電子資源)

Regulatory Genomics = RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers / by: (書目-電子資源)

Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (書目-電子資源)

Financial Cryptography and Data Security = 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 - March 3, 2005, Revised Papers / by: (書目-電子資源)

Algorithmic learning theory = 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012 : proceedings / by: (書目-電子資源)

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part I / by: (書目-電子資源)

Implementation and Application of Automata = 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / by: (書目-電子資源)

Access networks = 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009 : revised selected papers / by: (書目-電子資源)

Algorithms and Data Structures = 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings / by: (書目-電子資源)

Anaphora processing and applications = 8th discourse anaphora and anaphor resolution colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011 : revised selected papers / by: (書目-電子資源)

Integrated uncertainty in knowledge modelling and decision making = international symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011 : proceedings / by: (書目-電子資源)

Combinatorial Pattern Matching = 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings / by: (書目-電子資源)

Computational Intelligence and Bioinspired Systems = 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltru, Barcelona, Spain, June 8-10, 2005, Proceedings / by: (書目-電子資源)

Algorithms and models for the web-graph = 7th international workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010 : proceedings / by: (書目-電子資源)

Scale space and variational methods in computer vision = second international conference, SSVM 2009, Voss, Norway, June 1-5, 2009 ; proceedings / by: (書目-電子資源)

Transactions on computational science XI = special issue on security in computing, part II / by: (書目-電子資源)

Green and smart technology with sensor applications = international conferences, GST and SIA 2012 Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (書目-電子資源)

Progress in cryptology - INDOCRYPT 2010 = 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010 : proceedings / by: (書目-電子資源)

Structural information and communication complexity = 18th international colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011 : proceedings / by: (書目-電子資源)

Optimal design and related areas in optimization and statistics by: (書目-電子資源)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part I / by: (書目-電子資源)

Computer vision/computer graphics collaboration techniques = 5th international conference, MIRAGE 2011, Rocquencourt, France, October 10-11, 2011 : proceedings / by: (書目-電子資源)

Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings / by: (書目-電子資源)

Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (書目-電子資源)

Fundamentals of three-dimensional digital image processing by: (書目-電子資源)

Computational collective intelligence = technologies and applications : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. proceedings.. Part III / by: (書目-電子資源)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. III / by: (書目-電子資源)

Theoretical computer science = 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization = 14th international conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010 : proceedings / by: (書目-電子資源)

Information systems for indian languages = international conference, ICISIL 2011, Patiala, India, March 9-11, 2011 : proceedings / by: (書目-電子資源)

Advances in grid and pervasive computing = 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010 : proceedings / by: (書目-電子資源)

Testing of software and communication systems = 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings / by: (書目-電子資源)

Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-電子資源)

Advances in computational algorithms and data analysis by: (書目-電子資源)

Data and Applications Security XIX = 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings / by: (書目-電子資源)

Advances in artificial intelligence - SBIA 2008 = 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings / by: (書目-電子資源)

Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings / by: (書目-電子資源)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (書目-電子資源)

Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings by: (書目-電子資源)

Artificial Immune Systems = 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings / by: (書目-電子資源)

Network and Parallel Computing : = IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings by: (書目-電子資源)

Algorithms - ESA 2008 = 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings / by: (書目-電子資源)

Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Cryptology and Network Security : = 4th International Conference, CANS 2005, Xiamen, China, December 14-16, 2005, Proceedings by: (書目-電子資源)

Image Analysis and Recognition = 5th International Conference, ICIAR 2008, Povoa de Varzim, Portugal, June 25-27, 2008. Proceedings / by: (書目-電子資源)

Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings / by: (書目-電子資源)

Information and Communications Security : = 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings by: (書目-電子資源)

Motion in games = Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010, proceedings / by: (書目-電子資源)

Network optimization = 5th international conference, INOC 2011, Hamburg, Germany, June 13-16, 2011 : proceedings / by: (書目-電子資源)

Digraphs = theory, algorithms and applications / by: (書目-電子資源)

Network control and optimization = Third Euro-NF Conference, NET-COOP 2009, Eindhoven, The Netherlands, November 23-25, 2009 : proceedings / by: (書目-電子資源)

Information security applications = 10th international workshop, WISA 2009, Busan, Korea, August 25-27, 2009 : revised selected papers / by: (書目-電子資源)

Applications of graph transformations with industrial relevance = third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers / by: (書目-電子資源)

Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings / by: (書目-電子資源)

Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: (書目-電子資源)

Algorithms and applications = essays dedicated to Esko Ukkonen on the occasion of his 60th birthday / by: (書目-電子資源)

Advances in computer science and information technology = Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part I / by: (書目-電子資源)

Critical information infrastructures security = third international workshop, CRITIS 2008, Rome, Italy, October13-15, 2008 : revised papers / by: (書目-電子資源)

Advances in self-organizing maps = 7th International Workshop, WSOM 2009, St. Augustine, FL, USA, June 8-10, 2009 : proceedings / by: (書目-電子資源)

Mathematical theory and computational practice = 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / by: (書目-電子資源)

Selected areas in cryptography = 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011 : revised selected papers / by: (書目-電子資源)

Compiler construction = 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Evolutionary computation, machine learning and data mining in bioinformatics = 10th European Conference, EvoBIO 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Variational, Geometric, and Level Set Methods in Computer Vision : = Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings by: (書目-電子資源)

Biometric recognition = 6th Chinese conference, CCBR 2011, Beijing, China, December 3-4, 2011 : proceedings / by: (書目-電子資源)

Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part I / by: (書目-電子資源)

Language and automata theory and applications = 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 : proceedings / by: (書目-電子資源)

Computational intelligence in security for information systems = 4th International Conference, CISIS 2011, Held at IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings / by: (書目-電子資源)

Pairing-based cryptography - Pairing 2009 = Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings / by: (書目-電子資源)

Hybrid artificial intelligence systems = 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009 : proceedings / by: (書目-電子資源)

RFID: Security and privacy = 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011 : revised selected papers / by: (書目-電子資源)

Developments in language theory = 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part III / by: (書目-電子資源)

Computer Analysis of Images and Patterns : = 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings by: (書目-電子資源)

Computational intelligence methods for bioinformatics and biostatistics = 5th international meeting, CIBB 2008, Vietri sul Mare, Italy, October 3-4, 2008 : revised selected papers / by: (書目-電子資源)

Transactions on computational science XV = special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (書目-電子資源)

Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, proceedings.. Part I / by: (書目-電子資源)

Future generation information technology = Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Scale space and variational methods in computer vision = third international conference, SSVM 2011, Ein-Gedi, Israel, May 29 - June 2, 2011 : revised selected papers / by: (書目-電子資源)

Principles of security and trust = first international conference, POST 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (書目-電子資源)

Advances in computer science and information technology = computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part II / by: (書目-電子資源)

Frontiers in Algorithmics = Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings / by: (書目-電子資源)

Advanced computing, networking and security = International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers / by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part I / by: (書目-電子資源)

Computational complexity = theory, techniques, and applications / by: (書目-電子資源)

Research in computational molecular biology = 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010 : proceedings / by: (書目-電子資源)

VLSI-SoC = Design Methodologies for SoC and SiP : 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008 : revised selected papers / by: (書目-電子資源)

Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / by: (書目-電子資源)

Graphs and algorithms in communication networks = studies in broadband, optical, wireless and ad hoc networks / by: (書目-電子資源)

Parallel and Distributed Processing and Applications : = Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (書目-電子資源)

Foundations and practice of security = 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / by: (書目-電子資源)

Wireless communications and applications = first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers / by: (書目-電子資源)

Computer vision, imaging and computer graphics = theory and applications : international joint conference, VISIGRAPP 2010, Angers, France, May 17-21, 2010, revised selected papers / by: (書目-電子資源)

Design and Analysis of Randomized Algorithms = Introduction to Design Paradigms / by: (書目-電子資源)

Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements / by: (書目-電子資源)

Security in Communication Networks = 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers / by: (書目-電子資源)

Combinatorial Image Analysis = 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings / by: (書目-電子資源)

Middleware 2012 = ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / by: (書目-電子資源)

Intelligent information and database systems = 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.. Part I / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, proceedings.. Part I / by: (書目-電子資源)

High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (書目-電子資源)

Practice and Theory of Automated Timetabling V : = 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers by: (書目-電子資源)

Future challenges in security and privacy for academia and industry = 26th IFIP TC 11 international information security conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011 : proceedings / by: (書目-電子資源)

The algorithm design manual by: (書目-電子資源)

Security technology = international conference, SecTech 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Foundations on natural and artificial computation = 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011 : proceedings.. Part I / by: (書目-電子資源)

ICT innovations 2010 = second international conference, ICT Innovations 2010, Ohrid, Macedonia, September 12-15, 2010 : revised selected papers / by: (書目-電子資源)

Digital Watermarking : = 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings by: (書目-電子資源)

Performance evaluation of computer and communication systems = milestones and future challenges : IFIP WG 6.3/7.3 international workshop, PERFORM 2010, in Honor of Gunter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010 : revised selected papers / by: (書目-電子資源)

Algorithms and models for the web graph = 8th international workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011 : proceedings / by: (書目-電子資源)

Evolutionary computation, machine learning and data mining in bioinformatics = 6th European conference, EVOBIO 2008, Naples, Italy, March 26-28, 2008. proceedings / by: (書目-電子資源)

Passive and active measurement = 13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings / by: (書目-電子資源)

Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings / by: (書目-電子資源)

Trends in intelligent robotics, automation, and manufacturing = first international conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012 : proceedings / by: (書目-電子資源)

Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings / by: (書目-電子資源)

Computational intelligence = research frontiers : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008 : plenary/invited lectures / by: (書目-電子資源)

Combinatorial image analysis = 14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (書目-電子資源)

Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (書目-電子資源)

Global trends in information systems and software applications = 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011 : proceedings.. Part II / by: (書目-電子資源)

Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden / by: (書目-電子資源)

Intelligent Computing Theories and Applications = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / by: (書目-電子資源)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005, and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings / by: (書目-電子資源)

Artificial immune systems = 8th international conference, ICARIS 2009, York, UK, August 9-12, 2009 ; Proceedings / by: (書目-電子資源)

Energy-aware communications = 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 : proceedings / by: (書目-電子資源)

Combinatorial pattern matching = 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012 : proceedings / by: (書目-電子資源)

Advances in bioinformatics and computational biology = 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010, proceedings / by: (書目-電子資源)

Neural networks = tricks of the trade / by: (書目-電子資源)

Global security, safety, and sustainability = 6th International Conference, ICGS3 2010, Braga, Portugal, September 1-3, 2010, proceedings / by: (書目-電子資源)

Personal satellite services = second international ICST confernce, PSATS 2010, Rome, Italy, February 2010 : revised selected papers / by: (書目-電子資源)

Advances in knowledge discovery and data mining = 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012 : proceedings.. Part II / by: (書目-電子資源)

Combinatorial pattern matching = 20th annual symposium, CPM 2009, Lille, France, June 22-24, 2009 : proceedings / by: (書目-電子資源)

Advanced intelligent computing theories and applications = With Aspects of Theoretical and Methodological Issues: 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / by: (書目-電子資源)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings / by: (書目-電子資源)

Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings / by: (書目-電子資源)

Overview of the PMBOK guide = short cuts for PMP certification / by: (書目-電子資源)

SOFSEM 2012 = theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012 : proceedings / by: (書目-電子資源)

Information and communications security = 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008 : proceedings / by: (書目-電子資源)

Security protocols XX = 20th international workshop, Cambridge, UK, April 12-13, 2012 : revised selected papers / by: (書目-電子資源)

DNA computing = b14th international meeting on DNA computing, DNA 14, Prague, Czech Republic, June 2-9, 2008 : revised selected papers / by: (書目-電子資源)

Security, privacy, and applied cryptography engineering = second international conference, SPACE 2012, Chennai, India, November 3-4, 2012 : proceedings / by: (書目-電子資源)

Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers / by: (書目-電子資源)

Genetic programming theory and practice IX by: (書目-電子資源)

Computational Geometry = Algorithms and Applications / by: (書目-電子資源)

Approximation and Online Algorithms = Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / by: (書目-電子資源)

Ethics and policy of biometrics = Third International Conference on Ethics and Policy of Biometrics and International Data Sharing, ICEB 2010, Hong Kong, January 4-5, 2010 : revised papers / by: (書目-電子資源)

Algorithms in Bioinformatics : = 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings by: (書目-電子資源)

Multimodal Technologies for Perception of Humans = International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers / by: (書目-電子資源)

Public Key Cryptography ??PKC 2008 = 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings / by: (書目-電子資源)

Information theoretic security = 5th international conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011 : proceedings / by: (書目-電子資源)

Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / by: (書目-電子資源)

Data and applications security and privacy XXIV = 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010, proceedings / by: (書目-電子資源)

Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings / by: (書目-電子資源)

Recent advances in constraints = 12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers / by: (書目-電子資源)

Advances in cryptology - EUROCRYPT 2009 = 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009 : proceedings / by: (書目-電子資源)

Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part I / by: (書目-電子資源)

Advanced data mining and applications = 8th international conference, ADMA 2012, Nanjing, China, December 15-18, 2012 : proceedings / by: (書目-電子資源)

Agents and artificial intelligence = International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009, revised selected papers / by: (書目-電子資源)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. I / by: (書目-電子資源)

Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (書目-電子資源)

Multiobjective optimization = interactive and evolutionary approaches / by: (書目-電子資源)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part II / by: (書目-電子資源)

Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday / by: (書目-電子資源)

Critical information infrastructures security = second international workshop, CRITIS 2007, Malaga, Spain, October 3-5, 2007 : revised papers / by: (書目-電子資源)

Public key cryptography - PKC 2010 = 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010 : proceedings / by: (書目-電子資源)

High performance computing systems and applications = 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009 : revised selected papers / by: (書目-電子資源)

Communications = wireless in developing countries and networks of the future : third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Computer vision - ACCV 2009 = 9th Asian Conference on Computer Vision, Xi'an, September 23-27, 2009 : revised selected papers.. Part III / by: (書目-電子資源)

Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part V / by: (書目-電子資源)

Machine Learning: ECML 2005 : = 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings by: (書目-電子資源)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by: (書目-電子資源)

Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part III / by: (書目-電子資源)

Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (書目-電子資源)

Advances in information technology and education = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part I / by: (書目-電子資源)

Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part III / by: (書目-電子資源)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II / by: (書目-電子資源)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I / by: (書目-電子資源)

Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (書目-電子資源)

Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings / by: (書目-電子資源)

Information and communications security = 11th international conference, ICICS 2009, Beijing, China, December 14-17, 2009 : proceedings / by: (書目-電子資源)

Secure and trust computing, data management, and applications = STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011 : proceedings / by: (書目-電子資源)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part VI / by: (書目-電子資源)

Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings / by: (書目-電子資源)

Software process improvement and capability determination = 11th international conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011 : proceedings / by: (書目-電子資源)

Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (書目-電子資源)

Implementation and application of automata = 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings / by: (書目-電子資源)

Cellular automata = 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings / by: (書目-電子資源)

Multimodal brain image analysi = second International Workshop, MBIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1-5, 2012 : proceedings / by: (書目-電子資源)

Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers / by: (書目-電子資源)

Information and communication technologies = 18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012 : proceedings / by: (書目-電子資源)

Multi-disciplinary trends in artificial intelligence = 5th international workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011 : proceedings / by: (書目-電子資源)

Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings / by: (書目-電子資源)

Transactions on Data Hiding and Multimedia Security III by: (書目-電子資源)

Evolutionary Computation in Combinatorial Optimization = 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings / by: (書目-電子資源)

Algorithms and complexity = 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings / by: (書目-電子資源)

Discrete and Computational Geometry : = Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004 by: (書目-電子資源)

Critical infrastructure protection = information infrastructure models, analysis, and defense / by: (書目-電子資源)

High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / by: (書目-電子資源)

Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers / by: (書目-電子資源)

Transactions on computational science XIV = special issue on Voronoi diagrams and Delaunay triangulation / by: (書目-電子資源)

Queueing theory = a linear algebraic approach / by: (書目-電子資源)

On the move to meaningful internet systems, OTM 2010 = confederated international conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010 : proceedings.. part II / by: (書目-電子資源)

Image analysis and recognition = 7th international conference, ICIAR 2010, Povoa de Varzim, Portugal, June 21-23, 2010 : proceedings.. Part I / by: (書目-電子資源)

Information Security and Cryptology - ICISC 2004 = 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / by: (書目-電子資源)

Information security theory and practices = security and privacy of pervasive systems and smart devices : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010 : proceedings / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (書目-電子資源)

Advanced computer science and information technology = Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011 : proceedings / by: (書目-電子資源)

Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers / by: (書目-電子資源)

Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / by: (書目-電子資源)

Peer-to-Peer Systems IV : = 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers by: (書目-電子資源)

Progress in cryptology - INDOCRYPT 2012 = 13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012 : proceedings / by: (書目-電子資源)

Discrete geometry for computer imagery = 15th IAPR International Conference, DGCI 2009, Montreal, Canada, September 30-October 2, 2009 : proceedings / by: (書目-電子資源)

Mathematical and Statistical Methods in Insurance and Finance by: (書目-電子資源)

Emerging intelligent computing technology and applications = 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009 : proceedings / by: (書目-電子資源)

Understanding Planning Tasks = Domain Complexity and Heuristic Decomposition / by: (書目-電子資源)

Global trends in computing and communication systems = 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. : proceedings.. Part I / by: (書目-電子資源)

Cloud computing = First International Conference, CloudComp 2009 Munich, Germany, October 19-21, 2009 : revised selected papers / by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 2009 = 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009 : proceedings / by: (書目-電子資源)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (書目-電子資源)

Advances in computer science and information technology = computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.. Part III / by: (書目-電子資源)

Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (書目-電子資源)

Recent advances in reinforcement learning = 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers / by: (書目-電子資源)

Artificial Intelligence Applications and Innovations = IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7-9, 2005, Beijing, China / by: (書目-電子資源)

Graph theory, computational intelligence and thought = essays dedicated to Martin Charles Golumbic on the occasion of his 60th Birthday / by: (書目-電子資源)

Ad hoc networks = third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Data and applications security XXIII = 23rd Annual IFIP WG 11.3 Working Conference, Montreal, Canada, July 12-15, 2009 : proceedings / by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers / by: (書目-電子資源)

Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / by: (書目-電子資源)

Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings by: (書目-電子資源)

Natural Language Processing - IJCNLP 2005 : = Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings by: (書目-電子資源)

Algorithmic learning theory = 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010, proceedings / by: (書目-電子資源)

Swarm and evolutionary computation = international symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings / by: (書目-電子資源)

Unconventional computation = 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings / by: (書目-電子資源)

Structural information and communication complexity = 17th international colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010 : proceedings / by: (書目-電子資源)

WALCOM: algorithms and computation = third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings / by: (書目-電子資源)

Computer science = theory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / by: (書目-電子資源)

VLSI-SoC = technologies for systems integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-14, 2009, revised selected papers / by: (書目-電子資源)

Decision and game theory for security = third international conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012 : proceedings / by: (書目-電子資源)

Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / by: (書目-電子資源)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. II / by: (書目-電子資源)

Computing and Combinatorics = 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings / by: (書目-電子資源)

Artificial intelligence and soft computing = 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010.. Part II / by: (書目-電子資源)

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (書目-電子資源)

Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings / by: (書目-電子資源)

Mobile lightweight wireless systems = third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / by: (書目-電子資源)

Cryptographic hardware and embedded systems - CHES 2010 = 12th international workshop, Santa Barbara, USA, August 17-20, 2010 : proceedings / by: (書目-電子資源)

Pairing-based cryptography - Pairing 2010 = 4th international conference, Yamanaka Hot Spring, Japan, December 2010, proceedings / by: (書目-電子資源)

Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (書目-電子資源)

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach = a bioinspired approach : First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings / by: (書目-電子資源)

Modelling autonomic communication environments = 5th IEEE international workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010 : proceedings / by: (書目-電子資源)

Progress in Cryptology - Mycrypt 2005 : = First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings by: (書目-電子資源)

Probabilistic Inductive Logic Programming = Theory and Applications / by: (書目-電子資源)

Computer vision, imaging and computer graphics = theory and applications : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009, revised selected papers / by: (書目-電子資源)

Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (書目-電子資源)

NETWORKING 2012 = 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.. Part I / by: (書目-電子資源)

Information retrieval technology = 5th Asia information retrieval symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (書目-電子資源)

Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I / by: (書目-電子資源)

Advances in computer entertainment = 9th international conference, ACE 2012, Kathmandu, Nepal, November 3-5, 2012 : proceedings / by: (書目-電子資源)

NETWORKING 2010 = 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010 : proceedings / by: (書目-電子資源)

Mobile Ad-hoc and Sensor Networks : = First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings by: (書目-電子資源)

S-BPM ONE - learning by doing - doing by learning = third international conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011 : proceedings / by: (書目-電子資源)

Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by: (書目-電子資源)

Swarm, evolutionary, and memetic computing = third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / by: (書目-電子資源)

Security technology, disaster recovery and business continuity = International Conferences, SecTech and DRBC 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part II / by: (書目-電子資源)

Computer applications for security, control and system engineering = International Conferences, SecTech, CA, CES3 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-電子資源)

Image and signal processing = 4th international conference, ICISP 2010, Trois-Rivieres, QC, Canada, June 30-July 2, 2010 : proceedings / by: (書目-電子資源)

Trust and trustworthy computing = third international conference, TRUST 2010, Berlin, Germany, June 21-23, 2010 : proceedings / by: (書目-電子資源)

Fast software encryption = 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012 : revised selected papers / by: (書目-電子資源)

Compiler construction = 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (書目-電子資源)

Software process improvement and capability determination = 12th international conference, SPICE 2012, Palma, Spain, May 29-31, 2012 : proceedings / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Tools and Algorithms for the Construction and Analysis of Systems = 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (書目-電子資源)

Advances in Cryptology - ASIACRYPT 2005 : = 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings by: (書目-電子資源)

Trends and topics in computer vision = ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010 : revised selected papers.. Part I / by: (書目-電子資源)

AI 2012 = advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (書目-電子資源)

Advances in cryptology = ASIACRYPT 2011 : 17th international conference on the theory and application of cryptology and information security, Seoul, South Korea, December 4-8, 2011 : proceedings / by: (書目-電子資源)

Advances in intelligent data analysis X = 10th international symposium, IDA 2011, Porto, Portugal, October 29-31, 2011 : proceedings / by: (書目-電子資源)

Artificial general intelligence = 5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings / by: (書目-電子資源)

Genetic Programming Theory and Practice.. V by: (書目-電子資源)

Algorithm theory - SWAT 2012 = 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 : proceedings / by: (書目-電子資源)

Topics in Cryptology -- CT-RSA 2005 = The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings / by: (書目-電子資源)

Advanced communication and networking = third international conference, ACN 2011, Brno, Czech Republic, August 15-17, 2011 : proceedings / by: (書目-電子資源)

Algorithms and models for the web graph = 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012 : proceedings / by: (書目-電子資源)

Information security applications = 13th international workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012 : revised selected papers / by: (書目-電子資源)

Approximation algorithms and semidefinite programming by: (書目-電子資源)

Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part II / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part II / by: (書目-電子資源)

Trends in network and communications = international conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011 : proceedings / by: (書目-電子資源)

Towards a service-based Internet = 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings / by: (書目-電子資源)

Advances in bioinformatics and computational biology = 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011 : proceedings / by: (書目-電子資源)

Pattern recognition = 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011 : proceedings / by: (書目-電子資源)

Structural, syntactic, and statistical pattern recognition = joint IAPR international workshop, SSPR & SPR 2012, Hiroshima, Japan, November 7-9, 2012 : proceedings / by: (書目-電子資源)

Modern approaches in applied intelligence = 24th international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011 : proceedings.. Part I / by: (書目-電子資源)

User modeling, adaption and personalization = 19th international conference, UMAP 2011, Girona, Spain, July 11-15, 2011 : proceedings / by: (書目-電子資源)

Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / by: (書目-電子資源)

Artificial neural networks and machine learning = ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011 : proceedings.. Part II / by: (書目-電子資源)

Complex networks = second international workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, revised selected papers / by: (書目-電子資源)

Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / by: (書目-電子資源)

Algorithmic decision theory = second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings / by: (書目-電子資源)

Computer applications for modeling, simulation, and automobile = international conferences, MAS and ASNT 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (書目-電子資源)

Brain informatics = international conference, BI 2011, Lanzhou, China, September 7-9, 2011 : proceedings / by: (書目-電子資源)

WALCOM: Algorithms and Computation = Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings / by: (書目-電子資源)

Decision and game theory for security = second international conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011 : proceedings / by: (書目-電子資源)

Advances in cryptology - EUROCRYPT 2012 = 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012 : proceedings / by: (書目-電子資源)

Advances in Cryptology - EUROCRYPT 2005 = 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings / by: (書目-電子資源)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. II / by: (書目-電子資源)

Discrete geometry for computer imagery = 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings / by: (書目-電子資源)

Big data analytics = first international conference, BDA 2012, New Delhi, India, December 24-26, 2012 : proceedings / by: (書目-電子資源)

Trust and trustworthy computing = 4th international conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011 : proceedings / by: (書目-電子資源)

Data and applications security and privacy XXV = 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011 : proceedings / by: (書目-電子資源)

Network and parallel computing = IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010, proceedings / by: (書目-電子資源)

Recent trends in computer networks and distributed systems security = International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012 : proceedings / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part II / by: (書目-電子資源)

Computational linguistics and intelligent text processing = 11th international conference, CICLing 2010, Iasi, Romania, March 21-27, 2010 : proceedings / by: (書目-電子資源)

Progress in cryptology - Africacrypt 2008 = first international conference on cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. proceedings / by: (書目-電子資源)

Security protocols = 15th international workshop, Brno, Czech Republic, April 18-20, 2007 : revised selected papers / by: (書目-電子資源)

SOFSEM 2011 = theory and practice of computer science : 37th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 22 - 28, 2011 : proceedings / by: (書目-電子資源)

Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / by: (書目-電子資源)

Internet and distributed computing systems = 5th international conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings / by: (書目-電子資源)

Mathematics of surfaces XIII = 13th IMA International Conference York, UK, September 7-9, 2009 : proceedings / by: (書目-電子資源)

Experimental algorithms = 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010 : proceedings / by: (書目-電子資源)

Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings / by: (書目-電子資源)

From animals to animats 12 = 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012 : proceedings / by: (書目-電子資源)

Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Eternal systems = first InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised selected papers / by: (書目-電子資源)

Internet of things, smart spaces, and next generation networking = 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 : proceedings / by: (書目-電子資源)

Artificial evolution = 10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers / by: (書目-電子資源)

Trustworthy global computing = 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers / by: (書目-電子資源)

Stochastic algorithms = foundations and applications : 5th international symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009 : proceedings / by: (書目-電子資源)

Transactions on computational systems biology XI by: (書目-電子資源)

Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (書目-電子資源)

Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-電子資源)

Evolutionary computation, machine learning and data mining in bioinformatics = 7th European Conference, EvoBIO 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (書目-電子資源)

Learning and intelligent optimization = 6th International Conference, LION 6, Paris, France, January 16-20, 2012 : revised selected papers / by: (書目-電子資源)

Scientific and statistical database management = 22nd international conference, SSDBM 2010, Heidelberg, Germany, June 30-July 2, 2010 : proceedings / by: (書目-電子資源)

Information security and privacy research = 27th IFIP TC 11 information security and privacy conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012 : proceedings / by: (書目-電子資源)

Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings.. Part II / by: (書目-電子資源)

NETWORKING 2012 workshops = International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings / by: (書目-電子資源)

Computational collective intelligence = technologies and applications : third international conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011 : proceedings.. Part I / by: (書目-電子資源)

Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings / by: (書目-電子資源)

Distributed computing and networking = 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010 : proceedings / by: (書目-電子資源)

Current topics in artificial intelligence = 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009 : selected papers / by: (書目-電子資源)

Arithmetic of finite fields = third international workshop, WAIFI 2010, Istanbul, Turkey, June 27-30, 2010. Proceedings / by: (書目-電子資源)

Guide to FPGA implementation of arithmetic functions by: (書目-電子資源)

Progress in cryptology - INDOCRYPT 2008 = 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008, proceedings / by: (書目-電子資源)

Advances in knowledge discovery and data mining = 14th Pacific-Asia Conference, PAKDD 2010, Hyderabad, India, June 21-24, 2010 : proceedings.. Part I / by: (書目-電子資源)

Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part VI / by: (書目-電子資源)

Mobile networks and management = third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised selected papers / by: (書目-電子資源)

Information and communications security = 14th international conference, ICICS 2012, Hong Kong, China, October 29-31, 2012 : proceedings / by: (書目-電子資源)

Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings / by: (書目-電子資源)

Algorithms - ESA 2009 = 17th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings / by: (書目-電子資源)

Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers / by: (書目-電子資源)

Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (書目-電子資源)

Energy Minimization Methods in Computer Vision and Pattern Recognition : = 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings by: (書目-電子資源)

Computer applications for graphics, grid computing, and industrial environment = international conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Visual informatics = sustaining research and innovations : second international visual informatics conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011 : proceedings.. Part II / by: (書目-電子資源)

Image analysis and processing = ICIAP 2011 : 16th international conference, Ravenna, Italy, September 14-16, 2011 : proceedings.. Part II / by: (書目-電子資源)

Algorithmic learning theory = 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings / by: (書目-電子資源)

Advances in digital image processing and information technology = first international conference on Digital Image Processing and Pattern Recognition, DPPR 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011 : proceedings / by: (書目-電子資源)

Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part II / by: (書目-電子資源)

Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

Advanced machine learning technologies and applications = first international conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012 : proceedings / by: (書目-電子資源)

Public key cryptography = PKC 2011 : 14th international conference on practice and theory in public key cryptography, Taormina, Italy, March 6-9, 2011 : proceedings / by: (書目-電子資源)

DNA Computing = 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / by: (書目-電子資源)

Bio-inspired models of network, information, and computing systems = 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011 : revised selected papers / by: (書目-電子資源)

Integer programming and combinatoral optimization = 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings / by: (書目-電子資源)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (書目-電子資源)

Artificial intelligence: Theories and applications = 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings / by: (書目-電子資源)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (書目-電子資源)

Artificial Intelligence and Soft Computing ICAISC 2008 = 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings / by: (書目-電子資源)

Mobile entity localization and tracking in GPS-less environnments = Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009 : proceedings / by: (書目-電子資源)

Smart card research and advanced application = 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010 : proceedings / by: (書目-電子資源)

Contemporary computing = second international conference, IC3 2009, Noida, India, August 17-19, 2009 : proceedings / by: (書目-電子資源)

Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (書目-電子資源)

Energy minimization methods in computer vision and pattern recognition = 7th international conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009 : proceedings / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part III / by: (書目-電子資源)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (書目-電子資源)

Pattern recognition = 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012 : proceedings / by: (書目-電子資源)

DNA computing and molecular programming = 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings / by: (書目-電子資源)

Advances in networks and communications = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part II / by: (書目-電子資源)

Advances in computational intelligence = IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012 : plenary/invited lectures / by: (書目-電子資源)

Information computing and applications = first international conference, ICICA 2010, Tangshan, China, October 15-18, 2010 : proceedings / by: (書目-電子資源)

Structural information and communication complexity = 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012 : revised selected papers / by: (書目-電子資源)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part II / by: (書目-電子資源)

Radio frequency identification = security and privacy issues : 6th international workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010 : revised selected papers / by: (書目-電子資源)

Algorithm engineering = bridging the gap between algorithm theory and practice / by: (書目-電子資源)

Advances in Information and computer security = 5th International Workshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, proceedings / by: (書目-電子資源)

Trends in applied intelligent systems = 23rd international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010 : proceedings, part I / by: (書目-電子資源)

Computational intelligence methods for bioinformatics and biostatistics = 7th international meeting, CIBB 2010, Palermo, Italy, September 16-18, 2010 : revised selected papers / by: (書目-電子資源)

Computer Vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part IV / by: (書目-電子資源)

Advances in swarm intelligence = first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 : proceedings.. Part II / by: (書目-電子資源)

Public key infrastructures, services and applications = 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010 : revised selected papers / by: (書目-電子資源)

Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Trust, privacy and security in digital business = 7th International Conference, TrustBus 2010, Bilbao, Spain, August 30-31, 2010, proceedings / by: (書目-電子資源)

Computer Vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part I / by: (書目-電子資源)

Provable security = 5th international conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 : proceedings / by: (書目-電子資源)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part I / by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 2010 = 16th international conference on the theory and application of cryptology and information security, Singapore, December 5-9, 2010 : proceedings / by: (書目-電子資源)

Computer security = ESORICS 2011 : 16th European symposium on research in computer security, Leuven, Belgium, September 12-14,2011 : proceedings / by: (書目-電子資源)

Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings / by: (書目-電子資源)

Association rule hiding for data mining by: (書目-電子資源)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings / by: (書目-電子資源)

Integration of AI and OR Techniques in contraint programming for combinatorial optimzation problems = 9th International Conference, CPAIOR 2012, Nantes, France, May 28-June1, 2012 : proceedings / by: (書目-電子資源)

Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / by: (書目-電子資源)

Progress in cryptology = INDOCRYPT 2011 : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011 : proceedings / by: (書目-電子資源)

Computer vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part V / by: (書目-電子資源)

WALCOM = algorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings / by: (書目-電子資源)

Language, games, and evolution = trends in current research on language and game theory / by: (書目-電子資源)

Search computing = challenges and directions / by: (書目-電子資源)

Advances in computer games = 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / by: (書目-電子資源)

Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Bioinformatics research and applications = 8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part I / by: (書目-電子資源)

Detection of intrusions and malware, and vulnerability assessment = 8th international conference, DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011 : proceedings / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part III / by: (書目-電子資源)

Constraint handling rules = current research topics / by: (書目-電子資源)

Image and signal processing = 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings / by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 6th international symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010 : proceedings / by: (書目-電子資源)

Information security and cryptology = 6th international conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010 : revised selected papers / by: (書目-電子資源)

Information security applications = 9th international workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, revised selected papers / by: (書目-電子資源)

Sanskrit computational linguistics = 4th international symposium, New Delhi, India, December 10-12, 2010 : proceedings / by: (書目-電子資源)

Trends in applied intelligent systems = 23rd international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010 : proceedings, part II / by: (書目-電子資源)

Information security and assurance = 4th International Conference, ISA 2010, Miyazaki, Japan, June 23-25, 2010, proceedings / by: (書目-電子資源)

Communication and networking = International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings.. Part I / by: (書目-電子資源)

Computational collective intelligence = technologies and applications : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010, proceedings.. Part II / by: (書目-電子資源)

Parameterized and exact computation = 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / by: (書目-電子資源)

Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings / by: (書目-電子資源)

Broadband communications, networks, and systems = 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers / by: (書目-電子資源)

Information security and cryptology = ICISC 2010 : 13th international conference, Seoul, Korea, December 1-3, 2010 : revised selected papers / by: (書目-電子資源)

Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part II / by: (書目-電子資源)

Structural, syntactic, and statistical pattern recognition = Joint IAPR International Workshop, SSPR&SPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010, proceedings / by: (書目-電子資源)

Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / by: (書目-電子資源)

Trust and trustworthy computing = 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012 : proceedings / by: (書目-電子資源)

Adaptive and learning agents = Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009 : revised selected papers / by: (書目-電子資源)

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II / by: (書目-電子資源)

Distributed, parallel and biologically inspired systems = 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II / by: (書目-電子資源)

Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings / by: (書目-電子資源)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009 : proceedings / by: (書目-電子資源)

Security and privacy - silver linings in the cloud = 25th IFIP TC-11 International Information Security Conference, SEC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Pattern Recognition = 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings / by: (書目-電子資源)

Approximation and online algorithms = 9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (書目-電子資源)

Public Key Infrastructure = 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings / by: (書目-電子資源)

Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings / by: (書目-電子資源)

Algorithms - ESA 2005 : = 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings by: (書目-電子資源)

Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (書目-電子資源)

NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part II / by: (書目-電子資源)

Biomedical engineering systems and technologies = third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010 : revised selected papers / by: (書目-電子資源)

Advanced Computing = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part III / by: (書目-電子資源)

Intelligent information and database systems = third international conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011 : proceedings.. Part II / by: (書目-電子資源)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (書目-電子資源)

Innovative computing technology = first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings / by: (書目-電子資源)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Computation, physics and beyond = International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (書目-電子資源)

Parallel processing and applied mathematics = 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / by: (書目-電子資源)

Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Wireless internet = 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011 : revised selected papers / by: (書目-電子資源)

Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (書目-電子資源)

Privacy enhancing technologies = 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012 : proceedings / by: (書目-電子資源)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-電子資源)

Recent advances in intrusion detection = 14th international symposium, RAID 2011, Menlo Park, CA, USA, September 20-21, 2011 : proceedings / by: (書目-電子資源)

Trusted systems = second international conference, INTRUST 2010, Beijing, China, December 13-15, 2010 : revised selected papers / by: (書目-電子資源)

Constructive side-channel analysis and secure design = Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012 : proceedings / by: (書目-電子資源)

Intelligent information and database systems = 4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.. Part II / by: (書目-電子資源)

Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part I / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part II / by: (書目-電子資源)

Genetic Programming Theory and Practice II by: (書目-電子資源)

Information Security : = 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings by: (書目-電子資源)

Security Protocols = 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / by: (書目-電子資源)

Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. I / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings / by: (書目-電子資源)

Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / by: (書目-電子資源)

Computer Algebra and Geometric Algebra with Applications = 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers / by: (書目-電子資源)

Wireless algorithms, systems, and applications = third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (書目-電子資源)

WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / by: (書目-電子資源)

Multiobjective Evolutionary Algorithms and Applications by: (書目-電子資源)

New software engineering paradigm based on complexity science = an introduction to NSE / by: (書目-電子資源)

Distributed Computing and Internet Technology : = Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings by: (書目-電子資源)

Facing the multicore - Challenge II = aspects of new paradigms and technologies in parallel computing / by: (書目-電子資源)

Numerical methods and applications = 7th international conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010 : revised papers / by: (書目-電子資源)

Information security and cryptology - ICISC 2011 = 14th International Conference, Seoul, Korea, November 30 - December 2, 2011 : revised aelected papers / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part I / by: (書目-電子資源)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (書目-電子資源)

Algorithmic Aspects of Wireless Sensor Networks = Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (書目-電子資源)

Trends and topics in computer vision = ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010 : revised selected papers.. Part II / by: (書目-電子資源)

Theory and practice of natural computing = first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings / by: (書目-電子資源)

Passive and active measurement = 12th international conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011 : proceedings / by: (書目-電子資源)

Intelligent computing and information science = international conference, ICICIS 2011, Chongqing, China, January 8-9, 2011 : Proceedings.. Part I / by: (書目-電子資源)

Combinatorial Image Analaysis = 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings / by: (書目-電子資源)

Transactions on computational systems biology XIV = special issue on computational models for cell processes / by: (書目-電子資源)

Discrete Geometry for Computer Imagery = 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings / by: (書目-電子資源)

Multimedia communications, services and security = 4th International Conference, MCSS 2011, Krakow, Poland, June 2-3, 2011 : proceedings / by: (書目-電子資源)

Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part II / by: (書目-電子資源)

Information retrieval technology = 4th Asia infomation retrieval symposium, AIRS 2008, Harbin, China, January 15-18, 2008 revised selected papers / by: (書目-電子資源)

Bioinformatics research and applications = 7th international symposium, ISBRA 2011, Changsha, China, May 27-29, 2011 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (書目-電子資源)

Mathematical summary for digital signal processing applications with Matlab by: (書目-電子資源)

Data and knowledge engineering = third International conference, ICDKE 2012, Wuyishan, Fujian, China, November 21-23, 2012 : proceedings / by: (書目-電子資源)

Modern approaches in applied intelligence = 24th international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011 : proceedings.. Part II / by: (書目-電子資源)

Super-Recursive Algorithms by: (書目-電子資源)

Financial cryptography and data security = 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009 : revised selected papers / by: (書目-電子資源)

Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part I / by: (書目-電子資源)

Machine learning in medical imaging = second international workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011 : proceedings / by: (書目-電子資源)

Pattern recognition in bioinformatics = 6th IAPR international conference, PRIB 2011, Delft, The Netherlands, November 2-4, 2011 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications = 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings / by: (書目-電子資源)

Cryptographic hardware and embedded systems - CHES 2012 = 14th International Workshop, Leuven, Belgium, September 9-12, 2012 : proceedings / by: (書目-電子資源)

Compiler construction = 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (書目-電子資源)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part III / by: (書目-電子資源)

Computer applications for communication, networking, and digital contents = international conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Computational visual media = first international conference, CVM 2012, Beijing, China, November 8-10, 2012 : proceedings / by: (書目-電子資源)

Complex scheduling by: (書目-電子資源)

Notes on introductory combinatorics by: (書目-電子資源)

Wireless sensor networks = 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010 : proceedings / by: (書目-電子資源)

Advances in intelligent data analysis XI = 11th international symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012 : proceedings / by: (書目-電子資源)

Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings / by: (書目-電子資源)

Advanced Techniques in Knowledge Discovery and Data Mining by: (書目-電子資源)

Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers / by: (書目-電子資源)

Information, Security and Cryptology - ICISC 2009 = 12th International Conference, Seoul, Korea, December 2-4, 2009 : revised selected papers / by: (書目-電子資源)

Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever / by: (書目-電子資源)

Inductive logic programming = 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers / by: (書目-電子資源)

Adaptive and learning agents = international workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011 : revised selected papers / by: (書目-電子資源)

Advances in computer science and information technology = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part I / by: (書目-電子資源)

Euro-Par 2009 parallel processing workshops = HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers / by: (書目-電子資源)

NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part I / by: (書目-電子資源)

Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings / by: (書目-電子資源)

Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part I / by: (書目-電子資源)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (書目-電子資源)

Advances in computing, communication and control = international conference, ICAC3 2011, Mumbai, India, January 28-29, 2011 : proceedings / by: (書目-電子資源)

Control, computation and information systems = first international conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25 - 27, 2011 : proceedings / by: (書目-電子資源)

Intelligent data engineering and automated learning - IDEAL 2012 = 13th International Conference, Natal, Brazil, August 29-31, 2012 ; proceedings / by: (書目-電子資源)

Performance evaluation, measurement and characterization of complex systems = second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers / by: (書目-電子資源)

Data correcting algorithms in combinatorial optimization by: (書目-電子資源)

Advances in grid and pervasive computing = 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 : proceedings / by: (書目-電子資源)

Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (書目-電子資源)

Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (書目-電子資源)

Emerging trends and applications in information communication technologies = second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (書目-電子資源)

Advanced data mining and applications = 7th international conference, ADMA 2011, Beijing, China, December 17-19, 2011 : proceedings.. Part II / by: (書目-電子資源)

Brain, Vision, and Artificial Intelligence : = First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings by: (書目-電子資源)

Transactions on computational systems biology XII = special issue on modeling methodologies / by: (書目-電子資源)

Transactions on Data Hiding and Multimedia Security VII by: (書目-電子資源)

From active data management to event-based systems and more = papers in honor of Alejandro Buchmann on the occasion of his 60th birthday / by: (書目-電子資源)

Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / by: (書目-電子資源)

Perspectives of systems informatics = 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (書目-電子資源)

Transactions on petri nets and other models of concurrency V by: (書目-電子資源)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part I / by: (書目-電子資源)

Applied cryptography and network security = 9th international conference, ACNS 2011, Nerja, Spain, June 7-10, 2011 : proceedings / by: (書目-電子資源)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I / by: (書目-電子資源)

Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part I / by: (書目-電子資源)

Grid and distributed computing = international conference, GDC 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (書目-電子資源)

Intelligent computing and information science = international conference, ICICIS 2011, Chongqing, China, January 8-9, 2011 : proceedings.. Part II / by: (書目-電子資源)

Mechanisms, Symbols, and Models Underlying Cognition = a bioinspired approach : First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings / by: (書目-電子資源)

Research in computational molecular biology = 15th annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011 : proceedings / by: (書目-電子資源)

Advanced intelligent computing theories and applications = 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010, proceedings / by: (書目-電子資源)

Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Advances in computation and intelligence = 5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings / by: (書目-電子資源)

Fast software encryption = 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010 : revised selected papers / by: (書目-電子資源)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 2008 = 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008, proceedings / by: (書目-電子資源)

High Performance Computational Science and Engineering = IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (書目-電子資源)

Information Processing with Evolutionary Algorithms = From Industrial Applications to Academic Speculations / by: (書目-電子資源)

Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

Artificial immune systems = 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010 : proceedings / by: (書目-電子資源)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-電子資源)

Multiple classifier systems = 9th international workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Algorithm Theory - SWAT 2008 = 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings / by: (書目-電子資源)

Privacy and identity management for life = 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010 : revised selected papers / by: (書目-電子資源)

Transactions on computational systems biology IX by: (書目-電子資源)

Practical Problems in VLSI Physical Design Automation by: (書目-電子資源)

Numerical analysis and its applications = 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers / by: (書目-電子資源)

Distributed computing and networking = 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / by: (書目-電子資源)

Topics in cryptology = CT-RSA 2011 : the cryptographers' track at the RSA conference 2011, San Francisco, CA, USA, February 14-18, 2011 : proceedings / by: (書目-電子資源)

Fun with algorithms = 5th international conference, FUN 2010, Ischia, Italy, June 2-4, 2010 : proceedings / by: (書目-電子資源)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design = 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers / by: (書目-電子資源)

Theory of cryptography = 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010 : proceedings / by: (書目-電子資源)

Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / by: (書目-電子資源)

Intelligent data engineering and automated learning - IDEAL 2009 = 10th international conference, Bourgos, Spain, September 23-26, 2009 : proceedings / by: (書目-電子資源)

Artificial intelligence = an international perspective / by: (書目-電子資源)

Approximation and Online Algorithms = 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers / by: (書目-電子資源)

Communication and networking = international conference, FGCN 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings.. Part II / by: (書目-電子資源)

Algorithms in bioinformatics = 9th international workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009 : proceedings / by: (書目-電子資源)

Learning and intelligent optimization = 5th international conference, LION 5, Rome, Italy, January 17-21, 2011 : selected papers / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I / by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part II / by: (書目-電子資源)

Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011 : proceedings.. Part I / by: (書目-電子資源)

Advances in grid and pervasive computing = 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (書目-電子資源)

Data warehousing and knowledge discovery = 13th international conference, DaWaK 2011, Toulouse, France, August/September 2011 : proceedings / by: (書目-電子資源)

Digital enterprise and information systems = international conference, DEIS 2011, London, UK, July 20-22, 2011 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Evolutionary computation, machine learning and data mining in bioinformatics = 9th European conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (書目-電子資源)

Exact exponential algorithms by: (書目-電子資源)

Evolutionary multi-criterion optimization = 5th international conference, EMO 2009, Nantes, France, April 7-10, 2009, proceedings / by: (書目-電子資源)

Hypercomputation = computing beyond the Church-Turing barrier / by: (書目-電子資源)

Advances in grid and pervasive computing = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (書目-電子資源)

Approximation and online algorithms = 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers / by: (書目-電子資源)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part III / by: (書目-電子資源)

Graph drawing = 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008 ; revised papers / by: (書目-電子資源)

Advances in information and computer security = 6th international workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science = 34th international workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. revised papers / by: (書目-電子資源)

Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings / by: (書目-電子資源)

Computational logistics = second international conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications = 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010 : proceedings, part I / by: (書目-電子資源)

Theory of cryptography = 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011 : proceedings / by: (書目-電子資源)

Advances in pattern recognition = Second Mexican Conference on Pattern Recognition, MCPR 2010, Puebla, Mexico, September 27-29, 2010 : proceedings / by: (書目-電子資源)

Computational intelligence and intelligent systems = 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, proceedings / by: (書目-電子資源)

Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / by: (書目-電子資源)

Algorithms and computation = 21st international symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010 : proceedings, part I / by: (書目-電子資源)

Reasoning web = semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (書目-電子資源)

Algorithms - ESA 2010 = 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.. Part I / by: (書目-電子資源)

Distributed computing = 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings / by: (書目-電子資源)

Information theoretic security = second international conference, ICITS 2007, Madrid, Spain, May 25-29, 2007 : revised selected papers / by: (書目-電子資源)

Algorithms and computation = 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings / by: (書目-電子資源)

Linking literature, information, and knowledge for biology = Workshop of the BioLink Special Interest Group, ISMB/ECCB 2009, Stockholm, June 28-29, 2009 : revised selected papers / by: (書目-電子資源)

Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / by: (書目-電子資源)

Pattern recognition and machine intelligence = 4th international conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011 : proceedings / by: (書目-電子資源)

Algorithmic aspects in information and management = 5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009 : proceedings / by: (書目-電子資源)

Business process management = 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, proceedings / by: (書目-電子資源)

Advances in knowledge discovery and data mining = 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011 : proceedings.. Part I / by: (書目-電子資源)

Unconventional Computation : = 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings by: (書目-電子資源)

Privacy enhancing technologies = 10th International Symposium, PETS 2010, Berlin, Germany, July 21-23, 2010 : proceedings / by: (書目-電子資源)

Semantic web rules = international symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010 : proceedings / by: (書目-電子資源)

Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2010 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part II / by: (書目-電子資源)

Topics in cryptology : = CT-RSA 2008 by: (書目-電子資源)

Applications of discrete geometry and mathematical morphology = first International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers / by: (書目-電子資源)

Database theory and application, bio-science and bio-technology = international conferences, DTA and BSBT 2011, held as part of the Future Generation Information Technology Conference, FGIT 2001 in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. I / by: (書目-電子資源)

Ubiquitous knowledge discovery = challenges, techniques, applications / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / by: (書目-電子資源)

Networked services and applications - engineering, control and management = 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010 : proceedings / by: (書目-電子資源)

Advanced communication and networking = Second International Conference, ACN 2010, Miyazaki, Japan, June 23-25, 2010, proceedings / by: (書目-電子資源)

Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II / by: (書目-電子資源)

Advances in artificial intelligence = 14th conference of the Spanish association for artificial intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011 : proceedings / by: (書目-電子資源)

Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / by: (書目-電子資源)

Theory of cryptography = 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012 : proceedings / by: (書目-電子資源)

Scientific and statistical database management = 23rd international conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011 : proceedings / by: (書目-電子資源)

Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part I / by: (書目-電子資源)

e-Business and telecommunications = 7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010 : revised selected papers / by: (書目-電子資源)

Information Retrieval Technology : = Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings by: (書目-電子資源)

Mathematical and engineering methods in computer science = 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Network Analysis = Methodological Foundations / by: (書目-電子資源)

Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, proceedings.. Part III / by: (書目-電子資源)

Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011 : proceedings.. Part II / by: (書目-電子資源)

Transactions on Petri nets and other models of concurrency IV by: (書目-電子資源)

Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (書目-電子資源)

The logic of categorial grammars = a deductive account of natural language syntax and semantics / by: (書目-電子資源)

Architecting critical systems = first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 : proceedings / by: (書目-電子資源)

Matrices and matroids for systems analysis by: (書目-電子資源)

Advances in digital forensics VII = 7th IFIP WG 11.9 International Conference on Digital Forensics, Orlando, FL, USA, January 31 -February 2, 2011 : revised selected papers / by: (書目-電子資源)

Computer Network Security : = Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005 : proceedings by: (書目-電子資源)

Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (書目-電子資源)

Ubiquitous computing and multimedia applications = International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010, proceedings / by: (書目-電子資源)

Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part II / by: (書目-電子資源)

Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. II / by: (書目-電子資源)

Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-22 2011 : proceedings / by: (書目-電子資源)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part II / by: (書目-電子資源)

Computer information systems and industrial management = 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Information retrieval technology = 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012 : proceedings / by: (書目-電子資源)

Advances in swarm intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part II / by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part V / by: (書目-電子資源)

NETWORKING 2011 workshops = International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011 : revised selected papers / by: (書目-電子資源)

Trends in computer science, engineering and information technology = first international conference on computer science, engineering and information technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011 : proceedings / by: (書目-電子資源)

Advances in parallel, distributed computing = first international conference on parallel, distributed computing technologies and applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011 : proceedings / by: (書目-電子資源)

Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part I / by: (書目-電子資源)

Quality, reliability, security and robustness in heterogeneous networks = 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010 : revised selected papers / by: (書目-電子資源)

Bioinspired applications in artificial and natural computation = Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009 : proceedings, part II / by: (書目-電子資源)

Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (書目-電子資源)

Security and Privacy in Ad-hoc and Sensor Networks : = Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers by: (書目-電子資源)

Cryptographic hardware and embedded systems - CHES 2009 = 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings / by: (書目-電子資源)

Information and business intelligence = International Conference, IBI 2011, Chongqing, China, December 23-25, 2011 : proceedings.. Part II / by: (書目-電子資源)

Advances in Bioinformatics and Computational Biology = Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings / by: (書目-電子資源)

Hybrid Metaheuristics = Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings / by: (書目-電子資源)

Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers by: (書目-電子資源)

String Processing and Information Retrieval : = 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings by: (書目-電子資源)

Distributed computing in sensor systems = 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010 : proceedings / by: (書目-電子資源)

Information computing and applications = International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010, proceedings.. Part II / by: (書目-電子資源)

Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (書目-電子資源)

Smart spaces and next generation wired/wireless networking = third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010, proceedings / by: (書目-電子資源)

Advances in computer games = 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009 : revised papers / by: (書目-電子資源)

Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings / by: (書目-電子資源)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part IV / by: (書目-電子資源)

Combinatorial pattern matching = 21st annual symposium, CPM 2010, New York, NY, USA, June 21-23, 2010 : proceedings / by: (書目-電子資源)

Distributed Computing in Sensor Systems = First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part III / by: (書目-電子資源)

Computer vision - ACCV 2009 = 9th Asian Conference on Computer Vision, Xi'an, September 23-27, 2009 : revised selected papers.. Part II / by: (書目-電子資源)

Advances in cryptology -- EUROCRYPT 2008 = 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008 : proceedings / by: (書目-電子資源)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (書目-電子資源)

Intelligent Data Engineering and Automated Learning - IDEAL 2005 = 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings by: (書目-電子資源)

Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (書目-電子資源)

Transactions on computational science X = special issue on security in computing, part I / by: (書目-電子資源)

Smart spaces and next generation wired/wireless networking = 9th international conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009 : proceedings / by: (書目-電子資源)

Agents and artificial intelligence = second international conference, ICAART 2010, Valencia, Spain, January 22-24, 2010 : revised selected papers / by: (書目-電子資源)

Arithmetic of finite fields = 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings / by: (書目-電子資源)

Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / by: (書目-電子資源)

Agents for games and simulations = trends in techniques, concepts and design / by: (書目-電子資源)

Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / by: (書目-電子資源)

Transactions on computational systems biology X by: (書目-電子資源)

Security and privacy in communication networks = 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010, proceedings / by: (書目-電子資源)

Pattern Recognition = 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings / by: (書目-電子資源)

Advances in network security and applications = 4th international conference, CNSA 2011, Chennai, India, July 15-17, 2011 / by: (書目-電子資源)

Image and Signal Processing = 3rd International Conference, ICISP 2008 Cherbourg-Octeville, France, July 1-3, 2008 Proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science = 37th international workshop, WG 2011, Tepla Monastery, Czech Republic, June 21-24, 2011 : revised papers / by: (書目-電子資源)

Complexity of constraints = an overview of current research themes / by: (書目-電子資源)

Combinatorial pattern matching = 22nd annual symposium, CPM 2011, Palermo, Italy, June 27-29, 2011 : proceedings / by: (書目-電子資源)

Peer-to-Peer Systems and Applications by: (書目-電子資源)

Combinatorial Pattern Matching = 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings / by: (書目-電子資源)

Information security and privacy = 14th Australasian conference, ACISP 2009, Brisbane, Australia, July 1-3, 2009 : proceedings / by: (書目-電子資源)

DNA computing and molecular programming = 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009 : revised selected paperss / by: (書目-電子資源)

Algorithmics of large and complex networks = design, analysis, and simulation / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011 : proceedings / by: (書目-電子資源)

Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers / by: (書目-電子資源)

Evolutionary Multi-Criterion Optimization = Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings / by: (書目-電子資源)

Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings / by: (書目-電子資源)

Design and analysis of approximation algorithms by: (書目-電子資源)

Creating new medical ontologies for image annotation = a case study / by: (書目-電子資源)

Ubiquitous computing and multimedia applications = second international conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011, proceedings.. Part I / by: (書目-電子資源)

Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / by: (書目-電子資源)

Contemporary computing = 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012 : proceedings / by: (書目-電子資源)

Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (書目-電子資源)

Privacy and identity management for life = 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011 : revised selected papers / by: (書目-電子資源)

Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part II / by: (書目-電子資源)

Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part I / by: (書目-電子資源)

Genetic programming = 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Evolutionary multi-criterion optimization = 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011 : proceedings / by: (書目-電子資源)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-電子資源)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part III / by: (書目-電子資源)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part VII / by: (書目-電子資源)

Network inference in molecular biology = a hands-on framework / by: (書目-電子資源)

Unconventional computation = 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 : proceedings / by: (書目-電子資源)

Public Key Cryptography - PKC 2005 = 8th International Workshop on Theory and Practice in Public Key Cryptography / by: (書目-電子資源)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I / by: (書目-電子資源)

Job scheduling strategies for parallel processing = 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010 : revised selected papers / by: (書目-電子資源)

Biometric recognition = 7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 2012 : proceedings / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2010 : EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part I / by: (書目-電子資源)

Formal methods and software engineering = 14th international conference on formal engineering methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / by: (書目-電子資源)

Internet and network economics = 6th international workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010 : proceedings / by: (書目-電子資源)

DNA computing and molecular programming = 17th international conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings / by: (書目-電子資源)

Modeling decision for artificial intelligence = 8th international conference, MDAI 2011, Changsha, China, July 28-30, 2011 : proceedings / by: (書目-電子資源)

Foundational and practical aspects of resource analysis = First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers / by: (書目-電子資源)

Latent variable analysis and signal separation = 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010, proceedings / by: (書目-電子資源)

Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (書目-電子資源)

Algorithmic aspects in information and management = 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings / by: (書目-電子資源)

Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: (書目-電子資源)

Medical imaging and augmented reality = 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, proceedings / by: (書目-電子資源)

Incentives, overlays, and economic traffic control = Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010, proceedings / by: (書目-電子資源)

Computing and combinatorics = 17th annual international conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 : proceedings / by: (書目-電子資源)

Formal modeling and analysis of timed systems = 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, proceedings / by: (書目-電子資源)

Trustworthly global computing = 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, revised selected papers / by: (書目-電子資源)

Video processing and computational video = international seminar, Dagstuhl Castle, Germany, October 10-15, 2010 : revised papers / by: (書目-電子資源)

Information retrieval technology = 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011 : proceedings / by: (書目-電子資源)

Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part II / by: (書目-電子資源)

Cryptography and coding = 13th IMA international conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings / by: (書目-電子資源)

Distributed Computing and Networking = 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings / by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings / by: (書目-電子資源)

Advances in geometric modeling and processing = 6th international conference, GMP 2010, Castro Urdiales, Spain, June 16-18, 2010 : proceedings / by: (書目-電子資源)

Advances in knowledge discovery and data mining = 16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012 : proceedings.. Part I / by: (書目-電子資源)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part I / by: (書目-電子資源)

Distributed computing = 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010, proceedings / by: (書目-電子資源)

Trusted systems = First International Conference, INTRUST 2009, Beijing, China, December 17-19, 2009 : revised selected papers / by: (書目-電子資源)

Recent advances in constraints = 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / by: (書目-電子資源)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-電子資源)

Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2010 = International Conference, Fukuoka, Japan, March 23-26, 2010 : proceedings.. Part II / by: (書目-電子資源)

Information and business intelligence = International Conference, IBI 2011, Chongqing, China, December 23-25, 2011 : proceedings.. Part I / by: (書目-電子資源)

Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010, proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II / by: (書目-電子資源)

Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (書目-電子資源)

Swarm intelligence = 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010, proceedings / by: (書目-電子資源)

Life system modeling and intelligent computing = International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, proceedings.. Part II / by: (書目-電子資源)

Algorithms for sensor systems = 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010 : revised selected papers / by: (書目-電子資源)

Problem solving handbook in computational biology and bioinformatics by: (書目-電子資源)

Advances in Informatics : = 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings by: (書目-電子資源)

Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (書目-電子資源)

Algorithms = ESA 2011 : 19th Annual European Symposium, Saarbrucken, Germany, September 5-9, 2011 : proceedings / by: (書目-電子資源)

Decision and game theory for security = First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010, proceedings / by: (書目-電子資源)

Trends in applied intelligent systems = 23rd international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010 : proceedings, part III / by: (書目-電子資源)

Grid and distributed computing, control and automation = International Conferences, GDC and CA 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Computer safety, reliability, and security = 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings / by: (書目-電子資源)

Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (書目-電子資源)

Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers / by: (書目-電子資源)

Conceptual structures, leveraging semantic technologies = 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009 : proceedings / by: (書目-電子資源)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. III / by: (書目-電子資源)

Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings by: (書目-電子資源)

Structural Information and Communication Complexity = 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings / by: (書目-電子資源)

Modern transport telematics = 11th international conference on transport systems telematics, TST 2011, Katowice-Ustron, Poland, October 19-22, 2011, selected papers / by: (書目-電子資源)

Differential Evolution = A Practical Approach to Global Optimization / by: (書目-電子資源)

Advanced Methods for Inconsistent Knowledge Management by: (書目-語言資料,印刷品)

Towards trustworthy elections = new directions in electronic voting / by: (書目-電子資源)

Algorithmic Aspects in Information and Management = 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / by: (書目-電子資源)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (書目-電子資源)

Artificial general intelligence = 4th international conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011 : proceedings / by: (書目-電子資源)

Information hiding = 12th international conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010 : revised selected papers / by: (書目-電子資源)

Signal processing, image processing and pattern recognition = international conference, SIP 2011, held as part of the Future Generation Information Technology Conference FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (書目-電子資源)

Web application security = Iberic Web Application Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009, revised selected papers / by: (書目-電子資源)

Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings / by: (書目-電子資源)

Advanced data mining and applications = 7th international conference, ADMA 2011, Beijing, China, December 17-19, 2011 : proceedings.. Part I / by: (書目-電子資源)

Advances in cryptology - EUROCRYPT 2011 = 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011 : proceedings / by: (書目-電子資源)

Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Algorithmic adventures = from knowledge to magic / by: (書目-電子資源)

Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part II / by: (書目-電子資源)

Natural Language Processing - IJCNLP 2004 = First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers / by: (書目-電子資源)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part I / by: (書目-電子資源)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II / by: (書目-電子資源)

Smart card research and advanced applications = 10th IFIP WG 8.8/11.2 international conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011 : revised selected papers / by: (書目-電子資源)

Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings / by: (書目-電子資源)

Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers / by: (書目-電子資源)

Engaging learners through emerging technologies = International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012 : proceedings / by: (書目-電子資源)

Algorithmic randomness and complexity by: (書目-電子資源)

Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings / by: (書目-電子資源)

Progress in cryptology, AFRICACRYPT 2010 = Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010 : proceedings / by: (書目-電子資源)

Dependable networks and services = 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part V / by: (書目-電子資源)

Wireless algorithms, systems, and applications = 6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings / by: (書目-電子資源)

Ad-hoc, mbile and wireless networks = 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, proceedings / by: (書目-電子資源)

Advances in computer science and education applications = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part II / by: (書目-電子資源)

Network science = complexity in nature and technology / by: (書目-電子資源)

Artificial Immune Systems = 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings / by: (書目-電子資源)

Smart spaces and next generation wired/wireless networking = 11th international conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011 : proceedings / by: (書目-電子資源)

Photogrammetric image analysis = ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011 : proceedings / by: (書目-電子資源)

Emerging research in artificial intelligence and computational intelligence = International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011 : proceedings / by: (書目-電子資源)

Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / by: (書目-電子資源)

Information theoretic security = 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009, revised selected papers / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XI = 11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.. Part I / by: (書目-電子資源)

Advanced computer science and information technology = second international conference, AST 2010, Miyazaki, Japan, June 23-25, 2010, proceedings / by: (書目-電子資源)

Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part I / by: (書目-電子資源)

Passive and active measurement = 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Managing the dynamics of networks and services = 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13-17, 2011 : proceedings / by: (書目-電子資源)

Multiple access communications = 4th international workshop, MACOM 2011, Trento, Italy, September 12-13, 2011 : proceedings / by: (書目-電子資源)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (書目-電子資源)

Post-quantum cryptography = third international workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010 : proceedings / by: (書目-電子資源)

Integrated computing technology = first international conference, INTECH 2011, Sao Carlos, Brazil, May 31 - June 2, 2011 : proceedings / by: (書目-電子資源)

The LLL algorithm = survey and applications / by: (書目-電子資源)

Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems / by: (書目-電子資源)

Transactions on data hiding and multimedia security V by: (書目-電子資源)

Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (書目-電子資源)

Graph-theoretic concepts in computer science = 38th international workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012 : revised selcted papers / by: (書目-電子資源)

Machine mearning in medical imaging = First International Workshop, MLMI 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010, proceedings / by: (書目-電子資源)

Principles and practice of constraint programming - CP 2010 = 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings / by: (書目-電子資源)

Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings / by: (書目-電子資源)

Emerging trends in visual computing = LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008 ; revised invited papers / by: (書目-電子資源)

Computer Vision and Graphics = International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008, Revised Papers / by: (書目-電子資源)

Advances in digital forensics VI = Sixth IFIP WG 11.9 International Conference on Digital Forensics, Hong Kong, China, January 4-6, 2010, revised selected papers / by: (書目-電子資源)

Advances in information retrieval theory = Second International Conference on the Theory of Information Retrieval, ICTIR 2009, Cambridge, UK, September 10-12, 2009 : proceedings / by: (書目-電子資源)

Computability of Julia sets by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I / by: (書目-電子資源)

Quantum circuit simulation by: (書目-電子資源)

Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (書目-電子資源)

Image analysis and recognition = 8th international conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011 : proceedings.. Part I / by: (書目-電子資源)

Multiple access communications = Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010, proceedings / by: (書目-電子資源)

Principles of distributed systems = 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (書目-電子資源)

Computer security - ESORICS 2010 = 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010, proceedings / by: (書目-電子資源)

Sequences and their applications - SETA 2010 = 6th International Conference, Paris, France, September 13-17, 2010, proceedings / by: (書目-電子資源)

Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. I / by: (書目-電子資源)

What kind of information society? Governance, virtuality, surveillance, sustainability, resilience = 9th IFIP TC 9 International Conference, HCC9 2010 and 1st IFIP TC 11 International Conference, CIP 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010, proceedings / by: (書目-電子資源)

Swarm Robotics = SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / by: (書目-電子資源)

Computational collective intelligence = technologies and applications : Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010, proceedings.. Part I / by: (書目-電子資源)

Artificial neural networks and machine learning - ICANN 2012 = 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings.. Part I / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 11th international conference, ICA3PP, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part I / by: (書目-電子資源)

Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings / by: (書目-電子資源)

Advances in Swarm Intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part I / by: (書目-電子資源)

Swarm intelligence = 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings / by: (書目-電子資源)

Algorithms and computation = 21st international symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010 : proceedings, part II / by: (書目-電子資源)

Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings / by: (書目-電子資源)

Cellular automata = 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, proceedings / by: (書目-電子資源)

Advances in Computing and Information Technology = first international conference, ACITY 2011, Chennai, India, July 15-17, 2011 : proceedings / by: (書目-電子資源)

Data management in grid and peer-to-peer systems = third international conference, Globe 2010, Bilbao, Spain, September 1-2, 2010 : proceedings / by: (書目-電子資源)

Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part II / by: (書目-電子資源)

Enhancing learning through technology = education unplugged: mobile technologies and Web 2.0 : 6th international conference, ITC 2011, Hong Kong, China, July 11-13, 2011 : proceedings / by: (書目-電子資源)

Implementation and application of automata = 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings / by: (書目-電子資源)

Security protocols XIX = 19th international workshop, Cambridge, UK, March 28-30, 2011 : revised selected papers / by: (書目-電子資源)

Security and cryptography for networks = 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010, proceedings / by: (書目-電子資源)

Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings / by: (書目-電子資源)

Similarity-based pattern recognition = first international workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011 : proceedings / by: (書目-電子資源)

Information hiding = 13th international conference, IH 2011, Prague, Czech Republic, May 18-20, 2011 : revised selected papers / by: (書目-電子資源)

Computing and Combinatorics = 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings / by: (書目-電子資源)

Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part II / by: (書目-電子資源)

Computer applications for database, education, and ubiquitous computing = international conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Contemporary computing = 4th international conference, IC3 2011, Noida, India, August 8-10, 2011 : proceedings / by: (書目-電子資源)

Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings / by: (書目-電子資源)

High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / by: (書目-電子資源)

Parallel and distributed computing and networks = international conference, PDCN 2010, Chongqing, China, December 13-14, 2010 : revised selected papers / by: (書目-電子資源)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (書目-電子資源)

Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings by: (書目-電子資源)

Advances in bioinformatics and computational biology = 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings / by: (書目-電子資源)

Fast software encryption = 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 : revised selected papers / by: (書目-電子資源)

Database and XML technologies = 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010, proceedings / by: (書目-電子資源)

OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (書目-電子資源)

Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings / by: (書目-電子資源)

The P=NP question and Godel's lost letter by: (書目-電子資源)

Communications and information processing = International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 : revised selected papers.. Part I / by: (書目-電子資源)

NETWORKING 2012 = 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.. Part II / by: (書目-電子資源)

Comparative Genomics : = RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings by: (書目-電子資源)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part III / by: (書目-電子資源)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part I / by: (書目-電子資源)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (書目-電子資源)

Pattern recognition = Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012 : proceedings / by: (書目-電子資源)

Image Analysis and Processing - ICIAP 2005 : = 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings by: (書目-電子資源)

Sequences and their applications - SETA 2012 = 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012 : proceedings / by: (書目-電子資源)

Recent advances in the message passing interface = 17th European MPI Users' Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010, proceedings / by: (書目-電子資源)

Information Security and Privacy = 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings / by: (書目-電子資源)

Analysis and Modelling of Faces and Gestures : = Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings by: (書目-電子資源)

Transactions on computational science IX = special issue on voronoi diagrams in science and engineering / by: (書目-電子資源)

Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings by: (書目-電子資源)

Research in Computational Molecular Biology = 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings / by: (書目-電子資源)

Computer applications for bio-technology, multimedia, and ubiquitous city = international conferences MulGraB, BSBT and IUrC 2012 Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (書目-電子資源)

Discrete Geometry for Computer Imagery = 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings / by: (書目-電子資源)

Digital Watermarking = Third International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers / by: (書目-電子資源)

Computational geometry = XIV Spanish Meeting, EGC 2011, dedicated to Ferran Hurtado on the occasion of his 60th birthday Alcala de Henares, Spain, June 27-30, 2011 : revised selected papers / by: (書目-電子資源)

Hybrid metaheuristics = 6th international workshop, HM 2009, Udine, Italy, October 16-17, 2009 : proceedings / by: (書目-電子資源)

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (書目-電子資源)

Public key cryptography - PKC 2012 = 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012 : proceedings / by: (書目-電子資源)

Algorithms in bioinformatics = 11th international workshop, WABI 2011, Saarbrucken, Germany, September 5-7, 2011 : proceedings / by: (書目-電子資源)

Computer vision - ECCV 2010 = 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, proceedings.. Part VI / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings / by: (書目-電子資源)

Artificial evolution = 8th international conference, evolution artificielle, EA 2007, tours, France, October 29-31, 2007, revised selected papers / by: (書目-電子資源)

Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings / by: (書目-電子資源)

Intelligent information and database systems = Second International Conference, ACIIDS, Hue City, Vietnam, March 24-26, 2010, proceedings.. Part I / by: (書目-電子資源)

Progress in cryptology - AFRICACRYPT 2009 = Second International Conference on Cryptology in Africa, Gammarth, Tunisia, June 21 - 25, 2009 : Proceedings / by: (書目-電子資源)

Image analysis and processing - ICIAP 2009 = 15th international conference, Vietri Sul Mare, Italy, September 8-11, 2009 : proceedings / by: (書目-電子資源)

Progress in pattern recognition, image analysis, computer vision, and applications = 15th Iberoamerican Congress on Pattern Recognition, CIARP 2010, Sao Paulo, Brazil, November 8-11, 2010, proceedings / by: (書目-電子資源)

Advances in computer science - ASIAN 2009 = information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings / by: (書目-電子資源)

Unconventional Computing = 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings / by: (書目-電子資源)

Advances in Visual Computing : = First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings by: (書目-電子資源)

Computer vision and graphics = International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, proceedings.. Part I / by: (書目-電子資源)