Computation by Abstract Devices.

Transactions on computational collective intelligence I by: (Electronic resources)

Anticipatory behavior in adaptive learning systems = from psychological theories to artificial cognitive systems / by: (Electronic resources)

CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (Electronic resources)

Unconventional Computing = 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings / by: (Electronic resources)

Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings / by: (Electronic resources)

Algorithms in bioinformatics = 11th international workshop, WABI 2011, Saarbrucken, Germany, September 5-7, 2011 : proceedings / by: (Electronic resources)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (Electronic resources)

Implementation and application of automata = 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings / by: (Electronic resources)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II / by: (Electronic resources)

Foundations of rule learning by: (Electronic resources)

Cellular automata = 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, proceedings / by: (Electronic resources)

Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part II / by: (Electronic resources)

Advances in Swarm Intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part I / by: (Electronic resources)

Learning classifier systems = 10th international workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th international workshop, IWLCS 2007, London, UK, July 8, 2007 : revised selected papers / by: (Electronic resources)

Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (Electronic resources)

Applications of evolutionary computing = EvoWorkshops 2009 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tubingen, Germany, April 15-17, 2009. Proceedings / by: (Electronic resources)

Creating brain-like intelligence = from basic principles to complex intelligent systems / by: (Electronic resources)

Principles and practice of constraint programming - CP 2010 = 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings / by: (Electronic resources)

Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings / by: (Electronic resources)

Advanced intelligent computing theories and applications = 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010, proceedings / by: (Electronic resources)

Advanced computer science and information technology = second international conference, AST 2010, Miyazaki, Japan, June 23-25, 2010, proceedings / by: (Electronic resources)

Parallel problem solving from nature - PPSN XI = 11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.. Part I / by: (Electronic resources)

Emerging research in artificial intelligence and computational intelligence = International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011 : proceedings / by: (Electronic resources)

Advances in computer science and education applications = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part II / by: (Electronic resources)

Abdominal imaging = computational and clinical applications : 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012 : proceedings / by: (Electronic resources)

Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings / by: (Electronic resources)

Algorithmic randomness and complexity by: (Electronic resources)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II / by: (Electronic resources)

Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings by: (Electronic resources)

Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (Electronic resources)

Coordination Models and Languages = 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings / by: (Electronic resources)

CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / by: (Electronic resources)

Progress in Artificial Intelligence : = 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings by: (Electronic resources)

Hybrid Metaheuristics = Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings / by: (Electronic resources)

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing = 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings.. I / by: (Electronic resources)

Applications of evolutionary computation = EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Electronic resources)

Unconventional Computation : = 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings by: (Electronic resources)

Evolutionary computation, machine learning and data mining in bioinformatics = 9th European conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (Electronic resources)

Research in computational molecular biology = 15th annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011 : proceedings / by: (Electronic resources)

Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (Electronic resources)

Advances in computational intelligence = 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012 : proceedings.. Part III / by: (Electronic resources)

Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 2012 = 13th International Conference, Natal, Brazil, August 29-31, 2012 ; proceedings / by: (Electronic resources)

Reconfigurable computing = architectures, tools and applications : 6th international symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (Electronic resources)

Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : proceedings / by: (Electronic resources)

Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part I / by: (Electronic resources)

Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (Electronic resources)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part III / by: (Electronic resources)

Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / by: (Electronic resources)

Advances in computer games = 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers / by: (Electronic resources)

Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / by: (Electronic resources)

Economics of grids, clouds, systems, and services = 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, proceedings / by: (Electronic resources)

Advances in swarm intelligence = first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 : proceedings.. Part II / by: (Electronic resources)

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: (Electronic resources)

Theoretical aspects of computing - ICTAC 2010 = 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings / by: (Electronic resources)

DNA computing and molecular programming = 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings / by: (Electronic resources)

Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (Electronic resources)

Modeling decisions for artificial intelligence = 5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings / by: (Electronic resources)

Artificial Intelligence and Soft Computing ICAISC 2008 = 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings / by: (Electronic resources)

Foundations of Intelligent Systems = 17th International Symposium, ISMIS 2008, Toronto, Canada, May 20-23, 2008 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation. Applications and case studies = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part II / by: (Electronic resources)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part I / by: (Electronic resources)

Learning and intelligent optimization = 6th International Conference, LION 6, Paris, France, January 16-20, 2012 : revised selected papers / by: (Electronic resources)

Artificial evolution = 10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers / by: (Electronic resources)

Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / by: (Electronic resources)

Advances in bioinformatics and computational biology = 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011 : proceedings / by: (Electronic resources)

Transactions on petri nets and other models of concurrency VI by: (Electronic resources)

Transactions on computational collective intelligence VIII by: (Electronic resources)

Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by: (Electronic resources)

Neural information processing = models and applications : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, proceedings.. Part II / by: (Electronic resources)

Computational Intelligence and Security : = International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I by: (Electronic resources)

Simulated evolution and learning = 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings / by: (Electronic resources)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. I / by: (Electronic resources)

Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / by: (Electronic resources)

DNA computing = b14th international meeting on DNA computing, DNA 14, Prague, Czech Republic, June 2-9, 2008 : revised selected papers / by: (Electronic resources)

A hybrid deliberative layer for robotic agents = fusing DL reasoning with HTN planning in autonomous robots / by: (Electronic resources)

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: (Electronic resources)

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: (Electronic resources)

Evolutionary computation, machine learning and data mining in bioinformatics = 10th European Conference, EvoBIO 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Electronic resources)

Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings / by: (Electronic resources)

Swarm intelligence = introduction and applications / by: (Electronic resources)

Cellular Automata = 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / by: (Electronic resources)

Grid and distributed computing = international conference, GDC 2009, held as part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (Electronic resources)

Theory of quantum computation, communication, and cryptography = 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, revised selected papers / by: (Electronic resources)

Transactions on Rough Sets VIII by: (Electronic resources)

Transactions on rough sets X by: (Electronic resources)

Design by evolution = advances in evolutionary design / by: (Electronic resources)

Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / by: (Electronic resources)

From Animals to Animats 10 = 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / by: (Electronic resources)

Artificial neural networks - ICANN 2008 = 18th international conference, Prague, Czech Republic, September 3-6, 2008; proceedings, Part I / by: (Electronic resources)

Hybrid metaheuristics = 5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings / by: (Electronic resources)

Advances in swarm intelligence = third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings.. Part II / by: (Electronic resources)

Advances in computational intelligence = 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012 : proceedings.. Part I / by: (Electronic resources)

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: (Electronic resources)

Engineering applications of neural networks = 13th International Conference, EANN 2012, London, UK, September 20-23, 2012 : proceedings / by: (Electronic resources)

Artificial intelligence applications and innovations = 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011 : proceedings.. Part II / by: (Electronic resources)

Neural information processing = theory and algorithms : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, proceedings.. Part I / by: (Electronic resources)

Rough sets and knowledge technology = 6th international conference, RSKT 2011, Banff, Canada, October 9-12, 2011 : proceedings / by: (Electronic resources)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part I / by: (Electronic resources)

Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings / by: (Electronic resources)

Parallel problem solving from nature - PPSN XI = 11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.. Part II / by: (Electronic resources)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (Electronic resources)

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: (Electronic resources)

Intelligent data engineering and automated learning = IDEAL 2011 : 12th international conference, Norwich, UK, September 7-9, 2011 : proceedings / by: (Electronic resources)

Grammatical inference = theoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings / by: (Electronic resources)

Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings / by: (Electronic resources)

Advances in self-organizing maps = 8th international workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011 : proceedings / by: (Electronic resources)

Multiple classifier systems = 8th international workshop, MCS 2009, Reykjavik, Iceland, June 10-12, 2009 ; proceedings / by: (Electronic resources)

Rough sets and current trends in computing = 7th international conference, RSCTC 2010, Warsaw, Poland, June 28-30, 2010 : proceedings / by: (Electronic resources)

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: (Electronic resources)

Evolutionary computation, machine learning and data mining in bioinformatics = 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (Electronic resources)

Artificial intelligence = theories, models and applications : 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010 : proceedings / by: (Electronic resources)

Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings / by: (Electronic resources)

Socionics : = Scalability of Complex Social Systems by: (Electronic resources)

Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers by: (Electronic resources)

Recent Advances in Parallel Virtual Machine and Message Passing Interface : = 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings by: (Electronic resources)

Evolutionary Synthesis of Pattern Recognition Systems by: (書目-電子資源)

Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings / by: (書目-電子資源)

Information processing in cells and tissues = 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012 : proceedings / by: (書目-電子資源)

Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Transactions on computational systems biology XII = special issue on modeling methodologies / by: (書目-電子資源)

Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : 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 I / by: (書目-電子資源)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (書目-電子資源)

Recent advances in parallel virtual machine and message passing interface = 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 : proceedings / by: (書目-電子資源)

Biologically-Inspired Collaborative Computing = IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy / by: (書目-電子資源)

PRICAI 2010 : trends in artificial intelligence = 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30 - September 2, 2010, proceedings / by: (書目-電子資源)

Parameterized and exact computation = 5th international symposium, IPEC 2010, Chennai, India, December 13-15, 2010 : proceedings / by: (書目-電子資源)

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

Transactions on Rough Sets III by: (書目-電子資源)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / 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: (書目-電子資源)

Fundamental approaches to software engineering = 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, Marsha Chechik, Martin Wirsing / by: (書目-電子資源)

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

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

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

The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems / by: (書目-電子資源)

Application and theory of petri nets = 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 : proceedings / by: (書目-電子資源)

Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: (書目-電子資源)

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

Advances in artificial life = Darwin Meets von Neumann : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009 : revised selected papers.. Part I / by: (書目-電子資源)

Computational logic and set theory = applying formalized logic to analysis / by: (書目-電子資源)

Computation, cooperation, and life = essays dedicated to Gheorghe Paun on the occasion of his 60th birthday / by: (書目-電子資源)

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

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

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

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part I / by: (書目-電子資源)

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

Transactions on computational science VII by: (書目-電子資源)

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

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

Algorithms in bioinformatics = 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010, proceedings / 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: (書目-電子資源)

Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings / by: (書目-電子資源)

Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part II / by: (書目-電子資源)

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

Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part II / by: (書目-電子資源)

Dynamic brain - from neural spikes to behaviors = 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures / by: (書目-電子資源)

Technological innovation for sustainability = Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21 - 23, 2011 : proceedings / by: (書目-電子資源)

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

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

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

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

Rough set and knowledge technology = 5th international conference, RSKT 2010, Beijing, China, October 15-17, 2010 : proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (書目-電子資源)

Models of computation = an introduction to computability theory / by: (書目-電子資源)

Transactions on computational collective intelligence IV by: (書目-電子資源)

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

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

Engineering applications of neural networks = 11th international conference, EANN 2009, London, UK, August 27-29, 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: (書目-電子資源)

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

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part V / by: (書目-電子資源)

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

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

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

Emerging intelligent computing technology and applications = with aspects of artificial intelligence : 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009 : proceedings / 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: (書目-電子資源)

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

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

Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (書目-電子資源)

Transactions on Rough Sets IV by: (書目-電子資源)

Handbook of weighted automata by: (書目-電子資源)

Neural networks = tricks of the trade / 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: (書目-電子資源)

Multiple Classifier Systems = 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005, Proceedings / by: (書目-電子資源)

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

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

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

Design and Analysis of Randomized Algorithms = Introduction to Design Paradigms / 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: (書目-電子資源)

On the mathematics of modelling, metamodelling, ontologies and modelling languages by: (書目-電子資源)

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

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

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

Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / 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: (書目-電子資源)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II / by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings by: (書目-電子資源)

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

Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings / by: (書目-電子資源)

Membrane computing = 9th international workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by: (書目-電子資源)

Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers / by: (書目-電子資源)

Computational methods in systems biology = 6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / by: (書目-電子資源)

Simulation, modeling, and programming for autonomous robots = third international conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012 : proceedings / by: (書目-電子資源)

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

Leveraging applications of formal methods, verification and validation. Technologies for mastering change = 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.. Part I / by: (書目-電子資源)

Foundations of software science and computational structures = 13th international conference, FOSSACS 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: (書目-電子資源)

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems = theory and methods : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings.. Part I / by: (書目-電子資源)

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

Artificial Neural Networks - ICANN 2008 = 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II / by: (書目-電子資源)

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

Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings / by: (書目-電子資源)

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

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

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

AI*IA 2011 = artificial intelligence around man and beyond : XIIth international conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011 : proceedings / by: (書目-電子資源)

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

Hybrid learning = 4th international conference, ICHL 2011, Hong Kong, China, August 10-12, 2011 : proceedings / by: (書目-電子資源)

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

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

Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings by: (書目-電子資源)

OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (書目-電子資源)

Swarm intelligence = 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 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 I / by: (書目-電子資源)

Swarm Robotics = SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / by: (書目-電子資源)

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

Integrated computing technology = first international conference, INTECH 2011, Sao Carlos, Brazil, May 31 - June 2, 2011 : proceedings / by: (書目-電子資源)

Foundations of intelligent systems = 19th international symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011 : proceedings / by: (書目-電子資源)

From brains to systems = brain-inspired cognitive systems 2010 / by: (書目-電子資源)

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

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II / by: (書目-電子資源)

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (書目-電子資源)

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

Medical imaging and augmented reality = 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, proceedings / by: (書目-電子資源)

Internet and network economics = 6th international workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010 : proceedings / by: (書目-電子資源)

Advances in Artificial Life : = 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings by: (書目-電子資源)

Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I / by: (書目-電子資源)

Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (書目-電子資源)

Coloured petri nets = modelling and validation of concurrent systems / by: (書目-電子資源)

FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I / 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: (書目-電子資源)

Advances in pattern recognition = Second Mexican Conference on Pattern Recognition, MCPR 2010, Puebla, Mexico, September 27-29, 2010 : proceedings / 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: (書目-電子資源)

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

Algorithms in bioinformatics = 9th international workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009 : proceedings / by: (書目-電子資源)

New Frontiers in Applied Artificial Intelligence = 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocaw, Poland, June 18-20, 2008 Proceedings / by: (書目-電子資源)

CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: (書目-電子資源)

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

Simulation, modeling, and programming for autonomous robots = first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings / by: (書目-電子資源)

Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part I / by: (書目-電子資源)

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

Artificial life = borrowing from biology : 4th Australian conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009 : proceedings / by: (書目-電子資源)

Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / by: (書目-電子資源)

Evolutionary and biologically inspired music, sound, art and design = first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Applications of evolutionary computing = EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

AI 2008: advances in artificial intelligence = 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008, proceedings / by: (書目-電子資源)

Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / by: (書目-電子資源)

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

Advances in artificial intelligence - IBERAMIA 2012 = 13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings / by: (書目-電子資源)

AI*IA 2005: Advances in Artificial Intelligence : = 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings by: (書目-電子資源)

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

Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / 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: (書目-電子資源)

Innovations in Applied Artificial Intelligence = 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24,2005 : proceedings / by: (書目-電子資源)

Research in computational molecular biology = 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : proceedings / 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: (書目-電子資源)

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

Engineering applications of neural networks = 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011 : proceedings.. Part I / by: (書目-電子資源)

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

Computational intelligence for knowledge-based systems design = 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings / by: (書目-電子資源)

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

Artificial Neural Networks : = Biological Inspirations - ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings.. Part II 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: (書目-電子資源)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (書目-電子資源)

Rough sets and knowledge technology = third international conference, RSKT 2008, Chengdu, China, May 17-19, 2008 : proceedings / by: (書目-電子資源)

Hybrid learning and education = Second International Conference, ICHL 2009, Macau, China, August 25-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: (書目-電子資源)

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

Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / by: (書目-電子資源)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings / by: (書目-電子資源)

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

Neural Information Processing = 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II / by: (書目-電子資源)

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

Human-robot personal relationships = third international conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010 : revised selected papers / by: (書目-電子資源)

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

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

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

Vagueness in communication = international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009 : revised selected papers / by: (書目-電子資源)

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

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

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

Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings by: (書目-電子資源)

Artificial Immune Systems = 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence V by: (書目-電子資源)

Theory and practice of natural computing = first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings / 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: (書目-電子資源)

Foundations of software science and computational structures = 15th International Conference, FOSSACS 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: (書目-電子資源)

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

Uncertainty quantification in scientific computing = 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / 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: (書目-電子資源)

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

Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings / 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: (書目-電子資源)

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: (書目-電子資源)

Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 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: (書目-電子資源)

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

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

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

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

Time for verification = essays in memory of Amir Pnueli / by: (書目-電子資源)

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

Sleep and anesthesia = neural correlates in theory and experiment / by: (書目-電子資源)

AI 2005: Advances in Artificial Intelligence : = 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings by: (書目-電子資源)

Foundations of Software Science and Computational Structures = 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / 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: (書目-電子資源)

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: (書目-電子資源)

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

Membrane Computing = 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

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

Artificial intelligence applications and innovations = 6th IFIP WG 12.5 international conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010 : proceedings / by: (書目-電子資源)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (書目-電子資源)

Differential Evolution = A Practical Approach to Global Optimization / 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: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2010 : EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part I / by: (書目-電子資源)

Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings / by: (書目-電子資源)

Advances in computer games = 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009 : revised papers / by: (書目-電子資源)

Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. II / by: (書目-電子資源)

Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers by: (書目-電子資源)

Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers / by: (書目-電子資源)

Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings by: (書目-電子資源)

Foundations of Intelligent Systems = 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings / by: (書目-電子資源)

Spatial Information Theory : = International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings by: (書目-電子資源)

MICAI 2005: Advances in Artificial Intelligence : = 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings by: (書目-電子資源)

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

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

Artificial intelligence and soft computing = 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.. Part II / by: (書目-電子資源)

Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

Artificial intelligence and cognitive science = 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, revised selected papers / by: (書目-電子資源)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part IV / by: (書目-電子資源)

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

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (書目-電子資源)

Transactions on rough sets IX 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: (書目-電子資源)

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: (書目-電子資源)

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

Technological innovation for value creation = third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012 : proceedings / 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: (書目-電子資源)

Trends in intelligent robotics = 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 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: (書目-電子資源)

Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings / by: (書目-電子資源)

Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (書目-電子資源)

Language, games, and evolution = trends in current research on language and game theory / by: (書目-電子資源)

Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-電子資源)

Computational intelligence methods for bioinformatics and biostatistics = 7th international meeting, CIBB 2010, Palermo, Italy, September 16-18, 2010 : 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: (書目-電子資源)

Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part II / by: (書目-電子資源)

Coalgebraic methods in computer science = 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31-April 1, 2012 : revised selected papers / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part II / by: (書目-電子資源)

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

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (書目-電子資源)

DNA computing and molecular programming = 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009 : revised selected paperss / by: (書目-電子資源)

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

Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers / by: (書目-電子資源)

Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications = 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / by: (書目-電子資源)

Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / by: (書目-電子資源)

AI*IA 2009 = Emergent Perspectives in Artificial Intelligence : XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 : proceedings / by: (書目-電子資源)

Transactions on rough sets XIV by: (書目-電子資源)

Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / by: (書目-電子資源)

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

Hypercomputation = computing beyond the Church-Turing barrier / by: (書目-電子資源)

Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (書目-電子資源)

Computing with instinct = rediscovering artificial intelligence / by: (書目-電子資源)

Biomimetic and biohybrid systems = first International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012 : 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: (書目-電子資源)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (書目-電子資源)

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

Invariants of behavior = constancy and variability in neural systems / 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: (書目-電子資源)

Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / by: (書目-電子資源)

High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / by: (書目-電子資源)

Game of Life cellular automata by: (書目-電子資源)

Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings / by: (書目-電子資源)

Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (書目-電子資源)

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

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; 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: (書目-電子資源)

Transactions on computational collective intelligence 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: (書目-電子資源)

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: (書目-電子資源)

Swarm intelligence = 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010, proceedings / by: (書目-電子資源)

The relevance of the time domain to neural network models by: (書目-電子資源)

Artificial intelligence and computational intelligence = 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings / by: (書目-電子資源)

Computing and combinatorics = 17th annual international conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 : proceedings / by: (書目-電子資源)

DNA computing and molecular programming = 17th international conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings / by: (書目-電子資源)

Unconventional computation = 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 : proceedings / by: (書目-電子資源)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (書目-電子資源)

Advances in artificial intelligence = 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012 : proceedings / by: (書目-電子資源)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (書目-電子資源)

Perception-action cycle = models, architectures, and hardware / by: (書目-電子資源)

Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (書目-電子資源)

Computational collective intelligence = semantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings / 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: (書目-電子資源)

Simulation, modeling, and programming for autonomous robots = Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, proceedings / by: (書目-電子資源)

Security-enriched urban computing and smart grid = First International Conference, SUComS 2010, Daejeon, Korea, September 15-17, 2010, proceedings / by: (書目-電子資源)

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

Foundations of software science and computational structures = 14th International Conference, FOSSACS 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: (書目-電子資源)

Advances in swarm intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part II / by: (書目-電子資源)

Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-22 2011 : proceedings / by: (書目-電子資源)

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part II / by: (書目-電子資源)

Transactions on rough sets XII by: (書目-電子資源)

Hybrid Learning and Education = First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings / by: (書目-電子資源)

Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (書目-電子資源)

Brain, Vision, and Artificial Intelligence : = First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings by: (書目-電子資源)

Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part I / by: (書目-電子資源)

Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever / by: (書目-電子資源)

Transactions on computational systems biology XIV = special issue on computational models for cell processes / by: (書目-電子資源)

Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers / by: (書目-電子資源)

Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. I / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part I / by: (書目-電子資源)

Computational systems-biology and bioinformatics = First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, proceedings / by: (書目-電子資源)

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

Advances in computational intelligence = 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012 : proceedings.. Part IV / by: (書目-電子資源)

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

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

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

Computational Intelligence and Intelligent Systems = 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings / by: (書目-電子資源)

Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence III 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: (書目-電子資源)

Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : 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: (書目-電子資源)

Inductive logic programming = 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers / by: (書目-電子資源)

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

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

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I / by: (書目-電子資源)

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

Recent advances in reinforcement learning = 8th European workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30 - July 3, 2008, revised and selected papers / by: (書目-電子資源)

Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : 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: (書目-電子資源)

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

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

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

Simulated evolution and learning = 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, proceedings / by: (書目-電子資源)

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

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

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

Transactions on Computational Systems Biology III by: (書目-電子資源)

Transactions on Computational Systems Biology II by: (書目-電子資源)

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing = 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings.. II / by: (書目-電子資源)

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

Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part III / by: (書目-電子資源)

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

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

Adaptive and intelligent systems = second international conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011 : proceedings / by: (書目-電子資源)

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

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

Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by: (書目-電子資源)

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

Pattern Recognition and Machine Intelligence : = First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings by: (書目-電子資源)

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

Advances in bioinformatics and computational biology = 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings / by: (書目-電子資源)

Computable models by: (書目-電子資源)

Genetic programming = 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (書目-電子資源)

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

Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part II / by: (書目-電子資源)

Contemporary computing = 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012 : proceedings / by: (書目-電子資源)

Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / by: (書目-電子資源)

Agents for games and simulations II = trends in techniques, concepts and design / by: (書目-電子資源)

Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part I / by: (書目-電子資源)

Agents for games and simulations = trends in techniques, concepts and design / by: (書目-電子資源)

Transactions on rough sets XI by: (書目-電子資源)

Ubiquitous computing and multimedia applications = International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010, proceedings / by: (書目-電子資源)

Pattern recognition and machine intelligence = 4th international conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011 : proceedings / by: (書目-電子資源)

Computational intelligence and intelligent systems = 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (書目-電子資源)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I / by: (書目-電子資源)

Artificial immune systems = 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010 : proceedings / by: (書目-電子資源)

Advances in computation and intelligence = 5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings / by: (書目-電子資源)

Advanced intelligent computing theories and applications = 6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18-21, 2010, proceedings / by: (書目-電子資源)

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

Advances in artificial life = Darwin Meets von Neumann, 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009 : revised selected papers.. Part II / by: (書目-電子資源)

Artificial Neural Networks : = Biological Inspirations - ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings.. Part I by: (書目-電子資源)

Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers by: (書目-電子資源)

Advances in Digital Forensics V = Fifth IFIP WG 11.9 International Conference on Digital Forensics, Orlando, Florida, USA, January 26-28, 2009 : revised selected papers / by: (書目-電子資源)

Wireless internet = 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011 : revised selected papers / by: (書目-電子資源)

Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (書目-電子資源)

MICAI 2008 = advances in artificial intelligence : 7th Mexican international conference on Artificial Intelligence, Atizapan de Zaragoza, Mexico, October 27-31, 2008 : proceedings / by: (書目-電子資源)

Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings / by: (書目-電子資源)

Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II / by: (書目-電子資源)

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

Brain inspired cognitive systems 2008 by: (書目-電子資源)

Advances in brain inspired cognitive systems = 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings / by: (書目-電子資源)

Transactions on compuational collective intelligence VI by: (書目-電子資源)

Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 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: (書目-電子資源)

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

Researching the future in information systems = IFIP WG 8.2 Working Conference, Turku, Finland, June 6-8, 2011 : proceedings / by: (書目-電子資源)

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

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

Research in computational molecular biology = 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 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 III / by: (書目-電子資源)

Neural-symbolic cognitive reasoning by: (書目-電子資源)

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

High performance networking, computing, and communication systems = second international conference, ICHCC 2011, Singapore, May 5-6, 2011, selected papers / by: (書目-電子資源)

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

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

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

Foundations of software science and computational structures = 11th international conference, FOSSACS 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: (書目-電子資源)

Bioinformatics research and applications = fourth international symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. proceedings / by: (書目-電子資源)

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

Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

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

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

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

Computational Methods in Systems Biology = International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / by: (書目-電子資源)

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

Membrane computing = 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009 : revised selected and invited papers / by: (書目-電子資源)

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

Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings / by: (書目-電子資源)

Advances in computational intelligence = 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012 : proceedings.. Part II / by: (書目-電子資源)

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

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

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

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems = applications : 13th international conference, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010 : proceedings.. Part II / by: (書目-電子資源)

Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings / by: (書目-電子資源)

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

Artificial intelligence and soft computing = 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.. Part I / 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: (書目-電子資源)

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

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

Switching and Learning in Feedback Systems = European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / by: (書目-電子資源)

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

Studies in complexity and cryptography = miscellanea on the interplay between randomness and computation / by: (書目-電子資源)

Rough sets and knowledge technology = 4th international conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009 ; proceedings / by: (書目-電子資源)

Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by: (書目-電子資源)

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

Artificial evolution = 8th international conference, evolution artificielle, EA 2007, tours, France, October 29-31, 2007, revised selected papers / by: (書目-電子資源)

Instruction sequences for computer science by: (書目-電子資源)

Contemporary computing = 4th international conference, IC3 2011, Noida, India, August 8-10, 2011 : proceedings / by: (書目-電子資源)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I / by: (書目-電子資源)

Rough sets, fuzzy sets, data mining and granular computing = 13th international conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011. Proceedings / by: (書目-電子資源)

Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (書目-電子資源)

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

A concise introduction to languages and machines 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: (書目-電子資源)

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

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

Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part I / by: (書目-電子資源)

Knowledge representation for agents and multi-agent systems = first international workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008 : revised selected papers / by: (書目-電子資源)

Hybrid metaheuristics = 6th international workshop, HM 2009, Udine, Italy, October 16-17, 2009 : proceedings / by: (書目-電子資源)