Computation by Abstract Devices.
概要
作品: | 747 作品在 444 項出版品 444 種語言 |
---|
書目資訊
Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
by:
(書目-語言資料,印刷品)
Swarm Robotics = SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Membrane Computing = 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evolutionary Computation in Combinatorial Optimization = 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /
by:
(書目-語言資料,印刷品)
Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
by:
(書目-語言資料,印刷品)
Coordination Models and Languages = 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Intelligent Systems = 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
DNA Computing = 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. II /
by:
(書目-語言資料,印刷品)
Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. III /
by:
(書目-語言資料,印刷品)
Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations /
by:
(書目-語言資料,印刷品)
Learning Theory = 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Multiple Classifier Systems = 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
CONCUR 2005 - Concurrency Theory = 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial Immune Systems = 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. II /
by:
(書目-語言資料,印刷品)
Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. III /
by:
(書目-語言資料,印刷品)
Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. II /
by:
(書目-語言資料,印刷品)
Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. II /
by:
(書目-語言資料,印刷品)
Hybrid Metaheuristics = Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Neural Networks : = Biological Inspirations - ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings.. Part II
by:
(書目-語言資料,印刷品)
Advances in Artificial Life : = 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Spatial Information Theory : = International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Unconventional Computation : = 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings
by:
(書目-語言資料,印刷品)
Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Algorithmic Learning Theory : = 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Brain, Vision, and Artificial Intelligence : = First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005
by:
(書目-語言資料,印刷品)
Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
by:
(書目-語言資料,印刷品)
Progress in Artificial Intelligence : = 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Artificial Neural Networks : = Biological Inspirations - ICANN 2005: 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings.. Part I
by:
(書目-語言資料,印刷品)
Algorithms in Bioinformatics : = 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings
by:
(書目-語言資料,印刷品)
AI 2005: Advances in Artificial Intelligence : = 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Pattern Recognition and Machine Intelligence : = First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(書目-語言資料,印刷品)
Computational Intelligence and Security : = International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I
by:
(書目-語言資料,印刷品)
Computational Intelligence and Security : = International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part II
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Rough sets and knowledge technology = third international conference, RSKT 2008, Chengdu, China, May 17-19, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers /
by:
(書目-語言資料,印刷品)
Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time /
by:
(書目-語言資料,印刷品)
Foundations of Intelligent Systems = 17th International Symposium, ISMIS 2008, Toronto, Canada, May 20-23, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial evolution = 8th international conference, evolution artificielle, EA 2007, tours, France, October 29-31, 2007, revised selected papers /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Learning and Education = First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Bioinformatics research and applications = fourth international symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. proceedings /
by:
(書目-語言資料,印刷品)
DNA Computing = 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods in Systems Biology = First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
From Animals to Animats 10 = 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Neural Information Processing = 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing ICAISC 2008 = 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata = 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Immune Systems = 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computing = 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Neural Networks - ICANN 2008 = 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics = 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
CONCUR 2008 - Concurrency Theory = 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Artificial neural networks - ICANN 2008 = 18th international conference, Prague, Czech Republic, September 3-6, 2008; proceedings, Part I /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
The challenge of anticipation = a unifying framework for the analysis and design of artificial cognitive systems /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2008 = 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence : theories, models and applications = 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Recent advances in reinforcement learning = 8th European workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30 - July 3, 2008, revised and selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Algorithms and architectures for parallel processing = 10th international conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Unconventional computation = 9th international conference, UC 2010, Tokyo, Japan, June 21-25, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Rough sets and current trends in computing = 7th international conference, RSCTC 2010, Warsaw, Poland, June 28-30, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Learning and intelligent optimization = second international conference, LION 2007 II, Trento, Italy, December 8-12, 2007. selected papers /
by:
(書目-語言資料,印刷品)
Membrane computing = 9th international workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008 ; revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Independent component analysis and signal separation = 8th International Conference, ICA 2009, Paraty, Brazil, March 15 - 18, 2009 proceedings /
by:
(書目-語言資料,印刷品)
Creating brain-like intelligence = from basic principles to complex intelligent systems /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Membrane computing = 10th international workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Multiple classifier systems = 9th international workshop, MCS 2010, Cairo, Egypt, April 7-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Reconfigurable computing = architectures, tools and applications : 6th international symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Applications and theory of Petri nets = 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Artifical evolution = 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fun with algorithms = 5th international conference, FUN 2010, Ischia, Italy, June 2-4, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010.. Part II /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 10th international conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010.. Part I /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2010 = 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2010 = 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Advances in swarm intelligence = first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Advances in swarm intelligence = first international conference, ICSI 2010, Beijing, China, June 12-15, 2010 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Algorithm theory - SWAT 2010 = 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Learning and intelligent optimization = 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010 : selected papers /
by:
(書目-語言資料,印刷品)
Hybrid artificial intelligence systems = 5th international conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Programs, proofs, processes = 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial immune systems = 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part II /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I /
by:
(書目-語言資料,印刷品)
Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in computer games = 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009 : revised papers /
by:
(書目-語言資料,印刷品)
Transactions on computational systems biology XII = special issue on modeling methodologies /
by:
(書目-語言資料,印刷品)
Advances in intelligent data analysis IX = 9th International Symposium, IDA 2010, Tucson, AZ, USA, May 19-21, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Research in computational molecular biology = 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2010 = theoretical informatics : 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Evolutionary computation in combinatorial optimization = 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming = 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Concurrency, compositionality, and correctness = essays in honor of Willem-Paul de Roever /
by:
(書目-語言資料,印刷品)
Medical imaging and augmented reality = 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Grammatical inference = theoretical results and applications : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Security-enriched urban computing and smart grid = First International Conference, SUComS 2010, Daejeon, Korea, September 15-17, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Modeling decisions for artificial intelligence = 7th international conference, MDAI 2010, Perpignan, France, October 27-29, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part I /
by:
(書目-語言資料,印刷品)
Artificial intelligence applications and innovations = 6th IFIP WG 12.5 international conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming - CP 2010 = 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Algorithmic learning theory = 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Algorithms in bioinformatics = 10th International Workshop, WABI 2010, Liverpool, UK, September 6-8, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Swarm intelligence = 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Evolvable systems = from biology to hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Advanced computer science and information technology = second international conference, AST 2010, Miyazaki, Japan, June 23-25, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Trends in intelligent robotics = 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Computational intelligence and intelligent systems = 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Ubiquitous computing and multimedia applications = International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2010 = 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Economics of grids, clouds, systems, and services = 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Artificial neural networks - ICANN 2010 = 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2010 = 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Contemporary computing = third International Conference, IC3 2010, Noida, India, August 9-11, 2010, proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Contemporary computing = third International Conference, IC3 2010, Noida, India, August 9-11, 2010, proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Hybrid metaheuristics = 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Rough set and knowledge technology = 5th international conference, RSKT 2010, Beijing, China, October 15-17, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and cognitive science = 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, revised selected papers /
by:
(書目-語言資料,印刷品)
Artificial intelligence and computational intelligence = international conference, AICI 2010, Sanya, China, October 23-24, 2010 : proceedings, part II /
by:
(書目-語言資料,印刷品)
Simulated evolution and learning = 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Neural information processing = theory and algorithms : 17th International Conference, ICONIP 2010, Sydney, Australia, November 22-25, 2010, proceedings.. Part I/
by:
(書目-語言資料,印刷品)
Computational systems-biology and bioinformatics = First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010, proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings /
by:
(書目-電子資源)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(書目-電子資源)
Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers /
by:
(書目-電子資源)
Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers /
by:
(書目-電子資源)
Language, games, and evolution = trends in current research on language and game theory /
by:
(書目-電子資源)
Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers /
by:
(書目-電子資源)
Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements /
by:
(書目-電子資源)
Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-電子資源)
Intelligent computing technology = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012 : proceedings /
by:
(書目-電子資源)
Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(書目-電子資源)
LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
by:
(書目-電子資源)
Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
by:
(書目-電子資源)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(書目-電子資源)
Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : proceedings /
by:
(書目-電子資源)
Contemporary computing = 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012 : proceedings /
by:
(書目-電子資源)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(書目-電子資源)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(書目-電子資源)
Swarm intelligence = 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings /
by:
(書目-電子資源)
Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings /
by:
(書目-電子資源)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(書目-電子資源)
Algorithmic learning theory = 23rd International Conference, ALT 2012, Lyon, France, October 29-31, 2012 : proceedings /
by:
(書目-電子資源)
Transactions on computational systems biology XIV = special issue on computational models for cell processes /
by:
(書目-電子資源)
Hybrid metaheuristics = 5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings /
by:
(書目-電子資源)
Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(書目-電子資源)
Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
by:
(書目-電子資源)
Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings /
by:
(書目-電子資源)
FM 2014 = Formal methods : 19th International Symposium, Singapore, May 12-16, 2014 : proceedings /
by:
(書目-電子資源)
Categories and types in logic, language, and physics = essays dedicated to Jim Lambek on the occasion of his 90th birthday /
by:
(書目-電子資源)
Quantum interaction = 7th International Conference, QI 2013, Leicester, UK, July 25-27, 2013 : selected papers /
by:
(書目-電子資源)
Reversible computation = 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
by:
(書目-電子資源)
Computing and combinatorics = 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
by:
(書目-電子資源)
Computers and games = 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013 : revised selected papers /
by:
(書目-電子資源)
Intelligent computing theory = 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings /
by:
(書目-電子資源)
Hybrid metaheuristics = 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014 : proceedings /
by:
(書目-電子資源)
Genetic programming = 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
by:
(書目-電子資源)
Web reasoning and rule systems = 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014 : proceedings /
by:
(書目-電子資源)
Reachability problems = 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(書目-電子資源)
Brain-inspired computing = International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013 : revised selected papers /
by:
(書目-電子資源)
Advances in image and graphics technologies = Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014 : proceedings /
by:
(書目-電子資源)
Social media processing = Third National Conference, SMP 2014, Beijing, China, November 1-2, 2014 : proceedings /
by:
(書目-電子資源)
Machine translation = 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014 : proceedings /
by:
(書目-電子資源)
Computing with new resources = essays dedicated to Jozef Gruska on the occasion of his 80th birthday /
by:
(書目-電子資源)
Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(書目-電子資源)
Multi-agent-based simulation XV = International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
by:
(書目-電子資源)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(書目-電子資源)
Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015 : proceedings /
by:
(書目-電子資源)
FM 2015 = formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(書目-電子資源)
Descriptional complexity of formal systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Pattern recognition and machine intelligence = 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Evolving computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-28, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Finite difference methods, theory and applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in data mining = applications and theoretical aspects : 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Cellular automata and discrete complex systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(書目-電子資源)
Web reasoning and rule systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
by:
(書目-電子資源)
Towards autonomous robotic systems = 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015 : proceedings /
by:
(書目-電子資源)
Social media processing = 4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015 : proceedings /
by:
(書目-電子資源)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(書目-電子資源)
Transactions on computational collective intelligence XXI = special issue on keyword search and big data /
by:
(書目-電子資源)
LATIN 2016 = theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings /
by:
(書目-電子資源)
Membrane computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
by:
(書目-電子資源)
Genetic programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
by:
(書目-電子資源)
Hybrid metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
by:
(書目-電子資源)
Towards autonomous robotic systems = 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016 : proceedings /
by:
(書目-電子資源)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(書目-電子資源)
Artificial general intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016 : proceedings /
by:
(書目-電子資源)
Developments in language theory = 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
by:
(書目-電子資源)
Swarm intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings /
by:
(書目-電子資源)
Web reasoning and rule systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
(書目-電子資源)
Descriptive set theoretic methods in automata theory = decidability and topological complexity /
by:
(書目-電子資源)
Transactions on large-scale data- and knowledge-centered systems XXVII = special issue on big data for complex urban systems /
by:
(書目-電子資源)
Computer vision and graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016 : proceedings /
by:
(書目-電子資源)
Rough sets = International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016 : proceedings /
by:
(書目-電子資源)
Social media processing = 5th National Conference, SMP 2016, Nanchang, China, October 29-30, 2016 : proceedings /
by:
(書目-電子資源)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(書目-電子資源)
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(書目-電子資源)
Web and internet economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016 : proceedings /
by:
(書目-電子資源)
Machine translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016 : revised selected papers /
by:
(書目-電子資源)
Genetic programming = 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017 : proceedings /
by:
(書目-電子資源)
Membrane computing = 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016 : rvised selected papers /
by:
(書目-電子資源)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(書目-電子資源)
Exploring the dataflow supercomputing paradigm = example algorithms for selected applications /
by:
(書目-電子資源)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題