Algorithm Analysis and Problem Complexity.

Complex scheduling[electronic resource] / by: (Language materials, printed)

Computational complexity[electronic resource] :theory, techniques, and applications / by: (Language materials, printed)

Design and analysis of approximation algorithms[electronic resource] / by: (Language materials, printed)

Graph drawing[electronic resource] :19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (Language materials, printed)

Creating new medical ontologies for image annotation[electronic resource] :a case study / 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)

RFID: Security and privacy[electronic resource] :7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011 : revised selected papers / by: (Language materials, printed)

Mathematical and engineering methods in computer science[electronic resource] :7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Distributed computing and networking[electronic resource] :13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / by: (Language materials, printed)

Theory of security and applications[electronic resource] :Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / by: (Language materials, printed)

SOFSEM 2012[electronic resource] :theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012 : proceedings / by: (Language materials, printed)

Foundations and practice of security[electronic resource] :4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / by: (Language materials, printed)

Approximation algorithms and semidefinite programming[electronic resource] / by: (Language materials, printed)

Financial cryptography and data security[electronic resource] :15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 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)

Information security applications[electronic resource] :12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011 : revised selected papers / by: (Language materials, printed)

Topics in Cryptology - CT-RSA 2012[electronic resource] :the Cryptographers' Track at the RSA Conference 2012, San Francisco, CA, USA, February 27 - March 2, 2012 : proceedings / by: (Language materials, printed)

Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II / by: (Language materials, printed)

Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part I / by: (Language materials, printed)

Wireless sensor networks[electronic resource] :9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / 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)

Partially supervised learning[electronic resource] :first IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 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)

Cryptography and security[electronic resource] :from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday / 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)

Selected areas in cryptography[electronic resource] :18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011 : revised selected papers / by: (Language materials, printed)

Adaptive and learning agents[electronic resource] :international workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011 : revised selected papers / by: (Language materials, printed)

Transactions on computational science XV[electronic resource] :special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / by: (Language materials, printed)

Latent variable analysis and signal separation[electronic resource] :10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings / by: (Language materials, printed)

e-Business and telecommunications[electronic resource] :7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010 : revised selected papers / by: (Language materials, printed)

Advances in computer science and information technology[electronic resource] :computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.Part III / by: (Language materials, printed)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design[electronic resource] :18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers / 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 information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (Language materials, printed)

Intelligent information and database systems[electronic resource] :4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.Part I / by: (Language materials, printed)

Intelligent information and database systems[electronic resource] :4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.Part II / by: (Language materials, printed)

Intelligent information and database systems[electronic resource] :4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.Part III / by: (Language materials, printed)

Passive and active measurement[electronic resource] :13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings / by: (Language materials, printed)

Principles of security and trust[electronic resource] :first international conference, POST 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)

Compiler construction[electronic resource] :21st International Conference, CC 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)

Transactions on Data Hiding and Multimedia Security VII[electronic resource] / by: (Language materials, printed)

Theory of cryptography[electronic resource] :9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012 : proceedings / by: (Language materials, printed)

Critical infrastructure protection[electronic resource] :information infrastructure models, analysis, and defense / 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)

Transactions on petri nets and other models of concurrency V[electronic resource] / by: (Language materials, printed)

Approximation and online algorithms[electronic resource] :9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / 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)

Wireless communications and applications[electronic resource] :first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers / by: (Language materials, printed)

Advances in cryptology - EUROCRYPT 2012[electronic resource] :31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012 : proceedings / by: (Language materials, printed)

Advanced computing, networking and security[electronic resource] :International Conference, ADCONS 2011, Surathkal, India, December 16-18, 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)

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)

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (Language materials, printed)

Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / 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)

Frontiers in algorithmics and algorithmic aspects in information and management[electronic resource] :joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (Language materials, printed)

Euro-Par 2011: Parallel processing workshops[electronic resource] :CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.Part I / by: (Language materials, printed)

Euro-Par 2011: Parallel processing workshops[electronic resource] :CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.Part II / by: (Language materials, printed)

Constructive side-channel analysis and secure design[electronic resource] :Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012 : proceedings / by: (Language materials, printed)

Advances in computer science and information technology[electronic resource] :Networks and Communications : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.Part I / by: (Language materials, printed)

Advances in computer science and information technology[electronic resource] :computer science and engineering : second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012 : proceedings.Part II / by: (Language materials, printed)

Emerging trends and applications in information communication technologies[electronic resource] :second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012 : proceedings / by: (Language materials, printed)

Information and business intelligence[electronic resource] :International Conference, IBI 2011, Chongqing, China, December 23-25, 2011 : proceedings.Part I / by: (Language materials, printed)

Information and business intelligence[electronic resource] :International Conference, IBI 2011, Chongqing, China, December 23-25, 2011 : proceedings.Part II / by: (Language materials, printed)

Ad hoc networks[electronic resource] :third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers / by: (Language materials, printed)

Mobile and ubiquitous Systems: Computing, networking, and services[electronic resource] :7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010 : revised selected papers / by: (Language materials, printed)

Quality, reliability, security and robustness in heterogeneous networks[electronic resource] :7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010 : revised selected papers / by: (Language materials, printed)

Mobile lightweight wireless systems[electronic resource] :third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / by: (Language materials, printed)

Broadband communications, networks, and systems[electronic resource] :7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers / by: (Language materials, printed)

Guide to FPGA implementation of arithmetic functions[electronic resource] / by: (Language materials, printed)

Sparsity[electronic resource] :graphs, structures, and algorithms / by: (Language materials, printed)

Game theory for networks[electronic resource] : by: (Language materials, printed)

Mobile networks and management[electronic resource] :third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised selected papers / by: (Language materials, printed)

Mobile and ubiquitous systems: Computing, networking, and services[electronic resource] :8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised selected papers / 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)

Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / by: (Language materials, printed)

Public key infrastructures, services and applications[electronic resource] :8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised selected papers / by: (Language materials, printed)

Integration of AI and OR Techniques in contraint programming for combinatorial optimzation problems[electronic resource] :9th International Conference, CPAIOR 2012, Nantes, France, May 28-June1, 2012 : proceedings / 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)

Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 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)

Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (Language materials, printed)

NETWORKING 2012 workshops[electronic resource] :International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012 : proceedings / by: (Language materials, printed)

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part I / by: (Language materials, printed)

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part II / by: (Language materials, printed)

Public key cryptography - PKC 2012[electronic resource] :15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012 : proceedings / by: (Language materials, printed)

Bioinformatics research and applications[electronic resource] :8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings / by: (Language materials, printed)

Advances in knowledge discovery and data mining[electronic resource] :16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012 : proceedings.Part I / by: (Language materials, printed)

Advances in knowledge discovery and data mining[electronic resource] :16th Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur, Malaysia, May 29-June 1, 2012 : proceedings.Part II / 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)

Facing the multicore - Challenge II[electronic resource] :aspects of new paradigms and technologies in parallel computing / 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)

Dependable networks and services[electronic resource] :6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / by: (Language materials, printed)

Advances in grid and pervasive computing[electronic resource] :7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications[electronic resource] :19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / by: (Language materials, printed)

Experimental algorithms[electronic resource] :11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings / 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)

Network inference in molecular biology[electronic resource] :a hands-on framework / by: (Language materials, printed)

Computer applications for modeling, simulation, and automobile[electronic resource] :international conferences, MAS and ASNT 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (Language materials, printed)

Green and smart technology with sensor applications[electronic resource] :international conferences, GST and SIA 2012 Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (Language materials, printed)

Computer applications for security, control and system engineering[electronic resource] :International Conferences, SecTech, CA, CES3 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings / by: (Language materials, printed)

Advances in information and computer security[electronic resource] :7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012 : proceedings / by: (Language materials, printed)

Pattern recognition in bioinformatics[electronic resource] :7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 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)

Decision and game theory for security[electronic resource] :third international conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012 : proceedings / by: (Language materials, printed)

Combinatorial Image Analaysis[electronic resource] :15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings / by: (Language materials, printed)

Advances in Cryptology - ASIACRYPT 2012[electronic resource] :18th international conference on the theory and application of cryptology and information security, Beijing, China, December 2-6, 2012 : proceedings / by: (Language materials, printed)

Multiple access communications[electronic resource] :5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings / by: (Language materials, printed)

Brain informatics[electronic resource] :international conference, BI 2012, Macau, China, December 4-7, 2012 : proceedings / by: (Language materials, printed)

Middleware 2012[electronic resource] :ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / by: (Language materials, printed)

Neural networks[electronic resource] :tricks of the trade / by: (Language materials, printed)

Information security applications[electronic resource] :13th international workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012 : revised selected papers / 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)

Applications of graph transformations with industrial relevance[electronic resource] :third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers / by: (Language materials, printed)

Comparative genomics[electronic resource] :international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings / by: (Language materials, printed)

Computational geometry and graph theory[electronic resource] :international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers / by: (Language materials, printed)

Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / by: (Language materials, printed)

Hybrid metaheuristics[electronic resource] :5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings / by: (Language materials, printed)

Information and communications security[electronic resource] :10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008 : proceedings / by: (Language materials, printed)

Intelligent data engineering and automated learning[electronic resource] :IDEAL 2008 : 9th international conference, Daejeon, South Korea, November 2-5, 2008 : proceedings / by: (Language materials, printed)

Multiobjective optimization[electronic resource] :interactive and evolutionary approaches / by: (Language materials, printed)

Post-quantum cryptography[electronic resource] :second international workshop, PQCrypto 2008, Cincinnati, OH, USA, October 17-19, 2008 : proceedings / by: (Language materials, printed)

Recent advances in constraints[electronic resource] :12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers / by: (Language materials, printed)

Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / 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)

Wireless algorithms, systems, and applications[electronic resource] :third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / 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)

Advanced machine learning technologies and applications[electronic resource] :first international conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012 : proceedings / by: (Language materials, printed)

Computer applications for bio-technology, multimedia, and ubiquitous city[electronic resource] :international conferences MulGraB, BSBT and IUrC 2012 Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Computer applications for communication, networking, and digital contents[electronic resource] :international conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Computer applications for graphics, grid computing, and industrial environment[electronic resource] :international conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Computer applications for database, education, and ubiquitous computing[electronic resource] :international conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Advances in communication, network, and computing[electronic resource] :third international conference, CNC 2012, Chennai, India, February 24-25, 2012 : revised selected papers / by: (Language materials, printed)

Design and analysis of algorithms [electronic resource] :First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 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)

Biometric recognition[electronic resource] :7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 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)

Cyberspace safety and security[electronic resource] :4th international symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012 : proceedings / by: (Language materials, printed)

Artificial general intelligence[electronic resource] :5th international conference, AGI 2012, Oxford, UK, December 8-11, 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)

Future generation information technology[electronic resource] :4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / 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)

Trends and topics in computer vision[electronic resource] :ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010 : revised selected papers.Part II / by: (Language materials, printed)

Trends and topics in computer vision[electronic resource] :ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010 : revised selected papers.Part I / by: (Language materials, printed)

Progress in cryptology - INDOCRYPT 2012[electronic resource] :13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012 : proceedings / by: (Language materials, printed)

Algorithms and computation[electronic resource] :23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings / by: (Language materials, printed)

Information retrieval technology[electronic resource] :8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012 : proceedings / 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)

Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / by: (Language materials, printed)

Advanced data mining and applications[electronic resource] :8th international conference, ADMA 2012, Nanjing, China, December 15-18, 2012 : proceedings / by: (Language materials, printed)

Big data analytics[electronic resource] :first international conference, BDA 2012, New Delhi, India, December 24-26, 2012 : proceedings / by: (Language materials, printed)

Network and parallel computing[electronic resource] :9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 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)

Combinatorial algorithms[electronic resource] :23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / by: (Language materials, printed)

Advances in computational algorithms and data analysis[electronic resource] / by: (Language materials, printed)

Multi-disciplinary trends in artificial intelligence[electronic resource] :6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings / by: (Language materials, printed)

Security protocols XX[electronic resource] :20th international workshop, Cambridge, UK, April 12-13, 2012 : revised selected papers / 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)

Algorithms and programming[electronic resource] :problems and solutions / by: (Language materials, printed)

The magic ring[electronic resource] :systems thinking approach to control systems / by: (Language materials, printed)

Integration of AI and OR techniques in constraint programming[electronic resource] :11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014 : proceedings / by: (Language materials, printed)

Modern advances in applied intelligence[electronic resource] :27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014 : proceedings.Part I / by: (Language materials, printed)

Modern advances in applied intelligence[electronic resource] :27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014 : proceedings.Part II / by: (Language materials, printed)

Integer programming and combinatorial optimization[electronic resource] :17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014 : proceedings / 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)

Fun with algorithms[electronic resource] :7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014 : proceedings / by: (Language materials, printed)

Frontiers in algorithmics[electronic resource] :8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014 : proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications[electronic resource] :21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / by: (Language materials, printed)

Selected areas in cryptography - SAC 2013[electronic resource] :20th International Conference, Burnaby, BC, Canada, August 14-16, 2013 : revised selected papers / by: (Language materials, printed)

Multidimensional queueing models in telecommunication networks[electronic resource] / by: (Language materials, printed)

Pattern recognition in bioinformatics[electronic resource] :9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 21-23, 2014 : proceedings / by: (Language materials, printed)

Networked systems[electronic resource] :Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014 : revised selected papers / 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)

Euro-Par 2014 parallel processing[electronic resource] :20th International Conference, Porto, Portugal, August 25-29, 2014 : proceedings / by: (Language materials, printed)

Constructive side-channel analysis and secure design[electronic resource] :5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014 : revised selected papers / by: (Language materials, printed)

Multiple access communications[electronic resource] :7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings / by: (Language materials, printed)

Principles and practice of constraint programming[electronic resource] :20th International Conference, CP 2014, Lyon, France, September 8-12, 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)

Internet of vehicles - technologies and services[electronic resource] :First International Conference, IOV 2014, Beijing, China, September 1-3, 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)

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part I / 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)

Logic, language, information, and computation[electronic resource] :21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings / by: (Language materials, printed)

Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / 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)

Evolutionary and biologically inspired music, sound, art and design[electronic resource] :Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014 : revised selected papers / by: (Language materials, printed)

Structural, syntactic, and statistical pattern recognition[electronic resource] :Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II / by: (Language materials, printed)

Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I / 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)

Algorithms in bioinformatics[electronic resource] :14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2014[electronic resource] :22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014 : proceedings / by: (Language materials, printed)

Network and parallel computing[electronic resource] :11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 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)

Combinatorial pattern matching[electronic resource] :25th annual symposium, CPM 2014, Moscow, Russia, June 16-18, 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)

Wireless algorithms, systems, and applications[electronic resource] :9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014 : proceedings / by: (Language materials, printed)

Algorithms for computational biology[electronic resource] :first International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014 : proceedigns / by: (Language materials, printed)

Algorithmic aspects in information and management[electronic resource] :10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014 : proceedings / by: (Language materials, printed)

Experimental algorithms[electronic resource] :13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings / by: (Language materials, printed)

Image and signal processing[electronic resource] :6th International Conference, ICISP 2014, Cherbourg, France, June 30 - July 2, 2014 : proceedings / by: (Language materials, printed)

Approximation and online algorithms[electronic resource] :11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / 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)

Algorithm theory - SWAT 2014[electronic resource] :14th candinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014 : proceedings / by: (Language materials, printed)

Interactive theorem proving[electronic resource] :5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Language materials, printed)

Job scheduling strategies for parallel processing[electronic resource] :17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers / by: (Language materials, printed)

Large-scale scientific computing[electronic resource] :9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013 : revised selected papers / 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)

Bio-inspired models of network, information, and computing systems[electronic resource] :7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10-11, 2012 : revised selected papers / by: (Language materials, printed)

Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / by: (Language materials, printed)

Databases theory and applications[electronic resource] :25th Australasian Database Conference, ADC 2014, Brisbane, QLD, Australia, July 14-16, 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)

Machine learning and data mining in pattern recognition[electronic resource] :10th International Conference, MLDM 2014, St. Petersburg, Russia, July 21-24, 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)

Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part III / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part VI / by: (Language materials, printed)

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part V / 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)

Combinatorial optimization[electronic resource] :third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014 : revised selected papers / by: (Language materials, printed)

Pervasive computing and the networked world[electronic resource] :Joint International Conference, ICPCA/SWS 2013, Vina del Mar, Chile, December 5-7, 2013 : revised selected papers / by: (Language materials, printed)

Artificial general intelligence[electronic resource] :7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014 : proceedings / 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 methodologies[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)

Structural information and communication complexity[electronic resource] :21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014 : proceedings / 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)

Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2014[electronic resource] :34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014 : proceedings.Part I / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2014[electronic resource] :34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014 : proceedings.Part II / by: (Language materials, printed)

Optimization of stochastic discrete systems and control on complex networks[electronic resource] :computational networks / by: (Language materials, printed)

Transactional memory[electronic resource] :foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 / by: (Language materials, printed)

Material selections by a hybrid multi-criteria approach[electronic resource] / by: (Language materials, printed)

Data structures and algorithms with Python[electronic resource] / by: (Language materials, printed)

Energy minimization methods in computer vision and pattern recognition[electronic resource] :10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015 : proceedings / 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)

Spatio-temporal image analysis for longitudinal and time-series image data[electronic resource] :third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014 : revised selected papers / by: (Language materials, printed)

Algorithms and discrete applied mathematics[electronic resource] :first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings / by: (Language materials, printed)

Distributed computing and internet technology[electronic resource] :11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015 : proceedings / by: (Language materials, printed)

Computer algebra and polynomials[electronic resource] :applications of algebra and number theory / by: (Language materials, printed)

Wireless sensor networks[electronic resource] :12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / by: (Language materials, printed)

Algorithms for sensor systems[electronic resource] :10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014 : revised selected papers / by: (Language materials, printed)

SOFSEM 2015[electronic resource] :theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XVII[electronic resource] :selected papers from DaWaK 2013 / 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)

Numerical methods and applications[electronic resource] :8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014 : revised selected papers / by: (Language materials, printed)

WALCOM[electronic resource] :algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings / by: (Language materials, printed)

Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / by: (Language materials, printed)

Job scheduling strategies for parallel processing[electronic resource] :18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers / by: (Language materials, printed)

Solving software challenges for exascale[electronic resource] :International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014 : revised selected papers / by: (Language materials, printed)

Arithmetic of finite fields[electronic resource] :5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XVIII[electronic resource] :special issue on database- and expert-systems applications / by: (Language materials, printed)

Multi tenancy for cloud-based in-memory column databases[electronic resource] :workload management and data placement / by: (Language materials, printed)

Electronic design automation of analog ICs combining gradient models with multi-objective evolutionary algorithms[electronic resource] / by: (Language materials, printed)

The development of an integrated planning and decision support system (IPDSS) for land consolidation[electronic resource] / by: (Language materials, printed)

What is computer science?[electronic resource] :an information security perspective / by: (Language materials, printed)

Intelligent strategies for pathway mining[electronic resource] :model and pattern identification / by: (Language materials, printed)

Algorithms for sensor systems[electronic resource] :9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / by: (Language materials, printed)

Open problems in spectral dimensionality reduction[electronic resource] / by: (Language materials, printed)

Information-theoretic evaluation for computational biomedical ontologies[electronic resource] / by: (Language materials, printed)

Applied algorithms[electronic resource] :first International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014 : proceedings / by: (Language materials, printed)

SOFSEM 2014[electronic resource] :theory and practice of computer science : 40th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 26-29, 2014 : proceedings / by: (Language materials, printed)

Distributed computing and internet technology[electronic resource] :10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014 : proceedings / 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)

Algorithms and computation[electronic resource] :8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings / by: (Language materials, printed)

Frontiers in gaming simulation[electronic resource] :44th International Simulation and Gaming Association Conference, ISAGA 2013 and 17th IFIP WG 5.7 Workshop on Experimental Interactive Learning in Industrial Management, Stockholm, Sweden, June 24-28, 2013 : revised selected papers / by: (Language materials, printed)

Distributed computing and networking[electronic resource] :15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings / by: (Language materials, printed)

Image and video technology - PSIVT 2013 workshops[electronic resource] :GCCV 2013, GPID 2013, PAESNPR 2013, and QACIVA 2013, Guanajuato, Mexico, October 28-29, 2013 : revised selected papers / by: (Language materials, printed)

Public key infrastructures, services and applications[electronic resource] :10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013 : revised selected papers / 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)

Integrating routing decisions in public transportation problems[electronic resource] / 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)

Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings / by: (Language materials, printed)

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / by: (Language materials, printed)

Research in computational molecular biology[electronic resource] :18th Annual International Conference, RECOMB 2014, Pittsburgh, PA, USA, April 2-5, 2014 : proceedings / by: (Language materials, printed)

Intelligent information and database systems[electronic resource] :6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014 : proceedings.Part II / by: (Language materials, printed)

Intelligent information and database systems[electronic resource] :6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014 : proceedings.Part I / 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)

Algebraic and algorithmic aspects of differential and integral operators[electronic resource] :5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers / by: (Language materials, printed)

Public-key cryptography - PKC 2014[electronic resource] :17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014 : proceedings / by: (Language materials, printed)

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012[electronic resource] / 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)

Theory of quantum computation, communication, and cryptography[electronic resource] :6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers / by: (Language materials, printed)

Principles of security and trust[electronic resource] :Third International Conference, POST 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)

Recent advances in information technology[electronic resource] :RAIT-2014 Proceedings / by: (Language materials, printed)

Computational methods in power system analysis[electronic resource] / by: (Language materials, printed)

Algorithms and complexity[electronic resource] :9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015 : proceedings / by: (Electronic resources)

Graph-based representations in pattern recognition[electronic resource] :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015 : proceedings / by: (Electronic resources)

Codes, cryptology, and information security[electronic resource] :first International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015 : proceedings - In Honor of Thierry Berger / by: (Electronic resources)

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)

Databases theory and applications[electronic resource] :26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 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)

Genetic programming theory and practice XII[electronic resource] / by: (Language materials, printed)

Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings / by: (Language materials, printed)

Combinatorial algorithms[electronic resource] :25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014 : revised selected papers / 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)

Intelligent cloud computing[electronic resource] :first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014 : revised selected papers / by: (Language materials, printed)

Combinatorial pattern matching[electronic resource] :26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015 : proceedings / by: (Language materials, printed)

Information security and privacy[electronic resource] :20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 - July 1, 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)

Experimental algorithms[electronic resource] :14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 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)

Advances in swarm and computational intelligence[electronic resource] :6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015 : proceedings.Part I / by: (Language materials, printed)

Advances in swarm and computational intelligence[electronic resource] :6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015 : proceedings.Part III / by: (Language materials, printed)

Advances in swarm and computational intelligence[electronic resource] :6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015 : proceedings.Part II / by: (Language materials, printed)

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / by: (Language materials, printed)

Machine Learning and Data Mining in Pattern Recognition[electronic resource] :11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 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)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part V / 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)

Logic, language, information, and computation[electronic resource] :22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings / by: (Language materials, printed)

Parameterized algorithms[electronic resource] / 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)

Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings / by: (Language materials, printed)

Artificial general intelligence[electronic resource] :8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings / 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)

Constructive side-channel analysis and secure design[electronic resource] :6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015 : revised selected papers / 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)

Wireless algorithms, systems, and applications[electronic resource] :10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings / by: (Language materials, printed)

Algorithms and Data Structures[electronic resource] :14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 : proceedings / by: (Language materials, printed)

Parallel computing technologies[electronic resource] :13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 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)

Big data computing and communications[electronic resource] :first International Conference, BigCom 2015, Taiyuan, China, August 1-3, 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)

Database systems for advanced applications[electronic resource] :DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015 : revised selected papers / 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)

Transactions on large-scale data- and knowledge-centered systems XXI[electronic resource] :selected papers from DaWaK 2012 / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2015[electronic resource] :35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.Part I / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2015[electronic resource] :35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.Part II / by: (Language materials, printed)

Euro-Par 2015[electronic resource] :parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings / by: (Language materials, printed)

Computational complexity of solving equation systems[electronic resource] / by: (Language materials, printed)

Information and communications security[electronic resource] :16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014 : revised selected papers / by: (Language materials, printed)

Advanced Intelligent Computing Theories and Applications[electronic resource] :11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.Part III / by: (Language materials, printed)

Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 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)

Advances in information and computer security[electronic resource] :10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015 : proceedings / by: (Language materials, printed)

Latent variable analysis and signal separation[electronic resource] :12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings / by: (Language materials, printed)

Wired/wireless internet communications[electronic resource] :13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015 : revised selected papers / by: (Language materials, printed)

Curves and surfaces[electronic resource] :8th International Conference, Paris, France, June 12-18, 2014 : revised selected papers / 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)

Algorithmic decision theory[electronic resource] :4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: (Language materials, printed)

Advanced parallel processing technologies[electronic resource] :11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / by: (Language materials, printed)

Principles and practice of constraint programming[electronic resource] :21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings / by: (Language materials, printed)

Image analysis and processing - ICIAP 2015[electronic resource] :18th International Conference, Genoa, Italy, September 7-11, 2015 : proceedings.Part I / by: (Language materials, printed)

Internet and distributed computing systems[electronic resource] :8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015 : proceedings / by: (Language materials, printed)

Multiple access communications[electronic resource] :8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part II / by: (Language materials, printed)

Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I / by: (Language materials, printed)

Algorithms in bioinformatics[electronic resource] :15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015 : proceedings / by: (Language materials, printed)

Cryptographic hardware and embedded systems - CHES 2015[electronic resource] :17th International Workshop, Saint-Malo, France, September 13-16, 2015 : proceedings / by: (Language materials, printed)

Multimodal optimization by means of evolutionary algorithms[electronic resource] / by: (Language materials, printed)

Distributed and sequential algorithms for bioinformatics[electronic resource] / by: (Language materials, printed)

Evolvable hardware[electronic resource] :from practice to application / by: (Language materials, printed)

On meaningful scientific laws[electronic resource] / by: (Language materials, printed)

Applications and techniques in information security[electronic resource] :6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015 : proceedings / by: (Language materials, printed)

Soft computing in data science[electronic resource] :First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015 : proceedings / by: (Language materials, printed)

Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / by: (Language materials, printed)

String processing and information retrieval[electronic resource] :22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing[electronic resource] :17th International Workshop, CASC 2015, Aachen, Germany, September 14-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)

Computational collective intelligence[electronic resource] :7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.Part I / by: (Language materials, printed)

Security, privacy, and applied cryptography engineering[electronic resource] :5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015 : proceedings / by: (Language materials, printed)

Computer security - ESORICS 2015[electronic resource] :20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015 : proceedings.Part II / by: (Language materials, printed)

Technology and practice of passwords[electronic resource] :International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014 : revised selected papers / by: (Language materials, printed)

Similarity-based pattern recognition[electronic resource] :third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015 : proceedings / by: (Language materials, printed)

Computational logistics[electronic resource] :6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (Language materials, printed)

Discovery science[electronic resource] :18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings / by: (Language materials, printed)

Computational collective intelligence[electronic resource] :7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.Part II / 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)

Advances in intelligent data analysis XIV[electronic resource] :14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015 : proceedings / by: (Language materials, printed)

OpenMP[electronic resource] :heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 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)

Augmented environments for computer-assisted interventions[electronic resource] :10th International Workshop, AE-CAI 2015, held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 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)

Security and trust management[electronic resource] :11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015 : proceedings / by: (Language materials, printed)

Geometric science of information[electronic resource] :second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings / by: (Language materials, printed)

Similarity search and applications[electronic resource] :8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015 : proceedings / by: (Language materials, printed)

Dynamic data-driven environmental systems science[electronic resource] :first International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers / by: (Language materials, printed)

Cyber physical systems[electronic resource] :design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / by: (Language materials, printed)

Knowledge science, engineering and management[electronic resource] :8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings / by: (Language materials, printed)

Structural information and communication complexity[electronic resource] :22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings / by: (Language materials, printed)

Conceptual modeling[electronic resource] :34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015 : proceedings / by: (Language materials, printed)

Advances in neural networks - ISNN 2015[electronic resource] :12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015 : proceedings / by: (Language materials, printed)

Biometric recognition[electronic resource] :10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015 : proceedings / by: (Language materials, printed)

Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: (Language materials, printed)

Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (Language materials, printed)

Decision and game theory for security[electronic resource] :6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings / by: (Language materials, printed)

Progress in pattern recognition, image analysis, computer vision, and applications[electronic resource] :20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015 : proceedings / by: (Language materials, printed)

Advances in visual informatics[electronic resource] :4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015 : proceedings / by: (Language materials, printed)

Future data and security engineering[electronic resource] :second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems[electronic resource] :OTM 2015 Workshops : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015 : proceedings / by: (Language materials, printed)

Multi-disciplinary trends in artificial intelligence[electronic resource] :9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015 : proceedings / by: (Language materials, printed)

Research in attacks,intrusions, and defenses[electronic resource] :18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings / by: (Language materials, printed)

Secure IT systems[electronic resource] :20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 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)

Progress in cryptology - INDOCRYPT 2015[electronic resource] :16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings / 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)

Big data analytics[electronic resource] :4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015 : proceedings / by: (Language materials, printed)

Advances in artificial intelligence and soft computing[electronic resource] :14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015 : proceedings.Part I / by: (Language materials, printed)

Advances in artificial intelligence and its applications[electronic resource] :14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015 : proceedings.Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part I / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part II / by: (Language materials, printed)

Algorithms and architectures from parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part III / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings / by: (Language materials, printed)

Internet of vehicles - safe and intelligent mobility[electronic resource] :second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings / by: (Language materials, printed)

Transactions on edutainment XI[electronic resource] / by: (Language materials, printed)

Clustering high-dimensional data[electronic resource] :first International Workshop, CHDD 2012, Naples, Italy, May 15, 2012 : revised selected papers / by: (Language materials, printed)

Algorithms and computation[electronic resource] :26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings / by: (Language materials, printed)

Combinatorial optimization and applications[electronic resource] :9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings / by: (Language materials, printed)

Algorithms and models for the web graph[electronic resource] :12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015 : proceedings / by: (Language materials, printed)

Information systems security[electronic resource] :11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015 : proceedings / by: (Language materials, printed)

Cryptography and coding[electronic resource] :15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings / by: (Language materials, printed)

Euro-Par 2015[electronic resource] :Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : 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)

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)

Web and internet economics[electronic resource] :11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015 : proceedings / by: (Language materials, printed)

Energy informatics[electronic resource] :4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015 : proceedings / by: (Language materials, printed)

Combinatorial image analysis[electronic resource] :17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015 : proceedings / by: (Language materials, printed)

Mining intelligence and knowledge exploration[electronic resource] :third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015 : proceedings / by: (Language materials, printed)

Cloud computing and security[electronic resource] :first International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015 : revised selected papers / by: (Language materials, printed)

Innovative security solutions for information technology and communications[electronic resource] :8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015 : revised selected papers / 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)

Patch-based techniques in medical imaging[electronic resource] :first International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 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)

Adaptive Resource Management and Scheduling for Cloud Computing[electronic resource] :Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastian, Spain, July 20, 2015 : revised selected papers / 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)

Models of strategic reasoning[electronic resource] :logics, games, and communities / 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)

Networked systems[electronic resource] :third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers / by: (Language materials, printed)

Information retrieval technology[electronic resource] :11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015 : proceedings / by: (Language materials, printed)

Limits of computation[electronic resource] :from a programming perspective / by: (Language materials, printed)

Big data benchmarks, performance optimization, and emerging hardware[electronic resource] :6th Workshop, BPOE 2015, Kohala, HI, USA, August 31 - September 4, 2015 : revised selected papers / by: (Language materials, printed)

Lightweight cryptography for security and privacy[electronic resource] :4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015 : revised selected papers / by: (Language materials, printed)

Algorithms and discrete applied mathematics[electronic resource] :second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings / by: (Language materials, printed)

Mathematical and engineering methods in computer science[electronic resource] :10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers / by: (Language materials, printed)

Technology and practice of passwords[electronic resource] :9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015 : proceedings / by: (Language materials, printed)

WALCOM[electronic resource] :Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings / by: (Language materials, printed)

Applied reconfigurable computing[electronic resource] :12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 : proceedings / 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)

Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Language materials, printed)

Engineering secure software and systems[electronic resource] :8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings / by: (Language materials, printed)

Brainlesion[electronic resource] :glioma, multiple sclerosis, stroke and traumatic brain injuries : first International Workshop, Brainles 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015 : revised selected papers / by: (Language materials, printed)

Evolutionary and biologically inspired music, sound, art and design[electronic resource] :5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / by: (Language materials, printed)

Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part II / by: (Language materials, printed)

Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part I / by: (Language materials, printed)

Smart card research and advanced applications[electronic resource] :14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015 : revised selected papers / by: (Language materials, printed)

Selected areas in cryptography - SAC 2015[electronic resource] :22nd International Conference, Sackville, NB, Canada, August 12-14, 2015 : revised selected papers / by: (Language materials, printed)

Privacy technologies and policy[electronic resource] :third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 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)

Trusted systems[electronic resource] :7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015 : revised selected papers / by: (Language materials, printed)

Digital-forensics and watermarking[electronic resource] :14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015 : revised selected papers / by: (Language materials, printed)

The new codebreakers[electronic resource] :essays dedicated to David Kahn on the occasion of his 85th birthday / by: (Language materials, printed)

Intelligent information and database systems[electronic resource] :8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016 : proceedings.Part I / by: (Language materials, printed)

Intelligent information and database systems[electronic resource] :8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016 : proceedings.Part II / 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)

Principles of security and trust[electronic resource] :5th International Conference, POST 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 large-scale data- and knowledge-centered systems XXVI[electronic resource] :special issue on data warehousing and knowledge discovery / by: (Language materials, printed)

Sparse grids and applications[electronic resource] :Stuttgart 2014 / by: (Language materials, printed)

Research in computational molecular biology[electronic resource] :20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016 : proceedings / by: (Language materials, printed)

Database systems for advanced applications[electronic resource] :DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II / by: (Language materials, printed)

Discrete geometry for computer imagery[electronic resource] :19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 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)

Future and emergent trends in language technology[electronic resource] :first International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015 : revised selected papers / by: (Language materials, printed)

Multi-agent systems and agreement technologies[electronic resource] :13th European Conference, EUMAS 2015, and third International Conference, AT 2015, Athens, Greece, December 17-18, 2015 : revised selected papers / by: (Language materials, printed)

Advances in cryptology - EUROCRYPT 2016[electronic resource] :35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016 : proceedings.Part I / by: (Language materials, printed)

Advances in cryptology - EUROCRYPT 2016[electronic resource] :35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016 : proceedings.Part II / by: (Language materials, printed)

Transactions on computational science XXVII[electronic resource] / by: (Language materials, printed)

Metaheuristic applications to speech enhancement[electronic resource] / by: (Language materials, printed)

Integer programming and combinatorial optimization[electronic resource] :18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 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)

Integration of AI and OR techniques in constraint programming[electronic resource] :13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016 : proceedings / by: (Language materials, printed)

Experimental algorithms[electronic resource] :15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings / by: (Language materials, printed)

Information security and cryptology[electronic resource] :11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015 : revised selected papers / by: (Language materials, printed)

Green, pervasive, and cloud computing[electronic resource] :11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016 : proceedings / by: (Language materials, printed)

Coordination models and languages[electronic resource] :18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings / by: (Language materials, printed)

Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings / by: (Language materials, printed)

Transactions on edutainment XII[electronic resource] / by: (Language materials, printed)

Economics and computation[electronic resource] :an introduction to algorithmic game theory, computational social choice, and fair division / by: (Language materials, printed)

Harmony search algorithm[electronic resource] :proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015) / by: (Language materials, printed)

A guide to graph colouring[electronic resource] :algorithms and applications / by: (Language materials, printed)

Distributed computing and internet technology[electronic resource] :12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 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)

A polynomial translation of mobile ambients into safe petri nets[electronic resource] :understanding a calculus of hierarchical protection domains / by: (Language materials, printed)

Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-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)

Advances in network science[electronic resource] :12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016 : proceedings / 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)

SOFSEM 2016[electronic resource] :theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings / 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)

Post-quantum cryptography[electronic resource] :7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016 : proceedings / by: (Language materials, printed)

Topics in cryptology - CT-RSA 2016[electronic resource] :the Cryptographers' Track at the RSA Conference 2016, San Francisco, CA, USA, February 29 - March 4, 2016 : proceedings / by: (Language materials, printed)

Languages and compilers for parallel computing[electronic resource] :28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / by: (Language materials, printed)

Graphical models for security[electronic resource] :second International Workshop, GraMSec 2015, Verona, Italy, July 13, 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)

Public-key cryptography - PKC 2016[electronic resource] :19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016 : proceedings.Part I / by: (Language materials, printed)

Public-key cryptography - PKC 2016[electronic resource] :19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016 : proceedings.Part II / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXV[electronic resource] / by: (Language materials, printed)

Portfolio Optimization Using Fundamental Indicators Based on Multi-Objective EA[electronic resource] / by: (Language materials, printed)

Artificial intelligence and evolutionary computations in engineering systems[electronic resource] :pProceedings of ICAIECES 2015 / by: (Language materials, printed)

Pattern mining with evolutionary algorithms[electronic resource] / by: (Electronic resources)

Instruction selection[electronic resource] :principles, methods, and applications / by: (Electronic resources)

Information processing and management of uncertainty in knowledge-based systems[electronic resource] :16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016 : proceedings.Part II / by: (Electronic resources)

Information processing and management of uncertainty in knowledge-based systems[electronic resource] :16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016 : proceedings.Part I / by: (Electronic resources)

Algorithms for computational biology[electronic resource] :third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016 : proceedings / by: (Electronic resources)

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)

Computational topology in image context[electronic resource] :6th International Workshop, CTIC 2016, Marseille, France, 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)

Information security and privacy[electronic resource] :21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016 : proceedings.Part I / by: (Electronic resources)

Graph transformation[electronic resource] :9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 : proceedings / by: (Electronic resources)

Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Electronic resources)

Graph-based representation and reasoning[electronic resource] :22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 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)

Machine learning and data mining in pattern recognition[electronic resource] :12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part V / by: (Electronic resources)

Information security and privacy[electronic resource] :21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016 : proceedings.Part II / by: (Electronic resources)

Advances in neural networks - ISNN 2016[electronic resource] :13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings / 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)

Algorithmic aspects in information and management[electronic resource] :11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016 : proceedings / by: (Electronic resources)

Solving large scale learning tasks[electronic resource] :challenges and algorithms : essays dedicated to Katharina Morik on the Occasion of her 60th Birthday / by: (Electronic resources)

Articulated motion and deformable objects[electronic resource] :9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016 : proceedings / by: (Electronic resources)

Trends in applied knowledge-based systems and data science[electronic resource] :29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part III / by: (Electronic resources)

Intelligent computing methodologies[electronic resource] :12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.Part III / by: (Electronic resources)

Mathematical software - ICMS 2016[electronic resource] :5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings / by: (Electronic resources)

Big data computing and communications[electronic resource] :second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016 : proceedings / 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)

Economics of grids, clouds, systems, and services[electronic resource] :12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015 : revised selected papers / by: (Electronic resources)

Constructive side-channel analysis and secure design[electronic resource] :7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 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)

Advances in cryptology - CRYPTO 2016[electronic resource] :36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.Part II / by: (Electronic resources)

Advances in cryptology - CRYPTO 2016[electronic resource] :36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.Part III / by: (Electronic resources)

Advances in cryptology - CRYPTO 2016[electronic resource] :36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.Part I / by: (Electronic resources)

Developments in language theory[electronic resource] :20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings / by: (Electronic resources)

GPS[electronic resource] :theory, algorithms, and applications / by: (Electronic resources)

Support vector machines and perceptrons[electronic resource] :learning, optimization, classification, and application to social networks / by: (Electronic resources)

Random-like bi-level decision making[electronic resource] / by: (Electronic resources)

Knowledge Management and Acquisition for Intelligent Systems[electronic resource] :14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016 : proceedings / by: (Electronic resources)

Wireless algorithms, systems, and applications[electronic resource] :11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016 : proceedings / by: (Electronic resources)

Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-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)

Euro-Par 2016[electronic resource] :parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings / by: (Electronic resources)

Algorithms in bioinformatics[electronic resource] :16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings / by: (Electronic resources)

Medical imaging and augmented reality[electronic resource] :7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016 : proceedings / by: (Electronic resources)

Analytical and stochastic modeling techniques and applications[electronic resource] :23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-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)

Advanced analysis and learning on temporal data[electronic resource] :first ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015 : revised selected papers / by: (Electronic resources)

Swarm intelligence[electronic resource] :10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings / by: (Electronic resources)

Combinatorial algorithms[electronic resource] :27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 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)

Computational logistics[electronic resource] :7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings / by: (Electronic resources)

Principles and practice of constraint programming[electronic resource] :22nd International Conference, CP 2016, Toulouse, France, September 5-9, 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)

Scalable uncertainty management[electronic resource] :10th International Conference, SUM 2016, Nice, France, September 21-23, 2016 : proceedings / by: (Electronic resources)

Logic, language, information, and computation[electronic resource] :23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / by: (Electronic resources)

Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity / by: (Electronic resources)

Graph-theoretic concepts in computer science[electronic resource] :41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers / by: (Electronic resources)

Static analysis[electronic resource] :23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / by: (Electronic resources)

Artificial intelligence applications and innovations[electronic resource] :12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016 : proceedings / by: (Electronic resources)

Applications and techniques in information security[electronic resource] :6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016 : proceedings / by: (Electronic resources)

Soft computing in data science[electronic resource] :second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016 : proceedings / 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)

Privacy technologies and policy[electronic resource] :4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016 : proceedings / by: (Electronic resources)

Discrete optimization and operations research[electronic resource] :9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016 : proceedings / by: (Electronic resources)

Computational collective intelligence[electronic resource] :8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 : proceedings.Part I / by: (Electronic resources)

Computational collective intelligence[electronic resource] :8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 : proceedings.Part II / by: (Electronic resources)

Computer information systems and industrial management[electronic resource] :15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016 : proceedings / by: (Electronic resources)

OpenMP[electronic resource] :memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / by: (Electronic resources)

Combinatorial Optimization[electronic resource] :4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers / by: (Electronic resources)

Computer algebra in scientific computing[electronic resource] :18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (Electronic resources)

Research in attacks, intrusions, and defenses[electronic resource] :19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016 : proceedings / by: (Electronic resources)

Geographic information science[electronic resource] :9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016 : proceedings / by: (Electronic resources)

Computer security - ESORICS 2016[electronic resource] :21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016 : proceedings.Part II / by: (Electronic resources)

Computer security - ESORICS 2016[electronic resource] :21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016 : proceedings.Part I / by: (Electronic resources)

Multiagent System Technologies[electronic resource] :14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings / by: (Electronic resources)

Internet and distributed computing systems[electronic resource] :9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016 : proceedings / by: (Electronic resources)

Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: (Electronic resources)

String processing and information retrieval[electronic resource] :23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016 : proceedings / by: (Electronic resources)

Networked systems[electronic resource] :4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers / 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)

Graphical models for security[electronic resource] :third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers / by: (Electronic resources)

Advances in intelligent data analysis XV[electronic resource] :15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 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)

Computer vision - ECCV 2016 workshops[electronic resource] :Amsterdam, The Netherlands, October 8-10 and 15-16, 2016 : proceedings.Part I / by: (Electronic resources)

Similarity search and applications[electronic resource] :9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016 : proceedings / by: (Electronic resources)

Autonomous agents and multiagent systems[electronic resource] :AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers / by: (Electronic resources)

Databases theory and applications[electronic resource] :27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016 : proceedings / by: (Electronic resources)

Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (Electronic resources)

Data privacy management and security assurance[electronic resource] :11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings / 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)

Transactions on large-scale data- and knowledge-centered systems XXVII[electronic resource] :special issue on big data for complex urban systems / by: (Electronic resources)

Distributed computing[electronic resource] :30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XXVIII[electronic resource] :special issue on database- and expert-systems applications / by: (Electronic resources)

Graph-theoretic concepts in computer science[electronic resource] :42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016 : revised selected papers / by: (Electronic resources)

Web-age information management[electronic resource] :WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016 : revised selected papers / by: (Electronic resources)

Decision and game theory for security[electronic resource] :7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016 : proceedings / by: (Electronic resources)

Secure IT systems[electronic resource] :21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016 : proceedings / 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)

Advanced concepts for intelligent vision systems[electronic resource] :17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016 : proceedings / by: (Electronic resources)

Theory of cryptography[electronic resource] :14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.Part I / by: (Electronic resources)

Theory of cryptography[electronic resource] :14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.Part II / by: (Electronic resources)

Multiple instance learning[electronic resource] :foundations and algorithms / by: (Language materials, printed)

Structural information and communication complexity[electronic resource] :23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016 : revised selected papers / by: (Language materials, printed)

Discrete and computational geometry and graphs[electronic resource] :18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers / by: (Language materials, printed)

Computer vision - ECCV 2016 Workshops[electronic resource] :Amsterdam, the Netherlands, October 8-10 and 15-16, 2016 : proceedings.Part II / by: (Language materials, printed)

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)

Structural, syntactic, and statistical pattern recognition[electronic resource] :Joint IAPR International Workshop, S+SSPR 2016, Merida, Mexico, November 29 - December 2, 2016 : proceedings / by: (Language materials, printed)

Security standardisation research[electronic resource] :third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5-6, 2016 : proceedings / by: (Language materials, printed)

Security, privacy, and anonymity in computation, communication, and storage[electronic resource] :9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016 : proceedings / by: (Language materials, printed)

Advances in services computing[electronic resource] :10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems[electronic resource] :18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016 : proceedings / by: (Language materials, printed)

Multi-disciplinary trends in artificial intelligence[electronic resource] :10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016 : proceedings / by: (Language materials, printed)

Computer vision - ECCV 2016 Workshops[electronic resource] :Amsterdam, the Netherlands, October 8-10 and 15-16, 2016 : proceedings.Part III / 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)

Big data benchmarking[electronic resource] :6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015 : revised selected papers / by: (Language materials, printed)

Algorithms and models for the web graph[electronic resource] :13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016 : proceedings / by: (Language materials, printed)

Information systems security[electronic resource] :12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016 : proceedings / by: (Language materials, printed)

Information and communications security[electronic resource] :18th International Conference, ICICS 2016, Singapore, Singapore, November 29 - December 2, 2016 : proceedings / by: (Language materials, printed)

AI 2016[electronic resource] :advances in artificial intelligence : 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016 : proceedings / by: (Language materials, printed)

Collective online platforms for financial and environmental awareness[electronic resource] :first international workshop on the Internet for Financial Collective Awareness and Intelligence, IFIN 2016 and first international workshop on Internet and Social Media for Environmental Monitoring, ISEM 2016, Florence, Italy, September 12, 2016 : revised selected papers / by: (Language materials, printed)

Swarm intelligence based optimization[electronic resource] :second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers / 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)

Genetic programming theory and practice XIII[electronic resource] / by: (Language materials, printed)

Optimization techniques in computer vision[electronic resource] :ill-posed problems and regularization / by: (Language materials, printed)

Graph drawing and network visualization[electronic resource] :24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016 : revised selected papers / by: (Language materials, printed)

Data mining and constraint programming[electronic resource] :foundations of a cross-disciplinary approach / by: (Language materials, printed)

Machine learning for health informatics[electronic resource] :state-of-the-art and future challenges / by: (Language materials, printed)

Computers and games[electronic resource] :9th International Conference, CG 2016, Leiden, the Netherlands, June 29 - July 1, 2016 : revised selected papers / by: (Language materials, printed)

OpenSHMEM and related technologies[electronic resource] :enhancing OpenSHMEM for hybrid environments : third workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016 : revised selected papers / by: (Language materials, printed)

Multiple access communications[electronic resource] :9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016 : proceedings / by: (Language materials, printed)

Machine learning, optimization, and big data[electronic resource] :second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXIX[electronic resource] / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXX[electronic resource] :special issue on cloud computing / 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)

Bio-inspired computing - theories and applications[electronic resource] :11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016 : revised selected papers.Part I / by: (Language materials, printed)

Bio-inspired computing - theories and applications[electronic resource] :11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016 : revised selected papers.Part II / 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)

Supercomputing[electronic resource] :second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers / by: (Language materials, printed)

Internet of vehicles - technologies and services[electronic resource] :third International Conference, IOV 2016, Nadi, Fiji, December 7-10, 2016 : proceedings / by: (Language materials, printed)

Computational methods and clinical applications for spine imaging[electronic resource] :4th international workshop and Challenge, CSI 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016 : revised selected papers / by: (Language materials, printed)

Arithmetic of finite fields[electronic resource] :6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016 : revised selected papers / by: (Language materials, printed)

Brainlesion[electronic resource] :glioma, multiple sclerosis, stroke and traumatic brain injuries : second International Workshop, BrainLes 2016, with the challenges on BRATS, ISLES and mTOP 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 17, 2016 : revised selected papers / by: (Language materials, printed)

Combinatorial Geometry and Graph Theory[electronic resource] :Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / by: (Electronic resources)

Distributed Computing and Internet Technology :[electronic resource] /Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings by: (Electronic resources)

Computer algorithms.

Operations Research/Decision Theory.

Production scheduling

Algorithm Analysis and Problem Complexity.

Algorithms.

Computational Science and Engineering.

Computer capacity

Optimization.

Economics/Management Science.

Complex Systems.

Theory of Computation.

Computational complexity.

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Science.

Simulation and Modeling.

Complex Networks.

Algorithm Analysis and Problem Complexity.

Mathematics.

Approximation algorithms.

Optimization.

Algorithm Analysis and Problem Complexity.

User Interfaces and Human Computer Interaction.

Models and Principles.

Graph theory

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Computer graphics

Symbolic and Algebraic Manipulation.

Signal, Image and Speech Processing.

Image Processing and Computer Vision.

Algorithm Analysis and Problem Complexity.

Diagnostic imaging

Imaging / Radiology.

Ontologies (Information retrieval)

Engineering.

Image Processing and Computer Vision.

Pattern Recognition.

Computer vision

Computer Graphics.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Data Mining and Knowledge Discovery.

Computer Science.

Radio frequency identification systems

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data encryption (Computer science)

Special Purpose and Application-Based Systems.

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Computer science

Computer Science.

Computer Communication Networks.

Software Engineering.

Electronic data processing

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Programming Languages, Compilers, Interpreters.

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Computers and Society.

Artificial intelligence

Software Engineering.

Data Storage Representation.

Computer software

Cryptography

Algorithm Analysis and Problem Complexity.

Database Management.

Computer science

Computers

Computer Science.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Software Engineering.

Logics and Meanings of Programs.

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Computer Science.

Theory of Computation.

Applications of Mathematics.

Algorithm Analysis and Problem Complexity.

Mathematics.

Algorithms.

Approximation algorithms.

Semidefinite programming.

Optimization.

Discrete Mathematics in Computer Science.

Data protection

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Data Encryption.

Computer Science.

Systems and Data Security.

Computers and Society.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Theory of Computation.

Logics and Meanings of Programs.

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Computer logic

Computer science

Computer Science.

Data protection

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Data encryption (Computer science)

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Data protection

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Computer security

Data Encryption.

Computer Science.

Discrete Mathematics in Computer Science.

Systems and Data Security.

Computer Communication Networks.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Complexity.

Parallel programming (Computer science)

Computational Mathematics and Numerical Analysis.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Mathematics of Computing.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Complexity.

Parallel programming (Computer science)

Computational Mathematics and Numerical Analysis.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Wireless sensor networks

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Information Systems Applications (incl. Internet)

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Ad hoc networks (Computer networks)

Software Engineering.

Sensor networks

Computer algorithms

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Special Purpose and Application-Based Systems.

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Theory of Computation.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Mathematical models

Computer simulation

Numeric Computing.

Computer Science.

Simulation and Modeling.

Discrete Mathematics in Computer Science.

Image Processing and Computer Vision.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Machine learning

Computer Science.

Computational Biology/Bioinformatics.

Software Engineering.

Electronic data processing

Distributed databases.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Cyberinfrastructure.

Computer Science.

Computer Communication Networks.

Computer security.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data encryption (Computer science)

Data Encryption.

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Discrete Mathematics in Computer Science.

Software Engineering.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Special Purpose and Application-Based Systems.

Computer simulation

Computer Science.

Simulation and Modeling.

Multiagent systems

Data protection

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data encryption (Computer science)

Computer security

Data Encryption.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Systems and Data Security.

Computer Communication Networks.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Machine learning

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Computer Systems Organization and Communication Networks.

Intelligent agents (Computer software)

Self-organizing systems

Software Engineering.

Appl.Mathematics/Computational Methods of Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Formal methods (Computer science)

Computer science

Biologically-inspired computing.

Computer Science.

Computer Communication Networks.

Image Processing and Computer Vision.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Source separation (Signal processing)

Special Purpose and Application-Based Systems.

Computer Science.

Simulation and Modeling.

Discrete Mathematics in Computer Science.

Data Structures, Cryptology and Information Theory.

Telecommunication systems

Business

Algorithm Analysis and Problem Complexity.

Electronic commerce

Coding and Information Theory.

Multimedia Information Systems.

Computer networks

Computer Science.

Computer Communication Networks.

e-Commerce/e-business.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Information technology

Computer Science.

Computer Communication Networks.

Software Engineering/Programming and Operating Systems.

Control Structures and Microprogramming.

Algorithm Analysis and Problem Complexity.

Coding and Information Theory.

Computer Science.

Integrated circuits

Systems on a chip

Theory of Computation.

Computer algorithms

Parameter estimation

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Computational complexity

Algorithms.

Computer Science.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Artificial intelligence

Mathematical Logic and Formal Languages.

Machine theory

Logics and Meanings of Programs.

Mathematical linguistics

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Formal languages

Computer Science.

Computer Appl. in Social and Behavioral Sciences.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Programming Techniques.

Adaptive computing systems

Computer architecture

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Mathematics of Computing.

Computer systems

Database design

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer logic

Information technology

Computer Science.

Discrete Mathematics in Computer Science.

Artificial intelligence

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

User Interfaces and Human Computer Interaction.

Databases

Data Mining and Knowledge Discovery.

Computer Science.

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

User Interfaces and Human Computer Interaction.

Databases

Data Mining and Knowledge Discovery.

Computer Science.

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

User Interfaces and Human Computer Interaction.

Databases

Data Mining and Knowledge Discovery.

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Internet

Computer networks

Software measurement

Computer Science.

Computer Communication Networks.

Computers and Society.

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Computers and Society.

Software Engineering.

Mathematical Logic and Formal Languages.

Compilers (Computer programs)

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer Communication Networks.

Pattern Recognition.

Multimedia systems

Data protection.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Data Encryption.

Computer Science.

Systems and Data Security.

Computer Communication Networks.

Computers and Society.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Coding and Information Theory.

Data Encryption.

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Math Applications in Computer Science.

Data structures (Computer science)

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data encryption (Computer science)

Data Encryption.

Computer networks

Information networks

Information technology

Computer Science.

Systems and Data Security.

Computers and Society.

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Database Management.

Information Storage and Retrieval.

Computer Science.

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Database Management.

Information Storage and Retrieval.

Computer Science.

Data mining

Algorithm Analysis and Problem Complexity.

Database Management.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Data Structures.

Evolutionary computation

Machine learning

Computer Science.

Computational biology

Bioinformatics

Computational Biology/Bioinformatics.

Theory of Computation.

Software Engineering.

Petri nets

Algorithm Analysis and Problem Complexity.

Models and Principles.

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

Online algorithms

Algorithm Analysis and Problem Complexity.

Computer Graphics.

Information Systems Applications (incl. Internet)

Algorithms.

Approximation algorithms

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Evolutionary computation

Combinatorial optimization

Computer Science.

Discrete Mathematics in Computer Science.

Probability and Statistics in Computer Science.

Evolutionary programming (Computer science)

Programming Techniques.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Genetic programming (Computer science)

Computer Science.

Computational Biology/Bioinformatics.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Management of Computing and Information Systems.

Wireless communication systems

Computer Science.

Computer Communication Networks.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data encryption (Computer science)

Computer security

Data Encryption.

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Discrete Mathematics in Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Computer security

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Computer network architectures

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Numeric Computing.

Computer science

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Information Systems Applications (incl. Internet)

Database Management.

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Evolutionary computation

Swarm intelligence

Computer logic.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Software engineering.

Programming Languages, Compilers, Interpreters.

Computer Science.

Computer programming.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computer logic

Programming Languages, Compilers, Interpreters.

Computer science

Computer Science.

Computer Communication Networks.

Molecular biology

Algorithm Analysis and Problem Complexity.

Database Management.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Data Structures.

Computer Science.

Computational biology

Bioinformatics

Computational Biology/Bioinformatics.

Theory of Computation.

Computer algorithms

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data Structures.

Combinatorial analysis

Computer Science.

Discrete Mathematics in Computer Science.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Special Purpose and Application-Based Systems.

Parallel programming (Computer science)

Parallel processing (Electronic computers)

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Special Purpose and Application-Based Systems.

Parallel programming (Computer science)

Parallel processing (Electronic computers)

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Computer security

Data Encryption.

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Computers and Society.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Information technology

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Information technology

Computer Science.

Computer Communication Networks.

Software engineering

Telecommunication systems

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Information Storage and Retrieval.

Information technology

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Business

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Database Management.

Management information systems

Information Storage and Retrieval.

Business intelligence

Computer Science.

Computer Communication Networks.

Business

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Database Management.

Management information systems

Information Storage and Retrieval.

Business intelligence

Computer Science.

Computer Communication Networks.

Ad hoc networks (Computer networks)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data Encryption.

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Simulation and Modeling.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Ubiquitous computing

Computer Science.

Computer Communication Networks.

Mobile computing

Software Engineering.

Telecommunication systems

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer networks

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Wireless communication systems

Performance and Reliability.

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Mobile computing

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Computers and Society.

Broadband communication systems

Algorithm Analysis and Problem Complexity.

Field programmable gate arrays.

Special Purpose and Application-Based Systems.

Field programmable gate arrays

Circuits and Systems.

Engineering.

Mathematical Logic and Foundations.

Computational complexity.

Combinatorics.

Algorithm Analysis and Problem Complexity.

Mathematics.

Convex and Discrete Geometry.

Combinatorial analysis.

Sparse matrices.

Discrete Mathematics in Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Game theory

Computer networks

Computer Science.

Computer Communication Networks.

Software Engineering.

Mobile communication systems

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Ubiquitous computing

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Mobile computing

Data structures (Computer science)

Mathematical Logic and Formal Languages.

Knowledge representation (Information theory)

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computation by Abstract Devices.

Computer Science.

Software engineering

Software Engineering.

Systems engineering

Logics and Meanings of Programs.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Computer science

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

ublic key infrastructure (Computer security)

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data Encryption.

Computer Science.

Computer Communication Networks.

Computers and Society.

Systems and Data Security.

Artificial intelligence

Operations Research/Decision Theory.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Combinatorial optimization

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Constraint programming (Computer science)

Science

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Computer-Aided Engineering (CAD, CAE) and Design.

Numeric Computing.

Computer Science.

Simulation and Modeling.

Large scale systems

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Computer Science.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Database Management.

Reinforcement learning

Computer Science.

Probability and Statistics in Computer Science.

Theory of Computation.

Data Structures, Cryptology and Information Theory.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computational complexity

Computer science

Turing machines

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data Encryption.

Computer networks

Cloud computing

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Wireless communication systems

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Public key cryptography

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Data Encryption.

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Discrete Mathematics in Computer Science.

Computer Appl. in Life Sciences.

Pattern Recognition.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Science.

Bioinformatics

Computational Biology/Bioinformatics.

Data mining

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Data mining

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Algorithms

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Data Structures.

Computation by Abstract Devices.

Computer Science.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Multiprocessors

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Complexity.

Numeric Computing.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computational Mathematics and Numerical Analysis.

Parallel processing (Electronic computers)

Computer Science.

Artificial intelligence

Image Processing and Computer Vision.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Information Systems Applications (incl. Internet)

Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Operating Systems.

Programming Techniques.

Computer security

Computer Science.

Computer networks

Software Engineering.

Computational grids (Computer systems)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Operating Systems.

Programming Techniques.

Ubiquitous computing

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Computer simulation

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Stochastic processes

Computer algorithms

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Programming Techniques.

Algorithms.

Computer Science.

Computer Communication Networks.

Mathematical Logic and Foundations.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computable functions

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

OpenMP

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Programming Techniques.

Processor Architectures.

Programming Languages, Compilers, Interpreters.

Parallel programming (Computer science)

Computer Science.

System Performance and Evaluation.

Systems biology.

Bioinformatics.

Algorithm Analysis and Problem Complexity.

Computer Science.

Computational Biology/Bioinformatics.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Automotive Engineering.

Computer simulation

Computer Science.

Simulation and Modeling.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Green technology

Detectors

Computer Science.

Computer Communication Networks.

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Computers and Society.

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Computer security

Data Encryption.

Computer networks

Computer Science.

Systems and Data Security.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Pattern recognition systems

Health Informatics.

Data Mining and Knowledge Discovery.

Computer Science.

Computational Biology/Bioinformatics.

Bioinformatics

Algorithm Analysis and Problem Complexity.

Computer Graphics.

Data Structures.

Computation by Abstract Devices.

Geometry

Computer Science.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Game Theory, Economics, Social and Behav. Sciences.

Image Processing and Computer Vision.

Image analysis

Pattern Recognition.

Computer Graphics.

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Combinatorial analysis

Computer Science.

Discrete Mathematics in Computer Science.

Applications of Mathematics.

Cryptography

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Computer security

Data Encryption.

Computer Science.

Discrete Mathematics in Computer Science.

Systems and Data Security.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Digital communications

Multiple access protocols (Computer network protocols)

Data Encryption.

Computer Science.

Computer Communication Networks.

Artificial intelligence

Image Processing and Computer Vision.

Human information processing

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Database Management.

Neural networks (Computer science)

Computer Science.

Software engineering

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Middleware

Pattern Recognition.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Complexity.

Information Systems Applications (incl. Internet)

Neural networks (Computer science)

Computer Science.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Information Systems Applications (incl. Internet)

Data encryption (Computer science)

Database security

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Simulation and Modeling.

Probability and Statistics in Computer Science.

Computational biology

Bioinformatics

Computational Biology/Bioinformatics.

Artificial intelligence

Mathematical Logic and Formal Languages.

Language Translation and Linguistics.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Data Structures.

Algorithm Analysis and Problem Complexity.

Computer Science.

Discrete Mathematics in Computer Science.

Computer Appl. in Life Sciences.

Genomics

Physiology, Comparative

Bioinformatics.

Algorithm Analysis and Problem Complexity.

Gene mapping

Computer Science.

Discrete Mathematics in Computer Science.

Computational biology

Bioinformatics

Computational Biology/Bioinformatics.

Symbolic and Algebraic Manipulation.

Computer Graphics.

Algorithm Analysis and Problem Complexity.

Data Structures.

Geometry

Convex and Discrete Geometry.

Graph theory

Computer Science.

Discrete Mathematics in Computer Science.

Software engineering

Software Engineering.

Mathematical Logic and Formal Languages.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Models and Principles.

Computer Science.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Heuristic programming

Computer Science.

Probability and Statistics in Computer Science.

Data Structures, Cryptology and Information Theory.

Telecommunication systems

Algorithm Analysis and Problem Complexity.

Coding and Information Theory.

Computer security

Data Encryption.

Computer Science.

Systems and Data Security.

Computer Communication Networks.

Data mining

Database Management.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Database management

Data Mining and Knowledge Discovery.

Information Systems Applications (incl.Internet)

Computer Science.

Intelligent agents (Computer software)

Computational Biology/Bioinformatics.

System analysis.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Mathematical optimization.

Program transformation (Computer programming)

Cryptography

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Data Encryption.

Information Systems Applications (incl.Internet)

Computer Science.

Systems and Data Security.

Computer Communication Networks.

Artificial intelligence

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Numeric Computing.

Computer Science.

Constraint programming (Computer science)

Software engineering

Software Engineering.

Logics and Meanings of Programs.

Computer software

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Performance and Reliability.

Computer Science.

System Performance and Evaluation.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Special Purpose and Application-Based Systems.

Self-adaptive software

Self-stabilization (Computer science)

Computer Science.

Computer Communication Networks.

Theory of Computation.

Quantum Computing, Information and Physics.

Quantum computers

Cryptography

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Quantum communication

Data encryption (Computer science)

Coding and Information Theory.

Computer Science.

Discrete Mathematics in Computer Science.

Software Engineering.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Wireless communication systems

System design

Information Systems Applications (incl.Internet)

Multiplexing

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Image Processing and Computer Vision.

Manufacturing processes

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Information Systems Applications (incl. Internet)

Autonomous robots

Robots

Computer Science.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Machine learning

Computer Science.

Computer Communication Networks.

Biologically-inspired computing

Multimedia systems

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Ubiquitous computing

Data Encryption.

Computer Science.

Computer Communication Networks.

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Wireless communication systems

Information Storage and Retrieval.

Computer networks

Computer Science.

Computer Communication Networks.

Software Engineering.

Computational grids (Computer systems)

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Application software

Computer Science.

Computer Communication Networks.

Computer graphics

Software Engineering.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Ubiquitous computing

Information Storage and Retrieval.

Databases

Computer science

Educational technology

Computer Science.

Computer Communication Networks.

Image Processing and Computer Vision.

Data mining

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Computer networks

Computer Science.

Computer Communication Networks.

Image processing

Computer algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Artificial Intelligence (incl. Robotics)

Numeric Computing.

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Simulation and Modeling.

Artificial intelligence

Image Processing and Computer Vision.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Information Storage and Retrieval.

Computer Science.

Image Processing and Computer Vision.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Computer Graphics.

Information Systems Applications (incl. Internet)

Biometric identification

Biometrics.

Computer Science.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Internet

Electronic commerce

Computer networks

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Internet

Data Encryption.

Computer Science.

Systems and Data Security.

Computer Communication Networks.

Artificial intelligence

Mathematical Logic and Formal Languages.

Software Engineering.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer Science.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Evolutionary computation

Numeric Computing.

Computer Science.

Evolutionary programming (Computer science)

Software Engineering.

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer science

Information technology

Computer Science.

Computer Communication Networks.

Artificial intelligence

Theory of Computation.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Quantum theory

Computer Science.

Simulation and Modeling.

Image Processing and Computer Vision.

Pattern Recognition.

Computer vision

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Graphics.

Information Systems Applications (incl. Internet)

Computer Science.

Image processing

Image Processing and Computer Vision.

Pattern Recognition.

Computer vision

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Graphics.

Information Systems Applications (incl. Internet)

Computer Science.

Image processing

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Data encryption (Computer science)

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Discrete Mathematics in Computer Science.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Computer Graphics.

Data Structures.

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Data Storage Representation.

Information retrieval

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Data Structures.

Information Storage and Retrieval.

Computer Science.

Probability and Statistics in Computer Science.

Software Engineering.

Pattern Recognition.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Evolutionary computation

Swarm intelligence

Computer Science.

Computer Communication Networks.

Evolutionary programming (Computer science)

Software Engineering.

Electronic data processing

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer networks

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Data mining

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Computer Science.

Data mining

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Database Management.

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Big data

Computer Science.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Operating Systems.

Programming Languages, Compilers, Interpreters.

Information Storage and Retrieval.

Parallel processing (Electronic computers)

Computer networks

Parallel computers

Computer Science.

Computer Communication Networks.

Pattern Recognition.

Bioinformatics.

Biometry

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Database Management.

Artificial Intelligence (incl. Robotics)

Computational intelligence

Computer Science.

Bioinformatics

Mathematical Logic and Formal Languages.

Algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Combinatorial analysis

Computer Science.

Discrete Mathematics in Computer Science.

Environmental Management.

Symbolic and Algebraic Manipulation.

Electronic data processing

Algorithms

Data mining.

Electronics.

Algorithm Analysis and Problem Complexity.

Electronics and Microelectronics, Instrumentation.

Data Mining and Knowledge Discovery.

Computer Science.

Computer software.

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data encryption (Computer science)

Computer security

Data Encryption.

Computer networks

Computer Science.

Computer Communication Networks.

Computers and Society.

Artificial intelligence

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Evolutionary computation

Computational intelligence

Machine learning

Computer science

Information Systems Applications (incl.Internet)

Computer Science.

Simulation and Modeling.

Computational Biology/Bioinformatics.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Evolutionary computation

Parallel processing (Electronic computers)

Computer Science.

Discrete Mathematics in Computer Science.

Computational Biology/Bioinformatics.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Evolutionary computation

Parallel processing (Electronic computers)

Computer Science.

Discrete Mathematics in Computer Science.

Computational Biology/Bioinformatics.

Computer algorithms.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Mathematics.

Algorithms.

Computational Mathematics and Numerical Analysis.

Computer programming.

Business/Management Science, general.

Algorithm Analysis and Problem Complexity.

Complexity.

Mathematics.

Systems engineering.

Systems Theory, Control.

Control theory.

Artificial intelligence

Algorithm Analysis and Problem Complexity.

Operations Research, Management Science.

Combinatorial optimization

Numeric Computing.

Computer Science.

Math Applications in Computer Science.

Discrete Mathematics in Computer Science.

Artificial Intelligence (incl. Robotics).

Constraint programming (Computer science)

Artificial intelligence

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Scince.

Artificial intelligence

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Computer Science.

Artificial Intelligence (incl. Robotics).

Integer programming

Algorithm Analysis and Problem Complexity.

Combinatorial optimization

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Artificial intelligence

Image Processing and Computer Vision.

Data mining

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Computer Science.

Data structures (Computer science)

Computer algorithms

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Data Structures.

Computer Science.

Discrete Mathematics in Computer Science.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Computer Science.

Discrete Mathematics in Computer Science.

Software Engineering.

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Computer simulation

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Probability and Statistics in Computer Science.

Stochastic processes

Software Engineering.

Mathematics

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Programming Techniques.

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Coding and Information Theory.

Computer security

Data Encryption.

Computer Science.

Systems and Data Security.

Communications Engineering, Networks.

Telecommunication systems

Algorithm Analysis and Problem Complexity.

Information and Communication, Circuits.

Queuing networks (Data transmission)

Computer Science.

Computer Communication Networks.

Pattern Recognition.

Pattern recognition systems

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Health Informatics.

Data Mining and Knowledge Discovery.

Computer Science.

Computational biology

Bioinformatics

Computational Biology/Bioinformatics.

Algorithm Analysis and Problem Complexity.

Wireless communication systems

Computer networks

Cloud computing

Computer Science.

Computer Communication Networks.

Mobile computing

Mathematical Logic and Formal Languages.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Formal languages

Computer Science.

Discrete Mathematics in Computer Science.

Electronic data processing

Computational grids (Computer systems)

Operating Systems.

Algorithm Analysis and Problem Complexity.

Programming Languages, Compilers, Interpreters.

Parallel processing (Electronic computers)

Computer Science.

System Performance and Evaluation.

Computer Communication Networks.

Middleware

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Computer security

Data Encryption.

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Computers and Society.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Digital communications

Multiple access protocols (Computer network protocols)

Software engineering.

Computer science.

Information Systems.

Computer Science.

Computer Communication Networks.

Computers and Society.

Computer software.

Mathematical Logic and Formal Languages.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Constraint programming (Computer science)

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Information Storage and Retrieval.

Database management

Data Mining and Knowledge Discovery.

Machine learning

Computer Science.

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

Management of Computing and Information Systems.

Vehicular ad hoc networks (Computer networks)

Information Storage and Retrieval.

Swarm intelligence

Cloud computing

Computer Science.

Computer Communication Networks.

Vehicle-infrastructure integration

Image Processing and Computer Vision.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Neural networks (Computer science)

Computer Science.

Software Engineering.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Database Management.

Computer architecture

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Software Engineering.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Database Management.

Computer architecture

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Artificial intelligence

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Adaptive computing systems

Computer Science.

Mathematical Logic and Formal Languages.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Language and logic

Logic, Symbolic and mathematical

Computer Science.

Symbolic and Algebraic Manipulation.

Theory of Computation.

Mathematics

Software Engineering/Programming and Operating Systems.

Computer software

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Genetic programming (Computer science)

Computer Science.

Computer Applications.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Evolutionary computation

Combinatorial optimization

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Evolutionary programming (Computer science)

Computer art

Biologically-inspired computing

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer music

User Interfaces and Human Computer Interaction.

Computer Science.

Computer Appl. in Arts and Humanities.

Evolutionary programming (Computer science)

Pattern Recognition.

Pattern recognition systems

Computer vision

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Database Management.

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Science.

Mathematical Logic and Formal Languages.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Computer programming

Numeric Computing.

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Mathematical Logic and Formal Languages.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Computer programming

Numeric Computing.

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Science.

Discrete Mathematics in Computer Science.

Bioinformatics

Computational Biology/Bioinformatics.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Information Storage and Retrieval.

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Operating Systems.

Algorithm Analysis and Problem Complexity.

Parallel processing (Electronic computers)

Computer networks

Parallel computers

Computer Science.

Computer Systems Organization and Communication Networks.

Mathematical Logic and Formal Languages.

Computer algorithms

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Numeric Computing.

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Computer algorithms

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Data Structures.

Numeric Computing.

Combinatorial analysis

Computer Science.

Discrete Mathematics in Computer Science.

Computational Biology/Bioinformatics.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Heuristic programming

Mathematical optimization

Computer Science.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Management of Computing and Information Systems.

Wireless communication systems

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Mobile computing

Mathematical and Computational Biology.

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computer Science.

Discrete Mathematics in Computer Science.

Computational biology

Bioinformatics

Computational Biology/Bioinformatics.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Management science

Computer Science.

Discrete Mathematics in Computer Science.

Software engineering

Computer algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Artificial Intelligence (incl. Robotics)

Algorithms.

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Image Processing and Computer Vision.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Biometrics.

Special Purpose and Application-Based Systems.

Signal processing

Computer Science.

Image processing

Online algorithms

Algorithm Analysis and Problem Complexity.

Algorithms.

Approximation algorithms

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Mathematics of Computing.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computable functions

Computer science

Computer Science.

Data structures (Computer science)

Computer algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Algorithms.

Computer Science.

Discrete Mathematics in Computer Science.

Mathematical Logic and Formal Languages.

Software Engineering.

Logics and Meanings of Programs.

Automatic theorem proving

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Logic, Symbolic and mathematical

Computer Science.

Systems and Data Security.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Operating Systems.

Algorithm Analysis and Problem Complexity.

Computer scheduling

Computer capacity

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Science

Algorithm Analysis and Problem Complexity.

Numeric Computing.

Computer Science.

Simulation and Modeling.

Probability and Statistics in Computer Science.

Large scale systems

Machine theory

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Information Systems Applications (incl. Internet)

Programming languages (Electronic computers)

Computer programming

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Machine theory

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Information Systems Applications (incl. Internet)

Programming languages (Electronic computers)

Computer programming

Information Storage and Retrieval.

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Biotechnology

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Data Mining and Knowledge Discovery.

Biologically-inspired computing |v Congresses.

Computer Science.

Computer Communication Networks.

Computational Biology/Bioinformatics.

Software Engineering.

Computer Science, general.

Files.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Computer logic

Logic Design.

Computer science

Reversible computing

Computer Science.

Database Management.

Algorithm Analysis and Problem Complexity.

Databases

Database management

Data Mining and Knowledge Discovery.

Computer Science.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Artificial Intelligence (incl. Robotics)

Combinatorial analysis

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Mathematical Logic and Formal Languages.

Machine theory

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Data Structures.

Information Storage and Retrieval.

Computer Science.

Robotics

Computational Biology/Bioinformatics.

Image Processing and Computer Vision.

Pattern Recognition.

Computer vision

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Robots

Adaptive computing systems

Computer Science.

Robotics

Data mining

Pattern Recognition.

Pattern perception

Computer vision

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Database Management.

Data Mining and Knowledge Discovery.

Machine learning

Computer Science.

Image Processing and Computer Vision.

Pattern Recognition.

Biometry

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Computational intelligence

Computer Science.

Bioinformatics

Computational Biology/Bioinformatics.

Software Engineering.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Data Structures.

Algorithm Analysis and Problem Complexity.

Computer science

Graph theory

Computer Science.

Discrete Mathematics in Computer Science.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software engineering

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Data Mining and Knowledge Discovery.

Computer science

Computer networks

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Computer games

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Mathematical Logic and Formal Languag es.

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Algorithm Analysis and Problem Complexity.

Algorithms.

Combinatorial optimization

Numeric Computing.

Computer Science.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Ubiquitous computing

Special Purpose and Application-Based Systems.

Information Storage and Retrieval.

World Wide Web

Computer Science.

Computer Communication Networks.

Artificial intelligence

Mathematical Logic and Formal Languages.

Software Engineering.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer Science.

Image Processing and Computer Vision.

Computer algorithms

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Information Systems Applications (incl. Internet)

Neural networks (Computer science)

Expert systems (Computer science)

Computational intelligence

Computer Science.

Artificial intelligence

Image Processing and Computer Vision.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Algorithm Analysis and Problem Complexity.

Soft computing

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Computer Science.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Numeric Computing.

Machine learning

Computer Science.

Discrete Mathematics in Computer Science.

Data structures (Computer science)

Electronic data processing

Telecommunication systems

Algorithm Analysis and Problem Complexity.

Data Structures.

Algorithms.

Computer Science.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Formal methods (Computer science)

Formal languages

Computer Science.

Discrete Mathematics in Computer Science.

Software engineering

Software Engineering.

Pattern Recognition.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computation by Abstract Devices.

Programming Languages, Compilers, Interpreters.

Computer Science.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer logic

Programming languages (Electronic computers)

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Data Encryption.

Computer Science.

Systems and Data Security.

Discrete Mathematics in Computer Science.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Data Encryption.

Computer Science.

Systems and Data Security.

Discrete Mathematics in Computer Science.

Dynamic programming.

Markov processes.

Operations Research, Management Science.

Algorithm Analysis and Problem Complexity.

Discrete Optimization.

Optimization.

Stochastic control theory.

Economics/Management Science.

Operation Research/Decision Theory.

Transaction systems (Computer systems)

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.

Parallel programming (Computer science)

Computer Science.

Engineering design.

Operating Procedures, Materials Treatment.

Algorithm Analysis and Problem Complexity.

Materials Science.

Materials Science, general.

Materials.

Data structures (Computer science)

Computer algorithms.

Python (Computer program language)

Data Structures.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computer Science.

Image Processing and Computer Vision.

Pattern Recognition.

Computer vision

Pattern recognition systems

Algorithm Analysis and Problem Complexity.

Data Mining and Knowledge Discovery.

Performance and Reliability.

Computer Science.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Logic programming.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Computer Science.

Artificial intelligence.

Pattern Recognition.

Artificial Intelligence (incl. Robotics)

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computational intelligence

Artificial life

Computer Science.

Computer Communication Networks.

Computer vision

Artificial Intelligence (incl. Robotics)

Computer Graphics.

Algorithm Analysis and Problem Complexity.

Diagnostic imaging

Imaging / Radiology.

Computer Science.

Image processing

Algorithms

Algorithm Analysis and Problem Complexity.

Data Structures.

Computer Graphics.

Algorithms.

Numeric Computing.

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Electronic data processing

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Database Management.

Information Storage and Retrieval.

Internet

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Algebra.

Algorithm Analysis and Problem Complexity.

Computer algebra

Numeric Computing.

Number theory

Polynomials

Computer Science.

Symbolic and Algebraic Manipulation.

Wireless sensor networks

Software Engineering.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Special Purpose and Application-Based Systems.

Context-aware computing

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Wireless sensor networks

Ad hoc networks (Computer networks)

Computer algorithms

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer Science.

Computer Communication Networks.

Software engineering

Software Engineering.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Storage and Retrieval.

Computer science

Data Encryption.

Computer Science.

Discrete Mathematics in Computer Science.

Data mining

Database Management.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Computer Science.

Data warehousing

Mathematical Logic and Formal Languages.

Machine theory

Mathematical linguistics

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Formal languages

Computer Science.

Discrete Mathematics in Computer Science.

Artificial Intelligence (incl. Robotics).

Symbolic and Algebraic Manipulation.

Numerical analysis

Numerical Analysis.

Algorithm Analysis and Problem Complexity.

Computer-Aided Engineering (CAD, CAE) and Design.

Numerical and Computational Physics.

Numeric Computing.

Computational Science and Engineering.

Computer Science.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Computer Graphics.

Algorithms.

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Symbolic and Algebraic Manipulation.

Software engineering

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Models and Principles.

Computer security

Data Encryption.

Computer Science.

Computer Communication Networks.

Math Applications in Computer Science.

Software Engineering/Programming and Operating Systems.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer scheduling

Computer capacity

Parallel processing (Electronic computers)

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Software Engineering.

Computer software

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Computer Science.

Computer Communication Networks.

Simulation and Modeling.

Supercomputers

Algorithm Analysis and Problem Complexity.

Coding and Information Theory.

Data Encryption.

Computer Science.

Discrete Mathematics in Computer Science.

Computer Communication Networks.

Algebraic fields

Symbolic and Algebraic Manipulation.

Database Management.

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Database management.

Data Mining and Knowledge Discovery.

Expert systems (Computer science)

Computer Science.

Databases.

Database Management.

Algorithm Analysis and Problem Complexity.

Database management.

Models and Principles.

Discrete Optimization.

Cloud computing.

Business Information Systems.

Economics/Management Science.

Algorithm Analysis and Problem Complexity.

Circuits and Systems.

Computational Intelligence.

Linear integrated circuits

Engineering.

Geographic information systems.

Geography.

Geographical Information Systems/Cartography.

Consolidation of land holdings.

Algorithm Analysis and Problem Complexity.

Landscape/Regional and Urban Planning.

Computer security.

Computer Science, general.

Algorithm Analysis and Problem Complexity.

Data encryption (Computer science)

Data Encryption.

Computer science.

Computers and Education.

Bioinformatics.

Data mining.

Computational biology.

Artificial Intelligence (incl. Robotics)

Database Management.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computation by Abstract Devices.

Information Storage and Retrieval.

Computer Science.

Wireless sensor networks

Ad hoc networks (Computer networks)

Computer algorithms

Mathematics of Computing.

Algorithm Analysis and Problem Complexity.

Computer Science.

Computer Communication Networks.

Image Processing and Computer Vision.

Artificial Intelligence (incl. Robotics)

Data Structures.

Algorithm Analysis and Problem Complexity.

Dimension reduction (Statistics)

Computer Science.

Pattern Recognition.

Medicine

Algorithm Analysis and Problem Complexity.

Health Informatics.

Biology

Ontologies (Information retrieval)

Computer Science.

Computational Biology/Bioinformatics.

Human Genetics.

Data Structures, Cryptology and Information Theory.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Information Systems Applications (incl. Internet)

Algorithms

Algorithms.

Computer Communication Networks.

Computer Science.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Data Structures.

Information Storage and Retrieval.

Computer science

Computer Science.

Discrete Mathematics in Computer Science.

Electronic data processing

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Database Management.

Information Storage and Retrieval.

Internet

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Wireless sensor networks

Software Engineering.

Algorithm Analysis and Problem Complexity.

Computation by Abstract Devices.

Special Purpose and Application-Based Systems.

Context-aware computing

Computer Science.

Computer Communication Networks.

System Performance and Evaluation.

Computer algorithms

Algorithm Analysis and Problem Complexity.

Computer Graphics.

Algorithms.

Computer Science.

Discrete Mathematics in Computer Science.

Math Applications in Computer Science.

Symbolic and Algebraic Manipulation.

Software Engineering.

Simulation games in education

Information Systems Applications (incl. Internet)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Information Storage and Retrieval.

Game theory

Simulation methods

Computer Science.

Computer Communication Networks.

Simulation games

Software Engineering.

Electronic data processing

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Computer networks

Computer Science.

Computer Communication Networks.

Systems and Data Security.

Image Processing and Computer Vision.

Imaging systems

Image analysis

Pattern Recognition.

Computer vision

Artificial Intelligence (incl. Robotics)

Computer Graphics.

Algorithm Analysis and Problem Complexity.

Information Systems Applications (incl. Internet)

Signal processing

Computer Science.

Management of Computing and Information Systems.

Algorithm Analysis and Problem Complexity.

Data Encryption.

Systems and Data Security.

Public key infrastructure (Computer security)

Computer Science.

Computer Communication Networks.

Computers and Society.

Molecular computers

Logics and Meanings of Programs.

Pattern Recognition.

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Biocomputers

Software engineering.

Logic design.

Optical pattern recognition.

Computer science.

Computer software.

Operations Research, Management Science.

Algorithm Analysis and Problem Complexity.

Mathematics.

Transportation

Civil Engineering.

Mathematical optimization.

Mathematical Logic and Formal Languages.

Machine theory

Mathematical linguistics

Computation by Abstract Devices.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Formal languages

Computer Science.

Discrete Mathematics in Computer Science.

Symbolic and Algebraic Manipulation.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Mathematics of Computing.

Computer systems

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Computer Science.

Discrete Mathematics in Computer Science.

Application program interfaces (Computer software)

Software Engineering.

Logics and Meanings of Programs.

Algorithm Analysis and Problem Complexity.