Computation by Abstract Devices.
概観
| 著作: | 284 作品に 282 出版物中に 282 言語 | |
|---|---|---|
タイトル
The relevance of the time domain to neural network models[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Membrane computing[electronic resource] :12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Mathematical modeling and computational science[electronic resource] :international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Building a national distributed e-Infrastructure - PL-Grid[electronic resource] :scientific and technical achievements /
…で:
(言語・文字資料 (印刷物))
Multi-agent-based simulation XII[electronic resource] :international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Parameterized and exact computation[electronic resource] :6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Reconfigurable computing[electronic resource] :architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Information processing in cells and tissues[electronic resource] :9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Hybrid artificial intelligent systems[electronic resource] :7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Hybrid artificial intelligent systems[electronic resource] :7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Evolutionary computation in combinatorial optimization[electronic resource] :12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Genetic programming[electronic resource] :15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Wireless communications and applications[electronic resource] :first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers /
…で:
(言語・文字資料 (印刷物))
LATIN 2012: Theoretical informatics[electronic resource] :10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Artificial intelligence and soft computing[electronic resource] :11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Artificial intelligence and soft computing[electronic resource] :11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Research in computational molecular biology[electronic resource] :16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Large-scale scientific computing[electronic resource] :8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
…で:
(言語・文字資料 (印刷物))
Recent advances in reinforcement learning[electronic resource] :9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
…で:
(言語・文字資料 (印刷物))
Fun with algorithms[electronic resource] :6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Artificial intelligence: Theories and applications[electronic resource] :7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
…で:
(言語・文字資料 (印刷物))
How the world computes[electronic resource] :Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in artificial intelligence - IBERAMIA 2012[electronic resource] :13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Transactions on petri nets and other models of concurrency VI[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Transactions on computational systems biology XIV[electronic resource] :special issue on computational models for cell processes /
…で:
(言語・文字資料 (印刷物))
Advances in artificial intelligence - SBIA 2008[electronic resource] :19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computational methods in systems biology[electronic resource] :6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Dynamic brain - from neural spikes to behaviors[electronic resource] :12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /
…で:
(言語・文字資料 (印刷物))
Hybrid metaheuristics[electronic resource] :5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Modeling decisions for artificial intelligence[electronic resource] :5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Multiobjective optimization[electronic resource] :interactive and evolutionary approaches /
…で:
(言語・文字資料 (印刷物))
Simulation, modeling, and programming for autonomous robots[electronic resource] :first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Stabilization, safety, and security of distributed systems[electronic resource] :10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Simulated evolution and learning[electronic resource] :9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
AI 2012[electronic resource] :advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Artificial evolution[electronic resource] :10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Quantum interaction[electronic resource] :6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Swarm, evolutionary, and memetic computing[electronic resource] :third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part IV /
…で:
(言語・文字資料 (印刷物))
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part III /
…で:
(言語・文字資料 (印刷物))
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part V /
…で:
(言語・文字資料 (印刷物))
Advances in computation and intelligence[electronic resource] :5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings /
…で:
(言語・文字資料 (印刷物))
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Engineering applications of neural networks[electronic resource] :13th International Conference, EANN 2012, London, UK, September 20-23, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Progress in cryptology - AFRICACRYPT 2014[electronic resource] :7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Horizons of the mind[electronic resource] :a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Artificial intelligence and soft computing[electronic resource] :13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Artificial intelligence and soft computing[electronic resource] :13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Hybrid artificial intelligence systems[electronic resource] :9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Developments in language theory[electronic resource] :18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in autonomous robotics systems[electronic resource] :15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Quantitative evaluation of systems[electronic resource] :11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Intelligent data engineering and automated learning - IDEAL 2014[electronic resource] :15th International Conference, Salamanca, Spain, September 10-12, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Adaptive and intelligent systems[electronic resource] :Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Genetic programming[electronic resource] :17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Evolutionary computation in combinatorial optimisation[electronic resource] :14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer science - theory and applications[electronic resource] :9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Hybrid metaheuristics[electronic resource] :9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Unconventional Computation and Natural Computation[electronic resource] :13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computing and combinatorics[electronic resource] :20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Implementation and application of automata[electronic resource] :19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
From animals to animats 13[electronic resource] :13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellon, Spain, July 22-25, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computers and games[electronic resource] :8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Intelligent computing in bioinformatics[electronic resource] :10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Intelligent computing theory[electronic resource] :10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Learning and intelligent optimization[electronic resource] :8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Multi-agent-based simulation XV[electronic resource] :International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Artificial life and computational intelligence[electronic resource] :first Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Quantum interaction[electronic resource] :8th International Conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Intelligent strategies for pathway mining[electronic resource] :model and pattern identification /
…で:
(言語・文字資料 (印刷物))
Wireless sensor networks[electronic resource] :11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory of cryptography[electronic resource] :11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
LATIN 2014[electronic resource] :theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Multi-agent-based simulation XIV[electronic resource] :International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Hybrid artificial intelligent systems[electronic resource] :10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Artificial intelligence and soft computing[electronic resource] :14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Artificial intelligence and soft computing[electronic resource] :14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-28, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Frontiers in algorithmics[electronic resource] :9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Pattern recognition and machine intelligence[electronic resource] :6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Finite difference methods, theory and applications[electronic resource] :6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in data mining[electronic resource] :applications and theoretical aspects : 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computing and combinatorics[electronic resource] :21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Cellular automata and discrete complex systems[electronic resource] :21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Swarm, evolutionary, and memetic computing[electronic resource] :5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
DNA computing and molecular programming[electronic resource] :21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Web reasoning and rule systems[electronic resource] :9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Implementation and application of automata[electronic resource] :20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Towards autonomous robotic systems[electronic resource] :16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Transactions on computational collective intelligence XVIII[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Intelligent computing theories and methodologies[electronic resource] :11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Intelligent computing theories and methodologies[electronic resource] :11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Quantitative evaluation of systems[electronic resource] :12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer analysis of images and patterns[electronic resource] :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Computer Analysis of Images and Patterns[electronic resource] :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Social media processing[electronic resource] :4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Information processing in cells and tissues[electronic resource] :10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms, probability, networks, and games[electronic resource] :scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Intelligent data engineering and automated learning - IDEAL 2015[electronic resource] :16th International Conference Wroclaw, Poland, October 14-16, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Statistical language and speech processing[electronic resource] :third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Large-scale scientific computing[electronic resource] :10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Text analysis pipelines[electronic resource] :towards ad-hoc large scale text mining /
…で:
(言語・文字資料 (印刷物))
Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Transactions on computational collective intelligence XIX[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Machine learning, optimization, and big data[electronic resource] :first International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Advanced methodologies for Bayesian networks[electronic resource] :second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Approximation and online algorithms[electronic resource] :13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Genetic programming[electronic resource] :19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Architecture of computing systems - ARCS 2016[electronic resource] :29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Evolutionary computation in combinatorial optimization[electronic resource] :16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Multi-agent based simulation XVI[electronic resource] :International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Artificial evolution[electronic resource] :12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Transactions on computational collective intelligence XXI[electronic resource] :special issue on keyword search and big data /
…で:
(言語・文字資料 (印刷物))
LATIN 2016[electronic resource] :theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Transactions on computational collective intelligence XXII[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Progress in cryptology - AFRICACRYPT 2016[electronic resource] :8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Conformal and probabilistic prediction with applications[electronic resource] :5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Image and signal processing[electronic resource] :7th International Conference, ICISP 2016, Trois-Rivieres, QC, Canada, May 30 - June 1, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Artificial Intelligence and Soft Computing[electronic resource] :15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Artificial intelligence and soft computing[electronic resource] :15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory of cryptography[electronic resource] :13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Artificial life and computational intelligence[electronic resource] :second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Quantum interaction[electronic resource] :9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Topics in theoretical computer science[electronic resource] :the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Transactions on large-scale data- and knowledge-centered systems XXIV[electronic resource] :special issue on database- and expert-systems applications /
…で:
(言語・文字資料 (印刷物))
Formal techniques for safety-critical systems[electronic resource] :4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Pursuit of the universal[electronic resource] :12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Towards autonomous robotic systems[electronic resource] :17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Artificial general intelligence[electronic resource] :9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Transactions on computational collective intelligence XXIII[electronic resource] /
…で:
(コンピュータ・メディア)
Implementation and application of automata[electronic resource] :21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Computing and combinatorics[electronic resource] :22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Developments in language theory[electronic resource] :20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Quantitative evaluation of systems[electronic resource] :13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
…で:
(コンピュータ・メディア)
DNA computing and molecular programming[electronic resource] :22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Swarm intelligence[electronic resource] :10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Web reasoning and rule systems[electronic resource] :10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Parallel problem solving from nature - PPSN XIV[electronic resource] :14th International Conference, Edinburgh, UK, September 17-21, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity /
…で:
(コンピュータ・メディア)
Behavioural models[electronic resource] :from modelling finite automata to analysing business processes /
…で:
(コンピュータ・メディア)
Computational methods in systems biology[electronic resource] :14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Artificial neural networks in pattern recognition[electronic resource] :7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Computer vision and graphics[electronic resource] :International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Neural information processing[electronic resource] :23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.Part II /
…で:
(コンピュータ・メディア)
Neural information processing[electronic resource] :23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.Part III /
…で:
(コンピュータ・メディア)
Neural information processing[electronic resource] :23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.Part IV /
…で:
(コンピュータ・メディア)
Neural information processing[electronic resource] :23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.Part I /
…で:
(コンピュータ・メディア)
Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Rough sets[electronic resource] :International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Transactions on large-scale data- and knowledge-centered systems XXVII[electronic resource] :special issue on big data for complex urban systems /
…で:
(コンピュータ・メディア)
Social media processing[electronic resource] :5th National Conference, SMP 2016, Nanchang, China, October 29-30, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Swarm, evolutionary, and mimetic computing[electronic resource] :6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in brain inspired cognitive systems[electronic resource] :8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Learning and intelligent optimization[electronic resource] :10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Web and internet economics[electronic resource] :12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
主題