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