Algorithm Analysis and Problem Complexity.

Complex scheduling[electronic resource] / …で: (言語・文字資料 (印刷物))

Computational complexity[electronic resource] :theory, techniques, and applications / …で: (言語・文字資料 (印刷物))

Design and analysis of approximation algorithms[electronic resource] / …で: (言語・文字資料 (印刷物))

Graph drawing[electronic resource] :19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Creating new medical ontologies for image annotation[electronic resource] :a case study / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

RFID: Security and privacy[electronic resource] :7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Distributed computing and networking[electronic resource] :13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Theory of security and applications[electronic resource] :Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Foundations and practice of security[electronic resource] :4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Approximation algorithms and semidefinite programming[electronic resource] / …で: (言語・文字資料 (印刷物))

Financial cryptography and data security[electronic resource] :15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Information security applications[electronic resource] :12th International Workshop, WISA 2011, Jeju Island, Korea, August 22-24, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Wireless sensor networks[electronic resource] :9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Mathematical modeling and computational science[electronic resource] :international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Partially supervised learning[electronic resource] :first IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Building a national distributed e-Infrastructure - PL-Grid[electronic resource] :scientific and technical achievements / …で: (言語・文字資料 (印刷物))

Cryptography and security[electronic resource] :from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday / …で: (言語・文字資料 (印刷物))

Multi-agent-based simulation XII[electronic resource] :international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Selected areas in cryptography[electronic resource] :18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Adaptive and learning agents[electronic resource] :international workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on computational science XV[electronic resource] :special issue on advances in autonomic computing : formal engineering methods for nature-inspired computing systems / …で: (言語・文字資料 (印刷物))

Latent variable analysis and signal separation[electronic resource] :10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

e-Business and telecommunications[electronic resource] :7th International Joint Conference, ICETE 2010, Athens, Greece, July 26-28, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Parameterized and exact computation[electronic resource] :6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Language and automata theory and applications[electronic resource] :6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Reconfigurable computing[electronic resource] :architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent information and database systems[electronic resource] :4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Intelligent information and database systems[electronic resource] :4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Intelligent information and database systems[electronic resource] :4th Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March 19-21, 2012 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Passive and active measurement[electronic resource] :13th International Conference, PAM 2012, Vienna, Austria, March 12-14th, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Transactions on Data Hiding and Multimedia Security VII[electronic resource] / …で: (言語・文字資料 (印刷物))

Theory of cryptography[electronic resource] :9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Critical infrastructure protection[electronic resource] :information infrastructure models, analysis, and defense / …で: (言語・文字資料 (印刷物))

Hybrid artificial intelligent systems[electronic resource] :7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Hybrid artificial intelligent systems[electronic resource] :7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Evolutionary computation, machine learning and data mining in bioinformatics[electronic resource] :10th European Conference, EvoBIO 2012, Malaga, Spain, April 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on petri nets and other models of concurrency V[electronic resource] / …で: (言語・文字資料 (印刷物))

Approximation and online algorithms[electronic resource] :9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Evolutionary computation in combinatorial optimization[electronic resource] :12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Genetic programming[electronic resource] :15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Wireless communications and applications[electronic resource] :first International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, Revised Selected Papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Advanced computing, networking and security[electronic resource] :International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

LATIN 2012: Theoretical informatics[electronic resource] :10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / …で: (言語・文字資料 (印刷物))

Research in computational molecular biology[electronic resource] :16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Constructive side-channel analysis and secure design[electronic resource] :Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Emerging trends and applications in information communication technologies[electronic resource] :second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Information and business intelligence[electronic resource] :International Conference, IBI 2011, Chongqing, China, December 23-25, 2011 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Information and business intelligence[electronic resource] :International Conference, IBI 2011, Chongqing, China, December 23-25, 2011 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Ad hoc networks[electronic resource] :third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Mobile lightweight wireless systems[electronic resource] :third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Broadband communications, networks, and systems[electronic resource] :7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010 : revised selected papers / …で: (言語・文字資料 (印刷物))

Guide to FPGA implementation of arithmetic functions[electronic resource] / …で: (言語・文字資料 (印刷物))

Sparsity[electronic resource] :graphs, structures, and algorithms / …で: (言語・文字資料 (印刷物))

Game theory for networks[electronic resource] : …で: (言語・文字資料 (印刷物))

Mobile networks and management[electronic resource] :third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Graph structures for knowledge representation and reasoning[electronic resource] :second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / …で: (言語・文字資料 (印刷物))

Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Public key infrastructures, services and applications[electronic resource] :8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Large-scale scientific computing[electronic resource] :8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Recent advances in reinforcement learning[electronic resource] :9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers / …で: (言語・文字資料 (印刷物))

Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

NETWORKING 2012[electronic resource] :11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Bioinformatics research and applications[electronic resource] :8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Fun with algorithms[electronic resource] :6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Facing the multicore - Challenge II[electronic resource] :aspects of new paradigms and technologies in parallel computing / …で: (言語・文字資料 (印刷物))

Artificial intelligence: Theories and applications[electronic resource] :7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Advances in grid and pervasive computing[electronic resource] :7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Analytical and stochastic modeling techniques and applications[electronic resource] :19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Experimental algorithms[electronic resource] :11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

How the world computes[electronic resource] :Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

OpenMP in a heterogeneous world[electronic resource] :8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Network inference in molecular biology[electronic resource] :a hands-on framework / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Green and smart technology with sensor applications[electronic resource] :international conferences, GST and SIA 2012 Jeju Island, Korea, November 28-December 2, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Advances in information and computer security[electronic resource] :7th International Workshop on Security, IWSEC 2012, Fukuoka, Japan, November 7-9, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Pattern recognition in bioinformatics[electronic resource] :7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Decision and game theory for security[electronic resource] :third international conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Combinatorial Image Analaysis[electronic resource] :15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Multiple access communications[electronic resource] :5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Brain informatics[electronic resource] :international conference, BI 2012, Macau, China, December 4-7, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Middleware 2012[electronic resource] :ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Neural networks[electronic resource] :tricks of the trade / …で: (言語・文字資料 (印刷物))

Information security applications[electronic resource] :13th international workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on computational systems biology XIV[electronic resource] :special issue on computational models for cell processes / …で: (言語・文字資料 (印刷物))

Advances in artificial intelligence - SBIA 2008[electronic resource] :19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Comparative genomics[electronic resource] :international workshop, RECOMB-CG 2008, Paris, France, October 13-15, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Computational geometry and graph theory[electronic resource] :international conference, KyotoCGGT 2007, Kyoto, Japan, June 11-15, 2007 ; revised selected papers / …で: (言語・文字資料 (印刷物))

Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Hybrid metaheuristics[electronic resource] :5th international workshop, HM 2008, Malaga, Spain, October 8-9, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Information and communications security[electronic resource] :10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent data engineering and automated learning[electronic resource] :IDEAL 2008 : 9th international conference, Daejeon, South Korea, November 2-5, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Multiobjective optimization[electronic resource] :interactive and evolutionary approaches / …で: (言語・文字資料 (印刷物))

Post-quantum cryptography[electronic resource] :second international workshop, PQCrypto 2008, Cincinnati, OH, USA, October 17-19, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / …で: (言語・文字資料 (印刷物))

Stabilization, safety, and security of distributed systems[electronic resource] :10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Theory of quantum computation, communication, and cryptography[electronic resource] :third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / …で: (言語・文字資料 (印刷物))

Wireless algorithms, systems, and applications[electronic resource] :third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / …で: (言語・文字資料 (印刷物))

Trends in intelligent robotics, automation, and manufacturing[electronic resource] :first international conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Advanced machine learning technologies and applications[electronic resource] :first international conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Advances in communication, network, and computing[electronic resource] :third international conference, CNC 2012, Chennai, India, February 24-25, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Design and analysis of algorithms [electronic resource] :First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

AI 2012[electronic resource] :advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Biometric recognition[electronic resource] :7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Internet and network economics[electronic resource] :8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Cyberspace safety and security[electronic resource] :4th international symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Artificial general intelligence[electronic resource] :5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Artificial evolution[electronic resource] :10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

Future generation information technology[electronic resource] :4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Quantum interaction[electronic resource] :6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Trends and topics in computer vision[electronic resource] :ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Trends and topics in computer vision[electronic resource] :ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Progress in cryptology - INDOCRYPT 2012[electronic resource] :13th International Conference on Cryptology in India, Kolkata, India, December 9-12, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and computation[electronic resource] :23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Information retrieval technology[electronic resource] :8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Swarm, evolutionary, and memetic computing[electronic resource] :third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Principles of distributed systems[electronic resource] :16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Advanced data mining and applications[electronic resource] :8th international conference, ADMA 2012, Nanjing, China, December 15-18, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Big data analytics[electronic resource] :first international conference, BDA 2012, New Delhi, India, December 24-26, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

Network and parallel computing[electronic resource] :9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Combinatorial algorithms[electronic resource] :23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advances in computational algorithms and data analysis[electronic resource] / …で: (言語・文字資料 (印刷物))

Multi-disciplinary trends in artificial intelligence[electronic resource] :6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings / …で: (言語・文字資料 (印刷物))

Security protocols XX[electronic resource] :20th international workshop, Cambridge, UK, April 12-13, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advances in computation and intelligence[electronic resource] :5th international symposium, ISICA 2010, Wuhan, China, October 22-24, 2010 : proceedings / …で: (言語・文字資料 (印刷物))

Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Parallel problem solving from nature - PPSN XI[electronic resource] :11th International Conference, Krakow, Poland, September 11-15, 2010 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Algorithms and programming[electronic resource] :problems and solutions / …で: (言語・文字資料 (印刷物))

The magic ring[electronic resource] :systems thinking approach to control systems / …で: (言語・文字資料 (印刷物))

Integration of AI and OR techniques in constraint programming[electronic resource] :11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Integer programming and combinatorial optimization[electronic resource] :17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Hybrid artificial intelligence systems[electronic resource] :9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Fun with algorithms[electronic resource] :7th International Conference, FUN 2014, Lipari Island, Sicily, Italy, July 1-3, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Frontiers in algorithmics[electronic resource] :8th International Workshop, FAW 2014, Zhangjiajie, China, June 28-30, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Analytical and stochastic modeling techniques and applications[electronic resource] :21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Selected areas in cryptography - SAC 2013[electronic resource] :20th International Conference, Burnaby, BC, Canada, August 14-16, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Multidimensional queueing models in telecommunication networks[electronic resource] / …で: (言語・文字資料 (印刷物))

Pattern recognition in bioinformatics[electronic resource] :9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 21-23, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Networked systems[electronic resource] :Second International Conference, NETYS 2014, Marrakech, Morocco, May 15-17, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Developments in language theory[electronic resource] :18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Euro-Par 2014 parallel processing[electronic resource] :20th International Conference, Porto, Portugal, August 25-29, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Constructive side-channel analysis and secure design[electronic resource] :5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Multiple access communications[electronic resource] :7th International Workshop, MACOM 2014, Halmstad, Sweden, August 27-28, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Principles and practice of constraint programming[electronic resource] :20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent data engineering and automated learning - IDEAL 2014[electronic resource] :15th International Conference, Salamanca, Spain, September 10-12, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Internet of vehicles - technologies and services[electronic resource] :First International Conference, IOV 2014, Beijing, China, September 1-3, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Artificial neural networks and machine learning - ICANN 2014[electronic resource] :24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Adaptive and intelligent systems[electronic resource] :Third International Conference, ICAIS 2014, Bournemouth, UK, September 8-10, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Logic, language, information, and computation[electronic resource] :21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Genetic programming[electronic resource] :17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Evolutionary computation in combinatorial optimisation[electronic resource] :14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Structural, syntactic, and statistical pattern recognition[electronic resource] :Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I / …で: (言語・文字資料 (印刷物))

Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms in bioinformatics[electronic resource] :14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms - ESA 2014[electronic resource] :22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Network and parallel computing[electronic resource] :11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Computer science - theory and applications[electronic resource] :9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Combinatorial pattern matching[electronic resource] :25th annual symposium, CPM 2014, Moscow, Russia, June 16-18, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Hybrid metaheuristics[electronic resource] :9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Wireless algorithms, systems, and applications[electronic resource] :9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms for computational biology[electronic resource] :first International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014 : proceedigns / …で: (言語・文字資料 (印刷物))

Algorithmic aspects in information and management[electronic resource] :10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Experimental algorithms[electronic resource] :13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Image and signal processing[electronic resource] :6th International Conference, ICISP 2014, Cherbourg, France, June 30 - July 2, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Approximation and online algorithms[electronic resource] :11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithm theory - SWAT 2014[electronic resource] :14th candinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Job scheduling strategies for parallel processing[electronic resource] :17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Large-scale scientific computing[electronic resource] :9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Automata, languages, and programming[electronic resource] :41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Reversible computation[electronic resource] :6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Databases theory and applications[electronic resource] :25th Australasian Database Conference, ADC 2014, Brisbane, QLD, Australia, July 14-16, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Computing and combinatorics[electronic resource] :20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Implementation and application of automata[electronic resource] :19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

From animals to animats 13[electronic resource] :13th International Conference on Simulation of Adaptive Behavior, SAB 2014, Castellon, Spain, July 22-25, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Machine learning and data mining in pattern recognition[electronic resource] :10th International Conference, MLDM 2014, St. Petersburg, Russia, July 21-24, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Computational intelligence methods for bioinformatics and biostatistics[electronic resource] :10th International Meeting, CIBB 2013, Nice, France, June 20-22, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part IV / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part VI / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part V / …で: (言語・文字資料 (印刷物))

Computers and games[electronic resource] :8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Combinatorial optimization[electronic resource] :third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Artificial general intelligence[electronic resource] :7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent computing in bioinformatics[electronic resource] :10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent computing methodologies[electronic resource] :10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Learning and intelligent optimization[electronic resource] :8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Structural information and communication complexity[electronic resource] :21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / …で: (言語・文字資料 (印刷物))

Advances in cryptology - CRYPTO 2014[electronic resource] :34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Advances in cryptology - CRYPTO 2014[electronic resource] :34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Optimization of stochastic discrete systems and control on complex networks[electronic resource] :computational networks / …で: (言語・文字資料 (印刷物))

Transactional memory[electronic resource] :foundations, algorithms, tools, and applications : COST Action Euro-TM IC1001 / …で: (言語・文字資料 (印刷物))

Material selections by a hybrid multi-criteria approach[electronic resource] / …で: (言語・文字資料 (印刷物))

Data structures and algorithms with Python[electronic resource] / …で: (言語・文字資料 (印刷物))

Energy minimization methods in computer vision and pattern recognition[electronic resource] :10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Artificial life and computational intelligence[electronic resource] :first Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Algorithms and discrete applied mathematics[electronic resource] :first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Distributed computing and internet technology[electronic resource] :11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computer algebra and polynomials[electronic resource] :applications of algebra and number theory / …で: (言語・文字資料 (印刷物))

Wireless sensor networks[electronic resource] :12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Transactions on large-scale data- and knowledge-centered systems XVII[electronic resource] :selected papers from DaWaK 2013 / …で: (言語・文字資料 (印刷物))

Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Numerical methods and applications[electronic resource] :8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

WALCOM[electronic resource] :algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Job scheduling strategies for parallel processing[electronic resource] :18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Arithmetic of finite fields[electronic resource] :5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on large-scale data- and knowledge-centered systems XVIII[electronic resource] :special issue on database- and expert-systems applications / …で: (言語・文字資料 (印刷物))

Multi tenancy for cloud-based in-memory column databases[electronic resource] :workload management and data placement / …で: (言語・文字資料 (印刷物))

Electronic design automation of analog ICs combining gradient models with multi-objective evolutionary algorithms[electronic resource] / …で: (言語・文字資料 (印刷物))

The development of an integrated planning and decision support system (IPDSS) for land consolidation[electronic resource] / …で: (言語・文字資料 (印刷物))

What is computer science?[electronic resource] :an information security perspective / …で: (言語・文字資料 (印刷物))

Intelligent strategies for pathway mining[electronic resource] :model and pattern identification / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Open problems in spectral dimensionality reduction[electronic resource] / …で: (言語・文字資料 (印刷物))

Information-theoretic evaluation for computational biomedical ontologies[electronic resource] / …で: (言語・文字資料 (印刷物))

Applied algorithms[electronic resource] :first International Conference, ICAA 2014, Kolkata, India, January 13-15, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Distributed computing and internet technology[electronic resource] :10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Wireless sensor networks[electronic resource] :11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and computation[electronic resource] :8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Distributed computing and networking[electronic resource] :15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Public key infrastructures, services and applications[electronic resource] :10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Membrane computing[electronic resource] :14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / …で: (言語・文字資料 (印刷物))

Integrating routing decisions in public transportation problems[electronic resource] / …で: (言語・文字資料 (印刷物))

Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

OpenSHMEM and related technologies[electronic resource] :experiences, implementations, and tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Research in computational molecular biology[electronic resource] :18th Annual International Conference, RECOMB 2014, Pittsburgh, PA, USA, April 2-5, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent information and database systems[electronic resource] :6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Intelligent information and database systems[electronic resource] :6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Theory of cryptography[electronic resource] :11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012[electronic resource] / …で: (言語・文字資料 (印刷物))

LATIN 2014[electronic resource] :theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings / …で: (言語・文字資料 (印刷物))

Theory of quantum computation, communication, and cryptography[electronic resource] :6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Recent advances in information technology[electronic resource] :RAIT-2014 Proceedings / …で: (言語・文字資料 (印刷物))

Computational methods in power system analysis[electronic resource] / …で: (言語・文字資料 (印刷物))

Algorithms and complexity[electronic resource] :9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015 : proceedings / …で: (コンピュータ・メディア)

Graph-based representations in pattern recognition[electronic resource] :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015 : proceedings / …で: (コンピュータ・メディア)

Codes, cryptology, and information security[electronic resource] :first International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015 : proceedings - In Honor of Thierry Berger / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

Databases theory and applications[electronic resource] :26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015 : proceedings / …で: (コンピュータ・メディア)

Hybrid artificial intelligent systems[electronic resource] :10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015 : proceedings / …で: (コンピュータ・メディア)

Genetic programming theory and practice XII[electronic resource] / …で: (言語・文字資料 (印刷物))

Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Combinatorial algorithms[electronic resource] :25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Frontiers in algorithmics[electronic resource] :9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Intelligent cloud computing[electronic resource] :first International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Combinatorial pattern matching[electronic resource] :26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Information security and privacy[electronic resource] :20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 - July 1, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Experimental algorithms[electronic resource] :14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Finite difference methods, theory and applications[electronic resource] :6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Computer science - theory and applications[electronic resource] :10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Reversible computation[electronic resource] :7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Machine Learning and Data Mining in Pattern Recognition[electronic resource] :11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computing and combinatorics[electronic resource] :21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part IV / …で: (言語・文字資料 (印刷物))

Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part V / …で: (言語・文字資料 (印刷物))

Cellular automata and discrete complex systems[electronic resource] :21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Automata, languages, and programming[electronic resource] :42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Logic, language, information, and computation[electronic resource] :22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Parameterized algorithms[electronic resource] / …で: (言語・文字資料 (印刷物))

Swarm, evolutionary, and memetic computing[electronic resource] :5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Artificial general intelligence[electronic resource] :8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Automated deduction - CADE-25[electronic resource] :25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Constructive side-channel analysis and secure design[electronic resource] :6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Wireless algorithms, systems, and applications[electronic resource] :10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and Data Structures[electronic resource] :14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Parallel computing technologies[electronic resource] :13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

DNA computing and molecular programming[electronic resource] :21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Big data computing and communications[electronic resource] :first International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Database systems for advanced applications[electronic resource] :DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Implementation and application of automata[electronic resource] :20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on large-scale data- and knowledge-centered systems XXI[electronic resource] :selected papers from DaWaK 2012 / …で: (言語・文字資料 (印刷物))

Advances in cryptology - CRYPTO 2015[electronic resource] :35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Advances in cryptology - CRYPTO 2015[electronic resource] :35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Euro-Par 2015[electronic resource] :parallel processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computational complexity of solving equation systems[electronic resource] / …で: (言語・文字資料 (印刷物))

Information and communications security[electronic resource] :16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advanced Intelligent Computing Theories and Applications[electronic resource] :11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Fundamentals of computation theory[electronic resource] :20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Modelling and simulation for autonomous systems[electronic resource] :second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advances in information and computer security[electronic resource] :10th International Workshop on Security, IWSEC 2015, Nara, Japan, August 26-28, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Latent variable analysis and signal separation[electronic resource] :12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Wired/wireless internet communications[electronic resource] :13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Curves and surfaces[electronic resource] :8th International Conference, Paris, France, June 12-18, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithmic decision theory[electronic resource] :4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Advanced parallel processing technologies[electronic resource] :11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Principles and practice of constraint programming[electronic resource] :21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Image analysis and processing - ICIAP 2015[electronic resource] :18th International Conference, Genoa, Italy, September 7-11, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Internet and distributed computing systems[electronic resource] :8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Multiple access communications[electronic resource] :8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Algorithms in bioinformatics[electronic resource] :15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Cryptographic hardware and embedded systems - CHES 2015[electronic resource] :17th International Workshop, Saint-Malo, France, September 13-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Multimodal optimization by means of evolutionary algorithms[electronic resource] / …で: (言語・文字資料 (印刷物))

Distributed and sequential algorithms for bioinformatics[electronic resource] / …で: (言語・文字資料 (印刷物))

Evolvable hardware[electronic resource] :from practice to application / …で: (言語・文字資料 (印刷物))

On meaningful scientific laws[electronic resource] / …で: (言語・文字資料 (印刷物))

Applications and techniques in information security[electronic resource] :6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Soft computing in data science[electronic resource] :First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

String processing and information retrieval[electronic resource] :22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computer algebra in scientific computing[electronic resource] :17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms, probability, networks, and games[electronic resource] :scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Computational collective intelligence[electronic resource] :7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Security, privacy, and applied cryptography engineering[electronic resource] :5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computer security - ESORICS 2015[electronic resource] :20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Technology and practice of passwords[electronic resource] :International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Similarity-based pattern recognition[electronic resource] :third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computational logistics[electronic resource] :6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Discovery science[electronic resource] :18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Computational collective intelligence[electronic resource] :7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Computational intelligence methods for bioinformatics and biostatistics[electronic resource] :11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Advances in intelligent data analysis XIV[electronic resource] :14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

OpenMP[electronic resource] :heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in artificial intelligence[electronic resource] :16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Intelligent data engineering and automated learning - IDEAL 2015[electronic resource] :16th International Conference Wroclaw, Poland, October 14-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Security and trust management[electronic resource] :11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Geometric science of information[electronic resource] :second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Similarity search and applications[electronic resource] :8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Dynamic data-driven environmental systems science[electronic resource] :first International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers / …で: (言語・文字資料 (印刷物))

Cyber physical systems[electronic resource] :design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Knowledge science, engineering and management[electronic resource] :8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Structural information and communication complexity[electronic resource] :22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings / …で: (言語・文字資料 (印刷物))

Conceptual modeling[electronic resource] :34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in neural networks - ISNN 2015[electronic resource] :12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Biometric recognition[electronic resource] :10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Programming languages with applications to biology and security[electronic resource] :essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / …で: (言語・文字資料 (印刷物))

Decision and game theory for security[electronic resource] :6th International Conference, GameSec 2015, London, UK, November 4-5, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Progress in pattern recognition, image analysis, computer vision, and applications[electronic resource] :20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in visual informatics[electronic resource] :4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Future data and security engineering[electronic resource] :second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Multi-disciplinary trends in artificial intelligence[electronic resource] :9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Research in attacks,intrusions, and defenses[electronic resource] :18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Secure IT systems[electronic resource] :20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Large-scale scientific computing[electronic resource] :10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Progress in cryptology - INDOCRYPT 2015[electronic resource] :16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Theory and practice of natural computing[electronic resource] :fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Big data analytics[electronic resource] :4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Algorithms and architectures from parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part IV / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Internet of vehicles - safe and intelligent mobility[electronic resource] :second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on edutainment XI[electronic resource] / …で: (言語・文字資料 (印刷物))

Clustering high-dimensional data[electronic resource] :first International Workshop, CHDD 2012, Naples, Italy, May 15, 2012 : revised selected papers / …で: (言語・文字資料 (印刷物))

Algorithms and computation[electronic resource] :26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Combinatorial optimization and applications[electronic resource] :9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and models for the web graph[electronic resource] :12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Information systems security[electronic resource] :11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Cryptography and coding[electronic resource] :15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Euro-Par 2015[electronic resource] :Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Advances in computer games[electronic resource] :14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Membrane computing[electronic resource] :16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Web and internet economics[electronic resource] :11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Energy informatics[electronic resource] :4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Combinatorial image analysis[electronic resource] :17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Mining intelligence and knowledge exploration[electronic resource] :third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Cloud computing and security[electronic resource] :first International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Innovative security solutions for information technology and communications[electronic resource] :8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Machine learning, optimization, and big data[electronic resource] :first International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Advanced methodologies for Bayesian networks[electronic resource] :second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Approximation and online algorithms[electronic resource] :13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Models of strategic reasoning[electronic resource] :logics, games, and communities / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Networked systems[electronic resource] :third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Information retrieval technology[electronic resource] :11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

Limits of computation[electronic resource] :from a programming perspective / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Lightweight cryptography for security and privacy[electronic resource] :4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Algorithms and discrete applied mathematics[electronic resource] :second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Technology and practice of passwords[electronic resource] :9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015 : proceedings / …で: (言語・文字資料 (印刷物))

WALCOM[electronic resource] :Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Applied reconfigurable computing[electronic resource] :12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Genetic programming[electronic resource] :19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Architecture of computing systems - ARCS 2016[electronic resource] :29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Evolutionary computation in combinatorial optimization[electronic resource] :16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday / …で: (言語・文字資料 (印刷物))

Engineering secure software and systems[electronic resource] :8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Evolutionary and biologically inspired music, sound, art and design[electronic resource] :5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Smart card research and advanced applications[electronic resource] :14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Selected areas in cryptography - SAC 2015[electronic resource] :22nd International Conference, Sackville, NB, Canada, August 12-14, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Privacy technologies and policy[electronic resource] :third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Artificial evolution[electronic resource] :12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Trusted systems[electronic resource] :7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Digital-forensics and watermarking[electronic resource] :14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

The new codebreakers[electronic resource] :essays dedicated to David Kahn on the occasion of his 85th birthday / …で: (言語・文字資料 (印刷物))

Intelligent information and database systems[electronic resource] :8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016 : proceedings.Part I / …で: (言語・文字資料 (印刷物))

Intelligent information and database systems[electronic resource] :8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

LATIN 2016[electronic resource] :theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Transactions on large-scale data- and knowledge-centered systems XXVI[electronic resource] :special issue on data warehousing and knowledge discovery / …で: (言語・文字資料 (印刷物))

Sparse grids and applications[electronic resource] :Stuttgart 2014 / …で: (言語・文字資料 (印刷物))

Research in computational molecular biology[electronic resource] :20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Database systems for advanced applications[electronic resource] :DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / …で: (言語・文字資料 (印刷物))

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II / …で: (言語・文字資料 (印刷物))

Discrete geometry for computer imagery[electronic resource] :19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Mathematical aspects of computer and information sciences[electronic resource] :6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Conformal and probabilistic prediction with applications[electronic resource] :5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Future and emergent trends in language technology[electronic resource] :first International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Transactions on computational science XXVII[electronic resource] / …で: (言語・文字資料 (印刷物))

Metaheuristic applications to speech enhancement[electronic resource] / …で: (言語・文字資料 (印刷物))

Integer programming and combinatorial optimization[electronic resource] :18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Image and signal processing[electronic resource] :7th International Conference, ICISP 2016, Trois-Rivieres, QC, Canada, May 30 - June 1, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Experimental algorithms[electronic resource] :15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Information security and cryptology[electronic resource] :11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Green, pervasive, and cloud computing[electronic resource] :11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Transactions on edutainment XII[electronic resource] / …で: (言語・文字資料 (印刷物))

Economics and computation[electronic resource] :an introduction to algorithmic game theory, computational social choice, and fair division / …で: (言語・文字資料 (印刷物))

Harmony search algorithm[electronic resource] :proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015) / …で: (言語・文字資料 (印刷物))

A guide to graph colouring[electronic resource] :algorithms and applications / …で: (言語・文字資料 (印刷物))

Distributed computing and internet technology[electronic resource] :12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Theory of cryptography[electronic resource] :13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

A polynomial translation of mobile ambients into safe petri nets[electronic resource] :understanding a calculus of hierarchical protection domains / …で: (言語・文字資料 (印刷物))

Practical aspects of declarative languages[electronic resource] :18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Artificial life and computational intelligence[electronic resource] :second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in network science[electronic resource] :12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Transactions on large-scale data- and knowledge-centered systems XXIV[electronic resource] :special issue on database- and expert-systems applications / …で: (言語・文字資料 (印刷物))

Post-quantum cryptography[electronic resource] :7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Languages and compilers for parallel computing[electronic resource] :28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Graphical models for security[electronic resource] :second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Language and automata theory and applications[electronic resource] :10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Transactions on large-scale data- and knowledge-centered systems XXV[electronic resource] / …で: (言語・文字資料 (印刷物))

Portfolio Optimization Using Fundamental Indicators Based on Multi-Objective EA[electronic resource] / …で: (言語・文字資料 (印刷物))

Artificial intelligence and evolutionary computations in engineering systems[electronic resource] :pProceedings of ICAIECES 2015 / …で: (言語・文字資料 (印刷物))

Pattern mining with evolutionary algorithms[electronic resource] / …で: (コンピュータ・メディア)

Instruction selection[electronic resource] :principles, methods, and applications / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

Algorithms for computational biology[electronic resource] :third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016 : proceedings / …で: (コンピュータ・メディア)

Cellular automata and discrete complex systems[electronic resource] :22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / …で: (コンピュータ・メディア)

Computational topology in image context[electronic resource] :6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings / …で: (コンピュータ・メディア)

Pursuit of the universal[electronic resource] :12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / …で: (コンピュータ・メディア)

Information security and privacy[electronic resource] :21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

Reversible computation[electronic resource] :8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Graph-based representation and reasoning[electronic resource] :22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Unconventional computation and natural computation[electronic resource] :15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016 : proceedings / …で: (コンピュータ・メディア)

Artificial general intelligence[electronic resource] :9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016 : proceedings / …で: (コンピュータ・メディア)

Machine learning and data mining in pattern recognition[electronic resource] :12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016 : proceedings / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part IV / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part V / …で: (コンピュータ・メディア)

Information security and privacy[electronic resource] :21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Advances in neural networks - ISNN 2016[electronic resource] :13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Implementation and application of automata[electronic resource] :21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings / …で: (コンピュータ・メディア)

Algorithmic aspects in information and management[electronic resource] :11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016 : proceedings / …で: (コンピュータ・メディア)

Solving large scale learning tasks[electronic resource] :challenges and algorithms : essays dedicated to Katharina Morik on the Occasion of her 60th Birthday / …で: (コンピュータ・メディア)

Articulated motion and deformable objects[electronic resource] :9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016 : proceedings / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part III / …で: (コンピュータ・メディア)

Intelligent computing methodologies[electronic resource] :12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.Part III / …で: (コンピュータ・メディア)

Mathematical software - ICMS 2016[electronic resource] :5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings / …で: (コンピュータ・メディア)

Big data computing and communications[electronic resource] :second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016 : proceedings / …で: (コンピュータ・メディア)

Computing and combinatorics[electronic resource] :22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings / …で: (コンピュータ・メディア)

Economics of grids, clouds, systems, and services[electronic resource] :12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Constructive side-channel analysis and secure design[electronic resource] :7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Computational intelligence methods for bioinformatics and biostatistics[electronic resource] :12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Advances in cryptology - CRYPTO 2016[electronic resource] :36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Advances in cryptology - CRYPTO 2016[electronic resource] :36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.Part III / …で: (コンピュータ・メディア)

Advances in cryptology - CRYPTO 2016[electronic resource] :36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Developments in language theory[electronic resource] :20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings / …で: (コンピュータ・メディア)

GPS[electronic resource] :theory, algorithms, and applications / …で: (コンピュータ・メディア)

Support vector machines and perceptrons[electronic resource] :learning, optimization, classification, and application to social networks / …で: (コンピュータ・メディア)

Random-like bi-level decision making[electronic resource] / …で: (コンピュータ・メディア)

Knowledge Management and Acquisition for Intelligent Systems[electronic resource] :14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Wireless algorithms, systems, and applications[electronic resource] :11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016 : proceedings / …で: (コンピュータ・メディア)

Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / …で: (コンピュータ・メディア)

From animals to animats 14[electronic resource] :14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Euro-Par 2016[electronic resource] :parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Algorithms in bioinformatics[electronic resource] :16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings / …で: (コンピュータ・メディア)

Medical imaging and augmented reality[electronic resource] :7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Analytical and stochastic modeling techniques and applications[electronic resource] :23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

DNA computing and molecular programming[electronic resource] :22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Cellular automata[electronic resource] :12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Advanced analysis and learning on temporal data[electronic resource] :first ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015 : revised selected papers / …で: (コンピュータ・メディア)

Swarm intelligence[electronic resource] :10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings / …で: (コンピュータ・メディア)

Combinatorial algorithms[electronic resource] :27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016 : proceedings / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

Computational logistics[electronic resource] :7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings / …で: (コンピュータ・メディア)

Principles and practice of constraint programming[electronic resource] :22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings / …で: (コンピュータ・メディア)

Parallel problem solving from nature - PPSN XIV[electronic resource] :14th International Conference, Edinburgh, UK, September 17-21, 2016 : proceedings / …で: (コンピュータ・メディア)

Scalable uncertainty management[electronic resource] :10th International Conference, SUM 2016, Nice, France, September 21-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Logic, language, information, and computation[electronic resource] :23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / …で: (コンピュータ・メディア)

Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity / …で: (コンピュータ・メディア)

Graph-theoretic concepts in computer science[electronic resource] :41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers / …で: (コンピュータ・メディア)

Static analysis[electronic resource] :23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

Applications and techniques in information security[electronic resource] :6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016 : proceedings / …で: (コンピュータ・メディア)

Soft computing in data science[electronic resource] :second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016 : proceedings / …で: (コンピュータ・メディア)

Advances in artificial intelligence[electronic resource] :17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016 : proceedings / …で: (コンピュータ・メディア)

Privacy technologies and policy[electronic resource] :4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016 : proceedings / …で: (コンピュータ・メディア)

Discrete optimization and operations research[electronic resource] :9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Computational collective intelligence[electronic resource] :8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Computational collective intelligence[electronic resource] :8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Computer information systems and industrial management[electronic resource] :15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016 : proceedings / …で: (コンピュータ・メディア)

OpenMP[electronic resource] :memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / …で: (コンピュータ・メディア)

Combinatorial Optimization[electronic resource] :4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Computer algebra in scientific computing[electronic resource] :18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / …で: (コンピュータ・メディア)

Research in attacks, intrusions, and defenses[electronic resource] :19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016 : proceedings / …で: (コンピュータ・メディア)

Geographic information science[electronic resource] :9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016 : proceedings / …で: (コンピュータ・メディア)

Computer security - ESORICS 2016[electronic resource] :21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Computer security - ESORICS 2016[electronic resource] :21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Multiagent System Technologies[electronic resource] :14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings / …で: (コンピュータ・メディア)

Internet and distributed computing systems[electronic resource] :9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016 : proceedings / …で: (コンピュータ・メディア)

Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / …で: (コンピュータ・メディア)

String processing and information retrieval[electronic resource] :23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016 : proceedings / …で: (コンピュータ・メディア)

Networked systems[electronic resource] :4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Intelligent data engineering and automated learning - IDEAL 2016[electronic resource] :17th International Conference, Yangzhou, China, October 12-14, 2016 : proceedings / …で: (コンピュータ・メディア)

Graphical models for security[electronic resource] :third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Advances in intelligent data analysis XV[electronic resource] :15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016 : proceedings / …で: (コンピュータ・メディア)

Computer vision and graphics[electronic resource] :International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016 : proceedings / …で: (コンピュータ・メディア)

Computer vision - ECCV 2016 workshops[electronic resource] :Amsterdam, The Netherlands, October 8-10 and 15-16, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Similarity search and applications[electronic resource] :9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016 : proceedings / …で: (コンピュータ・メディア)

Autonomous agents and multiagent systems[electronic resource] :AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Databases theory and applications[electronic resource] :27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016 : proceedings / …で: (コンピュータ・メディア)

Runtime verification[electronic resource] :16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / …で: (コンピュータ・メディア)

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 / …で: (コンピュータ・メディア)

Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / …で: (コンピュータ・メディア)

Transactions on large-scale data- and knowledge-centered systems XXVII[electronic resource] :special issue on big data for complex urban systems / …で: (コンピュータ・メディア)

Distributed computing[electronic resource] :30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings / …で: (コンピュータ・メディア)

Transactions on large-scale data- and knowledge-centered systems XXVIII[electronic resource] :special issue on database- and expert-systems applications / …で: (コンピュータ・メディア)

Graph-theoretic concepts in computer science[electronic resource] :42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Web-age information management[electronic resource] :WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Decision and game theory for security[electronic resource] :7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016 : proceedings / …で: (コンピュータ・メディア)

Secure IT systems[electronic resource] :21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016 : proceedings / …で: (コンピュータ・メディア)

Modelling and simulation for autonomous systems[electronic resource] :third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers / …で: (コンピュータ・メディア)

Advanced concepts for intelligent vision systems[electronic resource] :17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016 : proceedings / …で: (コンピュータ・メディア)

Theory of cryptography[electronic resource] :14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.Part I / …で: (コンピュータ・メディア)

Theory of cryptography[electronic resource] :14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.Part II / …で: (コンピュータ・メディア)

Multiple instance learning[electronic resource] :foundations and algorithms / …で: (言語・文字資料 (印刷物))

Structural information and communication complexity[electronic resource] :23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Discrete and computational geometry and graphs[electronic resource] :18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Computer vision - ECCV 2016 Workshops[electronic resource] :Amsterdam, the Netherlands, October 8-10 and 15-16, 2016 : proceedings.Part II / …で: (言語・文字資料 (印刷物))

Swarm, evolutionary, and mimetic computing[electronic resource] :6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers / …で: (言語・文字資料 (印刷物))

Structural, syntactic, and statistical pattern recognition[electronic resource] :Joint IAPR International Workshop, S+SSPR 2016, Merida, Mexico, November 29 - December 2, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Security standardisation research[electronic resource] :third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5-6, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Security, privacy, and anonymity in computation, communication, and storage[electronic resource] :9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in services computing[electronic resource] :10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Stabilization, safety, and security of distributed systems[electronic resource] :18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Multi-disciplinary trends in artificial intelligence[electronic resource] :10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Computer vision - ECCV 2016 Workshops[electronic resource] :Amsterdam, the Netherlands, October 8-10 and 15-16, 2016 : proceedings.Part III / …で: (言語・文字資料 (印刷物))

Algorithm engineering[electronic resource] :selected results and surveys / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Advances in brain inspired cognitive systems[electronic resource] :8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Algorithms and models for the web graph[electronic resource] :13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Information systems security[electronic resource] :12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Algorithms and architectures for parallel processing[electronic resource] :ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Information and communications security[electronic resource] :18th International Conference, ICICS 2016, Singapore, Singapore, November 29 - December 2, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

AI 2016[electronic resource] :advances in artificial intelligence : 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Swarm intelligence based optimization[electronic resource] :second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Learning and intelligent optimization[electronic resource] :10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Genetic programming theory and practice XIII[electronic resource] / …で: (言語・文字資料 (印刷物))

Optimization techniques in computer vision[electronic resource] :ill-posed problems and regularization / …で: (言語・文字資料 (印刷物))

Graph drawing and network visualization[electronic resource] :24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Data mining and constraint programming[electronic resource] :foundations of a cross-disciplinary approach / …で: (言語・文字資料 (印刷物))

Machine learning for health informatics[electronic resource] :state-of-the-art and future challenges / …で: (言語・文字資料 (印刷物))

Computers and games[electronic resource] :9th International Conference, CG 2016, Leiden, the Netherlands, June 29 - July 1, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Multiple access communications[electronic resource] :9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

Machine learning, optimization, and big data[electronic resource] :second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Transactions on large-scale data- and knowledge-centered systems XXIX[electronic resource] / …で: (言語・文字資料 (印刷物))

Transactions on large-scale data- and knowledge-centered systems XXX[electronic resource] :special issue on cloud computing / …で: (言語・文字資料 (印刷物))

Web and internet economics[electronic resource] :12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Machine translation[electronic resource] :12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Supercomputing[electronic resource] :second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

Internet of vehicles - technologies and services[electronic resource] :third International Conference, IOV 2016, Nadi, Fiji, December 7-10, 2016 : proceedings / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Arithmetic of finite fields[electronic resource] :6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016 : revised selected papers / …で: (言語・文字資料 (印刷物))

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 / …で: (言語・文字資料 (印刷物))

Combinatorial Geometry and Graph Theory[electronic resource] :Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / …で: (コンピュータ・メディア)

Distributed Computing and Internet Technology :[electronic resource] /Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings …で: (コンピュータ・メディア)

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.