Computation by Abstract Devices.
Overview
| Works: | 284 works in 282 publications in 282 languages | |
|---|---|---|
Titles
The relevance of the time domain to neural network models[electronic resource] /
by:
(Language materials, printed)
Scale space and variational methods in computer vision[electronic resource] :third international conference, SSVM 2011, Ein-Gedi, Israel, May 29 - June 2, 2011 : revised selected papers /
by:
(Language materials, printed)
Membrane computing[electronic resource] :12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(Language materials, printed)
Computation, physics and beyond[electronic resource] :International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers /
by:
(Language materials, printed)
Algorithms for sensor systems[electronic resource] :7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers /
by:
(Language materials, printed)
Mathematical modeling and computational science[electronic resource] :international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Building a national distributed e-Infrastructure - PL-Grid[electronic resource] :scientific and technical achievements /
by:
(Language materials, printed)
Multi-agent-based simulation XII[electronic resource] :international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(Language materials, printed)
Technological innovation for value creation[electronic resource] :third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012 : proceedings /
by:
(Language materials, printed)
Parameterized and exact computation[electronic resource] :6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications[electronic resource] :6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(Language materials, printed)
Reconfigurable computing[electronic resource] :architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computational structures[electronic resource] :15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
Information processing in cells and tissues[electronic resource] :9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012 : proceedings /
by:
(Language materials, printed)
Hybrid artificial intelligent systems[electronic resource] :7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.Part II /
by:
(Language materials, printed)
Hybrid artificial intelligent systems[electronic resource] :7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.Part I /
by:
(Language materials, printed)
Evolutionary computation, machine learning and data mining in bioinformatics[electronic resource] :10th European Conference, EvoBIO 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Evolutionary computation in combinatorial optimization[electronic resource] :12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Genetic programming[electronic resource] :15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Evolutionary and biologically inspired music, sound, art and design[electronic resource] :first international conference, EvoMUSART 2012, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computation[electronic resource] :EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Wireless communications and applications[electronic resource] :first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers /
by:
(Language materials, printed)
LATIN 2012: Theoretical informatics[electronic resource] :10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and soft computing[electronic resource] :11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.Part I /
by:
(Language materials, printed)
Artificial intelligence and soft computing[electronic resource] :11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings.Part II /
by:
(Language materials, printed)
Swarm and evolutionary computation[electronic resource] :international symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings /
by:
(Language materials, printed)
Research in computational molecular biology[electronic resource] :16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : proceedings /
by:
(Language materials, printed)
Transactions on compuational collective intelligence VI[electronic resource] /
by:
(Language materials, printed)
Graph structures for knowledge representation and reasoning[electronic resource] :second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
by:
(Language materials, printed)
Large-scale scientific computing[electronic resource] :8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers /
by:
(Language materials, printed)
Recent advances in reinforcement learning[electronic resource] :9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
by:
(Language materials, printed)
Fun with algorithms[electronic resource] :6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence[electronic resource] :25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012 : proceedings /
by:
(Language materials, printed)
Artificial intelligence: Theories and applications[electronic resource] :7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings /
by:
(Language materials, printed)
Software service and application engineering[electronic resource] :essays dedicated to Bernd Kramer on the occasion of his 65th birthday /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Computational geometry[electronic resource] :XIV Spanish Meeting, EGC 2011, dedicated to Ferran Hurtado on the occasion of his 60th birthday Alcala de Henares, Spain, June 27-30, 2011 : revised selected papers /
by:
(Language materials, printed)
Advances in artificial intelligence - IBERAMIA 2012[electronic resource] :13th Ibero-American conference on AI, Cartagena de Indias, Colombia, November 13-16, 2012 : proceedings /
by:
(Language materials, printed)
Transactions on petri nets and other models of concurrency VI[electronic resource] /
by:
(Language materials, printed)
Transactions on computational systems biology XIV[electronic resource] :special issue on computational models for cell processes /
by:
(Language materials, printed)
Advances in artificial intelligence - SBIA 2008[electronic resource] :19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology[electronic resource] :6th international conference, CMSB 2008, Rostock, Germany, October 12-15, 2008 : proceedings /
by:
(Language materials, printed)
Dynamic brain - from neural spikes to behaviors[electronic resource] :12th International Summer School on Neural Networks, Erice, Italy, December 5-12, 2007 : revised lectures /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering II[electronic resource] :international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers /
by:
(Language materials, printed)
Hybrid metaheuristics[electronic resource] :5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings /
by:
(Language materials, printed)
Learning classifier systems[electronic resource] :10th international workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th international workshop, IWLCS 2007, London, UK, July 8, 2007 : revised selected papers /
by:
(Language materials, printed)
MICAI 2008[electronic resource] :advances in artificial intelligence : 7th Mexican international conference on Artificial Intelligence, Atizapan de Zaragoza, Mexico, October 27-31, 2008 : proceedings /
by:
(Language materials, printed)
Modeling decisions for artificial intelligence[electronic resource] :5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings /
by:
(Language materials, printed)
Multiobjective optimization[electronic resource] :interactive and evolutionary approaches /
by:
(Language materials, printed)
Simulation, modeling, and programming for autonomous robots[electronic resource] :first international conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008 : proceedings /
by:
(Language materials, printed)
Stabilization, safety, and security of distributed systems[electronic resource] :10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings /
by:
(Language materials, printed)
Theory of quantum computation, communication, and cryptography[electronic resource] :third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers /
by:
(Language materials, printed)
Trends in intelligent robotics, automation, and manufacturing[electronic resource] :first international conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012 : proceedings /
by:
(Language materials, printed)
Simulated evolution and learning[electronic resource] :9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings /
by:
(Language materials, printed)
AI 2012[electronic resource] :advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
by:
(Language materials, printed)
Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings /
by:
(Language materials, printed)
Artificial evolution[electronic resource] :10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers /
by:
(Language materials, printed)
Quantum interaction[electronic resource] :6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing[electronic resource] :third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings /
by:
(Language materials, printed)
Computational intelligence methods for bioinformatics and biostatistics[electronic resource] :8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 - July 2, 2011 : revised selected papers /
by:
(Language materials, printed)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part I /
by:
(Language materials, printed)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part IV /
by:
(Language materials, printed)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part II /
by:
(Language materials, printed)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part III /
by:
(Language materials, printed)
Neural information processing[electronic resource] :19th international conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012 : proceedings.Part V /
by:
(Language materials, printed)
Advances in computation and intelligence[electronic resource] :5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings /
by:
(Language materials, printed)
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part II /
by:
(Language materials, printed)
Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part I /
by:
(Language materials, printed)
Engineering applications of neural networks[electronic resource] :13th International Conference, EANN 2012, London, UK, September 20-23, 2012 : proceedings /
by:
(Language materials, printed)
ABZ 2014[electronic resource] :the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(Language materials, printed)
Progress in cryptology - AFRICACRYPT 2014[electronic resource] :7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014 : proceedings /
by:
(Language materials, printed)
Horizons of the mind[electronic resource] :a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
by:
(Language materials, printed)
Artificial intelligence and soft computing[electronic resource] :13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014 : proceedings.Part I /
by:
(Language materials, printed)
Artificial intelligence and soft computing[electronic resource] :13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014 : proceedings.Part II /
by:
(Language materials, printed)
Hybrid artificial intelligence systems[electronic resource] :9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014 : proceedings /
by:
(Language materials, printed)
Formal techniques for distributed objects, components, and systems[electronic resource] :34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
by:
(Language materials, printed)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(Language materials, printed)
Developments in language theory[electronic resource] :18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014 : proceedings /
by:
(Language materials, printed)
Advances in autonomous robotics systems[electronic resource] :15th Annual Conference, TAROS 2014, Birmingham, UK, September 1-3, 2014 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems[electronic resource] :12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Language materials, printed)
Quantitative evaluation of systems[electronic resource] :11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings /
by:
(Language materials, printed)
Intelligent data engineering and automated learning - IDEAL 2014[electronic resource] :15th International Conference, Salamanca, Spain, September 10-12, 2014 : proceedings /
by:
(Language materials, printed)
Artificial neural networks and machine learning - ICANN 2014[electronic resource] :24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014 : proceedings /
by:
(Language materials, printed)
Adaptive and intelligent systems[electronic resource] :Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014 : proceedings /
by:
(Language materials, printed)
Coalgebraic methods in computer science[electronic resource] :12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
by:
(Language materials, printed)
Genetic programming[electronic resource] :17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
by:
(Language materials, printed)
Evolutionary computation in combinatorial optimisation[electronic resource] :14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers /
by:
(Language materials, printed)
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
by:
(Language materials, printed)
Computer science - theory and applications[electronic resource] :9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings /
by:
(Language materials, printed)
Hybrid metaheuristics[electronic resource] :9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014 : proceedings /
by:
(Language materials, printed)
Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
(Language materials, printed)
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I /
by:
(Language materials, printed)
Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II /
by:
(Language materials, printed)
Unconventional Computation and Natural Computation[electronic resource] :13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014 : proceedings /
by:
(Language materials, printed)
Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings /
by:
(Language materials, printed)
Computing and combinatorics[electronic resource] :20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata[electronic resource] :19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
by:
(Language materials, printed)
From animals to animats 13[electronic resource] :13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellon, Spain, July 22-25, 2014 : proceedings /
by:
(Language materials, printed)
Computational intelligence methods for bioinformatics and biostatistics[electronic resource] :10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013 : revised selected papers /
by:
(Language materials, printed)
Computers and games[electronic resource] :8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013 : revised selected papers /
by:
(Language materials, printed)
Intelligent computing in bioinformatics[electronic resource] :10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings /
by:
(Language materials, printed)
Intelligent computing theory[electronic resource] :10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings /
by:
(Language materials, printed)
Learning and intelligent optimization[electronic resource] :8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014 : revised selected papers /
by:
(Language materials, printed)
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
by:
(Language materials, printed)
Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings /
by:
(Language materials, printed)
From programs to systems - the systems perspective in computing[electronic resource] :ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings /
by:
(Language materials, printed)
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Multi-agent-based simulation XV[electronic resource] :International Workshop, MABS 2014, Paris, France, May 5-6, 2014 : revised selected papers /
by:
(Language materials, printed)
Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
(Language materials, printed)
Artificial life and computational intelligence[electronic resource] :first Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015 : proceedings /
by:
(Language materials, printed)
Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(Language materials, printed)
Quantum interaction[electronic resource] :8th International Conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014 : revised selected papers /
by:
(Language materials, printed)
Intelligent strategies for pathway mining[electronic resource] :model and pattern identification /
by:
(Language materials, printed)
Wireless sensor networks[electronic resource] :11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
by:
(Language materials, printed)
Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(Language materials, printed)
Theory of cryptography[electronic resource] :11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings /
by:
(Language materials, printed)
LATIN 2014[electronic resource] :theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings /
by:
(Language materials, printed)
Multi-agent-based simulation XIV[electronic resource] :International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013 : revised selected papers /
by:
(Language materials, printed)
Foundations of software science and computation structures[electronic resource] :17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Programming languages and systems[electronic resource] :23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems[electronic resource] :20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Bioinspired computation in artificial systems[electronic resource] :International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015 : proceedings.Part II /
by:
(Electronic resources)
Artificial computation in biology and medicine[electronic resource] :International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015 : proceedings.Part I /
by:
(Electronic resources)
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
(Electronic resources)
Hybrid artificial intelligent systems[electronic resource] :10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015 : proceedings /
by:
(Electronic resources)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and soft computing[electronic resource] :14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Artificial intelligence and soft computing[electronic resource] :14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-28, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Frontiers in algorithmics[electronic resource] :9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015 : proceedings /
by:
(Language materials, printed)
Pattern recognition and machine intelligence[electronic resource] :6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015 : proceedings /
by:
(Language materials, printed)
Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
(Language materials, printed)
Finite difference methods, theory and applications[electronic resource] :6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers /
by:
(Language materials, printed)
Computer science - theory and applications[electronic resource] :10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015 : proceedings /
by:
(Language materials, printed)
Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings /
by:
(Language materials, printed)
Advances in data mining[electronic resource] :applications and theoretical aspects : 15th Industrial Conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015 : proceedings /
by:
(Language materials, printed)
Computing and combinatorics[electronic resource] :21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Cellular automata and discrete complex systems[electronic resource] :21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Swarm, evolutionary, and memetic computing[electronic resource] :5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers /
by:
(Language materials, printed)
Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(Language materials, printed)
Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(Language materials, printed)
DNA computing and molecular programming[electronic resource] :21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015 : proceedings /
by:
(Language materials, printed)
Web reasoning and rule systems[electronic resource] :9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015 : proceedings /
by:
(Language materials, printed)
Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(Language materials, printed)
Implementation and application of automata[electronic resource] :20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings /
by:
(Language materials, printed)
Towards autonomous robotic systems[electronic resource] :16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015 : proceedings /
by:
(Language materials, printed)
Transactions on computational collective intelligence XVIII[electronic resource] /
by:
(Language materials, printed)
Unconventional computation and natural computation[electronic resource] :14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015 : proceedings /
by:
(Language materials, printed)
Intelligent computing theories and methodologies[electronic resource] :11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Intelligent computing theories and methodologies[electronic resource] :11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Quantitative evaluation of systems[electronic resource] :12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
by:
(Language materials, printed)
Modelling and simulation for autonomous systems[electronic resource] :second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Computer analysis of images and patterns[electronic resource] :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Computer Analysis of Images and Patterns[electronic resource] :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Social media processing[electronic resource] :4th National Conference, SMP 2015, Guangzhou, China, November 16-17, 2015 : proceedings /
by:
(Language materials, printed)
Information processing in cells and tissues[electronic resource] :10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015 : proceedings /
by:
(Language materials, printed)
Computational methods in systems biology[electronic resource] :13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015 : proceedings /
by:
(Language materials, printed)
Algorithms, probability, networks, and games[electronic resource] :scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday /
by:
(Language materials, printed)
AI*IA 2015 Advances in artificial intelligence[electronic resource] :XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015 : proceedings /
by:
(Language materials, printed)
Computational intelligence methods for bioinformatics and biostatistics[electronic resource] :11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014 : revised selected papers /
by:
(Language materials, printed)
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence[electronic resource] :16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 : proceedings /
by:
(Language materials, printed)
Intelligent data engineering and automated learning - IDEAL 2015[electronic resource] :16th International Conference Wroclaw, Poland, October 14-16, 2015 : proceedings /
by:
(Language materials, printed)
Statistical language and speech processing[electronic resource] :third International Conference, SLSP 2015, Budapest, Hungary, November 24-26, 2015 : proceedings /
by:
(Language materials, printed)
Large-scale scientific computing[electronic resource] :10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers /
by:
(Language materials, printed)
Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings /
by:
(Language materials, printed)
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(Language materials, printed)
Text analysis pipelines[electronic resource] :towards ad-hoc large scale text mining /
by:
(Language materials, printed)
Hybrid systems biology[electronic resource] :second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers /
by:
(Language materials, printed)
Machine learning meets medical imaging[electronic resource] :first International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015 : revised selected papers /
by:
(Language materials, printed)
Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers /
by:
(Language materials, printed)
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Language materials, printed)
Algorithms for sensor systems[electronic resource] :11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
by:
(Language materials, printed)
Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers /
by:
(Language materials, printed)
Transactions on computational collective intelligence XIX[electronic resource] /
by:
(Language materials, printed)
Transactions on computational collective intelligence XX[electronic resource] /
by:
(Language materials, printed)
Machine learning, optimization, and big data[electronic resource] :first International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015 : revised selected papers /
by:
(Language materials, printed)
Advanced methodologies for Bayesian networks[electronic resource] :second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015 : proceedings /
by:
(Language materials, printed)
Approximation and online algorithms[electronic resource] :13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
(Language materials, printed)
Directed algebraic topology and concurrency[electronic resource] /
by:
(Language materials, printed)
Genetic programming[electronic resource] :19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
by:
(Language materials, printed)
Architecture of computing systems - ARCS 2016[electronic resource] :29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings /
by:
(Language materials, printed)
Evolutionary computation in combinatorial optimization[electronic resource] :16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings /
by:
(Language materials, printed)
Multi-agent based simulation XVI[electronic resource] :International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015 : revised selected papers /
by:
(Language materials, printed)
Artificial evolution[electronic resource] :12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015 : revised selected papers /
by:
(Language materials, printed)
Programming languages and systems[electronic resource] :25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Transactions on computational collective intelligence XXI[electronic resource] :special issue on keyword search and big data /
by:
(Language materials, printed)
LATIN 2016[electronic resource] :theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings /
by:
(Language materials, printed)
Transactions on computational collective intelligence XXII[electronic resource] /
by:
(Language materials, printed)
Foundations of software science and computation structures[electronic resource] :19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Progress in cryptology - AFRICACRYPT 2016[electronic resource] :8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016 : proceedings /
by:
(Language materials, printed)
Mathematical aspects of computer and information sciences[electronic resource] :6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers /
by:
(Language materials, printed)
Conformal and probabilistic prediction with applications[electronic resource] :5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems[electronic resource] :22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Transactions on computational science XXVII[electronic resource] /
by:
(Language materials, printed)
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(Language materials, printed)
Image and signal processing[electronic resource] :7th International Conference, ICISP 2016, Trois-Rivieres, QC, Canada, May 30 - June 1, 2016 : proceedings /
by:
(Language materials, printed)
Advances in artificial intelligence[electronic resource] :29th Canadian Conference on Artificial Intelligence, Canadian AI 2016, Victoria, BC, Canada, May 31 - June 3, 2016 : proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing[electronic resource] :15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016 : proceedings.Part I /
by:
(Language materials, printed)
Artificial intelligence and soft computing[electronic resource] :15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016 : proceedings.Part II /
by:
(Language materials, printed)
Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
by:
(Language materials, printed)
Theory of cryptography[electronic resource] :13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.Part II /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
by:
(Language materials, printed)
Artificial life and computational intelligence[electronic resource] :second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016 : proceedings /
by:
(Language materials, printed)
Quantum interaction[electronic resource] :9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015 : revised selected papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Transactions on large-scale data- and knowledge-centered systems XXIV[electronic resource] :special issue on database- and expert-systems applications /
by:
(Language materials, printed)
Formal techniques for safety-critical systems[electronic resource] :4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015 : revised selected papers /
by:
(Language materials, printed)
Language and automata theory and applications[electronic resource] :10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
by:
(Language materials, printed)
Cellular automata and discrete complex systems[electronic resource] :22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings /
by:
(Electronic resources)
Pursuit of the universal[electronic resource] :12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
(Electronic resources)
Coalgebraic Methods in Computer Science[electronic resource] :13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers /
by:
(Electronic resources)
Towards autonomous robotic systems[electronic resource] :17th Annual Conference, TAROS 2016, Sheffield, UK, June 26-July 1, 2016 : proceedings /
by:
(Electronic resources)
Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Electronic resources)
Unconventional computation and natural computation[electronic resource] :15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016 : proceedings /
by:
(Electronic resources)
Artificial general intelligence[electronic resource] :9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016 : proceedings /
by:
(Electronic resources)
Transactions on computational collective intelligence XXIII[electronic resource] /
by:
(Electronic resources)
Implementation and application of automata[electronic resource] :21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
(Electronic resources)
Intelligent computing theories and technology[electronic resource] :12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.Part I /
by:
(Electronic resources)
Intelligent computing theories and technology[electronic resource] :12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.Part II /
by:
(Electronic resources)
Computing and combinatorics[electronic resource] :22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings /
by:
(Electronic resources)
Trends and applications in knowledge discovery and data mining[electronic resource] :PAKDD 2016 Workshops, BDM, MLSDA, PACC, WDMBF, Auckland, New Zealand, April 19, 2016 : revised selected papers /
by:
(Electronic resources)
Computational intelligence methods for bioinformatics and biostatistics[electronic resource] :12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015 : revised selected papers /
by:
(Electronic resources)
Developments in language theory[electronic resource] :20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems[electronic resource] :13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
by:
(Electronic resources)
From animals to animats 14[electronic resource] :14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016 : proceedings /
by:
(Electronic resources)
DNA computing and molecular programming[electronic resource] :22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings /
by:
(Electronic resources)
Cellular automata[electronic resource] :12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016 : proceedings /
by:
(Electronic resources)
Swarm intelligence[electronic resource] :10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings /
by:
(Electronic resources)
Artificial neural networks and machine learning - ICANN 2016[electronic resource] :25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016 : proceedings.Part I /
by:
(Electronic resources)
Artificial neural networks and machine learning - ICANN 2016[electronic resource] :25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016 : proceedings.Part II /
by:
(Electronic resources)
Formal modeling and analysis of timed systems[electronic resource] :14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(Electronic resources)
Web reasoning and rule systems[electronic resource] :10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security[electronic resource] :SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XIV[electronic resource] :14th International Conference, Edinburgh, UK, September 17-21, 2016 : proceedings /
by:
(Electronic resources)
Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity /
by:
(Electronic resources)
Formal grammar[electronic resource] :20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, revised selected papers. FG 2016, Bozen, Italy, August 2016 : proceedings /
by:
(Electronic resources)
Behavioural models[electronic resource] :from modelling finite automata to analysing business processes /
by:
(Electronic resources)
Advances in artificial intelligence[electronic resource] :17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016 : proceedings /
by:
(Electronic resources)
Computational methods in systems biology[electronic resource] :14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016 : proceedings /
by:
(Electronic resources)
Statistical language and speech processing[electronic resource] :4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016 : proceedings /
by:
(Electronic resources)
Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
Artificial neural networks in pattern recognition[electronic resource] :7th IAPR TC3 Workshop, ANNPR 2016, Ulm, Germany, September 28-30, 2016 : proceedings /
by:
(Electronic resources)
Intelligent data engineering and automated learning - IDEAL 2016[electronic resource] :17th International Conference, Yangzhou, China, October 12-14, 2016 : proceedings /
by:
(Electronic resources)
Computer vision and graphics[electronic resource] :International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
Neural information processing[electronic resource] :23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.Part II /
by:
(Electronic resources)
Neural information processing[electronic resource] :23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.Part III /
by:
(Electronic resources)
Neural information processing[electronic resource] :23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.Part IV /
by:
(Electronic resources)
Neural information processing[electronic resource] :23rd International Conference, ICONIP 2016, Kyoto, Japan, October 16-21, 2016 : proceedings.Part I /
by:
(Electronic resources)
Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings /
by:
(Electronic resources)
Rough sets[electronic resource] :International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016 : proceedings /
by:
(Electronic resources)
Transactions on large-scale data- and knowledge-centered systems XXVII[electronic resource] :special issue on big data for complex urban systems /
by:
(Electronic resources)
Transactions on computational collective intelligence XXIV[electronic resource] /
by:
(Electronic resources)
Social media processing[electronic resource] :5th National Conference, SMP 2016, Nanchang, China, October 29-30, 2016 : proceedings /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation[electronic resource] :foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
(Electronic resources)
Modelling and simulation for autonomous systems[electronic resource] :third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers /
by:
(Electronic resources)
Swarm, evolutionary, and mimetic computing[electronic resource] :6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers /
by:
(Language materials, printed)
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(Language materials, printed)
AI*IA 2016 advances in artificial intelligence[electronic resource] :XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016 : proceedings /
by:
(Language materials, printed)
Algorithm engineering[electronic resource] :selected results and surveys /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings /
by:
(Language materials, printed)
Advances in brain inspired cognitive systems[electronic resource] :8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016 : proceedings /
by:
(Language materials, printed)
Learning and intelligent optimization[electronic resource] :10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers /
by:
(Language materials, printed)
Leveraging applications of formal methods, verification, and validation[electronic resource] :6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers /
by:
(Language materials, printed)
Web and internet economics[electronic resource] :12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016 : proceedings /
by:
(Language materials, printed)
Machine translation[electronic resource] :12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016 : revised selected papers /
by:
(Language materials, printed)
Subjects