Computation by Abstract Devices.
Overview
| Works: | 972 works in 498 publications in 498 languages | |
|---|---|---|
Titles
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
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)
Multiple Classifier Systems = 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 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)
Hybrid Metaheuristics = Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 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)
Progress in Artificial Intelligence : = 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
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)
Complexity Theory and Cryptology = An Introduction to Cryptocomplexity /
by:
(Language materials, printed)
High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 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.. II /
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)
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)
Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. III /
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)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 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)
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)
Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. 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 I /
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)
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 = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(Language materials, printed)
Quantum interaction = 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014 : revised selected papers /
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)
Swarm Robotics = SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers /
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)
Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations /
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)
Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. II /
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)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 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)
Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Language materials, printed)
Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 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)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 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)
Swarm, evolutionary, and memetic computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers /
by:
(Language materials, printed)
Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(Language materials, printed)
Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(Language materials, printed)
DNA computing and molecular programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015 : proceedings /
by:
(Language materials, printed)
Web reasoning and rule systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
by:
(Language materials, printed)
Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata = 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings /
by:
(Language materials, printed)
Towards autonomous robotic systems = 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Unconventional computation and natural computation = 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings /
by:
(Language materials, printed)
Intelligent computing theories and methodologies = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.. Part I /
by:
(Language materials, printed)
Intelligent computing theories and methodologies = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.. Part II /
by:
(Language materials, printed)
Quantitative evaluation of systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
by:
(Language materials, printed)
Modelling and simulation for autonomous systems = second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Computer analysis of images and patterns = 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 : proceedings.. Part II /
by:
(Language materials, printed)
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
(Language materials, printed)
Computer Analysis of Images and Patterns = 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 : proceedings.. Part I /
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)
Bioinformatics research and applications = fourth international symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. proceedings /
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)
Neural Information Processing = 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II /
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)
Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers /
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)
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)
Artificial Immune Systems = 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 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)
Advances in Artificial Life : = 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 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)
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)
Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings
by:
(Language materials, printed)
Differential Evolution = A Practical Approach to Global Optimization /
by:
(Language materials, printed)
Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time /
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)
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 of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers /
by:
(Language materials, printed)
Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers /
by:
(Language materials, printed)
Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers /
by:
(Language materials, printed)
Vagueness in communication = international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009 : revised selected papers /
by:
(Language materials, printed)
DNA computing and molecular programming = 16th international conference, DNA 16, Hong Kong, China, June 14-17, 2010 : revised selected papers /
by:
(Language materials, printed)
Foundations of Intelligent Systems = 17th International Symposium, ISMIS 2008, Toronto, Canada, May 20-23, 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)
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)
Rough sets and knowledge technology = third international conference, RSKT 2008, Chengdu, China, May 17-19, 2008 : proceedings /
by:
(Language materials, printed)
Agents for games and simulations II = trends in techniques, concepts and design /
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)
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)
Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
by:
(Language materials, printed)
Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, 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)
Artificial Immune Systems = 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 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)
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)
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)
Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 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 3, 2005, Proceedings.. I /
by:
(Language materials, printed)
Spatial Information Theory : = International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, 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)
Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings
by:
(Language materials, printed)
Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 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)
Artificial neural networks - ICANN 2008 = 18th international conference, Prague, Czech Republic, September 3-6, 2008; proceedings, Part I /
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)
Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
by:
(Language materials, printed)
Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers /
by:
(Language materials, printed)
Control, computation and information systems = first international conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25 - 27, 2011 : proceedings /
by:
(Language materials, printed)
ICT innovations 2010 = second international conference, ICT Innovations 2010, Ohrid, Macedonia, September 12-15, 2010 : revised selected papers /
by:
(Language materials, printed)
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:
(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)
Language, games, and evolution = trends in current research on language and game theory /
by:
(Language materials, printed)
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:
(Language materials, printed)
Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings /
by:
(Language materials, printed)
Research in computational molecular biology = 15th annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011 : proceedings /
by:
(Language materials, printed)
Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers /
by:
(Language materials, printed)
Human-robot personal relationships = third international conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010 : revised selected papers /
by:
(Language materials, printed)
Switching and Learning in Feedback Systems = European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers /
by:
(Language materials, printed)
Design and Analysis of Randomized Algorithms = Introduction to Design Paradigms /
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)
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)
Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings /
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 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)
Learning and intelligent optimization = second international conference, LION 2007 II, Trento, Italy, December 8-12, 2007. selected papers /
by:
(Language materials, printed)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Evolutionary computation in combinatorial optimization = 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(Language materials, printed)
Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(Language materials, printed)
Evolutionary computation, machine learning and data mining in bioinformatics = 9th European conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : 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)
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)
Implementation and Application of Automata = 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Membrane Computing = 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited 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)
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)
Learning Theory = 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, 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)
Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings /
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)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
(Language materials, printed)
Algorithmic Learning Theory : = 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, 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)
Sleep and anesthesia = neural correlates in theory and experiment /
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)
A hybrid deliberative layer for robotic agents = fusing DL reasoning with HTN planning in autonomous robots /
by:
(Language materials, printed)
Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-22 2011 : proceedings /
by:
(Language materials, printed)
Artificial immune systems = 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(Language materials, printed)
Hybrid learning = 4th international conference, ICHL 2011, Hong Kong, China, August 10-12, 2011 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata = 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings /
by:
(Language materials, printed)
Studies in complexity and cryptography = miscellanea on the interplay between randomness and computation /
by:
(Language materials, printed)
Rough sets, fuzzy sets, data mining and granular computing = 13th international conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011. Proceedings /
by:
(Language materials, printed)
Computational intelligence methods for bioinformatics and biostatistics = 7th international meeting, CIBB 2010, Palermo, Italy, September 16-18, 2010 : revised selected papers /
by:
(Language materials, printed)
Advances in information technology and education = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Computational logic and set theory = applying formalized logic to analysis /
by:
(Language materials, printed)
Advances in computer science and education applications = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Understanding Planning Tasks = Domain Complexity and Heuristic Decomposition /
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)
Invariants of behavior = constancy and variability in neural systems /
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)
Computer science = theory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings /
by:
(Language materials, printed)
Analytical and stochastic modeling techniques and applications = 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings /
by:
(Language materials, printed)
Advances in swarm intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
OpenMP in the petascale era = 7th international workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011 : proceedings /
by:
(Language materials, printed)
Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /
by:
(Language materials, printed)
Unconventional computation = 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 : proceedings /
by:
(Language materials, printed)
Artificial neural networks and machine learning = ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Advances in self-organizing maps = 8th international workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011 : proceedings /
by:
(Language materials, printed)
Artificial neural networks and machine learning = ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Inductive logic programming = 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers /
by:
(Language materials, printed)
Advances in artificial life = Darwin Meets von Neumann : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009 : revised selected papers.. Part I /
by:
(Language materials, printed)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Computation, cooperation, and life = essays dedicated to Gheorghe Paun on the occasion of his 60th birthday /
by:
(Language materials, printed)
Foundations of intelligent systems = 19th international symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011 : proceedings /
by:
(Language materials, printed)
Pattern recognition and machine intelligence = 4th international conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011 : proceedings /
by:
(Language materials, printed)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : 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)
Researching the future in information systems = IFIP WG 8.2 Working Conference, Turku, Finland, June 6-8, 2011 : 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)
Integrated computing technology = first international conference, INTECH 2011, Sao Carlos, Brazil, May 31 - June 2, 2011 : proceedings /
by:
(Language materials, printed)
Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part III /
by:
(Language materials, printed)
Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Unconventional Computing = 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings /
by:
(Language materials, printed)
Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings /
by:
(Language materials, printed)
Foundations on natural and artificial computation = 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
New challenges on bioinspired applications = 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part III /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Advances in artificial life = Darwin Meets von Neumann, 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009 : revised selected papers.. Part II /
by:
(Language materials, printed)
Language and automata theory and applications = 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 : proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /
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)
Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 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)
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)
Artificial Neural Networks : = Biological Inspirations - ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings.. Part I
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)
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)
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)
Brain, Vision, and Artificial Intelligence : = First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 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)
Computational Intelligence and Security : = International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I
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)
Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 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)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 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)
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)
Pattern recognition and machine intelligence = Third International Conference, PReMI 2009 New Delhi, India, December 16-20, 2009 : proceedings /
by:
(Language materials, printed)
Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part I /
by:
(Language materials, printed)
Neural information processing = 16th international conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings.. Part II /
by:
(Language materials, printed)
Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings /
by:
(Language materials, printed)
Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings /
by:
(Language materials, printed)
AI*IA 2009 = Emergent Perspectives in Artificial Intelligence : XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 : proceedings /
by:
(Language materials, printed)
Artificial life = borrowing from biology : 4th Australian conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009 : proceedings /
by:
(Language materials, printed)
DNA computing and molecular programming = 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009 : revised selected paperss /
by:
(Language materials, printed)
Agents for games and simulations = trends in techniques, concepts and design /
by:
(Language materials, printed)
Computational Intelligence and Intelligent Systems = 4th International Symposium, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings /
by:
(Language materials, printed)
DNA computing = b14th international meeting on DNA computing, DNA 14, Prague, Czech Republic, June 2-9, 2008 : revised selected papers /
by:
(Language materials, printed)
Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part II /
by:
(Language materials, printed)
Computational collective intelligence = semantic web, social networks and multiagent systems : first International Conference, ICCCI 2009, Wrocaw, Poland, October 5-7, 2009 : proceedings /
by:
(Language materials, printed)
Hybrid metaheuristics = 6th international workshop, HM 2009, Udine, Italy, October 16-17, 2009 : proceedings /
by:
(Language materials, printed)
Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /
by:
(Language materials, printed)
Stochastic algorithms = foundations and applications : 5th international symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009 : proceedings /
by:
(Language materials, printed)
Knowledge representation for agents and multi-agent systems = first international workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008 : revised selected papers /
by:
(Language materials, printed)
Advances in Digital Forensics V = Fifth IFIP WG 11.9 International Conference on Digital Forensics, Orlando, Florida, USA, January 26-28, 2009 : revised selected papers /
by:
(Language materials, printed)
System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers /
by:
(Language materials, printed)
Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings /
by:
(Language materials, printed)
Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(Language materials, printed)
Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /
by:
(Language materials, printed)
Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings /
by:
(Language materials, printed)
Emerging intelligent computing technology and applications = with aspects of artificial intelligence : 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009 : proceedings /
by:
(Language materials, printed)
Emerging intelligent computing technology and applications = 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009 : proceedings /
by:
(Language materials, printed)
CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings /
by:
(Language materials, printed)
Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings /
by:
(Language materials, printed)
Algorithms in bioinformatics = 9th international workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009 : proceedings /
by:
(Language materials, printed)
Artificial neural networks - ICANN 2009 = 19th international conference, Limassol, Cyprus, September 14-17, 2009 : proceedings.. Part I /
by:
(Language materials, printed)
Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(Language materials, printed)
Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I /
by:
(Language materials, printed)
Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings /
by:
(Language materials, printed)
Engineering applications of neural networks = 11th international conference, EANN 2009, London, UK, August 27-29, 2009 : proceedings /
by:
(Language materials, printed)
Artificial immune systems = 8th international conference, ICARIS 2009, York, UK, August 9-12, 2009 ; Proceedings /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings /
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)
AI 2011 = advances in artificial intelligence : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011 : proceedings /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Control and automation, and energy system engineering = international conferences, CA and CES3 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings /
by:
(Language materials, printed)
Learning and intelligent optimization = 5th international conference, LION 5, Rome, Italy, January 17-21, 2011 : selected papers /
by:
(Language materials, printed)
Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part III /
by:
(Language materials, printed)
Neural information processing = 18th international conference, ICONIP 2011, Shanghai, China, November 13-17, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings /
by:
(Language materials, printed)
Adaptive and natural computing algorithms : = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers /
by:
(Language materials, printed)
Agents for games and simulations : = trends in techniques, concepts and design /
by:
(Language materials, printed)
Algorithms in bioinformatics : = 9th international workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009 : proceedings /
by:
(Language materials, printed)
Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence = 14th conference of the Spanish association for artificial intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011 : proceedings /
by:
(Language materials, printed)
Algorithmic learning theory = 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings /
by:
(Language materials, printed)
High performance networking, computing, and communication systems = second international conference, ICHCC 2011, Singapore, May 5-6, 2011, selected papers /
by:
(Language materials, printed)
Engineering applications of neural networks = 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part III /
by:
(Language materials, printed)
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(Language materials, printed)
Multiple classifier systems = 10th international workshop, MCS 2011, Naples, Italy, June 15-17, 2011 : proceedings /
by:
(Language materials, printed)
Rough sets and knowledge technology = 6th international conference, RSKT 2011, Banff, Canada, October 9-12, 2011 : proceedings /
by:
(Language materials, printed)
Adaptive and intelligent systems = second international conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011 : proceedings /
by:
(Language materials, printed)
AI*IA 2011 = artificial intelligence around man and beyond : XIIth international conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011 : proceedings /
by:
(Language materials, printed)
Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
DNA computing and molecular programming = 17th international conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I /
by:
(Language materials, printed)
Emerging research in artificial intelligence and computational intelligence = International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011 : proceedings /
by:
(Language materials, printed)
Artificial intelligence applications and innovations = 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece, September 15-18, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Search based software engineering = third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 : proceedings /
by:
(Language materials, printed)
Contemporary computing = 4th international conference, IC3 2011, Noida, India, August 8-10, 2011 : proceedings /
by:
(Language materials, printed)
Advances in bioinformatics and computational biology = 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings /
by:
(Language materials, printed)
Algorithms in bioinformatics = 11th international workshop, WABI 2011, Saarbrucken, Germany, September 5-7, 2011 : proceedings /
by:
(Language materials, printed)
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
(Language materials, printed)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Approximation, randomization, and combinatorial optimization = algorithms and techniques : 14th international workshop, APPROX 2011, and 15th international workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011 : proceedings /
by:
(Language materials, printed)
Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
by:
(Language materials, printed)
Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings /
by:
(Language materials, printed)
Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings /
by:
(Language materials, printed)
Intelligent data engineering and automated learning = IDEAL 2011 : 12th international conference, Norwich, UK, September 7-9, 2011 : proceedings /
by:
(Language materials, printed)
Computing and combinatorics = 17th annual international conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(Language materials, printed)
Text analysis pipelines = towards ad-hoc large scale text mining /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Advances in computer games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Membrane computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
by:
(Language materials, printed)
Advances in artificial intelligence = 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Algorithms, probability, networks, and games = scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday /
by:
(Language materials, printed)
Computational intelligence methods for bioinformatics and biostatistics = 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014 : revised selected papers /
by:
(Language materials, printed)
Computational methods in systems biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings /
by:
(Language materials, printed)
Information processing in cells and tissues = 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015 : proceedings /
by:
(Language materials, printed)
Intelligent data engineering and automated learning - IDEAL 2015 = 16th International Conference Wroclaw, Poland, October 14-16, 2015 : proceedings /
by:
(Language materials, printed)
Large-scale scientific computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
by:
(Language materials, printed)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(Language materials, printed)
Social media processing = 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015 : proceedings /
by:
(Language materials, printed)
Statistical language and speech processing = third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015 : proceedings /
by:
(Language materials, printed)
Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(Language materials, printed)
Machine learning, optimization, and big data = first International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015 : revised selected papers /
by:
(Language materials, printed)
Advanced methodologies for Bayesian networks = second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015 : proceedings /
by:
(Language materials, printed)
Approximation and online algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Logic and its applications = 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings /
by:
(Language materials, printed)
Theory of quantum computation, communication, and cryptography = 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012 : revised selected papers /
by:
(Language materials, printed)
Unifying theories of programming = 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 : proceedings /
by:
(Language materials, printed)
Reversible computation = 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers /
by:
(Language materials, printed)
Theory of cryptography = 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013 : proceedings /
by:
(Language materials, printed)
Membrane computing = 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012 : revised selected papers /
by:
(Language materials, printed)
Foundations of software science and computation structures = 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings /
by:
(Language materials, printed)
Evolutionary computation, machine learning and data mining in bioinformatics = 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computation = 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013 : proceedings /
by:
(Language materials, printed)
Adaptive and natural computing algorithms = 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013 : proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
by:
(Language materials, printed)
Evolutionary computation in combinatorial optimization = 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013 : proceedings /
by:
(Language materials, printed)
Genetic programming = 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013 : proceedings /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by:
(Language materials, printed)
Computation, logic, games, and quantum foundations = the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday /
by:
(Language materials, printed)
Scale space and variational methods in computer vision = 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013 : proceedings /
by:
(Language materials, printed)
Computational intelligence methods for bioinformatics and biostatistics = 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 : revised selected papers /
by:
(Language materials, printed)
Advances in artificial intelligence = 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, SK, Canada, May 28-31, 2013 : proceedings /
by:
(Language materials, printed)
Coordination models and languages = 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings /
by:
(Language materials, printed)
Hybrid metaheuristics = 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013 : proceedings /
by:
(Language materials, printed)
Progress in cryptology - AFRICACRYPT 2013 = 6th International Conference on Cryptology in Africa, Cairo, Egypt, June 22-24, 2013 : proceedings /
by:
(Language materials, printed)
Formal techniques for distributed systems = Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings /
by:
(Language materials, printed)
Computing and combinatorics = 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013 : proceedings /
by:
(Language materials, printed)
Multi-agent-based simulation XIII = International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal methods for dynamical systems = 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced lectures /
by:
(Language materials, printed)
The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
(Language materials, printed)
Theory and applications of satisfiability testing = SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013 : proceedings /
by:
(Language materials, printed)
Unconventional computation and natural computation = 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
(Language materials, printed)
Computer science - theory and applications = 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and soft computing = 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
Natural and artificial computation in engineering and medical applications = 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings.. Part II /
by:
(Language materials, printed)
Natural and artificial models in computation and biology = 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Artificial intelligence and soft computing = 12th International Conference, ICAISC 2013, Zakopane, Poland, June 9-13, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Application and theory of petri nets and concurrency = 34th international conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings /
by:
(Language materials, printed)
Developments in language theory = 17th International Conference, DLT 2013, Marne-la-Vallee, France, June 18-21, 2013 : proceedings /
by:
(Language materials, printed)
Advances in brain inspired cognitive systems = 6th International Conference, BICS 2013, Beijing, China, June 9-11, 2013 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2013 = 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2013 = 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
Implementation and application of automata = 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : proceedings /
by:
(Language materials, printed)
Intelligent computing theories = 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013 : proceedings /
by:
(Language materials, printed)
Biomimetic and biohybrid systems = second International Conference, Living Machines 2013, London, UK, July 29-August 2, 2013 : proceedings /
by:
(Language materials, printed)
Search based software engineering = 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings /
by:
(Language materials, printed)
Approximation, randomization, and combinatorial optimization = algorithms and techniques : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013 : proceedings /
by:
(Language materials, printed)
Algorithms in bioinformatics = 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013 : proceedings /
by:
(Language materials, printed)
Combinatorics on words = 9th international conference, WORDS 2013, Turku, Finland, September 16-20 : proceedings /
by:
(Language materials, printed)
OpenMP in the era of low power devices and accelerators = 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013 : proceedings /
by:
(Language materials, printed)
Hybrid artificial intelligent systems = 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013 : proceedings /
by:
(Language materials, printed)
Engineering applications of neural networks = 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Engineering applications of neural networks = 14th International Conference, EANN 2013, Halkidiki, Greece, September 13-16, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
DNA computing and molecular programming = 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence = 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013 : proceedings /
by:
(Language materials, printed)
Artificial neural networks and machine learning - ICANN 2013 = 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013 : proceedings /
by:
(Language materials, printed)
Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings /
by:
(Language materials, printed)
Algorithmic learning theory = 24th International Conference, ALT 2013, Singapore, October 6-9, 2013 : proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings /
by:
(Language materials, printed)
Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings /
by:
(Language materials, printed)
Abdominal imaging = computation and clinical applications : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013 : proceedings /
by:
(Language materials, printed)
Engineering applications of neural networks = 13th International Conference, EANN 2012, London, UK, September 20-23, 2012 : proceedings /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part IV /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part III /
by:
(Language materials, printed)
Neural information processing = 19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.. Part V /
by:
(Language materials, printed)
Advances in artificial intelligence - SBIA 2008 = 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings /
by:
(Language materials, printed)
Dynamic brain - from neural spikes to behaviors = 12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering II = international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers /
by:
(Language materials, printed)
Hybrid metaheuristics = 5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings /
by:
(Language materials, printed)
MICAI 2008 = advances in artificial intelligence : 7th Mexican international conference on Artificial Intelligence, Atizapan de Zaragoza, Mexico, October 27-31, 2008 : proceedings /
by:
(Language materials, printed)
Modeling decisions for artificial intelligence = 5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Multiobjective optimization = interactive and evolutionary approaches /
by:
(Language materials, printed)
Simulation, modeling, and programming for autonomous robots = first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings /
by:
(Language materials, printed)
Stabilization, safety, and security of distributed systems = 10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings /
by:
(Language materials, printed)
Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing = third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings /
by:
(Language materials, printed)
Trends in intelligent robotics, automation, and manufacturing = first international conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012 : proceedings /
by:
(Language materials, printed)
Simulated evolution and learning = 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings /
by:
(Language materials, printed)
AI 2012 = advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
by:
(Language materials, printed)
Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
by:
(Language materials, printed)
Artificial evolution = 10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers /
by:
(Language materials, printed)
Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Advances in artificial intelligence - IBERAMIA 2012 = 13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings /
by:
(Language materials, printed)
Transactions on computational systems biology XIV = special issue on computational models for cell processes /
by:
(Language materials, printed)
Wireless internet = 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011 : revised selected papers /
by:
(Language materials, printed)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(Language materials, printed)
Contemporary computing = 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012 : proceedings /
by:
(Language materials, printed)
Unconventional computation and natural computation = 11th International Conference, UCNC 2012, Orle?ans, France, September 3-7, 2012 : proceedings /
by:
(Language materials, printed)
Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Cellular automata = 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings /
by:
(Language materials, printed)
Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and computational intelligence = 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Theory and practice of natural computing = first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings /
by:
(Language materials, printed)
Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
(Language materials, printed)
Advances in bioinformatics and computational biology = 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings /
by:
(Language materials, printed)
Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings /
by:
(Language materials, printed)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(Language materials, printed)
Intelligent data engineering and automated learning - IDEAL 2012 = 13th International Conference, Natal, Brazil, August 29-31, 2012 ; proceedings /
by:
(Language materials, printed)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
From animals to animats 12 = 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012 : proceedings /
by:
(Language materials, printed)
Algorithms in bioinformatics = 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings /
by:
(Language materials, printed)
Abdominal imaging = computational and clinical applications : 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012 : proceedings /
by:
(Language materials, printed)
Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Emerging intelligent computing technology and applications = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012 : proceedings /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Advances in brain inspired cognitive systems = 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings /
by:
(Language materials, printed)
Intelligent computing technology = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012 : proceedings /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(Language materials, printed)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(Language materials, printed)
Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : proceedings /
by:
(Language materials, printed)
Advances in computer games = 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers /
by:
(Language materials, printed)
Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers /
by:
(Language materials, printed)
DNA computing and molecular programming = 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings /
by:
(Language materials, printed)
Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(Language materials, printed)
The multivariate algorithmic revolution and beyond = essays dedicated to Michael R. Fellows on the occasion of his 60th birthday /
by:
(Language materials, printed)
Advances in swarm intelligence = third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in swarm intelligence = third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Application and theory of petri nets = 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012 : proceedings /
by:
(Language materials, printed)
Biomimetic and biohybrid systems = first International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012 : proceedings /
by:
(Language materials, printed)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
(Language materials, printed)
On the mathematics of modelling, metamodelling, ontologies and modelling languages
by:
(Language materials, printed)
Artificial intelligence: Theories and applications = 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings /
by:
(Language materials, printed)
Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
by:
(Language materials, printed)
Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(Language materials, printed)
Recent advances in reinforcement learning = 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
by:
(Language materials, printed)
Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence = 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012 : proceedings /
by:
(Language materials, printed)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Language materials, printed)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(Language materials, printed)
OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Rough sets, fuzzy sets, data mining, and granular computing = 14th International Conference, RSFDGrC 2013, Halifax, NS, Canada, October 11-14, 2013 : proceedings /
by:
(Language materials, printed)
Intelligent data engineering and automated learning - IDEAL 2013 = 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013 : proceedings /
by:
(Language materials, printed)
Neural information processing = 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
Neural information processing = 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013 : proceedings.. Part III /
by:
(Language materials, printed)
Neural information processing = 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Fuzzy logic and applications = 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013 : proceedings /
by:
(Language materials, printed)
AI 2013 = Advances in Artificial Intelligence : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013 : proceedings /
by:
(Language materials, printed)
Learning and intelligent optimization = 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013 : revised selected papers /
by:
(Language materials, printed)
Theory and practice of natural computing = Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013 : proceedings /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing = 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing = 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
AI*IA 2013 = advances in artificial intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013 : proceedings /
by:
(Language materials, printed)
Principles of distributed systems = 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013 : proceedings /
by:
(Language materials, printed)
Pattern recognition and machine intelligence = 5th International Conference, PReMI 2013, Kolkata, India, December 10-14, 2013 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements /
by:
(Language materials, printed)
Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers /
by:
(Language materials, printed)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings /
by:
(Language materials, printed)
Evolutionary computation, machine learning and data mining in bioinformatics = 10th European Conference, EvoBIO 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Information processing in cells and tissues = 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012 : proceedings /
by:
(Language materials, printed)
Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Evolutionary computation in combinatorial optimization = 12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Evolutionary and biologically inspired music, sound, art and design = first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Wireless communications and applications = first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers /
by:
(Language materials, printed)
LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and soft computing = 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Artificial intelligence and soft computing = 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
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:
(Language materials, printed)
Research in computational molecular biology = 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : 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)
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)
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)
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)
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)
Intelligent strategies for pathway mining = model and pattern identification /
by:
(Language materials, printed)
Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
by:
(Language materials, printed)
Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications = 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(Language materials, printed)
Theory of cryptography = 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings /
by:
(Language materials, printed)
LATIN 2014 = theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
by:
(Language materials, printed)
Multi-agent-based simulation XIV = International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Multi-agent-based simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
by:
(Language materials, printed)
Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
(Language materials, printed)
Artificial life and computational intelligence = first Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015 : proceedings /
by:
(Language materials, printed)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(Language materials, printed)
Theory of cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.. Part II /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
by:
(Language materials, printed)
Artificial life and computational intelligence = second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016 : proceedings /
by:
(Language materials, printed)
Quantum interaction = 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Transactions on large-scale data- and knowledge-centered systems XXIV = special issue on database- and expert-systems applications /
by:
(Language materials, printed)
Formal techniques for safety-critical systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
by:
(Language materials, printed)
Genetic programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
by:
(Language materials, printed)
Architecture of computing systems - ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings /
by:
(Language materials, printed)
Evolutionary computation in combinatorial optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings /
by:
(Language materials, printed)
Multi-agent based simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers /
by:
(Language materials, printed)
Artificial evolution = 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Transactions on computational collective intelligence XXI = special issue on keyword search and big data /
by:
(Language materials, printed)
LATIN 2016 = theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Progress in cryptology - AFRICACRYPT 2016 = 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016 : proceedings /
by:
(Language materials, printed)
Hybrid artificial intelligent systems = 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016 : proceedings /
by:
(Language materials, printed)
Mathematical aspects of computer and information sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers /
by:
(Language materials, printed)
Conformal and probabilistic prediction with applications = 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(Language materials, printed)
Image and signal processing = 7th International Conference, ICISP 2016, Trois-Rivieres, QC, Canada, May 30 - June 1, 2016 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence = 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016 : proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016 : proceedings.. Part I /
by:
(Language materials, printed)
Artificial intelligence and soft computing = 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016 : proceedings.. Part II /
by:
(Language materials, printed)
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:
(Language materials, printed)
Hybrid metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
by:
(Language materials, printed)
Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
(Language materials, printed)
Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Towards autonomous robotic systems = 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016 : proceedings /
by:
(Language materials, printed)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Language materials, printed)
Unconventional computation and natural computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016 : proceedings /
by:
(Language materials, printed)
Artificial general intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
(Language materials, printed)
Intelligent computing theories and technology = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.. Part I /
by:
(Language materials, printed)
Intelligent computing theories and technology = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.. Part II /
by:
(Language materials, printed)
Computing and combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Computational intelligence methods for bioinformatics and biostatistics = 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015 : revised selected papers /
by:
(Language materials, printed)
Developments in language theory = 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
by:
(Language materials, printed)
Quantitative evaluation of systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
(Language materials, printed)
From animals to animats 14 = 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016 : proceedings /
by:
(Language materials, printed)
DNA computing and molecular programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings /
by:
(Language materials, printed)
Cellular automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016 : proceedings /
by:
(Language materials, printed)
Swarm intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(Language materials, printed)
Web reasoning and rule systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
(Language materials, printed)
Parallel problem solving from nature - PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016 : proceedings /
by:
(Language materials, printed)
Descriptive set theoretic methods in automata theory = decidability and topological complexity /
by:
(Language materials, printed)
Formal grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers. FG 2016, Bozen, Italy, August 2016 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
(Language materials, printed)
Behavioural models = from modelling finite automata to analysing business processes /
by:
(Language materials, printed)
Advances in artificial intelligence = 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016 : proceedings /
by:
(Language materials, printed)
Statistical language and speech processing = 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016 : proceedings /
by:
(Language materials, printed)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(Language materials, printed)
Artificial neural networks in pattern recognition = 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016 : proceedings /
by:
(Language materials, printed)
Intelligent data engineering and automated learning - IDEAL 2016 = 17th International Conference, Yangzhou, China, October 12-14, 2016 : proceedings /
by:
(Language materials, printed)
Computer vision and graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016 : proceedings /
by:
(Language materials, printed)
Neural information processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.. Part II /
by:
(Language materials, printed)
Neural information processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.. Part III /
by:
(Language materials, printed)
Neural information processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.. Part IV /
by:
(Language materials, printed)
Neural information processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.. Part I /
by:
(Language materials, printed)
Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings /
by:
(Language materials, printed)
Rough sets = International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016 : proceedings /
by:
(Language materials, printed)
Transactions on large-scale data- and knowledge-centered systems XXVII = special issue on big data for complex urban systems /
by:
(Language materials, printed)
Social media processing = 5th National Conference, SMP 2016, Nanchang, China, October 29-30, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Modelling and simulation for autonomous systems = third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers /
by:
(Language materials, printed)
Swarm, evolutionary, and mimetic computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers /
by:
(Language materials, printed)
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(Language materials, printed)
Advances in brain inspired cognitive systems = 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016 : proceedings /
by:
(Language materials, printed)
Learning and intelligent optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Web and internet economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016 : proceedings /
by:
(Language materials, printed)
Machine translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016 : revised selected papers /
by:
(Language materials, printed)
Conflict resolution in decision making = second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016 : revised selected papers /
by:
(Language materials, printed)
Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings /
by:
(Language materials, printed)
Scale space and variational methods in computer vision = 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Multi-agent based simulation XVII = International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016 : revised selected papers /
by:
(Language materials, printed)
Computational intelligence methods for bioinformatics and biostatistics = 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016 : revised selected papers /
by:
(Language materials, printed)
Statistical language and speech processing = 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017 : proceedings /
by:
(Language materials, printed)
Simulated evolution and learning = 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017 : proceedings /
by:
(Language materials, printed)
Intelligent data engineering and automated learning - IDEAL 2017 = 18th International Conference, Guilin, China, October 30 - November 1, 2017 : proceedings /
by:
(Language materials, printed)
Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings /
by:
(Language materials, printed)
Learning and intelligent optimization = 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017 : revised selected papers /
by:
(Language materials, printed)
Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(Language materials, printed)
Web and internet wconomics = 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017 : proceedings /
by:
(Language materials, printed)
Advances in computer games = 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017 : revised selected papers /
by:
(Language materials, printed)
Intelligent computing theories and application = 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017 : proceedings.. Part I /
by:
(Language materials, printed)
Intelligent computing theories and application = 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Language materials, printed)
DNA computing and molecular programming = 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017 : proceedings /
by:
(Language materials, printed)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(Language materials, printed)
Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings /
by:
(Language materials, printed)
Multi-agent based simulation XVIII = International Workshop, MABS 2017, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers /
by:
(Language materials, printed)
Higher education computer science = a manual of practical approaches /
by:
(Language materials, printed)
A new kind of computational biology = cellular automata based models for genomics and proteomics /
by:
(Language materials, printed)
DNA computing and molecular programming = 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018 : proceedings /
by:
(Language materials, printed)
Cellular automata = a volume in the encyclopedia of complexity and systems science, second edition /
by:
(Language materials, printed)
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:
(Language materials, printed)
Artificial life and computational intelligence = third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 - February 2, 2017 : proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Progress in cryptology - AFRICACRYPT 2017 = 9th International Conference on Cryptology in Africa, Dakar, Senegal, May 24-26, 2017 : proceedings /
by:
(Language materials, printed)
Theory and practice of natural computing = 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017 : proceedings /
by:
(Language materials, printed)
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(Language materials, printed)
Exploring the dataflow supercomputing paradigm = example algorithms for selected applications /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Modeling decisions for artificial intelligence = second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings /
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)
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)
Swarm intelligence = 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings /
by:
(Language materials, printed)
Smart computing and communication = first International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016 : proceedings /
by:
(Language materials, printed)
Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
(Language materials, printed)
Quantum interaction = 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016 : revised selected papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal techniques for safety-critical systems = 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016 : revised selected papers /
by:
(Language materials, printed)
Fuzzy logic and soft computing applications = 11th International Workshop, WILF 2016, Naples, Italy, December 19-21, 2016 : rvised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications = 11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017 : proceedings /
by:
(Language materials, printed)
High-performance scientific computing = first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016 : rvised selected papers /
by:
(Language materials, printed)
Membrane computing = 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016 : rvised selected papers /
by:
(Language materials, printed)
Scale Space and Variational Methods in Computer Vision = 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings /
by:
(Language materials, printed)
Intelligent Data Engineering and Automated Learning – IDEAL 2015 = 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I /
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)
DNA Computing and Molecular Programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
by:
(Language materials, printed)
Algorithms, Probability, Networks, and Games = Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
by:
(Language materials, printed)
Neural Information Processing = 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III /
by:
(Language materials, printed)
Large-Scale Scientific Computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Intelligent Computing Theories and Methodologies = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Computational Intelligence Methods for Bioinformatics and Biostatistics = 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /
by:
(Language materials, printed)
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:
(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)
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
by:
(Language materials, printed)
Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers /
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)
Machine Learning, Optimization, and Big Data = First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Automated Deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
by:
(Language materials, printed)
Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I /
by:
(Language materials, printed)
Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation = 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
(Language materials, printed)
Artificial Life and Computational Intelligence = First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings /
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Towards Autonomous Robotic Systems = 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings /
by:
(Language materials, printed)
Web Technologies and Applications = APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Neural Information Processing = 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV /
by:
(Language materials, printed)
Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
by:
(Language materials, printed)
Quantum Interaction = 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Reachability Problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
by:
(Language materials, printed)
Multi-Agent-Based Simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Hybrid Artificial Intelligent Systems = 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings /
by:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
by:
(Language materials, printed)
Computer Analysis of Images and Patterns = 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I /
by:
(Language materials, printed)
Trends and Applications in Knowledge Discovery and Data Mining = PAKDD 2015 Workshops: BigPMA, VLSP, QIMIE, DAEBH, Ho Chi Minh City, Vietnam, May 19-21, 2015. Revised Selected Papers /
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)
Theory and Practice of Natural Computing = Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings /
by:
(Language materials, printed)
FM 2015: Formal Methods = 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
by:
(Language materials, printed)
Membrane Computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Text Analysis Pipelines = Towards Ad-hoc Large-Scale Text Mining /
by:
(Language materials, printed)
Inductive Logic Programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Logic and Its Applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
by:
(Language materials, printed)
Statistical Language and Speech Processing = Third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015, Proceedings /
by:
(Language materials, printed)
Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Web Reasoning and Rule Systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. /
by:
(Language materials, printed)
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:
(Language materials, printed)
Information Processing in Cells and Tissues = 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings /
by:
(Language materials, printed)
Advanced Methodologies for Bayesian Networks = Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings /
by:
(Language materials, printed)
Intelligent Computing Theories and Methodologies = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II /
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)
Computing and Combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
by:
(Language materials, printed)
Social Media Processing = 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Statistical Learning and Data Sciences = Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings /
by:
(Language materials, printed)
Swarm, Evolutionary, and Memetic Computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers /
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)
Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /
by:
(Language materials, printed)
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:
(Language materials, printed)
Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Implementation and Application of Automata = 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 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)
Neural Information Processing = 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
by:
(Language materials, printed)
Neural Information Processing = 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Computer Analysis of Images and Patterns = 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
(Language materials, printed)
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:
(Language materials, printed)
Mathematical Aspects of Computer and Information Sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII = Special Issue on Big Data for Complex Urban Systems /
by:
(Language materials, printed)
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:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Genetic Programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings /
by:
(Language materials, printed)
Towards Autonomous Robotic Systems = 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings /
by:
(Language materials, printed)
Intelligent Computing Theories and Application = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings /
by:
(Language materials, printed)
DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /
by:
(Language materials, printed)
Artificial Life and Computational Intelligence = Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
by:
(Language materials, printed)
Web Technologies and Applications = APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Hybrid Artificial Intelligent Systems = 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings /
by:
(Language materials, printed)
Swarm, Evolutionary, and Memetic Computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Architecture of Computing Systems -- ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings /
by:
(Language materials, printed)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Web Reasoning and Rule Systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Brain Inspired Cognitive Systems = 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings /
by:
(Language materials, printed)
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
(Language materials, printed)
Web and Internet Economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings /
by:
(Language materials, printed)
Machine Translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25–26, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings /
by:
(Language materials, printed)
Intelligent Computing Theories and Application = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016. Proceedings /
by:
(Language materials, printed)
Swarm Intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings /
by:
(Language materials, printed)
Quantum Interaction = 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(Language materials, printed)
Rough Sets = International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7–11, 2016, Proceedings /
by:
(Language materials, printed)
FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV = Special Issue on Database- and Expert-Systems Applications /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Intelligent Data Engineering and Automated Learning – IDEAL 2016 = 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedings /
by:
(Language materials, printed)
Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Evolutionary Computation in Combinatorial Optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings /
by:
(Language materials, printed)
Behavioural Models = From Modelling Finite Automata to Analysing Business Processes /
by:
(Language materials, printed)
Advances in Artificial Intelligence = 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings /
by:
(Language materials, printed)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Computer Vision and Graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings /
by:
(Language materials, printed)
Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Computational Intelligence Methods for Bioinformatics and Biostatistics = 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Modelling and Simulation for Autonomous Systems = Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Neural Information Processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part IV /
by:
(Language materials, printed)
Cellular Automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings /
by:
(Language materials, printed)
Theory and Practice of Natural Computing = 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings /
by:
(Language materials, printed)
Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Quantitative Evaluation of Systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
by:
(Language materials, printed)
Progress in Cryptology – AFRICACRYPT 2016 = 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings /
by:
(Language materials, printed)
Formal Grammar = 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Multi-Agent Based Simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Evolution = 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers /
by:
(Language materials, printed)
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:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings /
by:
(Language materials, printed)
Neural Information Processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part III /
by:
(Language materials, printed)
Image and Signal Processing = 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Neural Information Processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
by:
(Language materials, printed)
Parallel Problem Solving from Nature – PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Artificial Neural Networks in Pattern Recognition = 7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28–30, 2016, Proceedings /
by:
(Language materials, printed)
Statistical Language and Speech Processing = 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Social Media Processing = 5th National Conference, SMP 2016, Nanchang, China, October 29–30, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Artificial General Intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
by:
(Language materials, printed)
Conformal and Probabilistic Prediction with Applications = 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings /
by:
(Language materials, printed)
Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
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:
(Language materials, printed)
Transactions on Computational Collective Intelligence XXI = Special Issue on Keyword Search and Big Data /
by:
(Language materials, printed)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
(Language materials, printed)
From Animals to Animats 14 = 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings /
by:
(Language materials, printed)
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:
(Language materials, printed)
Neural Information Processing = 23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16–21, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Übungsbuch Automaten und formale Sprachen = 117 Aufgaben und Lösungen /
by:
(Language materials, printed)
Cellular Automata = A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
by:
(Language materials, printed)
DNA Computing and Molecular Programming = 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings /
by:
(Language materials, printed)
Phase Change Memory = Device Physics, Reliability and Applications /
by:
(Language materials, printed)
Enjoying Natural Computing = Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday /
by:
(Language materials, printed)
A New Kind of Computational Biology = Cellular Automata Based Models for Genomics and Proteomics /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
(Language materials, printed)
Higher Education Computer Science = A Manual of Practical Approaches /
by:
(Language materials, printed)
Multi-Agent Based Simulation XVIII = International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings /
by:
(Language materials, printed)
Frontiers in Algorithmics = 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings /
by:
(Language materials, printed)
Pattern Recognition and Machine Intelligence = 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Exploring the DataFlow Supercomputing Paradigm = Example Algorithms for Selected Applications /
by:
(Language materials, printed)
Pattern Recognition and Machine Intelligence = 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part II /
by:
(Language materials, printed)
From Bioinspired Systems and Biomedical Applications to Machine Learning = 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Understanding the Brain Function and Emotions = 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects