Computation by Abstract Devices.
概要
| 作品: | 284 作品在 282 項出版品 282 種語言 | |
|---|---|---|
書目資訊
Membrane computing[electronic resource] :12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Building a national distributed e-Infrastructure - PL-Grid[electronic resource] :scientific and technical achievements /
by:
(書目-語言資料,印刷品)
Multi-agent-based simulation XII[electronic resource] :international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications[electronic resource] :6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Hybrid artificial intelligent systems[electronic resource] :7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Hybrid artificial intelligent systems[electronic resource] :7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Genetic programming[electronic resource] :15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2012: Theoretical informatics[electronic resource] :10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Large-scale scientific computing[electronic resource] :8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Recent advances in reinforcement learning[electronic resource] :9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Fun with algorithms[electronic resource] :6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence: Theories and applications[electronic resource] :7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency VI[electronic resource] /
by:
(書目-語言資料,印刷品)
Transactions on computational systems biology XIV[electronic resource] :special issue on computational models for cell processes /
by:
(書目-語言資料,印刷品)
Computational methods in systems biology[electronic resource] :6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Hybrid metaheuristics[electronic resource] :5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Modeling decisions for artificial intelligence[electronic resource] :5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Multiobjective optimization[electronic resource] :interactive and evolutionary approaches /
by:
(書目-語言資料,印刷品)
Simulated evolution and learning[electronic resource] :9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
AI 2012[electronic resource] :advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Quantum interaction[electronic resource] :6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part IV /
by:
(書目-語言資料,印刷品)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part III /
by:
(書目-語言資料,印刷品)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part V /
by:
(書目-語言資料,印刷品)
Advances in computation and intelligence[electronic resource] :5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Engineering applications of neural networks[electronic resource] :13th International Conference, EANN 2012, London, UK, September 20-23, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Horizons of the mind[electronic resource] :a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Hybrid artificial intelligence systems[electronic resource] :9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory[electronic resource] :18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in autonomous robotics systems[electronic resource] :15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Quantitative evaluation of systems[electronic resource] :11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Adaptive and intelligent systems[electronic resource] :Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming[electronic resource] :17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Hybrid metaheuristics[electronic resource] :9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics[electronic resource] :20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Computers and games[electronic resource] :8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Intelligent computing in bioinformatics[electronic resource] :10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computing theory[electronic resource] :10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Multi-agent-based simulation XV[electronic resource] :International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Quantum interaction[electronic resource] :8th International Conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Intelligent strategies for pathway mining[electronic resource] :model and pattern identification /
by:
(書目-語言資料,印刷品)
Wireless sensor networks[electronic resource] :11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of cryptography[electronic resource] :11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
LATIN 2014[electronic resource] :theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Multi-agent-based simulation XIV[electronic resource] :International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(書目-電子資源)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers in algorithmics[electronic resource] :9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics[electronic resource] :21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I /
by:
(書目-語言資料,印刷品)
Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Web reasoning and rule systems[electronic resource] :9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata[electronic resource] :20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Towards autonomous robotic systems[electronic resource] :16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on computational collective intelligence XVIII[electronic resource] /
by:
(書目-語言資料,印刷品)
Quantitative evaluation of systems[electronic resource] :12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Social media processing[electronic resource] :4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Large-scale scientific computing[electronic resource] :10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Text analysis pipelines[electronic resource] :towards ad-hoc large scale text mining /
by:
(書目-語言資料,印刷品)
Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advanced methodologies for Bayesian networks[electronic resource] :second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming[electronic resource] :19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Architecture of computing systems - ARCS 2016[electronic resource] :29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Multi-agent based simulation XVI[electronic resource] :International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Transactions on computational collective intelligence XXI[electronic resource] :special issue on keyword search and big data /
by:
(書目-語言資料,印刷品)
LATIN 2016[electronic resource] :theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Image and signal processing[electronic resource] :7th International Conference, ICISP 2016, Trois-Rivieres, QC, Canada, May 30 - June 1, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Theory of cryptography[electronic resource] :13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.Part II /
by:
(書目-語言資料,印刷品)
Quantum interaction[electronic resource] :9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Transactions on large-scale data- and knowledge-centered systems XXIV[electronic resource] :special issue on database- and expert-systems applications /
by:
(書目-語言資料,印刷品)
Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity /
by:
(書目-電子資源)
Behavioural models[electronic resource] :from modelling finite automata to analysing business processes /
by:
(書目-電子資源)
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in brain inspired cognitive systems[electronic resource] :8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Web and internet economics[electronic resource] :12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
主題