Computation by Abstract Devices.

Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers / by: (Language materials, printed)

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: (Language materials, printed)

Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / by: (Language materials, printed)

Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings / by: (Language materials, printed)

Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by: (Language materials, printed)

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

Foundations of Intelligent Systems = 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings / by: (Language materials, printed)

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

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. II / by: (Language materials, printed)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. III / by: (Language materials, printed)

Transactions on Rough Sets III by: (Language materials, printed)

Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations / by: (Language materials, printed)

Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers / by: (Language materials, printed)

DNA Computing = 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / by: (Language materials, printed)

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: (Language materials, printed)

Mechanisms, Symbols, and Models Underlying Cognition = a bioinspired approach : First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Learning Theory = 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings / by: (Language materials, printed)

Multiple Classifier Systems = 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005, Proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / by: (Language materials, printed)

Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / by: (Language materials, printed)

Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers by: (Language materials, printed)

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

Artificial Immune Systems = 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings / by: (Language materials, printed)

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

Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. II / by: (Language materials, printed)

Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. I / by: (Language materials, printed)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. III / by: (Language materials, printed)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. I / by: (Language materials, printed)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. II / by: (Language materials, printed)

Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. II / by: (Language materials, printed)

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

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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing = 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings.. II / by: (Language materials, printed)

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

Artificial Neural Networks : = Biological Inspirations - ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings.. Part II by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings by: (Language materials, printed)

Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings by: (Language materials, printed)

Artificial Neural Networks : = Biological Inspirations - ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings.. Part I by: (Language materials, printed)

Advances in Artificial Life : = 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings by: (Language materials, printed)

Spatial Information Theory : = International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings by: (Language materials, printed)

AI*IA 2005: Advances in Artificial Intelligence : = 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings by: (Language materials, printed)

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

Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings by: (Language materials, printed)

Algorithms in Bioinformatics : = 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings by: (Language materials, printed)

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: (Language materials, printed)

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

Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings by: (Language materials, printed)

Algorithmic Learning Theory : = 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings by: (Language materials, printed)

Brain, Vision, and Artificial Intelligence : = First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings by: (Language materials, printed)

Transactions on Computational Systems Biology II by: (Language materials, printed)

Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (Language materials, printed)

Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 by: (Language materials, printed)

Transactions on Rough Sets IV by: (Language materials, printed)

MICAI 2005: Advances in Artificial Intelligence : = 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings by: (Language materials, printed)

Pattern Recognition and Machine Intelligence : = First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings by: (Language materials, printed)

Energy Minimization Methods in Computer Vision and Pattern Recognition : = 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings by: (Language materials, printed)

AI 2005: Advances in Artificial Intelligence : = 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings by: (Language materials, printed)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (Language materials, printed)

Socionics : = Scalability of Complex Social Systems by: (Language materials, printed)

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

Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers by: (Language materials, printed)

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

Computational Intelligence and Security : = International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II by: (Language materials, printed)

Transactions on Computational Systems Biology III by: (Language materials, printed)

Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings by: (Language materials, printed)

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

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (Language materials, printed)

Evolutionary Synthesis of Pattern Recognition Systems by: (Language materials, printed)

Differential Evolution = A Practical Approach to Global Optimization / by: (Language materials, printed)

Complexity Theory and Cryptology = An Introduction to Cryptocomplexity / by: (Language materials, printed)

Design and Analysis of Randomized Algorithms = Introduction to Design Paradigms / by: (Language materials, printed)

Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time / by: (Language materials, printed)

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

Artificial evolution = 8th international conference, evolution artificielle, EA 2007, tours, France, October 29-31, 2007, revised selected papers / by: (Language materials, printed)

Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings / by: (Language materials, printed)

Rough sets and knowledge technology = third international conference, RSKT 2008, Chengdu, China, May 17-19, 2008 : proceedings / by: (Language materials, printed)

Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / by: (Language materials, printed)

Applications of evolutionary computing = EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers / by: (Language materials, printed)

Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (Language materials, printed)

Evolutionary computation, machine learning and data mining in bioinformatics = 6th European conference, EVOBIO 2008, Naples, Italy, March 26-28, 2008. proceedings / by: (Language materials, printed)

Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / by: (Language materials, printed)

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

Bioinformatics research and applications = fourth international symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. proceedings / by: (Language materials, printed)

Hybrid Learning and Education = First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings / by: (Language materials, printed)

Understanding Planning Tasks = Domain Complexity and Heuristic Decomposition / by: (Language materials, printed)

DNA Computing = 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / by: (Language materials, printed)

Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings / by: (Language materials, printed)

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

Neural Information Processing = 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II / by: (Language materials, printed)

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

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: (Language materials, printed)

Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / by: (Language materials, printed)

Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / by: (Language materials, printed)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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

Transactions on Rough Sets VIII by: (Language materials, printed)

Artificial Immune Systems = 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings / by: (Language materials, printed)

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

Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (Language materials, printed)

CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings / by: (Language materials, printed)

Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Language materials, printed)

Artificial Neural Networks - ICANN 2008 = 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II / by: (Language materials, printed)

Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings / by: (Language materials, printed)

Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Algorithms in bioinformatics = 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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

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: (Language materials, printed)

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

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

The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems / by: (Language materials, printed)

Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II / by: (Language materials, printed)

Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings / by: (Language materials, printed)

Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings / by: (Language materials, printed)

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (Language materials, printed)

Swarm intelligence = introduction and applications / by: (Language materials, printed)

Design by evolution = advances in evolutionary design / by: (Language materials, printed)

Transactions on rough sets IX by: (Language materials, printed)

AI 2008: advances in artificial intelligence = 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 1-5, 2008, proceedings / by: (Language materials, printed)

Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings / by: (Language materials, printed)

Recent advances in reinforcement learning = 8th European workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30 - July 3, 2008, revised and selected papers / by: (Language materials, printed)

High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (Language materials, printed)

Transactions on computational systems biology X by: (Language materials, printed)

Learning and intelligent optimization = second international conference, LION 2007 II, Trento, Italy, December 8-12, 2007. selected papers / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

Independent component analysis and signal separation = 8th International Conference, ICA 2009, Paraty, Brazil, March 15 - 18, 2009 proceedings / by: (Language materials, printed)

Creating brain-like intelligence = from basic principles to complex intelligent systems / by: (Language materials, printed)

Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (Language materials, printed)

Evolutionary computation, machine learning and data mining in bioinformatics = 7th European Conference, EvoBIO 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings/ by: (Language materials, printed)

Models of computation = an introduction to computability theory / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II / by: (Language materials, printed)

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

Transactions on computational systems biology IX by: (Language materials, printed)

Systems and virtualization management = standards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings / by: (Language materials, printed)

Membrane computing = 9th international workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008 ; revised selected and invited papers / by: (Language materials, printed)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (Language materials, printed)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part II / by: (Language materials, printed)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part III / by: (Language materials, printed)

Membrane computing = 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009 : revised selected and invited papers / by: (Language materials, printed)

Transactions on rough sets XI by: (Language materials, printed)

Transactions on computational science VII by: (Language materials, printed)

Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings / by: (Language materials, printed)

Artifical evolution = 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009 : revised selected papers / by: (Language materials, printed)

Fun with algorithms = 5th international conference, FUN 2010, Ischia, Italy, June 2-4, 2010 : proceedings / by: (Language materials, printed)

Artificial intelligence and soft computing = 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010.. Part II / by: (Language materials, printed)

Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / by: (Language materials, printed)

Artificial intelligence and soft computing = 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010.. Part I / by: (Language materials, printed)

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: (Language materials, printed)

Advances in neural networks - ISNN 2010 = 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings.. Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2010 = 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings.. Part II / by: (Language materials, printed)

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: (Language materials, printed)

Advances in swarm intelligence = first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 : proceedings.. Part I / by: (Language materials, printed)

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

Unconventional computation = 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings / by: (Language materials, printed)

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

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: (Language materials, printed)

Algorithm theory - SWAT 2010 = 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 : proceedings / by: (Language materials, printed)

Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part I / by: (Language materials, printed)

Learning and intelligent optimization = 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010 : selected papers / by: (Language materials, printed)

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

Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings / by: (Language materials, printed)

Computing and combinatorics = 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Game of Life cellular automata by: (Language materials, printed)

Computable models by: (Language materials, printed)

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: (Language materials, printed)

Brain inspired cognitive systems 2008 by: (Language materials, printed)

Artificial immune systems = 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part II / by: (Language materials, printed)

Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I / by: (Language materials, printed)

Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Multiple classifier systems = 9th international workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010 : proceedings / by: (Language materials, printed)

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

Time for verification = essays in memory of Amir Pnueli / by: (Language materials, printed)

Language and automata theory and applications = 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings / by: (Language materials, printed)

Advances in computer games = 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009 : revised papers / by: (Language materials, printed)

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

Research in computational molecular biology = 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, proceedings / by: (Language materials, printed)

Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part I / by: (Language materials, printed)

Security-enriched urban computing and smart grid = First International Conference, SUComS 2010, Daejeon, Korea, September 15-17, 2010, proceedings / by: (Language materials, printed)

Neural-symbolic cognitive reasoning by: (Language materials, printed)

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

Advances in intelligent data analysis IX = 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010 : proceedings / by: (Language materials, printed)

Applications of evolutionary computation = EvoApplications 2010 : EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010 : proceedings.. Part I/ by: (Language materials, printed)

LATIN 2010 = theoretical informatics : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010 : proceedings / by: (Language materials, printed)

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

Evolutionary computation in combinatorial optimization = 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (Language materials, printed)

Genetic programming = 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / by: (Language materials, printed)

Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever / by: (Language materials, printed)

Transactions on computational systems biology XII = special issue on modeling methodologies / by: (Language materials, printed)

Modeling decisions for artificial intelligence = second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings / 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: (Language materials, printed)

Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part III / by: (Language materials, printed)

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: (Language materials, printed)

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

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: (Language materials, printed)

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: (Language materials, printed)

Medical imaging and augmented reality = 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, proceedings / by: (Language materials, printed)

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

Algorithmic learning theory = 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010, proceedings / by: (Language materials, printed)

Algorithms in bioinformatics = 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010, proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Swarm intelligence = 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010, proceedings / by: (Language materials, printed)

Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings / by: (Language materials, printed)

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

Trends in intelligent robotics = 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010, proceedings / by: (Language materials, printed)

Computational intelligence and intelligent systems = 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, proceedings / by: (Language materials, printed)

Developments in language theory = 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings / by: (Language materials, printed)

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 materials, printed)

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

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I / by: (Electronic resources)

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II / by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (Electronic resources)

Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : 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)

Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part I / by: (Electronic resources)

Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part II / by: (Electronic resources)

Control, computation and information systems = first international conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25 - 27, 2011 : proceedings / by: (Electronic resources)

ICT innovations 2010 = second international conference, ICT Innovations 2010, Ohrid, Macedonia, September 12-15, 2010 : revised selected papers / by: (Electronic resources)

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

Computing with instinct = rediscovering artificial intelligence / by: (Electronic resources)

Language, games, and evolution = trends in current research on language and game theory / 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)

Evolutionary computation in combinatorial optimization = 12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Electronic resources)

Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Electronic resources)

Evolutionary and biologically inspired music, sound, art and design = first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings / 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)

Ubiquitous computing and multimedia applications = International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010, proceedings / by: (Language materials, printed)

Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part II / by: (Language materials, printed)

PRICAI 2010 : trends in artificial intelligence = 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30 - September 2, 2010, proceedings / by: (Language materials, printed)

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

Transactions on rough sets XII by: (Language materials, printed)

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: (Language materials, printed)

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

Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings / by: (Language materials, printed)

Advances in bioinformatics and computational biology = 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010, proceedings/ by: (Language materials, printed)

Computational intelligence methods for bioinformatics and biostatistics = 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, revised selected papers/ by: (Language materials, printed)

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: (Language materials, printed)

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

Contemporary computing = third International Conference, IC3 2010, Noida, India, August 9-11, 2010, proceedings.. Part II / by: (Language materials, printed)

Contemporary computing = third International Conference, IC3 2010, Noida, India, August 9-11, 2010, proceedings.. Part I / by: (Language materials, printed)

Advances in soft computing = 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010 : proceedings, part II/ by: (Language materials, printed)

Modeling decisions for artificial intelligence = 7th international conference, MDAI 2010, Perpignan, France, October 27-29, 2010 : proceedings / by: (Language materials, printed)

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

Rough set and knowledge technology = 5th international conference, RSKT 2010, Beijing, China, October 15-17, 2010 : proceedings / by: (Language materials, printed)

Algorithmic randomness and complexity by: (Language materials, printed)

Artificial intelligence and cognitive science = 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, revised selected papers / by: (Language materials, printed)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II / by: (Language materials, printed)

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: (Language materials, printed)

Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I / by: (Language materials, printed)

Artificial intelligence applications and innovations = 6th IFIP WG 12.5 international conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010 : proceedings / by: (Language materials, printed)

Simulated evolution and learning = 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, proceedings / by: (Language materials, printed)

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: (Language materials, printed)

Simulation, modeling, and programming for autonomous robots = Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, proceedings / by: (Language materials, printed)

Transactions on computational collective intelligence II by: (Language materials, printed)

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

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

Computational systems-biology and bioinformatics = First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, proceedings / by: (Language materials, printed)

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: (Language materials, printed)

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: (Language materials, printed)

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

Perception-action cycle = models, architectures, and hardware / by: (Electronic resources)

Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers / by: (Electronic resources)

Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers / by: (Electronic resources)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (Electronic resources)

Vagueness in communication = international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009 : revised selected papers / by: (Electronic resources)

DNA computing and molecular programming = 16th international conference, DNA 16, Hong Kong, China, June 14-17, 2010 : revised selected papers / by: (Electronic resources)

Agents for games and simulations II = trends in techniques, concepts and design / by: (Electronic resources)

Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / by: (Electronic resources)

Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers / by: (Electronic resources)

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

Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 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)

Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers / by: (Electronic resources)

Human-robot personal relationships = third international conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010 : revised selected papers / by: (Electronic resources)

The relevance of the time domain to neural network models by: (Electronic resources)

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

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

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

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

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

Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements / by: (Electronic resources)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (Electronic resources)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (Electronic resources)

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

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (Electronic resources)

Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings / by: (Electronic resources)

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (Electronic resources)

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

Information processing in cells and tissues = 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012 : proceedings / by: (Electronic resources)

Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part II / by: (Electronic resources)

Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part I / by: (Electronic resources)

Wireless communications and applications = first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers / by: (Electronic resources)

LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings / by: (Electronic resources)

Artificial intelligence and soft computing = 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.. Part I / by: (Electronic resources)

Artificial intelligence and soft computing = 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.. Part II / by: (Electronic resources)

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

Research in computational molecular biology = 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : proceedings / by: (Electronic resources)

Advances in artificial intelligence = 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012 : proceedings / by: (Electronic resources)

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

Recent advances in reinforcement learning = 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers / by: (Electronic resources)

Transactions on compuational collective intelligence VI by: (Electronic resources)

Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / by: (Electronic resources)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / 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 IV / by: (Electronic resources)

Artificial intelligence: Theories and applications = 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings / by: (Electronic resources)

Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (Electronic resources)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (Electronic resources)

OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : 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 I / 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 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 III / by: (Electronic resources)

Emerging intelligent computing technology and applications = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012 : proceedings / by: (Electronic resources)

Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part I / by: (Electronic resources)

Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings / by: (Electronic resources)

Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part II / by: (Electronic resources)

Advances in brain inspired cognitive systems = 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings / by: (Electronic resources)

Intelligent computing technology = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012 : proceedings / by: (Electronic resources)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Electronic resources)

Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : 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)

Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / by: (Electronic resources)

Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers / by: (Electronic resources)

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

Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (Electronic resources)

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

Contemporary computing = 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012 : proceedings / by: (Electronic resources)

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

Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings / by: (Electronic resources)

Advances in bioinformatics and computational biology = 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings / by: (Electronic resources)

Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (Electronic resources)

Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 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)

FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings / by: (Electronic resources)

Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (Electronic resources)

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

Swarm intelligence = 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings / by: (Electronic resources)

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

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

From animals to animats 12 = 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012 : proceedings / by: (Electronic resources)

Algorithms in bioinformatics = 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / 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)

Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings / by: (Electronic resources)

Artificial intelligence and computational intelligence = 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 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 aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings / by: (Electronic resources)

Wireless internet = 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011 : revised selected papers / by: (Electronic resources)

Unconventional computation and natural computation = 11th International Conference, UCNC 2012, Orle?ans, France, September 3-7, 2012 : proceedings / by: (Electronic resources)

Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / 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)

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

Cellular automata = 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings / 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)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (Electronic resources)

Algorithmic learning theory = 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012 : proceedings / by: (Electronic resources)

Simulation, modeling, and programming for autonomous robots = third international conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012 : proceedings / by: (Electronic resources)

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

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

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

Theory and practice of natural computing = first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings / by: (Electronic resources)

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

Leveraging applications of formal methods, verification, and validation = international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers / by: (Electronic resources)

Foundations of rule learning by: (Electronic resources)

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

Advances in artificial intelligence - IBERAMIA 2012 = 13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings / by: (Electronic resources)

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

Neural networks = tricks of the trade / by: (Electronic resources)

Transactions on computational systems biology XIV = special issue on computational models for cell processes / by: (Electronic resources)

Simulation, modeling, and programming for autonomous robots = first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings / by: (Electronic resources)

Dynamic brain - from neural spikes to behaviors = 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures / by: (Electronic resources)

Computational methods in systems biology = 6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings / by: (Electronic resources)

Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers / by: (Electronic resources)

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

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

MICAI 2008 = advances in artificial intelligence : 7th Mexican international conference on Artificial Intelligence, Atizapan de Zaragoza, Mexico, October 27-31, 2008 : proceedings / by: (Electronic resources)

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

Multiobjective optimization = interactive and evolutionary approaches / by: (Electronic resources)

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

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

Trends in intelligent robotics, automation, and manufacturing = first international conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012 : proceedings / by: (Electronic resources)

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

AI 2012 = advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings / by: (Electronic resources)

Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / by: (Electronic resources)

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

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

Swarm, evolutionary, and memetic computing = third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / by: (Electronic resources)

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

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

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

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

Advances in computation and intelligence = 5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 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)

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

LATIN 2014 = theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings / by: (Electronic resources)

Multi-agent-based simulation XIV = International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013 : revised selected papers / by: (Electronic resources)

Foundations of software science and computation structures = 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Electronic resources)

Programming languages and systems = 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Electronic resources)

Formal techniques for safety-critical systems = second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013 : revised selected papers / by: (Electronic resources)

Intelligent computing theory = 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings / by: (Electronic resources)

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

Intelligent strategies for pathway mining = model and pattern identification / by: (Electronic resources)

Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (Electronic resources)

Hybrid artificial intelligence systems = 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems = 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings / by: (Electronic resources)

Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / by: (Electronic resources)

Language and automata theory and applications = 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings / by: (Electronic resources)

Theory of cryptography = 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings / by: (Electronic resources)

Regulated grammars and automata by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Electronic resources)

FM 2014 = Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings / by: (Electronic resources)

Advances in artificial intelligence = 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montreal, QC, Canada, May 6-9, 2014 : proceedings / by: (Electronic resources)

Artificial intelligence = methods and applications : 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014 : proceedings / by: (Electronic resources)

Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday / by: (Electronic resources)

Quantum interaction = 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013 : selected papers / by: (Electronic resources)

ABZ 2014 = the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014 : proceedings / by: (Electronic resources)

Progress in cryptology - AFRICACRYPT 2014 = 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014 : proceedings / by: (Electronic resources)

Horizons of the mind = a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday / by: (Electronic resources)

Artificial intelligence and soft computing = 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014 : proceedings.. Part I / by: (Electronic resources)

Artificial intelligence and soft computing = 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014 : proceedings.. Part II / by: (Electronic resources)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings / by: (Electronic resources)

Unconventional Computation and Natural Computation = 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014 : proceedings / by: (Electronic resources)

Reversible computation = 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (Electronic resources)

Computing and combinatorics = 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings / by: (Electronic resources)

Implementation and application of automata = 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings / by: (Electronic resources)

From animals to animats 13 = 13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellon, Spain, July 22-25, 2014 : proceedings / by: (Electronic resources)

Computational intelligence methods for bioinformatics and biostatistics = 10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013 : revised selected papers / by: (Electronic resources)

Computers and games = 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013 : revised selected papers / by: (Electronic resources)

Intelligent computing in bioinformatics = 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings / by: (Electronic resources)

Learning and intelligent optimization = 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014 : revised selected papers / by: (Electronic resources)

Descriptional complexity of formal systems = 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimisation = 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers / by: (Electronic resources)

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

Search-based software engineering = 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings / by: (Electronic resources)

From programs to systems - the systems perspective in computing = ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings / by: (Electronic resources)

Computer science - theory and applications = 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings / by: (Electronic resources)

Hybrid metaheuristics = 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014 : proceedings / by: (Electronic resources)

Language, life, limits = 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings / by: (Electronic resources)

Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part I / by: (Electronic resources)

Automata, languages, and programming = 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.. Part II / by: (Electronic resources)

Developments in language theory = 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014 : proceedings / by: (Electronic resources)

Advances in autonomous robotics systems = 15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014 : proceedings / by: (Electronic resources)

Formal modeling and analysis of timed systems = 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems = 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 2014 = 15th International Conference, Salamanca, Spain, September 10-12, 2014 : proceedings / by: (Electronic resources)

Artificial neural networks and machine learning - ICANN 2014 = 24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014 : proceedings / by: (Electronic resources)

Adaptive and intelligent systems = Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014 : proceedings / by: (Electronic resources)

Coalgebraic methods in computer science = 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers / by: (Electronic resources)

Genetic programming = 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers / by: (Electronic resources)

Theoretical computer science = 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation = specialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part II / by: (Electronic resources)

Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings / by: (Electronic resources)

DNA computing and molecular programming = 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014 : proceedings / by: (Electronic resources)

Cellular automata = 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014 : proceedings / by: (Electronic resources)

Artificial neural networks in pattern recognition = 6th IAPR TC 3 International Workshop, ANNPR 2014, Montreal, QC, Canada, October 6-8, 2014 : proceedings / by: (Electronic resources)

Simulation, modeling, and programming for autonomous robots = 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014 : proceedings / by: (Electronic resources)

Parallel problem solving from nature - PPSN XIII = 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014 : proceedings / by: (Electronic resources)

Web reasoning and rule systems = 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings / by: (Electronic resources)

Inductive logic programming = 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation = technologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.. Part I / by: (Electronic resources)

Machine translation = 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014 : proceedings / by: (Electronic resources)

Brain-inspired computing = International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013 : revised selected papers / by: (Electronic resources)

Advances in image and graphics technologies = Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014 : proceedings / by: (Electronic resources)

Social media processing = Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014 : proceedings / by: (Electronic resources)

Artificial evolution = 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013 : revised selected papers / by: (Electronic resources)

Simulated evolution and learning = 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014 : proceedings / by: (Electronic resources)

Foundational and practical aspects of resource analysis = third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers / by: (Electronic resources)

Neural information processing = 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014 : proceedings.. Part I / by: (Electronic resources)

Neural information processing = 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014 : proceedings.. Part II / by: (Electronic resources)

Neural information processing = 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014 : proceedings.. Part III / by: (Electronic resources)

Computational methods in systems biology = 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings / by: (Electronic resources)

Advances in artificial intelligence - IBERAMIA 2014 = 14th Ibero-American Conference on AI, Santiago de Chile, Chile, November 24-27, 2014 : proceedings / by: (Electronic resources)

Swarm intelligence based optimization = first International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014 : revised selected papers / by: (Electronic resources)

Applications of evolutionary computation = 17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014 : revised selected papers / by: (Electronic resources)

Membrane computing = 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014 : revised selected papers / by: (Electronic resources)

Transactions on computational science XXIV = special issue on reversible computing / by: (Electronic resources)

Computing with new resources = essays dedicated to Jozef Gruska on the occasion of his 80th birthday / by: (Electronic resources)

Theory and practice of natural computing = third international conference, TPNC 2014, Granada, Spain, December 9-11, 2014 : proceedings / by: (Electronic resources)

Principles of distributed systems = 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014 : proceedings / by: (Electronic resources)

Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers / by: (Electronic resources)

Multi-agent-based simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers / by: (Electronic resources)

Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday / by: (Electronic resources)

Artificial life and computational intelligence = first Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015 : proceedings / by: (Electronic resources)

Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: (Electronic resources)

Language and automata theory and applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings / by: (Electronic resources)

Quantum interaction = 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014 : revised selected papers / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015 : proceedings / by: (Electronic resources)

Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015 : proceedings / by: (Electronic resources)

Applications of evolutionary computation = 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015 : proceedings / by: (Electronic resources)

Encyclopedia of computational neuroscience by: (Electronic resources)

Evolutionary multi-criterion optimization = 8th International Conference, EMO 2015, Guimaraes, Portugal, March 29 - April 1, 2015 : proceedings.. Part II / by: (Electronic resources)

Evolutionary multi-criterion optimization = 8th International Conference, EMO 2015, Guimaraes, Portugal, March 29 - April 1, 2015 : proceedings.. Part I / by: (Electronic resources)

Theory of cryptography = 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015 : proceedings.. Part I / by: (Electronic resources)

Theory of cryptography = 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015 : proceedings.. Part II / by: (Electronic resources)

Foundations of software science and computation structures = 18th International Conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (Electronic resources)

Formal techniques for safety-critical systems = third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014 : revised selected papers / by: (Electronic resources)

Statistical learning and data sciences = third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015 : proceedings / by: (Electronic resources)

Advances in artificial intelligence = 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015 : proceedings / by: (Electronic resources)

Scale space and variational methods in computer vision = 5th International Conference, SSVM 2015, Lege-Cap Ferret, France, May 31 - June 4, 2015 : proceedings / by: (Electronic resources)

Perspectives of system informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014 : revised selected papers / by: (Electronic resources)

Artificial computation in biology and medicine = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015 : proceedings.. Part I / by: (Electronic resources)

FM 2015 = formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / by: (Electronic resources)

Cellular automata and discrete complex systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014 : revised selected papers / by: (Electronic resources)

Bioinspired computation in artificial systems = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015 : proceedings.. Part II / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems = 35th IFIP WG 6.1 International Conference, FORTE 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015 : proceedings / by: (Electronic resources)

Descriptional complexity of formal systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings / by: (Language materials, printed)

Advances in data mining = applications and theoretical aspects : 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015 : proceedings / by: (Language materials, printed)

Hybrid artificial intelligent systems = 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015 : proceedings / by: (Electronic resources)

Artificial intelligence and soft computing = 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015 : proceedings.. Part I / by: (Language materials, printed)

Artificial intelligence and soft computing = 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-28, 2015 : proceedings.. Part II / by: (Language materials, printed)

Frontiers in algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015 : proceedings / by: (Language materials, printed)

Pattern recognition and machine intelligence = 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015 : proceedings / by: (Language materials, printed)

Evolving computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / by: (Language materials, printed)

Finite difference methods, theory and applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers / by: (Language materials, printed)

Computer science - theory and applications = 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015 : proceedings / by: (Language materials, printed)

Reversible computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (Language materials, printed)

Computing and combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings / by: (Language materials, printed)

Cellular automata and discrete complex systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings / by: (Language materials, printed)

Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part II / by: (Language materials, printed)

Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part I / by: (Language materials, printed)

Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / by: (Electronic resources)

Swarm, evolutionary, and memetic computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers / by: (Electronic resources)

Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: (Electronic resources)

Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings / by: (Electronic resources)

DNA computing and molecular programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015 : proceedings / by: (Electronic resources)

Web reasoning and rule systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings / by: (Electronic resources)

Implementation and application of automata = 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings / by: (Electronic resources)

Towards autonomous robotic systems = 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015 : proceedings / by: (Electronic resources)

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

Modelling and simulation for autonomous systems = second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015 : revised selected papers / by: (Electronic resources)

Quantitative evaluation of systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings / by: (Electronic resources)

Unconventional computation and natural computation = 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings / by: (Electronic resources)

Intelligent computing theories and methodologies = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.. Part I / by: (Electronic resources)

Intelligent computing theories and methodologies = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.. Part II / by: (Electronic resources)

Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings / by: (Electronic resources)

Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (Electronic resources)

Computer analysis of images and patterns = 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 : proceedings.. Part II / by: (Electronic resources)

Computer Analysis of Images and Patterns = 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 : proceedings.. Part I / by: (Electronic resources)

Advances in artificial intelligence = 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 : proceedings / by: (Electronic resources)

Computational methods in systems biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings / by: (Electronic resources)

Information processing in cells and tissues = 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015 : proceedings / by: (Electronic resources)

Algorithms, probability, networks, and games = scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday / by: (Electronic resources)

Social media processing = 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015 : proceedings / by: (Electronic resources)

AI*IA 2015 Advances in artificial intelligence = XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015 : proceedings / by: (Electronic resources)

Computational intelligence methods for bioinformatics and biostatistics = 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014 : revised selected papers / by: (Electronic resources)

Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 2015 = 16th International Conference Wroclaw, Poland, October 14-16, 2015 : proceedings / by: (Electronic resources)

Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / by: (Electronic resources)

Statistical language and speech processing = third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015 : proceedings / by: (Electronic resources)

Large-scale scientific computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers / by: (Electronic resources)

Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers / by: (Electronic resources)

Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (Electronic resources)

Advances in computer games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers / by: (Electronic resources)

Algorithms for sensor systems = 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / by: (Electronic resources)

Membrane computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / by: (Electronic resources)

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

Inductive logic programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers / by: (Electronic resources)

Text analysis pipelines = towards ad-hoc large scale text mining / by: (Electronic resources)

Hybrid systems biology = second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers / by: (Electronic resources)

Machine learning meets medical imaging = first International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015 : revised selected papers / by: (Electronic resources)

Approximation and online algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / by: (Electronic resources)

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

Machine learning, optimization, and big data = first International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015 : revised selected papers / by: (Electronic resources)

Advanced methodologies for Bayesian networks = second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015 : proceedings / by: (Electronic resources)

Theory of cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.. Part II / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings / by: (Electronic resources)

Topics in theoretical computer science = the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXIV = special issue on database- and expert-systems applications / by: (Electronic resources)

Artificial life and computational intelligence = second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016 : proceedings / by: (Electronic resources)

Quantum interaction = 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015 : revised selected papers / by: (Electronic resources)

Directed algebraic topology and concurrency by: (Electronic resources)

Multi-agent based simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers / by: (Electronic resources)

Genetic programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / by: (Electronic resources)

Architecture of computing systems - ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings / by: (Electronic resources)

Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers / by: (Electronic resources)

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

Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / by: (Electronic resources)

Artificial evolution = 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015 : revised selected papers / by: (Electronic resources)

Programming languages and systems = 25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (Electronic resources)

Transactions on computational collective intelligence XXI = special issue on keyword search and big data / by: (Electronic resources)

LATIN 2016 = theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings / by: (Electronic resources)

Foundations of software science and computation structures = 19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (Electronic resources)

Transactions on computational science XXVII by: (Electronic resources)

Progress in cryptology - AFRICACRYPT 2016 = 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016 : proceedings / by: (Electronic resources)

Hybrid artificial intelligent systems = 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016 : proceedings / by: (Electronic resources)

Mathematical aspects of computer and information sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / by: (Electronic resources)

Conformal and probabilistic prediction with applications = 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings / by: (Electronic resources)

Advances in artificial intelligence = 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016 : proceedings / by: (Electronic resources)

Artificial Intelligence and Soft Computing = 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016 : proceedings.. Part I / by: (Electronic resources)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / by: (Electronic resources)

Image and signal processing = 7th International Conference, ICISP 2016, Trois-Rivieres, QC, Canada, May 30 - June 1, 2016 : proceedings / by: (Electronic resources)

Artificial intelligence and soft computing = 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016 : proceedings.. Part II / by: (Electronic resources)

Formal techniques for distributed objects components, and systems = 36th IFIP WG 6.1 International Conference, FORTE 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / by: (Electronic resources)

Hybrid metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings / by: (Electronic resources)

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

Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / by: (Electronic resources)

Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / by: (Electronic resources)

Coalgebraic Methods in Computer Science = 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers / by: (Electronic resources)

Towards autonomous robotic systems = 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016 : proceedings / by: (Electronic resources)

Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Electronic resources)

Unconventional computation and natural computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016 : proceedings / by: (Electronic resources)

Artificial general intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016 : proceedings / by: (Electronic resources)

Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings / by: (Electronic resources)

Intelligent computing theories and technology = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.. Part I / by: (Electronic resources)

Intelligent computing theories and technology = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.. Part II / by: (Electronic resources)

Cellular automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016 : proceedings / by: (Electronic resources)

Computing and combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings / by: (Electronic resources)

Trends and applications in knowledge discovery and data mining = PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016 : revised selected papers / by: (Electronic resources)

Computational intelligence methods for bioinformatics and biostatistics = 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015 : revised selected papers / by: (Electronic resources)

Developments in language theory = 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings / by: (Electronic resources)

From animals to animats 14 = 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016 : proceedings / by: (Electronic resources)

DNA computing and molecular programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings / by: (Electronic resources)

Swarm intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings / by: (Electronic resources)

Artificial neural networks and machine learning - ICANN 2016 = 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016 : proceedings.. Part I / by: (Electronic resources)

Artificial neural networks and machine learning - ICANN 2016 = 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016 : proceedings.. Part II / by: (Electronic resources)

Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings / by: (Electronic resources)

Descriptive set theoretic methods in automata theory = decidability and topological complexity / by: (Electronic resources)

Web reasoning and rule systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings / by: (Electronic resources)

Parallel problem solving from nature - PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016 : proceedings / by: (Electronic resources)

Neural information processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.. Part I / by: (Electronic resources)

Formal grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers. FG 2016, Bozen, Italy, August 2016 : proceedings / by: (Electronic resources)

Artificial neural networks in pattern recognition = 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016 : proceedings / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 2016 = 17th International Conference, Yangzhou, China, October 12-14, 2016 : proceedings / by: (Electronic resources)

Computer vision and graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016 : proceedings / by: (Electronic resources)

Neural information processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.. Part II / by: (Electronic resources)

Neural information processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.. Part III / by: (Electronic resources)

Neural information processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.. Part IV / by: (Electronic resources)

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

Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (Electronic resources)

Rough sets = International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016 : proceedings / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXVII = special issue on big data for complex urban systems / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II / by: (Electronic resources)

Behavioural models = from modelling finite automata to analysing business processes / by: (Electronic resources)

Social media processing = 5th National Conference, SMP 2016, Nanchang, China, October 29-30, 2016 : proceedings / by: (Electronic resources)

Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I / by: (Electronic resources)

Learning and intelligent optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers / by: (Electronic resources)

Advances in artificial intelligence = 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016 : proceedings / by: (Electronic resources)

Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings / by: (Electronic resources)

Statistical language and speech processing = 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016 : proceedings / by: (Electronic resources)

Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: (Electronic resources)

Modelling and simulation for autonomous systems = third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers / by: (Electronic resources)

Swarm, evolutionary, and mimetic computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers / by: (Electronic resources)

FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: (Electronic resources)

AI*IA 2016 advances in artificial intelligence = XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016 : proceedings / by: (Electronic resources)

Algorithm engineering = selected results and surveys / by: (Electronic resources)

Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (Electronic resources)

Advances in brain inspired cognitive systems = 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016 : proceedings / by: (Electronic resources)

Machine translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016 : revised selected papers / by: (Electronic resources)

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (Electronic resources)

Smart computing and communication = first International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016 : proceedings / by: (Electronic resources)

Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers / by: (Electronic resources)

Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings / by: (Electronic resources)

Quantum interaction = 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016 : revised selected papers / by: (Electronic resources)

Algorithms for sensor systems = 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers / by: (Electronic resources)

Web and internet economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016 : proceedings / by: (Electronic resources)

Conflict resolution in decision making = second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016 : revised selected papers / by: (Electronic resources)

Fuzzy logic and soft computing applications = 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016 : rvised selected papers / by: (Electronic resources)

Language and automata theory and applications = 11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017 : proceedings / by: (Electronic resources)

High-performance scientific computing = first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016 : rvised selected papers / by: (Electronic resources)

Membrane computing = 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016 : rvised selected papers / by: (Electronic resources)

Extended cognition and the dynamics of algorithmic skills by: (Electronic resources)

Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers / by: (Electronic resources)

Architecture of computing systems - ARCS 2017 = 30th International Conference, Vienna, Austria, April 3-6, 2017 : proceedings / by: (Electronic resources)

Evolutionary computation in combinatorial optimization = 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings / by: (Electronic resources)

Genetic programming = 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part I / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part II / by: (Electronic resources)

Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings / by: (Electronic resources)

Scale space and variational methods in computer vision = 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017 : proceedings / by: (Electronic resources)

Intelligent computing theories and application = 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017 : proceedings.. Part I / by: (Electronic resources)

Intelligent computing theories and application = 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017 : proceedings.. Part II / by: (Electronic resources)

Biomedical applications based on natural and artificial computing = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017 : proceedings.. Part II / by: (Electronic resources)

Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday / by: (Electronic resources)

Foundations of Software Science and Computation Structures = 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (Electronic resources)

Understanding the brain function and emotions = 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almeria, Spain, June 3-7, 2019 : proceedings.. Part I / by: (Electronic resources)

From bioinspired systems and biomedical applications to machine learning = 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almeria, Spain, June 3-7, 2019 : proceedings.. Part II / by: (Electronic resources)

Topics in theoretical computer science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020 : proceedings / by: (Electronic resources)

Cellular automata and discrete complex systems = 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019 : proceedings / by: (Electronic resources)

Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (Electronic resources)

DNA computing and molecular programming = 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017 : proceedings / by: (Electronic resources)

Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / by: (Electronic resources)

Trends and applications in knowledge discovery and data mining = PAKDD 2017 Workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017 : revised selected papers / by: (Electronic resources)

Multi-agent based simulation XVII = International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016 : revised selected papers / by: (Electronic resources)

Computational intelligence methods for bioinformatics and biostatistics = 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016 : revised selected papers / by: (Electronic resources)

Statistical language and speech processing = 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017 : proceedings / by: (Electronic resources)

Simulated evolution and learning = 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017 : proceedings / by: (Electronic resources)

Intelligent data engineering and automated learning - IDEAL 2017 = 18th International Conference, Guilin, China, October 30 - November 1, 2017 : proceedings / by: (Electronic resources)

Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings / by: (Electronic resources)

Learning and intelligent optimization = 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017 : revised selected papers / by: (Electronic resources)

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

Web and internet wconomics = 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017 : proceedings / by: (Electronic resources)

Advances in computer games = 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017 : revised selected papers / by: (Electronic resources)

Phase change memory = device physics, reliability and applications / by: (Electronic resources)

Multi-agent based simulation XVIII = International Workshop, MABS 2017, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / by: (Electronic resources)

Evolutionary computation and complex networks by: (Electronic resources)

Artificial life and computational intelligence = third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 - February 2, 2017 : proceedings / by: (Electronic resources)

Natural and artificial computation for biomedicine and neuroscience = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017 : proceedings.. Part I / by: (Electronic resources)

Programming languages and systems = 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (Electronic resources)

Progress in cryptology - AFRICACRYPT 2017 = 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017 : proceedings / by: (Electronic resources)

Theory and practice of natural computing = 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017 : proceedings / by: (Electronic resources)

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (Electronic resources)

Exploring the dataflow supercomputing paradigm = example algorithms for selected applications / by: (Electronic resources)

A primer on quantum computing by: (Electronic resources)

Swarm, evolutionary, and memetic computing and fuzzy and neural computing = 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10-12, 2019 : revised selected papers / by: (Electronic resources)