Algorithm Analysis and Problem Complexity.

Complexity Theory and Cryptology = An Introduction to Cryptocomplexity / by: (Language materials, printed)

High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / by: (Language materials, printed)

Advanced Techniques in Knowledge Discovery and Data Mining by: (Language materials, printed)

Public Key Cryptography ??PKC 2008 = 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings / by: (Language materials, printed)

Information Retrieval Technology = Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers / by: (Language materials, printed)

Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers / by: (Language materials, printed)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. II / by: (Language materials, printed)

DNA Computing = 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / by: (Language materials, printed)

Local Pattern Detection = International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers / by: (Language materials, printed)

Combinatorial and Algorithmic Aspects of Networking = First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers by: (Language materials, printed)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. III / by: (Language materials, printed)

Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. II / by: (Language materials, printed)

Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / by: (Language materials, printed)

Information Security : = 8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings by: (Language materials, printed)

Machine Learning: ECML 2005 : = 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings by: (Language materials, printed)

Peer-to-Peer Systems and Applications by: (Language materials, printed)

Advances in Informatics : = 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings by: (Language materials, printed)

Energy Minimization Methods in Computer Vision and Pattern Recognition : = 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005, Proceedings by: (Language materials, printed)

Information and Communications Security : = 7th International Conference, ICICS 2005, Beijing, China, December 10-13, 2005, Proceedings by: (Language materials, printed)

Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. I / by: (Language materials, printed)

Algorithmic number theory = 8th international symposium, ANTS-VIII, Banff, Canada, May 17-22, 2008 : proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / by: (Language materials, printed)

Combinatorial Pattern Matching = 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings / by: (Language materials, printed)

A Modular Calculus for the Average Cost of Data Structuring by: (Language materials, printed)

Distributed Search by Constrained Agents = Algorithms, Performance, Communication / by: (Language materials, printed)

Algorithm Theory - SWAT 2008 = 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings / by: (Language materials, printed)

Network Models and Optimization = Multiobjective Genetic Algorithm Approach / by: (Language materials, printed)

Hybrid artificial intelligence systems = third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. proceedings / by: (Language materials, printed)

Battery Management Systems = Accurate State-of-Charge Indication for Battery-Powered Applications / by: (Language materials, printed)

Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings / by: (Language materials, printed)

OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / by: (Language materials, printed)

Information Theoretic Security = Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008. Proceedings / by: (Language materials, printed)

Algorithms - ESA 2008 = 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings / by: (Language materials, printed)

Language and automata theory and applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

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

Parallel problem solving from nature - PPSN X = 10th international conference, Dortmund, Germany, September 13-17, 2008 : proceedings / by: (Language materials, printed)

Multiobjective Evolutionary Algorithms and Applications by: (Language materials, printed)

Swarm Robotics = SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers / by: (Language materials, printed)

Security in Communication Networks = 4th International Conference, SCN 2004, Amalfi, Italy, September 8-10, 2004, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings / by: (Language materials, printed)

Self-star Properties in Complex Information Systems = Conceptual and Practical Foundations / by: (Language materials, printed)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. II / by: (Language materials, printed)

Information Retrieval Technology : = Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005, Proceedings by: (Language materials, printed)

Network and Parallel Computing : = IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings by: (Language materials, printed)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers by: (Language materials, printed)

Advanced Methods for Inconsistent Knowledge Management by: (Language materials, printed)

Genetic Programming Theory and Practice.. V by: (Language materials, printed)

Algorithmic Aspects of Wireless Sensor Networks = Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers / by: (Language materials, printed)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (Language materials, printed)

Genetic programming = 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / by: (Language materials, printed)

Research in computational molecular biology = 12th annual international conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. proceedings / by: (Language materials, printed)

Progress in cryptology - Africacrypt 2008 = first international conference on cryptology in Africa, Casablanca, Morocco, June 11-14, 2008. proceedings / by: (Language materials, printed)

Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings / by: (Language materials, printed)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Language materials, printed)

Information Security and Privacy = 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings / by: (Language materials, printed)

Fast Software Encryption = 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers / by: (Language materials, printed)

Parameterized algorithms by: (Language materials, printed)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014 : revised selected papers / by: (Language materials, printed)

Advances in visual computing = international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008, proceedings, Part II / by: (Language materials, printed)

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

Artificial general intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings / by: (Language materials, printed)

Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / by: (Language materials, printed)

Constructive side-channel analysis and secure design = 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015 : revised selected papers / by: (Language materials, printed)

Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings / by: (Language materials, printed)

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

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

Parallel computing technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings / by: (Language materials, printed)

DNA computing and molecular programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015 : proceedings / by: (Language materials, printed)

Big data computing and communications = first International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015 : proceedings / by: (Language materials, printed)

Search-based software engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings / by: (Language materials, printed)

Database systems for advanced applications = DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015 : revised selected papers / by: (Language materials, printed)

Implementation and application of automata = 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings / by: (Language materials, printed)

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

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

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

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

Computational complexity of solving equation systems by: (Language materials, printed)

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

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

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

Fundamentals of computation theory = 20th International Symposium, FCT 2015, Gdansk, Poland, August 17-19, 2015 : proceedings / by: (Language materials, printed)

Modelling and simulation for autonomous systems = second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015 : revised selected papers / by: (Language materials, printed)

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

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

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

Curves and surfaces = 8th International Conference, Paris, France, June 12-18, 2014 : revised selected papers / by: (Language materials, printed)

Genetic Programming Theory and Practice II by: (Language materials, printed)

Super-Recursive Algorithms by: (Language materials, printed)

Information Processing with Evolutionary Algorithms = From Industrial Applications to Academic Speculations / by: (Language materials, printed)

Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (Language materials, printed)

Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings / by: (Language materials, printed)

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

Natural Language Processing - IJCNLP 2004 = First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers / by: (Language materials, printed)

Network Analysis = Methodological Foundations / by: (Language materials, printed)

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

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

Digital Watermarking : = 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings by: (Language materials, printed)

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

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

Advances in Cryptology - ASIACRYPT 2005 : = 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings by: (Language materials, printed)

Advances in Visual Computing : = First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings by: (Language materials, printed)

Information Security and Cryptology : = First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings by: (Language materials, printed)

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

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

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

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

Graph Drawing = 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers / by: (Language materials, printed)

WALCOM: Algorithms and Computation = Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings / by: (Language materials, printed)

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

Topics in cryptology : = CT-RSA 2008 by: (Language materials, printed)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (Language materials, printed)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (Language materials, printed)

Pattern Recognition = 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings / by: (Language materials, printed)

Data and Applications Security XXII = 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings / by: (Language materials, printed)

Image and Signal Processing = 3rd International Conference, ICISP 2008 Cherbourg-Octeville, France, July 1-3, 2008 Proceedings / by: (Language materials, printed)

Advances in visual computing = 4th international symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008, proceedings, Part I / by: (Language materials, printed)

Time-Dependent scheduling by: (Language materials, printed)

Design by evolution = advances in evolutionary design / by: (Language materials, printed)

Bio-inspired computing and communication = first workshop on bio-inspired design of networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 revised selected papers / by: (Language materials, printed)

Transactions on computational systems biology X by: (Language materials, printed)

Matters computational = ideas, algorithms, source code / by: (Language materials, printed)

Problem solving handbook in computational biology and bioinformatics by: (Language materials, printed)

Genetic programming theory and practice VIII by: (Language materials, printed)

Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / by: (Language materials, printed)

Security in Ad-hoc and Sensor Networks = First European Workshop, ESAS 2004, Heidelberg, Germany, August 6, 2004, Revised Selected Papers / by: (Language materials, printed)

Comparative Genomics = RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers / by: (Language materials, printed)

Regulatory Genomics = RECOMB 2004 International Workshop, RRG 2004, San Diego, CA, USA, March 26-27, 2004, Revised Selected Papers / by: (Language materials, printed)

Grid Computing in Life Science = First International Workshop on Life Science Grid, LSGRID 2004 Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers / by: (Language materials, printed)

Discrete Geometry for Computer Imagery = 12th International Conference, DGCI 2005, Poitiers, France, April 11-13, 2005, Proceedings / by: (Language materials, printed)

Research in Computational Molecular Biology = 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings / by: (Language materials, printed)

Advances in Cryptology - EUROCRYPT 2005 = 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings / by: (Language materials, printed)

Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers / by: (Language materials, printed)

Algorithmic Applications in Management = First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (Language materials, printed)

Mechanisms, Symbols, and Models Underlying Cognition = a bioinspired approach : First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings / by: (Language materials, printed)

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach = a bioinspired approach : First International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005 : proceedings / by: (Language materials, printed)

Distributed Computing in Sensor Systems = First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings / by: (Language materials, printed)

Fast Software Encryption = 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers / by: (Language materials, printed)

Advanced Encryption Standard - AES = 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (Language materials, printed)

Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / by: (Language materials, printed)

Artificial Immune Systems = 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings / by: (Language materials, printed)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = algorithms and techniques : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005, and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings / by: (Language materials, printed)

Pattern Recognition = 27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings / by: (Language materials, printed)

Algorithms in Bioinformatics : = 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings by: (Language materials, printed)

Comparative Genomics : = RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005, Proceedings by: (Language materials, printed)

Progress in Cryptology - Mycrypt 2005 : = First International Conference on Cryptology in Malaysia, Kuala Lumpur, Malaysia, September 28-30, 2005, Proceedings by: (Language materials, printed)

Algorithms - ESA 2005 : = 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings by: (Language materials, printed)

Computer Network Security : = Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 25-27, 2005 : proceedings by: (Language materials, printed)

Analysis and Modelling of Faces and Gestures : = Second International Workshop, AMFG 2005, Beijing, China, October 16, 2005, Proceedings by: (Language materials, printed)

Variational, Geometric, and Level Set Methods in Computer Vision : = Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings by: (Language materials, printed)

Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 by: (Language materials, printed)

Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 by: (Language materials, printed)

Practice and Theory of Automated Timetabling V : = 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers by: (Language materials, printed)

Advanced Computing = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part III / by: (Language materials, printed)

Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings by: (Language materials, printed)

Security and Privacy in Ad-hoc and Sensor Networks : = Second European Workshop, ESAS 2005, Visegrad, Hungary, July 13-14, 2005. Revised Selected Papers by: (Language materials, printed)

Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings by: (Language materials, printed)

Harmonic analysis, signal processing, and complexity = festschrift in honor of the 60th birthday of Carlos A. Berenstein / by: (Language materials, printed)

Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / by: (Language materials, printed)

Algorithms unplugged by: (Language materials, printed)

Advances in networks and communications = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part II / by: (Language materials, printed)

Advances in computer science and information technology = first International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011 : proceedings.. Part I / by: (Language materials, printed)

Intelligent computing and information science = international conference, ICICIS 2011, Chongqing, China, January 8-9, 2011 : Proceedings.. Part I / by: (Language materials, printed)

Intelligent computing and information science = international conference, ICICIS 2011, Chongqing, China, January 8-9, 2011 : proceedings.. Part II / by: (Language materials, printed)

Differential Evolution = A Practical Approach to Global Optimization / by: (Language materials, printed)

Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (Language materials, printed)

Evolutionary computation, machine learning and data mining in bioinformatics = 6th European conference, EVOBIO 2008, Naples, Italy, March 26-28, 2008. proceedings / by: (Language materials, printed)

Advances in cryptology -- EUROCRYPT 2008 = 27th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Istanbul, Turkey, April 13-17, 2008 : proceedings / by: (Language materials, printed)

Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / by: (Language materials, printed)

Discrete geometry for computer imagery = 14th IAPR international conference, DGCI 2008, Lyon, France, April 16-18, 2008 : proceedings / by: (Language materials, printed)

Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers / by: (Language materials, printed)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers / by: (Language materials, printed)

Theory of quantum computation, communication and cryptography = 5th conference, TQC 2010, Leeds, UK, April 13-15, 2010 : revised selected papers / by: (Language materials, printed)

Performance evaluation, measurement and characterization of complex systems = second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers / by: (Language materials, printed)

Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers / by: (Language materials, printed)

Numerical methods and applications = 7th international conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010 : revised papers / by: (Language materials, printed)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (Language materials, printed)

Approximation and online algorithms = 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers / by: (Language materials, printed)

Computational intelligence = research frontiers : IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008 : plenary/invited lectures / by: (Language materials, printed)

DNA computing and molecular programming = 16th international conference, DNA 16, Hong Kong, China, June 14-17, 2010 : revised selected papers / by: (Language materials, printed)

Distributed computing and networking = 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011 : proceedings / by: (Language materials, printed)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings / by: (Language materials, printed)

SOFSEM 2011 = theory and practice of computer science : 37th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 22 - 28, 2011 : proceedings / by: (Language materials, printed)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (Language materials, printed)

Transactions on Data Hiding and Multimedia Security III by: (Language materials, printed)

Information security applications = 11th international workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010 : revised selected papers / by: (Language materials, printed)

Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings / by: (Language materials, printed)

Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (Language materials, printed)

Advances in computing, communication and control = international conference, ICAC3 2011, Mumbai, India, January 28-29, 2011 : proceedings / by: (Language materials, printed)

Multimodal Technologies for Perception of Humans = International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers / by: (Language materials, printed)

Distributed Computing in Sensor Systems = 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / by: (Language materials, printed)

A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (Language materials, printed)

Arithmetic of Finite Fields = 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings / by: (Language materials, printed)

Conceptual Structures: Knowledge Visualization and Reasoning = 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings / by: (Language materials, printed)

Combinatorial Geometry and Graph Theory = Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / by: (Language materials, printed)

Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers / by: (Language materials, printed)

Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers / by: (Language materials, printed)

Cellular Automata = 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / by: (Language materials, printed)

Artificial Immune Systems = 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / by: (Language materials, printed)

Financial Cryptography and Data Security = 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers / by: (Language materials, printed)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings / by: (Language materials, printed)

Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / by: (Language materials, printed)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. III / by: (Language materials, printed)

Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings / by: (Language materials, printed)

Information Security and Privacy = 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005, Proceedings / by: (Language materials, printed)

Algorithms and Data Structures = 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings / by: (Language materials, printed)

Advances in Bioinformatics and Computational Biology = Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings / by: (Language materials, printed)

Computing and Combinatorics = 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings / by: (Language materials, printed)

Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. I / by: (Language materials, printed)

Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (Language materials, printed)

Computer Analysis of Images and Patterns : = 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005, Proceedings by: (Language materials, printed)

Sequences and Their Applications - SETA 2008 = 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings / by: (Language materials, printed)

High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (Language materials, printed)

Image Analysis and Recognition : = Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005, Proceedings by: (Language materials, printed)

Algorithms in bioinformatics = 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. Proceedings / by: (Language materials, printed)

Distributed Computing : = 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings by: (Language materials, printed)

Natural Language Processing - IJCNLP 2005 : = Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings by: (Language materials, printed)

Graph transformations = 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; proceedings / by: (Language materials, printed)

Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings / by: (Language materials, printed)

Parallel and Distributed Processing and Applications : = Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (Language materials, printed)

Cognitive Engineering = A Distributed Approach to Machine Intelligence / by: (Language materials, printed)

Topics in cryptology = CT-RSA 2011 : the cryptographers' track at the RSA conference 2011, San Francisco, CA, USA, February 14-18, 2011 : proceedings / by: (Language materials, printed)

Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers / by: (Language materials, printed)

Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (Language materials, printed)

WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / by: (Language materials, printed)

Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings / by: (Language materials, printed)

Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part III / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 34th international workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. revised papers / by: (Language materials, printed)

Public key cryptography = PKC 2011 : 14th international conference on practice and theory in public key cryptography, Taormina, Italy, March 6-9, 2011 : proceedings / by: (Language materials, printed)

Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part IV / by: (Language materials, printed)

Mathematical and Statistical Methods in Insurance and Finance by: (Language materials, printed)

Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part II / by: (Language materials, printed)

Introduction to reliable and secure distributed programming by: (Language materials, printed)

Control, computation and information systems = first international conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25 - 27, 2011 : proceedings / by: (Language materials, printed)

Information intelligence, systems, technology and management = 5th International Conference, ICISTM 2011, Gurgaon, India, March 10-12, 2011 : proceedings / by: (Language materials, printed)

Information systems for indian languages = international conference, ICISIL 2011, Patiala, India, March 9-11, 2011 : proceedings / by: (Language materials, printed)

ICT innovations 2010 = second international conference, ICT Innovations 2010, Ohrid, Macedonia, September 12-15, 2010 : revised selected papers / by: (Language materials, printed)

New software engineering paradigm based on complexity science = an introduction to NSE / by: (Language materials, printed)

Probabilistic Inductive Logic Programming = Theory and Applications / by: (Language materials, printed)

Advanced Methods for Knowledge Discovery from Complex Data by: (Language materials, printed)

Algorithms and Data Structures = The Basic Toolbox / by: (Language materials, printed)

Artificial evolution = 8th international conference, evolution artificielle, EA 2007, tours, France, October 29-31, 2007, revised selected papers / by: (Language materials, printed)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (Language materials, printed)

Computer vision = ACCV 2010 : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010 : revised selected papers.. Part I / by: (Language materials, printed)

Selected areas in cryptography = 17th international workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010 : revised selected papers / by: (Language materials, printed)

Language, games, and evolution = trends in current research on language and game theory / by: (Language materials, printed)

Search computing = trends and developments / by: (Language materials, printed)

Recent advances in constraints = 14th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 : revised selected papers / by: (Language materials, printed)

Passive and active measurement = 12th international conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011 : proceedings / by: (Language materials, printed)

Combinatorial algorithms = 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 : revised selected papers / by: (Language materials, printed)

Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings / by: (Language materials, printed)

Compiler construction = 20th International Conference, CC 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (Language materials, printed)

Reconfigurable computing = architectures, tools and applications : 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 : proceedings / by: (Language materials, printed)

Image Analysis and Recognition = 5th International Conference, ICIAR 2008, Povoa de Varzim, Portugal, June 25-27, 2008. Proceedings / by: (Language materials, printed)

Public Key Infrastructure = 5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings / by: (Language materials, printed)

Bioinformatics = Problem Solving Paradigms / by: (Language materials, printed)

Theory of cryptography = 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011 : proceedings / by: (Language materials, printed)

Research in computational molecular biology = 15th annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011 : proceedings / by: (Language materials, printed)

Evolutionary multi-criterion optimization = 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011 : proceedings / by: (Language materials, printed)

Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings / by: (Language materials, printed)

Discrete Geometry for Computer Imagery = 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings / by: (Language materials, printed)

Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / by: (Language materials, printed)

Biomedical engineering systems and technologies = third International Joint Conference, BIOSTEC 2010, Valencia, Spain, January 20-23, 2010 : revised selected papers / by: (Language materials, printed)

Agents and artificial intelligence = second international conference, ICAART 2010, Valencia, Spain, January 22-24, 2010 : revised selected papers / by: (Language materials, printed)

Computer networks and information technologies = second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011 : proceedings / by: (Language materials, printed)

Pairing-Based Cryptography -- Pairing 2008 = Second International Conference, Egham, UK, September 1-3, 2008. Proceedings / by: (Language materials, printed)

Complexity Theory = Exploring the Limits of Efficient Algorithms / by: (Language materials, printed)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II / by: (Language materials, printed)

Security and Cryptography for Networks = 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings / by: (Language materials, printed)

Practical Problems in VLSI Physical Design Automation by: (Language materials, printed)

Design and Analysis of Randomized Algorithms = Introduction to Design Paradigms / by: (Language materials, printed)

Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings / by: (Language materials, printed)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (Language materials, printed)

Computational Intelligence and Bioinspired Systems = 8th International Work-Conference on Artificial Neural Networks, IWANN 2005, Vilanova i la Geltru, Barcelona, Spain, June 8-10, 2005, Proceedings / by: (Language materials, printed)

Information Security and Cryptology - ICISC 2004 = 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / by: (Language materials, printed)

Advances in Grid Computing - EGC 2005 = European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / by: (Language materials, printed)

Public Key Infrastructure = Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers / by: (Language materials, printed)

Advances in Natural Computation = First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings.. I / by: (Language materials, printed)

Data and Applications Security XIX = 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings / by: (Language materials, printed)

Peer-to-Peer Systems IV : = 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers by: (Language materials, printed)

Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings by: (Language materials, printed)

Randomized Algorithms for Analysis and Control of Uncertain Systems by: (Language materials, printed)

Dissemination of Information in Optical Networks = From Technology to Algorithms In Cooperation with Ralf Klasing / by: (Language materials, printed)

Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings / by: (Language materials, printed)

Algorithmic aspects of wireless sensor networks = fourth international workshop, ALGOSENSORS 2008, Reykjavik, Iceland, July 2008. revised selected papers / by: (Language materials, printed)

Learning and intelligent optimization = second international conference, LION 2007 II, Trento, Italy, December 8-12, 2007. selected papers / by: (Language materials, printed)

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part I / by: (Language materials, printed)

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II / by: (Language materials, printed)

Intelligent information and database systems = third international conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011 : proceedings.. Part II / by: (Language materials, printed)

Experimental algorithms = 10th international symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 : proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (Language materials, printed)

Genetic programming = 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (Language materials, printed)

Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (Language materials, printed)

Evolutionary computation, machine learning and data mining in bioinformatics = 9th European conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011 : proceedings / by: (Language materials, printed)

NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part II / by: (Language materials, printed)

Advances in grid and pervasive computing = 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 : proceedings / by: (Language materials, printed)

NETWORKING 2011 = 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011 : proceedings.. Part I / by: (Language materials, printed)

Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / by: (Language materials, printed)

Bioinformatics research and applications = 7th international symposium, ISBRA 2011, Changsha, China, May 27-29, 2011 : proceedings / by: (Language materials, printed)

Ubiquitous computing and multimedia applications = second international conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011, proceedings.. Part II / by: (Language materials, printed)

Ubiquitous computing and multimedia applications = second international conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011, proceedings.. Part I / by: (Language materials, printed)

Privacy and identity management for life = 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010 : revised selected papers / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers / by: (Language materials, printed)

Integer programming and combinatorial optimization = 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008 : proceedings / by: (Language materials, printed)

Information retrieval technology = 4th Asia infomation retrieval symposium, AIRS 2008, Harbin, China, January 15-18, 2008 revised selected papers / by: (Language materials, printed)

Implementation and Application of Automata = 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers / by: (Language materials, printed)

Approximation and Online Algorithms = Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / by: (Language materials, printed)

Digital Watermarking = Third International Workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings / by: (Language materials, printed)

Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings / by: (Language materials, printed)

Advances in Neural Networks - ISNN 2005 = Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings.. I / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings / by: (Language materials, printed)

Learning Theory = 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings / by: (Language materials, printed)

Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / by: (Language materials, printed)

Security Protocols = 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / by: (Language materials, printed)

Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings / by: (Language materials, printed)

Algorithmic Learning Theory : = 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings by: (Language materials, printed)

Parallel and Distributed Processing and Applications - ISPA 2005 Workshops : = ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings by: (Language materials, printed)

Transactions on computational systems biology IX by: (Language materials, printed)

Progress in Cryptology - INDOCRYPT 2005 : = 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings by: (Language materials, printed)

Distributed Computing - IWDC 2005 : = 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science : = 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers by: (Language materials, printed)

Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers / by: (Language materials, printed)

Rule-based reasoning, programming, and applications = 5th international symposium, RULEML 2011, Europe, Barcelona, Spain, July 19-21 2011 : proceedings / by: (Language materials, printed)

Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-22 2011 : proceedings / by: (Language materials, printed)

Artificial immune systems = 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 : proceedings / by: (Language materials, printed)

Privacy enhancing technologies = 11th international symposium, PETS 2011, Waterloo, ON, Canada, July 27-29 2011 : proceedings / by: (Language materials, printed)

Energy minimization methods in computer vision and pattern recognition = 8th international conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011 : proceedings / by: (Language materials, printed)

Scientific and statistical database management = 23rd international conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011 : proceedings / by: (Language materials, printed)

Implementation and application of automata = 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings / by: (Language materials, printed)

Modeling decision for artificial intelligence = 8th international conference, MDAI 2011, Changsha, China, July 28-30, 2011 : proceedings / by: (Language materials, printed)

Structural information and communication complexity = 18th international colloquium, SIROCCO 2011, Gdansk, Poland, June 26-29, 2011 : proceedings / by: (Language materials, printed)

Artificial general intelligence = 4th international conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011 : proceedings / by: (Language materials, printed)

Combinatorial optimization and applications = 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings / by: (Language materials, printed)

Computational intelligence methods for bioinformatics and biostatistics = 7th international meeting, CIBB 2010, Palermo, Italy, September 16-18, 2010 : revised selected papers / by: (Language materials, printed)

Information security and cryptology = 6th international conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010 : revised selected papers / by: (Language materials, printed)

Enhancing learning through technology = education unplugged: mobile technologies and Web 2.0 : 6th international conference, ITC 2011, Hong Kong, China, July 11-13, 2011 : proceedings / by: (Language materials, printed)

Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advances in information technology and education = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part II / by: (Language materials, printed)

High performance architecture and grid computing = international conference, HPAGC 2011, Chandigarh, India, July 19-20, 2011 : proceedings / by: (Language materials, printed)

Trends in network and communications = international conferences, NeCOM, WeST, WiMoN 2011, Chennai, India, July 15-17, 2011 : proceedings / by: (Language materials, printed)

Computer networks and intelligent computing = 5th international conference on information processing, ICIP 2011, Bangalore, India, August 5-7, 2011 : proceedings / by: (Language materials, printed)

Advances in computer science and education applications = international conference, CSE 2011, Qingdao, China, July 9-10, 2011 : proceedings.. Part II / by: (Language materials, printed)

Parallel and distributed computing and networks = international conference, PDCN 2010, Chongqing, China, December 13-14, 2010 : revised selected papers / by: (Language materials, printed)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advanced research on computer science and information engineering = international conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011 : proceedings.. Part II / by: (Language materials, printed)

Advances in network security and applications = 4th international conference, CNSA 2011, Chennai, India, July 15-17, 2011 / by: (Language materials, printed)

Advances in computing and communications = first international conference, ACC 2011, Kochi, India, July 22-24, 2011 : proceedings.. Part III / by: (Language materials, printed)

Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part I / by: (Language materials, printed)

Distributed Computing and Networking = 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings / by: (Electronic resources)

Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / by: (Language materials, printed)

Understanding Planning Tasks = Domain Complexity and Heuristic Decomposition / by: (Language materials, printed)

Approximation and Online Algorithms = 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers / by: (Language materials, printed)

Theory of Cryptography = Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings / by: (Language materials, printed)

Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Image Analysis = 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings / by: (Language materials, printed)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (Language materials, printed)

Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings / by: (Language materials, printed)

Computer science = theory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / by: (Language materials, printed)

Information security theory and practice = security and privacy of mobile devices in wireless communication : 5th IFIP WG 11.2 international workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011 : proceedings / by: (Language materials, printed)

Advances in swarm intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and models for the web graph = 8th international workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011 : proceedings / by: (Language materials, printed)

OpenMP in the petascale era = 7th international workshop on OpenMP, IWOMP 2011, Chicago, IL, USA, June 13-15, 2011 : proceedings / by: (Language materials, printed)

Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / by: (Language materials, printed)

Unconventional computation = 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 : proceedings / by: (Language materials, printed)

Artificial neural networks and machine learning = ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011 : proceedings.. Part II / by: (Language materials, printed)

Artificial neural networks and machine learning = ICANN 2011 : 21st International Conference on Artificial Neural Networks, Espoo, Finland, June 14-17, 2011 : proceedings.. Part I / by: (Language materials, printed)

Applied cryptography and network security = 9th international conference, ACNS 2011, Nerja, Spain, June 7-10, 2011 : proceedings / by: (Language materials, printed)

Trust and trustworthy computing = 4th international conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011 : proceedings / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part II / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part III / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part V / by: (Language materials, printed)

Computational science and its applications = ICCSA 2011 : international conference, Santander, Spain, June 20-23, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Fast software encryption = 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 : revised selected papers / by: (Language materials, printed)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II / by: (Language materials, printed)

Integer programming and combinatoral optimization = 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings / by: (Language materials, printed)

Detection of intrusions and malware, and vulnerability assessment = 8th international conference, DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011 : proceedings / by: (Language materials, printed)

Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I / by: (Language materials, printed)

Modern approaches in applied intelligence = 24th international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011 : proceedings.. Part II / by: (Language materials, printed)

User modeling, adaption and personalization = 19th international conference, UMAP 2011, Girona, Spain, July 11-15, 2011 : proceedings / by: (Language materials, printed)

Managing the dynamics of networks and services = 5th international conference on autonomous infrastructure, management, and security, AIMS 2011, Nancy, France, June 13-17, 2011 : proceedings / by: (Language materials, printed)

Pattern recognition and machine intelligence = 4th international conference, PReMI 2011, Moscow, Russia, June 27 - July 1, 2011 : proceedings / by: (Language materials, printed)

Combinatorial pattern matching = 22nd annual symposium, CPM 2011, Palermo, Italy, June 27-29, 2011 : proceedings / by: (Language materials, printed)

Modern approaches in applied intelligence = 24th international conference on industrial engineering and other applications of applied intelligent systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011 : proceedings.. Part I / by: (Language materials, printed)

Progress in cryptology = AFRICACRYP T 2011 : 4th international conference on cryptology in Africa, Dakar, Senegal, July 5-7, 2011 : proceedings / by: (Language materials, printed)

Data and applications security and privacy XXV = 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011 : proceedings / by: (Language materials, printed)

Image analysis and recognition = 8th international conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011 : proceedings.. Part II / by: (Language materials, printed)

Image analysis and recognition = 8th international conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011 : proceedings.. Part I / by: (Language materials, printed)

Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part II / by: (Language materials, printed)

Advances in wireless, mobile networks and applications = international conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011 : proceedings / by: (Language materials, printed)

Software process improvement and capability determination = 11th international conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011 : proceedings / by: (Language materials, printed)

Future challenges in security and privacy for academia and industry = 26th IFIP TC 11 international information security conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011 : proceedings / by: (Language materials, printed)

Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings / by: (Language materials, printed)

Integrated computing technology = first international conference, INTECH 2011, Sao Carlos, Brazil, May 31 - June 2, 2011 : proceedings / by: (Language materials, printed)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part III / by: (Language materials, printed)

Future information technology = 6th international conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011 : proceedings.. Part I / by: (Language materials, printed)

Secure and trust computing, data management, and applications = STA 2011 Workshops: IWCS 2011 and STAVE 2011, Loutraki, Greece, June 28-30, 2011 : proceedings / by: (Language materials, printed)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part II / by: (Language materials, printed)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part I / by: (Language materials, printed)

Software engineering and computer systems = second international conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011 : proceedings.. Part II / by: (Language materials, printed)

Digital information processing and communications = international conference, ICDIPC 2011, Ostrava, Czech Republic, July 7-9, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advances in Computing and Information Technology = first international conference, ACITY 2011, Chennai, India, July 15-17, 2011 : proceedings / by: (Language materials, printed)

Advanced research on computer education, simulation and modeling = international conference, CESM 2011, Wuhan, China, June 18-19, 2011 : proceedings.. Part II / by: (Language materials, printed)

Information Security and Cryptology = Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / by: (Language materials, printed)

Cryptographic Hardware and Embedded Systems -- CHES 2008 = 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / by: (Language materials, printed)

Unconventional Computing = 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings / by: (Language materials, printed)

Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings / by: (Language materials, printed)

Computers and games = 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings / by: (Language materials, printed)

Advances in cryptology - EUROCRYPT 2011 = 30th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, May 15-19, 2011 : proceedings / by: (Language materials, printed)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011 : proceedings / by: (Language materials, printed)

Information theoretic security = 5th international conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011 : proceedings / by: (Language materials, printed)

Transactions on computational systems biology XIII by: (Language materials, printed)

Foundations on natural and artificial computation = 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part I / by: (Language materials, printed)

New challenges on bioinspired applications = 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011 : proceedings.. Part II / by: (Language materials, printed)

Combinatorial image analysis = 14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 : proceedings / by: (Language materials, printed)

Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part III / by: (Language materials, printed)

Advances in neural networks - ISNN 2011 = 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29 - June 1, 2011 : proceedings.. Part II / by: (Language materials, printed)

Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part I / by: (Language materials, printed)

Hybrid artificial intelligent systems = 6th international conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011 : proceedings.. Part II / by: (Language materials, printed)

Advances in knowledge discovery and data mining = 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011 : proceedings.. Part II / by: (Language materials, printed)

Language and automata theory and applications = 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 : proceedings / by: (Language materials, printed)

Advances in knowledge discovery and data mining = 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011 : proceedings.. Part I / by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (Language materials, printed)

Computational intelligence in security for information systems = 4th International Conference, CISIS 2011, Held at IWANN 2011, Torremolinos-Malaga, Spain, June 8-10, 2011 : proceedings / by: (Language materials, printed)

Advances in Swarm Intelligence = second international conference, ICSI 2011, Chongqing, China, June 12-15, 2011 : proceedings.. Part I / by: (Language materials, printed)

Multimedia communications, services and security = 4th International Conference, MCSS 2011, Krakow, Poland, June 2-3, 2011 : proceedings / by: (Language materials, printed)

Progress in cryptology - INDOCRYPT 2008 = 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008, proceedings / by: (Language materials, printed)

High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (Language materials, printed)

Fixed-point algorithms for inverse problems in science and engineering by: (Language materials, printed)

High Performance Computational Science and Engineering = IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (Language materials, printed)

Probabilistic Modeling in Bioinformatics and Medical Informatics by: (Language materials, printed)

Topics in Cryptology -- CT-RSA 2005 = The Cryptographers' Track at the RSA Conference 2005, San Francisco, CA, USA, February 14-18, 2005, Proceedings / by: (Language materials, printed)

Public Key Cryptography - PKC 2005 = 8th International Workshop on Theory and Practice in Public Key Cryptography / by: (Language materials, printed)

Genetic Programming = 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings / by: (Language materials, printed)

Active Mining = Second International Workshop, AM 2003, Maebashi, Japan, October 28, 2003, Revised Selected Papers by: (Language materials, printed)

Combinatorial Pattern Matching = 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings / by: (Language materials, printed)

Computer Algebra and Geometric Algebra with Applications = 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers / by: (Language materials, printed)

Intelligent Data Engineering and Automated Learning - IDEAL 2005 = 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings by: (Language materials, printed)

Advances in Intelligent Computing = International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings.. II / by: (Language materials, printed)

Image Analysis and Processing - ICIAP 2005 : = 13th International Conference, Cagliari, Italy, September 6-8, 2005, Proceedings by: (Language materials, printed)

Unconventional Computation : = 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings by: (Language materials, printed)

Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings by: (Language materials, printed)

Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings by: (Language materials, printed)

Brain, Vision, and Artificial Intelligence : = First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings by: (Language materials, printed)

String Processing and Information Retrieval : = 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings by: (Language materials, printed)

Discrete and Computational Geometry : = Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004 by: (Language materials, printed)

Mobile Ad-hoc and Sensor Networks : = First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings by: (Language materials, printed)

Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity / by: (Language materials, printed)

High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / by: (Language materials, printed)

DNA Computing = 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers / by: (Language materials, printed)

Computational Geometry = Algorithms and Applications / by: (Language materials, printed)

Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers / by: (Language materials, printed)

Distributed computing = 22nd international symposium, DISC 2008, Arcachon, France, September 22-24, 2008 : proceedings / by: (Language materials, printed)

Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings / by: (Language materials, printed)

Mathematical Foundations of Computer Science 2008 = 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings / by: (Language materials, printed)

Advanced intelligent computing theories and applications = With Aspects of Theoretical and Methodological Issues: 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2008 = 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008, proceedings / by: (Language materials, printed)

Advances in information and computer security = Third International Workshop on Security, IWSEC 2008, Kagawa, Japan, November 25-27, 2008, proceedings / by: (Language materials, printed)

Cryptology and network security = 7th international conference, CANS 2008, Hong-Kong, China, December 2-4, 2008, proceedings / by: (Language materials, printed)

Complexity of constraints = an overview of current research themes / by: (Language materials, printed)

Hypercomputation = computing beyond the Church-Turing barrier / by: (Language materials, printed)

Advances in computer science - ASIAN 2009 = information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings / by: (Language materials, printed)

Algorithms and computation = 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings / by: (Language materials, printed)

Information security applications = 10th international workshop, WISA 2009, Busan, Korea, August 25-27, 2009 : revised selected papers / by: (Language materials, printed)

Information and communications security = 11th international conference, ICICS 2009, Beijing, China, December 14-17, 2009 : proceedings / by: (Language materials, printed)

Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday / by: (Language materials, printed)

Testing of software and communication systems = 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009 : proceedings / by: (Language materials, printed)

Visual informatics = Bridging Research and Practice : First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings / by: (Language materials, printed)

Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (Language materials, printed)

Combinatorial image analysis = 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009 : proceedings / by: (Language materials, printed)

Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers / by: (Language materials, printed)

Information theoretic security = second international conference, ICITS 2007, Madrid, Spain, May 25-29, 2007 : revised selected papers / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2009 = 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: (Language materials, printed)

Network control and optimization = Third Euro-NF Conference, NET-COOP 2009, Eindhoven, The Netherlands, November 23-25, 2009 : proceedings / by: (Language materials, printed)

DNA computing and molecular programming = 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009 : revised selected paperss / by: (Language materials, printed)

Agents for games and simulations = trends in techniques, concepts and design / by: (Language materials, printed)

Parameterized and exact computation = 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009 : revised selected papers / by: (Language materials, printed)

Quantum circuit simulation by: (Language materials, printed)

Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures / by: (Language materials, printed)

Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (Language materials, printed)

Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings / by: (Language materials, printed)

Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings / by: (Language materials, printed)

Information retrieval technology = 5th Asia information retrieval symposium, AIRS 2009, Sapporo, Japan, October 21-23, 2009 : proceedings / by: (Language materials, printed)

DNA computing = b14th international meeting on DNA computing, DNA 14, Prague, Czech Republic, June 2-9, 2008 : revised selected papers / by: (Language materials, printed)

Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (Language materials, printed)

Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (Language materials, printed)

Transactions on computational systems biology XI by: (Language materials, printed)

Advances in information and computer security = 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 : proceedings / by: (Language materials, printed)

Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Language materials, printed)

Hybrid metaheuristics = 6th international workshop, HM 2009, Udine, Italy, October 16-17, 2009 : proceedings / by: (Language materials, printed)

Adaptive and natural computing algorithms = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by: (Language materials, printed)

Stochastic algorithms = foundations and applications : 5th international symposium, SAGA 2009, Sapporo, Japan, October 26-28, 2009 : proceedings / by: (Language materials, printed)

Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / by: (Language materials, printed)

System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers / by: (Language materials, printed)

Artificial intelligence = an international perspective / by: (Language materials, printed)

Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings / by: (Language materials, printed)

Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday / by: (Language materials, printed)

Foundations and applications of security analysis = Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / by: (Language materials, printed)

Critical information infrastructures security = third international workshop, CRITIS 2008, Rome, Italy, October13-15, 2008 : revised papers / by: (Language materials, printed)

Mathematics of surfaces XIII = 13th IMA International Conference York, UK, September 7-9, 2009 : proceedings / by: (Language materials, printed)

Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (Language materials, printed)

Engineering stochastic local search algorithms = designing, implementing and analyzing effective heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009 : proceedings / by: (Language materials, printed)

Reasoning web = semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (Language materials, printed)

Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings / by: (Language materials, printed)

Emerging intelligent computing technology and applications = 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009 : proceedings / by: (Language materials, printed)

CONCUR 2009 - concurrency theory = 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2009 = 17th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings / by: (Language materials, printed)

Cryptographic hardware and embedded systems - CHES 2009 = 11th international workshop, Lausanne, Switzerland, September 6-9, 2009 : proceedings / by: (Language materials, printed)

Image analysis and processing - ICIAP 2009 = 15th international conference, Vietri Sul Mare, Italy, September 8-11, 2009 : proceedings / by: (Language materials, printed)

Smart spaces and next generation wired/wireless networking = 9th international conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings / by: (Language materials, printed)

Algorithms in bioinformatics = 9th international workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009 : proceedings / by: (Language materials, printed)

Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings / by: (Language materials, printed)

Mobile entity localization and tracking in GPS-less environnments = Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 2009 : proceedings / by: (Language materials, printed)

Intelligent data engineering and automated learning - IDEAL 2009 = 10th international conference, Bourgos, Spain, September 23-26, 2009 : proceedings / by: (Language materials, printed)

Discrete geometry for computer imagery = 15th IAPR International Conference, DGCI 2009, Montreal, Canada, September 30-October 2, 2009 : proceedings / by: (Language materials, printed)

Advances in information retrieval theory = Second International Conference on the Theory of Information Retrieval, ICTIR 2009, Cambridge, UK, September 10-12, 2009 : proceedings / by: (Language materials, printed)

Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (Language materials, printed)

Information security = 12th international conference, ISC 2009, Pisa, Italy, September 7-9, 2009 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings / by: (Language materials, printed)

Contemporary computing = second international conference, IC3 2009, Noida, India, August 17-19, 2009 : proceedings / by: (Language materials, printed)

Artificial immune systems = 8th international conference, ICARIS 2009, York, UK, August 9-12, 2009 ; Proceedings / by: (Language materials, printed)

Pairing-based cryptography - Pairing 2009 = Third International Conference Palo Alto, CA, USA, August 12-14, 2009 : Proceedings / by: (Language materials, printed)

Computer science - theory and applications = 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (Language materials, printed)

Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / by: (Language materials, printed)

Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings / by: (Language materials, printed)

Energy minimization methods in computer vision and pattern recognition = 7th international conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009 : proceedings / by: (Language materials, printed)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009 : proceedings / by: (Language materials, printed)

String processing and information retrieval = 16th International Symposium, SPIRE 2009 Saariselka, Finland, August 25-27, 2009 Proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (Language materials, printed)

Digraphs = theory, algorithms and applications / by: (Language materials, printed)

Conceptual structures = common semantics for sharing knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005 : proceedings / by: (Language materials, printed)

Optimal design and related areas in optimization and statistics by: (Language materials, printed)

Scheduling for parallel processing by: (Language materials, printed)

Critical information infrastructures security = second international workshop, CRITIS 2007, Malaga, Spain, October 3-5, 2007 : revised papers / by: (Language materials, printed)

Cryptography and coding = 13th IMA international conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings / by: (Language materials, printed)

AI 2011 = advances in artificial intelligence : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011 : proceedings / by: (Language materials, printed)

Advanced data mining and applications = 7th international conference, ADMA 2011, Beijing, China, December 17-19, 2011 : proceedings.. Part I / by: (Language materials, printed)

Progress in cryptology = INDOCRYPT 2011 : 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011 : proceedings / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part I / by: (Language materials, printed)

Performance evaluation of computer and communication systems = milestones and future challenges : IFIP WG 6.3/7.3 international workshop, PERFORM 2010, in Honor of Gunter Haring on the Occasion of His Emeritus Celebration, Vienna, Austria, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19-21, 2011 : proceedings.. Part II / by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings / by: (Language materials, printed)

Smart card research and advanced applications = 10th IFIP WG 8.8/11.2 international conference, CARDIS 2011, Leuven, Belgium, September 14-16, 2011 : revised selected papers / by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I / by: (Language materials, printed)

Advanced data mining and applications = 7th international conference, ADMA 2011, Beijing, China, December 17-19, 2011 : proceedings.. Part II / by: (Language materials, printed)

Information retrieval technology = 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011 : proceedings / by: (Language materials, printed)

Security technology = international conference, SecTech 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Communication and networking = international conference, FGCN 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings.. Part II / by: (Language materials, printed)

Anaphora processing and applications = 8th discourse anaphora and anaphor resolution colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011 : revised selected papers / by: (Language materials, printed)

Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / by: (Language materials, printed)

Innovative computing technology = first international conference, INCT 2011, Tehran, Iran, December 13-15, 2011 : proceedings / by: (Language materials, printed)

Multi-disciplinary trends in artificial intelligence = 5th international workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011 : proceedings / by: (Language materials, printed)

Algorithms and computation = 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 : proceedings / by: (Language materials, printed)

Computational intelligence and information technology = first international conference, CIIT 2011, Pune, India, November 7-8, 2011 : proceedings / by: (Language materials, printed)

Signal processing, image processing and pattern recognition = international conference, SIP 2011, held as part of the Future Generation Information Technology Conference FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Multimedia, computer graphics and broadcasting = international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings.. Part II / by: (Language materials, printed)

Grid and distributed computing = international conference, GDC 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Computability and complexity theory by: (Language materials, printed)

Control and automation, and energy system engineering = international conferences, CA and CES3 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Computer information systems - analysis and technologies = 10th International Conference, CISIM 2011, Kolkata, India, December 14-16, 2011 : proceedings / by: (Language materials, printed)

U- and E-Service, science and technology = international conference, UNESST 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II / by: (Language materials, printed)

Database theory and application, bio-science and bio-technology = international conferences, DTA and BSBT 2011, held as part of the Future Generation Information Technology Conference, FGIT 2001 in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 : proceedings / by: (Language materials, printed)

Visual informatics = sustaining research and innovations : second international visual informatics conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011 : proceedings.. Part II / by: (Language materials, printed)

Combinatorial algorithms = 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers / by: (Language materials, printed)

Decision and game theory for security = second international conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011 : proceedings / by: (Language materials, printed)

Motion in games = 4th international conference, MIG 2011, Edinburgh, UK, November 13-15, 2011 : proceedings / by: (Language materials, printed)

Transactions on data hiding and multimedia security VI by: (Language materials, printed)

Trusted systems = second international conference, INTRUST 2010, Beijing, China, December 13-15, 2010 : revised selected papers / by: (Language materials, printed)

Video processing and computational video = international seminar, Dagstuhl Castle, Germany, October 10-15, 2010 : revised papers / by: (Language materials, printed)

Learning and intelligent optimization = 5th international conference, LION 5, Rome, Italy, January 17-21, 2011 : selected papers / by: (Language materials, printed)

Biometric recognition = 6th Chinese conference, CCBR 2011, Beijing, China, December 3-4, 2011 : proceedings / by: (Language materials, printed)

Computational geometry, graphs and applications = 9th international conference, CGGA 2010, Dalian, China, November 3-6, 2010 : revised selected papers / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 37th international workshop, WG 2011, Tepla Monastery, Czech Republic, June 21-24, 2011 : revised papers / by: (Language materials, printed)

Internet and network economics = 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 : proceedings / by: (Language materials, printed)

Advances in cryptology = ASIACRYPT 2011 : 17th international conference on the theory and application of cryptology and information security, Seoul, South Korea, December 4-8, 2011 : proceedings / by: (Language materials, printed)

Post-quantum cryptography = 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29 - December 2, 2011 : proceedings / by: (Language materials, printed)

Progress in pattern recognition, image analysis, computer vision, and applications = 16th Iberoamerican Congress, CIARP 2011, Pucon, Chile, November 15-18, 2011 : proceedings / by: (Language materials, printed)

Transactions on computational science XIV = special issue on Voronoi diagrams and Delaunay triangulation / by: (Language materials, printed)

Information and communications security = 13th international conference, ICICS 2011, Beijing, China, November 23-26, 2011 : proceedings / by: (Language materials, printed)

Visual informatics = sustaining research and innovations : second international visual informatics conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011 : proceedings.. Part I / by: (Language materials, printed)

Complex networks = second international workshop, CompleNet 2010, Rio de Janeiro, Brazil, October 13-15, 2010, revised selected papers / by: (Language materials, printed)

Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, proceedings.. Part III / by: (Language materials, printed)

Euclidean shortest paths = exact or approximate algorithms / by: (Language materials, printed)

UNIX operating system = the development tutorial via UNIX kernel services / by: (Language materials, printed)

Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011 : proceedings.. Part II / by: (Language materials, printed)

Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 12-14, 2011 : proceedings.. Part I / by: (Language materials, printed)

Informatics engineering and information science = international conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Adaptive and natural computing algorithms : = 9th International Conference, ICANNGA 2009, Kuopio, Finland, April 23-25, 2009, Revised Selected Papers / by: (Language materials, printed)

Advances in computer science - ASIAN 2009 : = information security and privacy : 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings / by: (Language materials, printed)

Advances in bioinformatics and computational biology : = 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009 : proceedings / by: (Language materials, printed)

Advances in grid and pervasive computing : = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (Language materials, printed)

Advances in information and computer security : = 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 : proceedings / by: (Language materials, printed)

Advances in information retrieval theory : = Second International Conference on the Theory of Information Retrieval, ICTIR 2009, Cambridge, UK, September 10-12, 2009 : proceedings / by: (Language materials, printed)

Agents for games and simulations : = trends in techniques, concepts and design / by: (Language materials, printed)

Algorithms in bioinformatics : = 9th international workshop, WABI 2009, Philadelphia, PA, USA, September 12-13, 2009 : proceedings / by: (Language materials, printed)

Computational intelligence methods for bioinformatics and biostatistics : = 5th international meeting, CIBB 2008, Vietri sul Mare, Italy, October 3-4, 2008 : revised selected papers / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 11th international conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 11th international conference, ICA3PP, Melbourne, Australia, October 24-26, 2011 : proceedings.. Part I / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part II / by: (Language materials, printed)

Model and data engineering = first international conference, MEDI 2011, Obidos, Portugal, September 28-30, 2011 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / by: (Language materials, printed)

On the move to meaningful internet systems = OTM 2011 : confederated international conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011 : proceedings.. Part I / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings / by: (Language materials, printed)

Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (Language materials, printed)

Advances in artificial intelligence = 14th conference of the Spanish association for artificial intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011 : proceedings / by: (Language materials, printed)

Advances in information and computer security = 6th international workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011 : proceedings / by: (Language materials, printed)

Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers / by: (Language materials, printed)

Advances in intelligent data analysis X = 10th international symposium, IDA 2011, Porto, Portugal, October 29-31, 2011 : proceedings / by: (Language materials, printed)

Algorithmic decision theory = second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings / by: (Language materials, printed)

Computer vision/computer graphics collaboration techniques = 5th international conference, MIRAGE 2011, Rocquencourt, France, October 10-11, 2011 : proceedings / by: (Language materials, printed)

Distributed computing = 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 : proceedings / by: (Language materials, printed)

Pattern recognition in bioinformatics = 6th IAPR international conference, PRIB 2011, Delft, The Netherlands, November 2-4, 2011 : proceedings / by: (Language materials, printed)

Integrated uncertainty in knowledge modelling and decision making = international symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011 : proceedings / by: (Language materials, printed)

Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings / by: (Language materials, printed)

Algorithmic learning theory = 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings / by: (Language materials, printed)

Security aspects in information technology = first international conference, InfoSecHiComNet 2011, Haldia, India, October 19-22, 2011 : proceedings / by: (Language materials, printed)

Advances in digital image processing and information technology = first international conference on Digital Image Processing and Pattern Recognition, DPPR 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011 : proceedings / by: (Language materials, printed)

Critical infrastructure protection V = 5th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2011, Hanover, NH, USA, March 23-25, 2011, revised selected papers / by: (Language materials, printed)

Trends in computer science, engineering and information technology = first international conference on computer science, engineering and information technology, CCSEIT 2011, Tirunelveli, Tamil Nadu, India, September 23-25, 2011 : proceedings / by: (Language materials, printed)

S-BPM ONE - learning by doing - doing by learning = third international conference, S-BPM ONE 2011, Ingolstadt, Germany, September 29-30, 2011 : proceedings / by: (Language materials, printed)

Genetic programming theory and practice IX by: (Language materials, printed)

Advances in parallel, distributed computing = first international conference on parallel, distributed computing technologies and applications, PDCTA 2011, Tirunelveli, India, September 23-25, 2011 : proceedings / by: (Language materials, printed)

Provable security = 5th international conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 : proceedings / by: (Language materials, printed)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part III / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / by: (Language materials, printed)

Discovery science = 14th international conference, DS 2011, Espoo, Finland, October 5-7, 2011 : proceedings / by: (Language materials, printed)

Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings / by: (Language materials, printed)

Computational collective intelligence = technologies and applications : third international conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011 : proceedings.. Part I / by: (Language materials, printed)

Communications and multimedia security = 12th IFIP TC 6 / TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21,2011 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings / by: (Language materials, printed)

Photogrammetric image analysis = ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011 : proceedings / by: (Language materials, printed)

Computational collective intelligence = technologies and applications : third international conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011 : proceedings.. Part II / by: (Language materials, printed)

Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings / by: (Language materials, printed)

Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings / by: (Language materials, printed)

Image analysis and processing = ICIAP 2011 : 16th international conference, Ravenna, Italy, September 14-16, 2011 : proceedings.. Part II / by: (Language materials, printed)

Multiple classifier systems = 10th international workshop, MCS 2011, Naples, Italy, June 15-17, 2011 : proceedings / by: (Language materials, printed)

Computational logistics = second international conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011 : proceedings / by: (Language materials, printed)

Cryptographic hardware and embedded systems = CHES 2011 : 13th international workshop, Nara, Japan, September 28 - October 1, 2011 : proceedings / by: (Language materials, printed)

Network optimization = 5th international conference, INOC 2011, Hamburg, Germany, June 13-16, 2011 : proceedings / by: (Language materials, printed)

Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings / by: (Language materials, printed)

Models of computation in context = 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings / by: (Language materials, printed)

Similarity-based pattern recognition = first international workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011 : proceedings / by: (Language materials, printed)

Information hiding = 13th international conference, IH 2011, Prague, Czech Republic, May 18-20, 2011 : revised selected papers / by: (Language materials, printed)

Machine learning in medical imaging = second international workshop, MLMI 2011, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011 : proceedings / by: (Language materials, printed)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011 : proceedings.. Part II / by: (Language materials, printed)

DNA computing and molecular programming = 17th international conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011 : proceedings / by: (Language materials, printed)

Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings / by: (Language materials, printed)

Advances in information retrieval theory = third international conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings / by: (Language materials, printed)

Image analysis and processing = ICIAP 2011 : 16th international conference, Ravenna, Italy, September 14-16, 2011 : proceedings.. Part I / by: (Language materials, printed)

Artificial intelligence and computational intelligence = third international conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by: (Language materials, printed)

Computer security = ESORICS 2011 : 16th European symposium on research in computer security, Leuven, Belgium, September 12-14,2011 : proceedings / by: (Language materials, printed)

Towards a service-based Internet = 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011 : proceedings / by: (Language materials, printed)

Multimodal brain image analysis = first international workshop, MBIA 2011, held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011 : proceedings / by: (Language materials, printed)

Multiple access communications = 4th international workshop, MACOM 2011, Trento, Italy, September 12-13, 2011 : proceedings / by: (Language materials, printed)

Advances in digital forensics VII = 7th IFIP WG 11.9 International Conference on Digital Forensics, Orlando, FL, USA, January 31 -February 2, 2011 : revised selected papers / by: (Language materials, printed)

Emerging research in artificial intelligence and computational intelligence = International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011 : proceedings / by: (Language materials, printed)

Convergence and hybrid information technology = 5th international conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011 : proceedings / by: (Language materials, printed)

Advanced computer science and information technology = Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011 : proceedings / by: (Language materials, printed)

Mobile networks and management = Second International ICST Conference, MONAMI 2010, Santander, Spain, September 22-24, 2010 : revised selected papers / by: (Language materials, printed)

Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part VI / by: (Language materials, printed)

Advanced communication and networking = third international conference, ACN 2011, Brno, Czech Republic, August 15-17, 2011 : proceedings / by: (Language materials, printed)

Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part III / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part I / by: (Language materials, printed)

VLSI-SoC = technologies for systems integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-14, 2009, revised selected papers / by: (Language materials, printed)

Contemporary computing = 4th international conference, IC3 2011, Noida, India, August 8-10, 2011 : proceedings / by: (Language materials, printed)

Computing and intelligent systems = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part II / by: (Language materials, printed)

Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part I / by: (Language materials, printed)

Information and management engineering = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part V / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part V / by: (Language materials, printed)

Advances in computer science, environment, ecoinformatics, and education = international conference, CSEE 2011, Wuhan, China, August 21-22, 2011 : proceedings.. Part III / by: (Language materials, printed)

Digital enterprise and information systems = international conference, DEIS 2011, London, UK, July 20-22, 2011 : proceedings / by: (Language materials, printed)

Innovative computing and information = international conference, ICCIC 2011, Wuhan, China, September 17-18, 2011 : proceedings.. Part II / by: (Language materials, printed)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part II / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings / by: (Language materials, printed)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part I / by: (Language materials, printed)

NETWORKING 2011 workshops = International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011 : revised selected papers / by: (Language materials, printed)

Advances in bioinformatics and computational biology = 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasilia, Brazil, August 10-12, 2011 : proceedings / by: (Language materials, printed)

Brain informatics = international conference, BI 2011, Lanzhou, China, September 7-9, 2011 : proceedings / by: (Language materials, printed)

Advanced concepts for intelligent vision systems = 13th international conference, ACIVS 2011, Ghent, Belgium, August 22-25, 2011 : proceedings / by: (Language materials, printed)

Algorithms = ESA 2011 : 19th Annual European Symposium, Saarbrucken, Germany, September 5-9, 2011 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings / by: (Language materials, printed)

Trust, privacy and security in digital business = 8th international conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011 : proceedings / by: (Language materials, printed)

Algorithms in bioinformatics = 11th international workshop, WABI 2011, Saarbrucken, Germany, September 5-7, 2011 : proceedings / by: (Language materials, printed)

Smart spaces and next generation wired/wireless networking = 11th international conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (Language materials, printed)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 14th international workshop, APPROX 2011, and 15th international workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011 : proceedings / by: (Language materials, printed)

Information security and cryptology = ICISC 2010 : 13th international conference, Seoul, Korea, December 1-3, 2010 : revised selected papers / by: (Language materials, printed)

Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings / by: (Language materials, printed)

Data warehousing and knowledge discovery = 13th international conference, DaWaK 2011, Toulouse, France, August/September 2011 : proceedings / by: (Language materials, printed)

Pattern recognition = 33rd DAGM Symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011 : proceedings / by: (Language materials, printed)

Public key infrastructures, services and applications = 7th European Workshop, EuroPKI 2010, Athens, Greece, September 23-24, 2010 : revised selected papers / by: (Language materials, printed)

Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings / by: (Language materials, printed)

Algorithms and data structures = 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings / by: (Language materials, printed)

Intelligent data engineering and automated learning = IDEAL 2011 : 12th international conference, Norwich, UK, September 7-9, 2011 : proceedings / by: (Language materials, printed)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part III / by: (Language materials, printed)

Computing and combinatorics = 17th annual international conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 : proceedings / by: (Language materials, printed)

Energy-aware communications = 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 : proceedings / by: (Language materials, printed)

Mathematical aspects of network routing optimization by: (Language materials, printed)

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

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

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

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

Euro-Par 2015 = Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers / by: (Language materials, printed)

Machine learning meets medical imaging = first International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015 : revised selected papers / by: (Language materials, printed)

Advances in computer games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015 : revised selected papers / by: (Language materials, printed)

Algorithms for sensor systems = 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / by: (Language materials, printed)

Membrane computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015 : revised selected papers / by: (Language materials, printed)

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

Advances in artificial intelligence = 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

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

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

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

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

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

Algorithms, probability, networks, and games = scientific papers and essays dedicated to Paul G. Spirakis on the occasion of his 60th birthday / by: (Language materials, printed)

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

Augmented environments for computer-assisted interventions = 10th International Workshop, AE-CAI 2015, held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015 : proceedings / by: (Language materials, printed)

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

Evolvable hardware = from practice to application / by: (Language materials, printed)

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

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

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

Computational collective intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015 : proceedings.. Part II / by: (Language materials, printed)

Computational intelligence methods for bioinformatics and biostatistics = 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014 : revised selected papers / by: (Language materials, printed)

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

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (Language materials, printed)

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

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

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

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

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

Distributed and sequential algorithms for bioinformatics by: (Language materials, printed)

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

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

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

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

Intelligent data engineering and automated learning - IDEAL 2015 = 16th International Conference Wroclaw, Poland, October 14-16, 2015 : proceedings / by: (Language materials, printed)

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

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

Large-scale scientific computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015 : revised selected papers / by: (Language materials, printed)

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

Multimodal optimization by means of evolutionary algorithms by: (Language materials, printed)

On meaningful scientific laws by: (Language materials, printed)

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

OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (Language materials, printed)

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

Progress in cryptology - INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015 : proceedings / by: (Language materials, printed)

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

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

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

Secure IT systems = 20th Nordic Conference, NordSec 2015, Stockholm, Sweden, October 19-21, 2015 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

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

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

Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / by: (Language materials, printed)

Transactions on edutainment XI by: (Language materials, printed)

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

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

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

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

Innovative security solutions for information technology and communications = 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015 : revised selected papers / by: (Language materials, printed)

Machine learning, optimization, and big data = first International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015 : revised selected papers / by: (Language materials, printed)

Patch-based techniques in medical imaging = first International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015 : revised selected papers / by: (Language materials, printed)

Advanced methodologies for Bayesian networks = second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015 : proceedings / by: (Language materials, printed)

Adaptive Resource Management and Scheduling for Cloud Computing = Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastian, Spain, July 20, 2015 : revised selected papers / by: (Language materials, printed)

Approximation and online algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / by: (Language materials, printed)

Models of strategic reasoning = logics, games, and communities / by: (Language materials, printed)

Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers / by: (Language materials, printed)

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

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

Fundamentals of discrete math for computer science = a problem-solving primer / by: (Language materials, printed)

Connected dominating set = theory and applications / by: (Language materials, printed)

Efficient algorithms for discrete wavelet transform = with applications to denoising and fuzzy inference systems / by: (Language materials, printed)

Biomedical engineering systems and technologies = 4th International Joint Conference, BIOSTEC 2011, Rome, Italy, January 26-29, 2011 : revised selected papers / by: (Language materials, printed)

Agents and Artificial Intelligence = third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011 : revised selected papers / by: (Language materials, printed)

Computer vision, imaging and computer graphics = theory and applications : International Joint Conference, VISIGRAPP 2011, Vilamoura, Portugal, March 5-7, 2011 : revised selected papers / by: (Language materials, printed)

Advances in computing, communication, and control = third International Conference, ICAC3 2013, Mumbai, India, January 18-19, 2013 : proceedings / by: (Language materials, printed)

Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers / by: (Language materials, printed)

Theory of quantum computation, communication, and cryptography = 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012 : revised selected papers / by: (Language materials, printed)

Distributed computing and networking = 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013 : proceedings / by: (Language materials, printed)

SOFSEM 2013: Theory and practice of computer science = 39th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 26-31, 2013. Proceedings / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012 : revised selected papers / by: (Language materials, printed)

Selected areas in cryptography = 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012 : revised selected papers / by: (Language materials, printed)

Mathematical and engineering methods in computer science = 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers / by: (Language materials, printed)

WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings / by: (Language materials, printed)

Distributed computing and internet technology = 9th International Conference, ICDCIT 2013, Bhubaneswar, India, February 5-8, 2013 : proceedings / by: (Language materials, printed)

Algorithms for sensor systems = 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers / by: (Language materials, printed)

Reversible computation = 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers / by: (Language materials, printed)

Pairing-based cryptography - Pairing 2012 = 5th International Conference, Cologne, Germany, May 16-18, 2012 : revised selected papers / by: (Language materials, printed)

Wireless sensor networks = 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013 : proceedings / by: (Language materials, printed)

The Tower of Hanoi - myths and maths by: (Language materials, printed)

Advances in wireless sensor networks = 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012 : revised selected papers / by: (Language materials, printed)

Information hiding = 14th International Conference, IH 2012, Berkeley, CA, USA, May 15-18, 2012 : revised selected papers / by: (Language materials, printed)

Theory of cryptography = 10th Theory of Cryptography Conference, TCC 2013, Tokyo, Japan, March 3-6, 2013 : proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (Language materials, printed)

Membrane computing = 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012 : revised selected papers / by: (Language materials, printed)

Graph drawing = 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012 : revised selected papers / by: (Language materials, printed)

Applied parallel and scientific computing = 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012 : revised selected papers / by: (Language materials, printed)

Euro-Par 2012: Parallel processing workshops = BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012 : revised selected papers / by: (Language materials, printed)

Evolutionary computation, machine learning and data mining in bioinformatics = 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013 : proceedings / by: (Language materials, printed)

Simulation-based algorithms for Markov decision processes by: (Language materials, printed)

Structure of solutions of variational problems by: (Language materials, printed)

Information theory, combinatorics, and search theory = in memory of Rudolf Ahlswede / by: (Language materials, printed)

Reconfigurable computing: Architectures, tools and applications = 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013 : proceedings / by: (Language materials, printed)

Pervasive computing and the networked world = Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012 : revised selected papers / by: (Language materials, printed)

Applications of evolutionary computation = 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013 : proceedings / by: (Language materials, printed)

Adaptive and natural computing algorithms = 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013 : proceedings / by: (Language materials, printed)

Integer programming and combinatorial optimization = 16th International Conference, IPCO 2013, Valparaiso, Chile, March 18-20, 2013 : proceedings / by: (Language materials, printed)

Evolutionary and biologically inspired music, sound, art and design = second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013 : proceedings / by: (Language materials, printed)

Language and Automata Theory and Applications = 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / by: (Language materials, printed)

Discrete geometry for computer imagery = 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013 : proceedings / by: (Language materials, printed)

Evolutionary multi-criterion optimization = 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013 : proceedings / by: (Language materials, printed)

Research in computational molecular biology = 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013 : proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013 : proceedings / by: (Language materials, printed)

Genetic programming = 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013 : proceedings / by: (Language materials, printed)

Smart card research and advanced applications = 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012 : revised selected papers / by: (Language materials, printed)

Quantum attacks on public-key cryptosystems by: (Language materials, printed)

Ad hoc networks = 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012 : revised selected papers / by: (Language materials, printed)

Theory and applications of models of computation = 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / by: (Language materials, printed)

Advanced infocomm technology = 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012 : revised papers / by: (Language materials, printed)

Approximation and online algorithms = 10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 13-14, 2012 : revised selected papers / by: (Language materials, printed)

Computation, logic, games, and quantum foundations = the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday / by: (Language materials, printed)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings / by: (Language materials, printed)

Logical foundations of mathematics and computational complexity = a gentle introduction / by: (Language materials, printed)

Distributed graph algorithms for computer networks by: (Language materials, printed)

Genetic programming theory and practice X by: (Language materials, printed)

Intelligent computing for sustainable energy and environment = second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012 : revised selected papers / by: (Language materials, printed)

Grid and pervasive computing = 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013 : proceedings / by: (Language materials, printed)

Bioinformatics research and applications = 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013 : proceedings / by: (Language materials, printed)

Algorithms and complexity = 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013 : proceedings / by: (Language materials, printed)

Scale space and variational methods in computer vision = 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013 : proceedings / by: (Language materials, printed)

Computational intelligence methods for bioinformatics and biostatistics = 9th International Meeting, CIBB 2012, Houston, TX, USA, July 12-14, 2012 : revised selected papers / by: (Language materials, printed)

Advances in cryptology - EUROCRYPT 2013 = 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013 : proceedings / by: (Language materials, printed)

Hybrid metaheuristics = 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013 : proceedings / by: (Language materials, printed)

Experimental algorithms = 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013 : proceedings / by: (Language materials, printed)

Recent trends in applied artificial intelligence = 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013 : proceedings / by: (Language materials, printed)

Advances in swarm intelligence = 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013 : proceedings.. Part I / by: (Language materials, printed)

Advances in swarm intelligence = 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013 : proceedings.. Part II / by: (Language materials, printed)

High performance computing for computational science - VECPAR 2012 = 10th International Conference, Kope, Japan, July 17-20, 2012 : revised selected papers / by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management = third joint international conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013 : proceedings / by: (Language materials, printed)

Computing and combinatorics = 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013 : proceedings / by: (Language materials, printed)

Combinatorial pattern matching = 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013 : proceedings / by: (Language materials, printed)

The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing = SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013 : proceedings / by: (Language materials, printed)

Unconventional computation and natural computation = 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013 : proceedings / by: (Language materials, printed)

Privacy enhancing technologies = 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013 : proceedings / by: (Language materials, printed)

Computer science - theory and applications = 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013 : proceedings / by: (Language materials, printed)

Automated deduction - CADE-24 = 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings / by: (Language materials, printed)

Post-quantum cryptography = 5th International Workshop, PQCrypto 2013, Limoges, France, June 4-7, 2013 : proceedings / by: (Language materials, printed)

Natural and artificial computation in engineering and medical applications = 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings.. Part II / by: (Language materials, printed)

Language processing and intelligent information systems = 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013 : proceedings / by: (Language materials, printed)

Natural and artificial models in computation and biology = 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013 : proceedings.. Part I / by: (Language materials, printed)

Developments in language theory = 17th International Conference, DLT 2013, Marne-la-Vallee, France, June 18-21, 2013 : proceedings / by: (Language materials, printed)

Trust and trustworthy computing = 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013 : proceedings / by: (Language materials, printed)

Pattern recognition = 5th Mexican Conference, MCPR 2013, Queretaro, Mexico, June 26-29, 2013 : proceedings / by: (Language materials, printed)

Emerging management mechanisms for the future internet = 7th IFIP WG 6.6 International Conference On Autonomous Infrastructure, Management, And Security, AIMS 2013, Barcelona, Spain, June 25-28, 2013 : proceedings / by: (Language materials, printed)

Descriptional complexity of formal systems = 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications = 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013 : proceedings / by: (Language materials, printed)

Integrated uncertainty in knowledge modelling and decision making = International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013 : proceedings / by: (Language materials, printed)

Artificial general intelligence = 6th International Conference, AGI 2013, Beijing, China, July 31-August 3, 2013 : proceedings / by: (Language materials, printed)

Web-age information management = WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings.. Part V / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part III / by: (Language materials, printed)

Computational science and its applications - ICCSA 2013 = 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013 : proceedings.. Part IV / by: (Language materials, printed)

Guide to programming and algorithms using R by: (Language materials, printed)

Quality, reliability, security and robustness in heterogeneous networks = 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013 : revised selected papers / by: (Language materials, printed)

Security and privacy protection in information processing systems = 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013 : proceedings / by: (Language materials, printed)

Advances in neural networks - ISNN 2013 = 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013 : proceedings.. Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2013 = 10th International Symposium on Neural Networks, Dalian, China, July 4-6, 2013 : proceedings.. Part II / by: (Language materials, printed)

Similarity-based pattern recognition = second International Workshop, SIMBAD 2013, York, UK, July 3-5, 2013 : proceedings / by: (Language materials, printed)

Pattern recognition in bioinformatics = 8th IAPR International Conference, PRIB 2013, Nice, France, June 17-20, 2013 : proceedings / by: (Language materials, printed)

Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part I / by: (Language materials, printed)

Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part II / by: (Language materials, printed)

Implementation and application of automata = 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : proceedings / by: (Language materials, printed)

Intelligent computing theories and technology = 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013 : proceedings / by: (Language materials, printed)

Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013 : proceedings / by: (Language materials, printed)

Machine learning and data mining in pattern recognition = 9th International Conference, MLDM 2013, New York, NY, USA, July 19-25, 2013 : proceedings / by: (Language materials, printed)

Constructive side-channel analysis and secure design = 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013 : revised selected papers / by: (Language materials, printed)

Transactions on large-scale data- and knowledge centered systems IX by: (Language materials, printed)

Algorithms and data structures = 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013 : proceedings / by: (Language materials, printed)

Cryptographic hardware and embedded systems - CHES 2013 = 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013 : proceedings / by: (Language materials, printed)

Space-efficient data structures, streams, and algorithms = papers in honor of J. Ian Munro on the occasion of his 66th birthday / by: (Language materials, printed)

Logics in computer science = a study on extensions of temporal and strategic logics / by: (Language materials, printed)

Wireless sensor networks for developing countries = first international conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013 : revised selected papers / by: (Language materials, printed)

Multimodal brain image analysis = third International Workshop, MBIA 2013, held in conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings / by: (Language materials, printed)

Search based software engineering = 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013 : proceedings / by: (Language materials, printed)

Public key infrastructures, services and applications = 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012 : revised selected papers / by: (Language materials, printed)

Geometric Science of Information = first International Conference, GSI 2013, Paris, France, August 28-30, 2013 : proceedings / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2013 = 33rd annual cryptology conference, Santa Barbara, CA, USA, August 18-22, 2013 : proceedings.. Part I / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2013 = 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013 : proceedings.. Part II / by: (Language materials, printed)

Networked systems = first International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013 : revised selected papers / by: (Language materials, printed)

Mathematical Foundations of Computer Science 2013 = 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings / by: (Language materials, printed)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013 : proceedings / by: (Language materials, printed)

Energy minimization methods in computer vision and pattern recognition = 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2013 = 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013 : proceedings / by: (Language materials, printed)

Algorithms in bioinformatics = 13th International Workshop, WABI 2013, Sophia Antipolis, France, September 2-4, 2013 : proceedings / by: (Language materials, printed)

Advances in communication networking = 19th EUNICE/IFIP WG 6.6 International Workshop, Chemnitz, Germany, August 28-30, 2013 : proceedings / by: (Language materials, printed)

Combinatorics on words = 9th international conference, WORDS 2013, Turku, Finland, September 16-20 : proceedings / by: (Language materials, printed)

Security engineering and intelligence informatics = CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013 : proceedings / by: (Language materials, printed)

OpenMP in the era of low power devices and accelerators = 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013 : proceedings / by: (Language materials, printed)

Hybrid artificial intelligent systems = 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013 : proceedings / by: (Language materials, printed)

Similarity search and applications = 6th International Conference, SISAP 2013, A Coruna, Spain, October 2-4, 2013 : proceedings / by: (Language materials, printed)

DNA computing and molecular programming = 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013 : proceedings / by: (Language materials, printed)

String processing and information retrieval = 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013 : proceedings / by: (Language materials, printed)

Parallel computing technologies = 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013 : proceedings / by: (Language materials, printed)

Principles and practice of constraint programming = 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013 : proceedings / by: (Language materials, printed)

Advances in artificial intelligence = 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013 : proceedings / by: (Language materials, printed)

Language processing and knowledge in the web = 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013 : proceedings / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2013 = 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013 : proceedings / by: (Language materials, printed)

Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings / by: (Language materials, printed)

Network and parallel computing = 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013 : proceedings / by: (Language materials, printed)

Augmented reality environments for medical imaging and computer-assisted interventions = 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013 : proceedings / by: (Language materials, printed)

Cellular automata and discrete complex systems = 19th International Workshop, AUTOMATA 2013, Giessen, Germany, September 17-19, 2013 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013 : proceedings / by: (Language materials, printed)

Discovery science = 16th International Conference, DS 2013, Singapore, October 6-9, 2013 : proceedings / by: (Language materials, printed)

Computer information systems and industrial management = 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013 : proceedings / by: (Language materials, printed)

Algorithmic learning theory = 24th International Conference, ALT 2013, Singapore, October 6-9, 2013 : proceedings / by: (Language materials, printed)

Computational logistics = 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013 : proceedings / by: (Language materials, printed)

Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings / by: (Language materials, printed)

Security and trust management = 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013 : proceedings / by: (Language materials, printed)

Trustworthy global computing = 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers / by: (Language materials, printed)

Image analysis and processing - ICIAP 2013 = 17th International Conference, Naples, Italy, September 9-13, 2013 : proceedings.. Part I / by: (Language materials, printed)

Image analysis and processing - ICIAP 2013 = 17th International Conference, Naples, Italy, September 9-13, 2013 : proceedings.. Part II / by: (Language materials, printed)

Advances in computational algorithms and data analysis by: (Language materials, printed)

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

Security protocols XX = 20th international workshop, Cambridge, UK, April 12-13, 2012 : revised selected papers / by: (Language materials, printed)

Advances in artificial intelligence - SBIA 2008 = 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

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

Multiobjective optimization = interactive and evolutionary approaches / by: (Language materials, printed)

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

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

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings / by: (Language materials, printed)

Theory of quantum computation, communication, and cryptography = third workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008 : revised selected papers / by: (Language materials, printed)

Wireless algorithms, systems, and applications = third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = third international conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012 : proceedings / by: (Language materials, printed)

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

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

Trends in intelligent robotics, automation, and manufacturing = first international conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (Language materials, printed)

AI 2012 = advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings / by: (Language materials, printed)

Biometric recognition = 7th Chinese Conference, CCBR 2012, Guangzhou, China, December 4-5, 2012 : proceedings / by: (Language materials, printed)

Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / by: (Language materials, printed)

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

Artificial general intelligence = 5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings / by: (Language materials, printed)

Artificial evolution = 10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers / by: (Language materials, printed)

Future generation information technology = 4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings / by: (Language materials, printed)

Quantum interaction = 6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers / by: (Language materials, printed)

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

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

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

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

Information retrieval technology = 8th Asia Information Retrieval Societies Conference, AIRS 2012, Tianjin, China, December 17-19, 2012 : proceedings / by: (Language materials, printed)

Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings / by: (Language materials, printed)

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

Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (Language materials, printed)

Computational intelligence methods for bioinformatics and biostatistics = 8th International Meeting, CIBB 2011, Gargnano del Garda, Italy, June 30 - July 2, 2011 : revised selected papers / by: (Language materials, printed)

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

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

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

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

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

Pattern recognition in bioinformatics = 7th IAPR International Conference, PRIB 2012, Tokyo, Japan, November 8-10, 2012 : proceedings / by: (Language materials, printed)

Computational geometry = XIV Spanish Meeting, EGC 2011, dedicated to Ferran Hurtado on the occasion of his 60th birthday Alcala de Henares, Spain, June 27-30, 2011 : revised selected papers / by: (Language materials, printed)

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

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

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

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

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

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

Neural networks = tricks of the trade / by: (Language materials, printed)

Information security applications = 13th international workshop, WISA 2012, Jeju Island, Korea, August 16-18, 2012 : revised selected papers / by: (Language materials, printed)

Transactions on computational systems biology XIV = special issue on computational models for cell processes / by: (Language materials, printed)

Wireless internet = 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011 : revised selected papers / by: (Language materials, printed)

Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden / by: (Language materials, printed)

Pattern recognition = Chinese Conference, CCPR 2012, Beijing, China, September 24-26, 2012 : proceedings / by: (Language materials, printed)

Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings / by: (Language materials, printed)

Contemporary computing = 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012 : proceedings / by: (Language materials, printed)

Recent trends in computer networks and distributed systems security = International Conference, SNDS 2012, Trivandrum, India, October 11-12, 2012 : proceedings / by: (Language materials, printed)

Unconventional computation and natural computation = 11th International Conference, UCNC 2012, Orle?ans, France, September 3-7, 2012 : proceedings / by: (Language materials, printed)

Geographic information science = 7th International Conference, GIScience 2012, Columbus, OH, USA, September 18-21, 2012 : proceedings / by: (Language materials, printed)

Cryptographic hardware and embedded systems - CHES 2012 = 14th International Workshop, Leuven, Belgium, September 9-12, 2012 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012 : proceedings.. Part I / by: (Language materials, printed)

Search based software engineering = 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012 : proceedings / by: (Language materials, printed)

Advanced concepts for intelligent vision systems = 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012 : proceedings / by: (Language materials, printed)

Computer information systems and industrial management = 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012 : proceedings / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2012 = 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings.. Part II / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2012 = 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012 : proceedings.. Part I / by: (Language materials, printed)

Cellular automata = 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012 : proceedings / by: (Language materials, printed)

Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings / by: (Language materials, printed)

Mesh processing in medical image analysis 2012 = MICCAI 2012 international workshop, MeshMed 2012, Nice, France, October 1, 2012 : proceedings / by: (Language materials, printed)

Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (Language materials, printed)

Artificial intelligence and computational intelligence = 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012 : proceedings / by: (Language materials, printed)

Multimodal brain image analysi = second International Workshop, MBIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1-5, 2012 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings / by: (Language materials, printed)

Spatio-temporal image analysis for longitudinal and time-series image data = second International Workshop, STIA 2012, held in conjunction with MICCAI 2012, Nice, France, October 1, 2012 : proceedings / by: (Language materials, printed)

Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (Language materials, printed)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part II / by: (Language materials, printed)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part III / by: (Language materials, printed)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part V / by: (Language materials, printed)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part I / by: (Language materials, printed)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part VI / by: (Language materials, printed)

Computer vision - ECCV 2012 = 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012 : proceedings.. Part VII / by: (Language materials, printed)

Theory and practice of natural computing = first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012 : proceedings / by: (Language materials, printed)

Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part I / by: (Language materials, printed)

Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part II / by: (Language materials, printed)

Computer vision - ECCV 2012 = Workshops and demonstrations : Florence, Italy, October 7-13, 2012 : proceedings.. Part III / by: (Language materials, printed)

Fast software encryption = 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012 : revised selected papers / by: (Language materials, printed)

Information computing and applications = third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012 : proceedings / by: (Language materials, printed)

Global trends in computing and communication systems = 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. : proceedings.. Part I / by: (Language materials, printed)

Bio-inspired models of network, information, and computing systems = 6th International ICST Conference, BIONETICS 2011, York, UK, December 5-6, 2011 : revised selected papers / by: (Language materials, printed)

Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part I / by: (Language materials, printed)

Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings / by: (Language materials, printed)

Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings / by: (Language materials, printed)

Advances in bioinformatics and computational biology = 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012 : proceedings / by: (Language materials, printed)

Similarity search and applications = 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012 : proceedings / by: (Language materials, printed)

Computing and Combinatorics = 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (Language materials, printed)

Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings / by: (Language materials, printed)

Intelligent data engineering and automated learning - IDEAL 2012 = 13th International Conference, Natal, Brazil, August 29-31, 2012 ; proceedings / by: (Language materials, printed)

Internet of things, smart spaces, and next generation networking = 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 : proceedings / by: (Language materials, printed)

Information and communication technologies = 18th EUNICE/IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012 : proceedings / by: (Language materials, printed)

Parallel problem solving from nature - PPSN XII = 12th International Conference, Taormina, Italy, September 1-5, 2012 : proceedings.. Part II / by: (Language materials, printed)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (Language materials, printed)

From animals to animats 12 = 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012 : proceedings / by: (Language materials, printed)

Algorithms in bioinformatics = 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (Language materials, printed)

Progress in pattern recognition, image analysis, computer vision, and applications = 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / by: (Language materials, printed)

Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings / by: (Language materials, printed)

Computational logistics = third International Conference, ICCL 2012, Shanghai, China, September 24-26, 2012 : proceedings / by: (Language materials, printed)

Artificial immune systems = 11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings / by: (Language materials, printed)

Monte carlo and quasi-monte carlo methods 2010 by: (Language materials, printed)

Global trends in information systems and software applications = 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011 : proceedings.. Part II / by: (Language materials, printed)

Emerging intelligent computing technology and applications = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012 : proceedings / by: (Language materials, printed)

Signal processing and information technology = first International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011 : revised selected papers / by: (Language materials, printed)

Advances in computational intelligence = IEEE World Congress on Computational Intelligence, WCCI 2012, Brisbane, Australia, June 10-15, 2012 : plenary/invited lectures / by: (Language materials, printed)

Image and signal processing = 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings / by: (Language materials, printed)

Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part II / by: (Language materials, printed)

Parallel processing and applied mathematics = 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part I / by: (Language materials, printed)

Parallel processing and applied mathematics = 9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.. Part II / by: (Language materials, printed)

Intelligent Computing Theories and Applications = 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / by: (Language materials, printed)

Arithmetic of finite fields = 4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012 : proceedings / by: (Language materials, printed)

Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (Language materials, printed)

Advances in computer games = 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers / by: (Language materials, printed)

Information security and cryptology - ICISC 2011 = 14th International Conference, Seoul, Korea, November 30 - December 2, 2011 : revised aelected papers / by: (Language materials, printed)

Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers / by: (Language materials, printed)

DNA computing and molecular programming = 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012 : proceedings / by: (Language materials, printed)

Applications of discrete geometry and mathematical morphology = first International Workshop, WADGMM 2010, Istanbul, Turkey, August 22, 2010, Revised Selected Papers / by: (Language materials, printed)

Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (Language materials, printed)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012 : proceedings / by: (Language materials, printed)

Trustworthy global computing = 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers / by: (Language materials, printed)

Computational topology in image context = 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012 : proceedings / by: (Language materials, printed)

Algorithms and models for the web graph = 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012 : proceedings / by: (Language materials, printed)

Sequences and their applications - SETA 2012 = 7th International Conference, Waterloo, ON, Canada, June 4-8, 2012 : proceedings / by: (Language materials, printed)

Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Language materials, printed)

Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (Language materials, printed)

The multivariate algorithmic revolution and beyond = essays dedicated to Michael R. Fellows on the occasion of his 60th birthday / by: (Language materials, printed)

Trust and trustworthy computing = 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012 : proceedings / by: (Language materials, printed)

Advances in swarm intelligence = third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings.. Part I / by: (Language materials, printed)

Advances in swarm intelligence = third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 : proceedings.. Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part II / by: (Language materials, printed)

Advanced research in applied artificial intelligence = 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012 : proceedings / by: (Language materials, printed)

Structural information and communication complexity = 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012 : revised selected papers / by: (Language materials, printed)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2012 = 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012 : proceedings.. Part III / by: (Language materials, printed)

Pattern recognition = 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012 : proceedings / by: (Language materials, printed)

Algorithm theory - SWAT 2012 = 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 : proceedings / by: (Language materials, printed)

Combinatorial pattern matching = 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012 : proceedings / by: (Language materials, printed)

Image analysis and recognition = 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012 : proceedings.. Part I / by: (Language materials, printed)

Image analysis and recognition = 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012 : proceedings.. Part II / by: (Language materials, printed)

Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes / by: (Language materials, printed)

Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (Language materials, printed)

The logic of categorial grammars = a deductive account of natural language syntax and semantics / by: (Language materials, printed)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II / by: (Language materials, printed)

Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings / by: (Language materials, printed)

Privacy enhancing technologies = 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012 : proceedings / by: (Language materials, printed)

Information security and privacy research = 27th IFIP TC 11 information security and privacy conference, SEC 2012, Heraklion, Crete, Greece, June 4-6, 2012 : proceedings / by: (Language materials, printed)

Software process improvement and capability determination = 12th international conference, SPICE 2012, Palma, Spain, May 29-31, 2012 : proceedings / by: (Language materials, printed)

Engaging learners through emerging technologies = International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012 : proceedings / by: (Language materials, printed)

Privacy and identity management for life = 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011 : revised selected papers / by: (Language materials, printed)

Communications and information processing = International Conference, ICCIP 2012 Aveiro, Portugal, March 7-11, 2012 : revised selected papers.. Part I / by: (Language materials, printed)

Communications and Information Processing = International Conference, ICCIP 2012, Aveiro, Portugal, March 7-11, 2012 : revised selected papers.. Part II / by: (Language materials, printed)

Facing the multicore - Challenge II = aspects of new paradigms and technologies in parallel computing / by: (Language materials, printed)

Artificial intelligence: Theories and applications = 7th Hellenic Conference on AI, SETN 2012, Lamia, Greece, May 28-31, 2012 : proceedings / by: (Language materials, printed)

Game theory for networks by: (Language materials, printed)

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

Mobile and ubiquitous systems: Computing, networking, and services = 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised selected papers / by: (Language materials, printed)

Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers / by: (Language materials, printed)

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

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

Integration of AI and OR Techniques in contraint programming for combinatorial optimzation problems = 9th International Conference, CPAIOR 2012, Nantes, France, May 28-June1, 2012 : proceedings / by: (Language materials, printed)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (Language materials, printed)

Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers / by: (Language materials, printed)

Recent advances in reinforcement learning = 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers / by: (Language materials, printed)

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

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

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

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

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

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

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

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

Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012 : proceedings / by: (Language materials, printed)

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

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

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

Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings / by: (Language materials, printed)

How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings / by: (Language materials, printed)

OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (Language materials, printed)

Network inference in molecular biology = a hands-on framework / by: (Language materials, printed)

Recent advances in intrusion detection = 14th international symposium, RAID 2011, Menlo Park, CA, USA, September 20-21, 2011 : proceedings / by: (Language materials, printed)

Computer vision, imaging and computer graphics = theory and applications : international joint conference, VISIGRAPP 2010, Angers, France, May 17-21, 2010, revised selected papers / by: (Language materials, printed)

Security protocols XIX = 19th international workshop, Cambridge, UK, March 28-30, 2011 : revised selected papers / by: (Language materials, printed)

Contemporary evolution strategies by: (Language materials, printed)

Wireless internet = 7th International ICST Conference, WICON 2013, Shanghai, China, April 11-12, 2013 : revised selected papers / by: (Language materials, printed)

AsiaSim 2013 = 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013 : proceedings / by: (Language materials, printed)

Advances in bioinformatics and computational biology = 8th Brazilian Symposium on Bioinformatics, BSB 2013, Recife, Brazil, November 3-7, 2013 : proceedings / by: (Language materials, printed)

Information and communications security = 15th International Conference, ICICS 2013, Beijing, China, November 20-22, 2013 : proceedings / by: (Language materials, printed)

Decision and game theory for security = 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013 : proceedings / by: (Language materials, printed)

Advanced concepts for intelligent vision systems = 15th International Conference, ACIVS 2013, Poznan, Poland, October 28-31, 2013 : proceedings / by: (Language materials, printed)

Advances in visual informatics = third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013 : proceedings / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013 : proceedings / by: (Language materials, printed)

Formal methods and software engineering = 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 : proceedings / by: (Language materials, printed)

Intelligent data engineering and automated learning - IDEAL 2013 = 14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013 : proceedings / by: (Language materials, printed)

Advances in intelligent data analysis XII = 12th International Symposium, IDA 2013, London, UK, October 17-19, 2013 : proceedings / by: (Language materials, printed)

Internet and distributed computing systems = 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / by: (Language materials, printed)

Secure IT systems = 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013 : proceedings / by: (Language materials, printed)

Numerical analysis and its applications = 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012 : revised selected papers / by: (Language materials, printed)

Distributed computing = 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013 : proceedings / by: (Language materials, printed)

Evolution of telecommunication services = the convergence of telecom and internet: technologies and ecosystems / by: (Language materials, printed)

Algorithmic decision theory = third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013 : proceedings / by: (Language materials, printed)

The power of algorithms = inspiration and examples in everyday life / by: (Language materials, printed)

Combinatorial algorithms = 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013 : revised selected papers / by: (Language materials, printed)

Computational geometry and graphs = Thailand-Japan Joint Conference, TJJCCGG 2012, Bangkok, Thailand, December 6-8, 2012 : revised selected papers / by: (Language materials, printed)

Advanced parallel processing technologies = 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013 : revised selected papers / by: (Language materials, printed)

Biometric Recognition = 8th Chinese Conference, CCBR 2013, Jinan, China, November 16-17, 2013 : proceedings / by: (Language materials, printed)

Advances in computer entertainment = 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013 : proceedings / by: (Language materials, printed)

Structural information and communication complexity = 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013 : revised selected papers / by: (Language materials, printed)

AI 2013 = Advances in Artificial Intelligence : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013 : proceedings / by: (Language materials, printed)

Combinatorial optimization and applications = 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013 : proceedings / by: (Language materials, printed)

Multiple access communcations = 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013 : proceedings / by: (Language materials, printed)

Parameterized and exact computation = 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013 : revised selected papers / by: (Language materials, printed)

Advances in information and computer security = 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013 : proceedings / by: (Language materials, printed)

Progress in pattern recognition, image analysis, computer vision, and applications = 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013 : proceedings.. Part I / by: (Language materials, printed)

Progress in pattern recognition, image analysis, computer vision, and applications = 18th Iberoamerican Congress, CIARP 2013, Havana, Cuba, November 20-23, 2013 : proceedings.. Part II / by: (Language materials, printed)

Number theory and cryptography = papers in honor of Johannes Buchmann on the occasion of his 60th birthday / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2013 = 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013 : proceedings.. Part I / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2013 = 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013 : proceedings.. Part II / by: (Language materials, printed)

Multi-disciplinary trends in artificial intelligence = 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013 : proceedings / by: (Language materials, printed)

Learning and intelligent optimization = 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013 : revised selected papers / by: (Language materials, printed)

Theory and practice of natural computing = Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013 : proceedings / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 39th International Workshop, WG 2013, Lubeck, Germany, June 19-21, 2013 : revised papers / by: (Language materials, printed)

Advances in soft computing and its applications = 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013 : proceedings.. Part II / by: (Language materials, printed)

Advances in soft computing and its applications = 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013 : proceedings.. Part I / by: (Language materials, printed)

Big data analytics = second International Conference, BDA 2013, Mysore, India, December 16-18, 2013 : proceedings / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013 : proceedings.. Part I / by: (Language materials, printed)

Swarm, evolutionary, and memetic computing = 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013 : proceedings.. Part II / by: (Language materials, printed)

Graph drawing = 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013 : revised selected papers / by: (Language materials, printed)

Algorithms and models for the web graph = 10th International Workshop, WAW 2013 Cambridge, MA, USA, December 14-15, 2013 : proceedings / by: (Language materials, printed)

Principles of distributed systems = 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013 : proceedings.. Part I / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and computation = 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013 : proceedings / by: (Language materials, printed)

Web and internet economics = 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013 : proceedings / by: (Language materials, printed)

Cryptography and coding = 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013 : proceedings / by: (Language materials, printed)

Fundamentals of parameterized complexity by: (Language materials, printed)

Handbook of human computation by: (Language materials, printed)

Complex scheduling by: (Language materials, printed)

Computational complexity = theory, techniques, and applications / by: (Language materials, printed)

Design and analysis of approximation algorithms by: (Language materials, printed)

Creating new medical ontologies for image annotation = a case study / by: (Language materials, printed)

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

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

Scale space and variational methods in computer vision = third international conference, SSVM 2011, Ein-Gedi, Israel, May 29 - June 2, 2011 : revised selected papers / by: (Language materials, printed)

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

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

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

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

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

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

Approximation algorithms and semidefinite programming by: (Language materials, printed)

Financial cryptography and data security = 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011 : revised selected papers / by: (Language materials, printed)

Computation, physics and beyond = International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (Language materials, printed)

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

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

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

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

Wireless sensor networks = 9th European conference, EWSN 2012, Trento, Italy, February 15-17, 2012 : proceedings / by: (Language materials, printed)

Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (Language materials, printed)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (Language materials, printed)

Partially supervised learning = first IAPR TC3 Workshop, PSL 2011, Ulm, Germany, September 15-16, 2011 : revised selected papers / by: (Language materials, printed)

Building a national distributed e-Infrastructure - PL-Grid = scientific and technical achievements / by: (Language materials, printed)

Cryptography and security = from theory to applications : essays dedicated to Jean-Jacques Quisquater on the Occasion of His 65th Birthday / by: (Language materials, printed)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (Language materials, printed)

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

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

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

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

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

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

VLSI-SoC: Forward-Looking Trends in IC and Systems Design = 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers / by: (Language materials, printed)

Reconfigurable computing = architectures, tools and applications : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012 : proceedings / by: (Language materials, printed)

Evolutionary computation, machine learning and data mining in bioinformatics = 10th European Conference, EvoBIO 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Language materials, printed)

Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (Language materials, printed)

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

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

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

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / by: (Language materials, printed)

Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings / by: (Language materials, printed)

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

Principles of security and trust = first international conference, POST 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Language materials, printed)

Compiler construction = 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Language materials, printed)

Transactions on Data Hiding and Multimedia Security VII by: (Language materials, printed)

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

Critical infrastructure protection = information infrastructure models, analysis, and defense / by: (Language materials, printed)

Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part II / by: (Language materials, printed)

Hybrid artificial intelligent systems = 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012 : proceedings.. Part I / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency V by: (Language materials, printed)

Approximation and online algorithms = 9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 12th European Conference, EvoCOP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Language materials, printed)

Genetic programming = 15th European Conference, EuroGP 2012, Malaga, Spain, April 11-13, 2012 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

Advanced computing, networking and security = International Conference, ADCONS 2011, Surathkal, India, December 16-18, 2011 : revised selected papers / by: (Language materials, printed)

LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings / by: (Language materials, printed)

Swarm and evolutionary computation = international symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012 : proceedings / by: (Language materials, printed)

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

Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers / by: (Language materials, printed)

Research in computational molecular biology = 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

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

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

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

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

Guide to FPGA implementation of arithmetic functions by: (Language materials, printed)

Sparsity = graphs, structures, and algorithms / by: (Language materials, printed)

A generative theory of relevance by: (Language materials, printed)

Sequence comparison = theory and methods / by: (Language materials, printed)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (Language materials, printed)

Approximation and online algorithms = 6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers / by: (Language materials, printed)

Algorithms and models for the web-graph = 6th international workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009 ; proceedings / by: (Language materials, printed)

Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings / by: (Language materials, printed)

WALCOM: algorithms and computation = third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings / by: (Language materials, printed)

Graph drawing = 16th international symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008 ; revised papers / by: (Language materials, printed)

Information security applications = 9th international workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, revised selected papers / by: (Language materials, printed)

Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / by: (Language materials, printed)

Theory of cryptography = 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings / by: (Language materials, printed)

Numerical analysis and its applications = 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers / by: (Language materials, printed)

Computability of Julia sets by: (Language materials, printed)

Transactions on petri nets and other models of concurrency.. II,. Special issue on concurrency in process-aware information systems by: (Language materials, printed)

Distributed computing and networking = 10th international conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009 : proceedings / by: (Language materials, printed)

Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (Language materials, printed)

Public Key Cryptography - PKC 2009 = 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings / by: (Language materials, printed)

Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Language materials, printed)

Independent component analysis and signal separation = 8th International Conference, ICA 2009, Paraty, Brazil, March 15 - 18, 2009 proceedings / by: (Language materials, printed)

Compiler construction = 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Language materials, printed)

Information security and cryptology - ICISC 2008 = 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised selected papers / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / by: (Language materials, printed)

Emerging trends in visual computing = LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008 ; revised invited papers / by: (Language materials, printed)

Computer processing of oriental languages = Language Technology for the Knowledge-based Economy :: language technology for the knowledge-based economy ; 22nd international conference, ICCPOL 2009, Hong Kong, March 26-27, 2009 ; proceedings / by: (Language materials, printed)

Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (Language materials, printed)

Transactions on computational science IV = special issue on security in computing / by: (Language materials, printed)

Agent computing and multi-agent systems = 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007 : revised papers / by: (Language materials, printed)

Topics in cryptology--CT-RSA 2009 = the Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009 ; proceedings / by: (Language materials, printed)

Advances in cryptology - EUROCRYPT 2009 = 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009 : proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (Language materials, printed)

Evolutionary multi-criterion optimization = 5th international conference, EMO 2009, Nantes, France, April 7-10, 2009, proceedings / by: (Language materials, printed)

Genetic programming = 12th European conference, EuroGP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (Language materials, printed)

Evolutionary computation, machine learning and data mining in bioinformatics = 7th European Conference, EvoBIO 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (Language materials, printed)

Information Security and Cryptology = 4th international conference, Inscrypt 2008, Beijing, China, December 14-17, 2008 ; revised selected papers / by: (Language materials, printed)

Advances in grid and pervasive computing = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (Language materials, printed)

Fundamentals of three-dimensional digital image processing by: (Language materials, printed)

Principles of programming languages by: (Language materials, printed)

Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers / by: (Language materials, printed)

Constraint handling rules = current research topics / by: (Language materials, printed)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part II / by: (Language materials, printed)

Advances in neural networks - ISNN 2009 = 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009 ; proceedings.. Part III / by: (Language materials, printed)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (Language materials, printed)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings / by: (Language materials, printed)

Research in computational molecular biology = 13th annual international conference, RECOMB 2009, Tucson, AZ, USA, May 18-21, 2009 ; proceedings / by: (Language materials, printed)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (Language materials, printed)

Scale space and variational methods in computer vision = second international conference, SSVM 2009, Voss, Norway, June 1-5, 2009 ; proceedings / by: (Language materials, printed)

Computer Vision and Graphics = International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008, Revised Papers / by: (Language materials, printed)

The algorithm design manual by: (Language materials, printed)

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

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

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

What is computer science? = an information security perspective / by: (Language materials, printed)

Intelligent strategies for pathway mining = model and pattern identification / by: (Language materials, printed)

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

Open problems in spectral dimensionality reduction by: (Language materials, printed)

Information-theoretic evaluation for computational biomedical ontologies by: (Language materials, printed)

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

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

Distributed computing and internet technology = 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014 : proceedings / by: (Language materials, printed)

Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (Language materials, printed)

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

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

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

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

Public key infrastructures, services and applications = 10th European Workshop, EuroPKI 2013, Egham, UK, September 12-13, 2013 : revised selected papers / by: (Language materials, printed)

Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / by: (Language materials, printed)

Integrating routing decisions in public transportation problems by: (Language materials, printed)

Language and automata theory and applications = 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings / by: (Language materials, printed)

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

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

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

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

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

Theory of cryptography = 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings / by: (Language materials, printed)

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

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

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012 by: (Language materials, printed)

LATIN 2014 = theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings / by: (Language materials, printed)

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

Principles of security and trust = Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Language materials, printed)

Recent advances in information technology = RAIT-2014 Proceedings / by: (Language materials, printed)

Computational methods in power system analysis by: (Language materials, printed)

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

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

Data structures and algorithms with Python by: (Language materials, printed)

Material selections by a hybrid multi-criteria approach by: (Language materials, printed)

Energy minimization methods in computer vision and pattern recognition = 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015 : proceedings / by: (Language materials, printed)

Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday / by: (Language materials, printed)

Artificial life and computational intelligence = first Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015 : proceedings / by: (Language materials, printed)

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

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

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

Computer algebra and polynomials = applications of algebra and number theory / by: (Language materials, printed)

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

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

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

Transactions on large-scale data- and knowledge-centered systems XVII = selected papers from DaWaK 2013 / by: (Language materials, printed)

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

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

A guide to graph colouring = algorithms and applications / by: (Language materials, printed)

Distributed computing and internet technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings / by: (Language materials, printed)

Theory of cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.. Part II / by: (Language materials, printed)

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

Practical aspects of declarative languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / by: (Language materials, printed)

Artificial life and computational intelligence = second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016 : proceedings / by: (Language materials, printed)

Advances in network science = 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016 : proceedings / by: (Language materials, printed)

Topics in theoretical computer science = the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers / by: (Language materials, printed)

SOFSEM 2016 = theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXIV = special issue on database- and expert-systems applications / by: (Language materials, printed)

Portfolio Optimization Using Fundamental Indicators Based on Multi-Objective EA by: (Language materials, printed)

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

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

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

Graphical models for security = second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers / by: (Language materials, printed)

Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings / by: (Language materials, printed)

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

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

Transactions on large-scale data- and knowledge-centered systems XXV by: (Language materials, printed)

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

Limits of computation = from a programming perspective / by: (Language materials, printed)

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

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

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

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

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

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

Information and communications security = 17th International Conference, ICICS 2015, Beijing, China, December 9-11, 2015 : revised selected papers / by: (Language materials, printed)

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

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

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

Image and video technology - PSIVT 2015 Workshops = RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015 : revised selected papers / by: (Language materials, printed)

Applied reconfigurable computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 : proceedings / by: (Language materials, printed)

Genetic programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / by: (Language materials, printed)

Architecture of computing systems - ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016 : proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings / by: (Language materials, printed)

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

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

Information security and cryptology - ICISC 2015 = 18th International Conference, Seoul, South Korea, November 25-27, 2015 : revised selected papers / by: (Language materials, printed)

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

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

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

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

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

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

Privacy technologies and policy = third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015 : revised selected papers / by: (Language materials, printed)

Artificial evolution = 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015 : revised selected papers / by: (Language materials, printed)

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

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

LATIN 2016 = theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings / by: (Language materials, printed)

Principles of security and trust = 5th International Conference, POST 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXVI = special issue on data warehousing and knowledge discovery / by: (Language materials, printed)

Sparse grids and applications = Stuttgart 2014 / by: (Language materials, printed)

Human centered computing = second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016 : revised selected papers / by: (Language materials, printed)

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

Hybrid artificial intelligent systems = 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016 : proceedings / by: (Language materials, printed)

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

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

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

Discrete geometry for computer imagery = 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016 : proceedings / by: (Language materials, printed)

Mathematical aspects of computer and information sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / by: (Language materials, printed)

Conformal and probabilistic prediction with applications = 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016 : proceedings / by: (Language materials, printed)

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

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

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

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

Transactions on computational science XXVII by: (Language materials, printed)

Metaheuristic applications to speech enhancement by: (Language materials, printed)

Integer programming and combinatorial optimization = 18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 2016 : proceedings / by: (Language materials, printed)

Image and signal processing = 7th International Conference, ICISP 2016, Trois-Rivieres, QC, Canada, May 30 - June 1, 2016 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

Transactions on edutainment XII by: (Language materials, printed)

Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / by: (Language materials, printed)

Pattern mining with evolutionary algorithms by: (Language materials, printed)

Instruction selection = principles, methods, and applications / by: (Language materials, printed)

Information processing and management of uncertainty in knowledge-based systems = 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016 : proceedings.. Part II / by: (Language materials, printed)

Information processing and management of uncertainty in knowledge-based systems = 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016 : proceedings.. Part I / by: (Language materials, printed)

Algorithms for computational biology = third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016 : proceedings / by: (Language materials, printed)

Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings / by: (Language materials, printed)

Computational topology in image context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016 : proceedings / by: (Language materials, printed)

Information security and privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016 : proceedings.. Part I / by: (Language materials, printed)

Graph transformation = 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 : proceedings / by: (Language materials, printed)

Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Language materials, printed)

Graph-based representation and reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016 : proceedings / by: (Language materials, printed)

Unconventional computation and natural computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016 : proceedings / by: (Language materials, printed)

Artificial general intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016 : proceedings / by: (Language materials, printed)

Machine learning and data mining in pattern recognition = 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part V / by: (Language materials, printed)

Information security and privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016 : proceedings.. Part II / by: (Language materials, printed)

Advances in neural networks - ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings / by: (Language materials, printed)

Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings / by: (Language materials, printed)

Algorithmic aspects in information and management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016 : proceedings / by: (Language materials, printed)

Solving large scale learning tasks = challenges and algorithms : essays dedicated to Katharina Morik on the Occasion of her 60th Birthday / by: (Language materials, printed)

Articulated motion and deformable objects = 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016 : proceedings / by: (Language materials, printed)

Trends in applied knowledge-based systems and data science = 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.. Part III / by: (Language materials, printed)

Intelligent computing methodologies = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016 : proceedings.. Part III / by: (Language materials, printed)

Mathematical software - ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings / by: (Language materials, printed)

Big data computing and communications = second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016 : proceedings / by: (Language materials, printed)

Computing and combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings / by: (Language materials, printed)

Economics of grids, clouds, systems, and services = 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015 : revised selected papers / by: (Language materials, printed)

Constructive side-channel analysis and secure design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016 : revised selected papers / by: (Language materials, printed)

Computational intelligence methods for bioinformatics and biostatistics = 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015 : revised selected papers / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.. Part II / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.. Part III / by: (Language materials, printed)

Advances in cryptology - CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016 : proceedings.. Part I / by: (Language materials, printed)

Developments in language theory = 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings / by: (Language materials, printed)

GPS = theory, algorithms, and applications / by: (Language materials, printed)

Support vector machines and perceptrons = learning, optimization, classification, and application to social networks / by: (Language materials, printed)

Random-like bi-level decision making by: (Language materials, printed)

Knowledge Management and Acquisition for Intelligent Systems = 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016 : proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016 : proceedings / by: (Language materials, printed)

Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (Language materials, printed)

From animals to animats 14 = 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016 : proceedings / by: (Language materials, printed)

Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings / by: (Language materials, printed)

Algorithms in bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings / by: (Language materials, printed)

Medical imaging and augmented reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016 : proceedings / by: (Language materials, printed)

Analytical and stochastic modeling techniques and applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (Language materials, printed)

DNA computing and molecular programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings / by: (Language materials, printed)

Cellular automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016 : proceedings / by: (Language materials, printed)

Advanced analysis and learning on temporal data = first ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015 : revised selected papers / by: (Language materials, printed)

Swarm intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016 : proceedings / by: (Language materials, printed)

Combinatorial algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016 : proceedings / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2016 = 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016 : proceedings.. Part I / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2016 = 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016 : proceedings.. Part II / by: (Language materials, printed)

Computational logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016 : proceedings / by: (Language materials, printed)

Principles and practice of constraint programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings / by: (Language materials, printed)

Parallel problem solving from nature - PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016 : proceedings / by: (Language materials, printed)

Scalable uncertainty management = 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016 : proceedings / by: (Language materials, printed)

Logic, language, information, and computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings / by: (Language materials, printed)

Descriptive set theoretic methods in automata theory = decidability and topological complexity / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers / by: (Language materials, printed)

Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings / by: (Language materials, printed)

Computational collective intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 : proceedings.. Part I / by: (Language materials, printed)

Computational collective intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016 : proceedings.. Part II / by: (Language materials, printed)

Artificial intelligence applications and innovations = 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016 : proceedings / by: (Language materials, printed)

Applications and techniques in information security = 6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016 : proceedings / by: (Language materials, printed)

Soft computing in data science = second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016 : proceedings / by: (Language materials, printed)

Advances in artificial intelligence = 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016 : proceedings / by: (Language materials, printed)

Privacy technologies and policy = 4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016 : proceedings / by: (Language materials, printed)

Discrete optimization and operations research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (Language materials, printed)

Computer information systems and industrial management = 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016 : proceedings / by: (Language materials, printed)

OpenMP = memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / by: (Language materials, printed)

Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers / by: (Language materials, printed)

Computer security - ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016 : proceedings.. Part II / by: (Language materials, printed)

Research in attacks, intrusions, and defenses = 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016 : proceedings / by: (Language materials, printed)

Geographic information science = 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016 : proceedings / by: (Language materials, printed)

Computer security - ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016 : proceedings.. Part I / by: (Language materials, printed)

Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Osterreich, September 27-30, 2016 : proceedings / by: (Language materials, printed)

Internet and distributed computing systems = 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016 : proceedings / by: (Language materials, printed)

Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings / by: (Language materials, printed)

String processing and information retrieval = 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016 : proceedings / by: (Language materials, printed)

Networked systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers / by: (Language materials, printed)

Intelligent data engineering and automated learning - IDEAL 2016 = 17th International Conference, Yangzhou, China, October 12-14, 2016 : proceedings / by: (Language materials, printed)

Graphical models for security = third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers / by: (Language materials, printed)

Advances in intelligent data analysis XV = 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016 : proceedings / by: (Language materials, printed)

Computer vision and graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016 : proceedings / by: (Language materials, printed)

Computer vision - ECCV 2016 workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016 : proceedings.. Part I / by: (Language materials, printed)

Similarity search and applications = 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016 : proceedings / by: (Language materials, printed)

Autonomous agents and multiagent systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016 : revised selected papers / by: (Language materials, printed)

Databases theory and applications = 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016 : proceedings / by: (Language materials, printed)

Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (Language materials, printed)

Data privacy management and security assurance = 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings / by: (Language materials, printed)

Search based software engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXVII = special issue on big data for complex urban systems / by: (Language materials, printed)

Distributed computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXVIII = special issue on database- and expert-systems applications / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016 : revised selected papers / by: (Language materials, printed)

Web-age information management = WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016 : revised selected papers / by: (Language materials, printed)

Decision and game theory for security = 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016 : proceedings / by: (Language materials, printed)

Secure IT systems = 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016 : proceedings / by: (Language materials, printed)

Modelling and simulation for autonomous systems = third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016 : revised selected papers / by: (Language materials, printed)

Advanced concepts for intelligent vision systems = 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016 : proceedings / by: (Language materials, printed)

Theory of cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.. Part I / by: (Language materials, printed)

Theory of cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016 : proceedings.. Part II / by: (Language materials, printed)

Multiple instance learning = foundations and algorithms / by: (Language materials, printed)

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

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

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

Swarm, evolutionary, and mimetic computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015 : revised selected papers / by: (Language materials, printed)

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

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

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

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

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

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

Computer vision - ECCV 2016 Workshops = Amsterdam, the Netherlands, October 8-10 and 15-16, 2016 : proceedings.. Part III / by: (Language materials, printed)

Algorithm engineering = selected results and surveys / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (Language materials, printed)

Advances in brain inspired cognitive systems = 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016 : proceedings / by: (Language materials, printed)

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

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

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

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

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

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

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

Swarm intelligence based optimization = second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers / by: (Language materials, printed)

Learning and intelligent optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016 : revised selected papers / by: (Language materials, printed)

Genetic programming theory and practice XIII by: (Language materials, printed)

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

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

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

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

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

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

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

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

Transactions on large-scale data- and knowledge-centered systems XXIX by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXX = special issue on cloud computing / by: (Language materials, printed)

Web and internet economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016 : proceedings / by: (Language materials, printed)

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

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

Machine translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25-26, 2016 : revised selected papers / by: (Language materials, printed)

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

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

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

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

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

Guide to computational modelling for decision processes = theory, algorithms, techniques and applications / by: (Language materials, printed)

Context-aware systems and applications = 5th International Conference, ICCASA 2016, Thu Dau Mot, Vietnam, November 24-25, 2016 : proceedings / by: (Language materials, printed)

Algorithmic aspects of cloud computing = second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016 : revised selected papers / by: (Language materials, printed)

Algorithms and complexity = 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017 : proceedings / by: (Language materials, printed)

Transparent data mining for big and small data by: (Language materials, printed)

On sets and graphs = perspectives on logic and combinatorics / by: (Language materials, printed)

Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings / by: (Language materials, printed)

Computer science - theory and applications = 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017 : proceedings / by: (Language materials, printed)

Scale space and variational methods in computer vision = 6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017 : proceedings / by: (Language materials, printed)

Euro-Par 2016 = Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016 : revised selected papers / by: (Language materials, printed)

Graph-based representations in pattern recognition = 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017 : proceedings / by: (Language materials, printed)

Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part II / by: (Language materials, printed)

Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part I / by: (Language materials, printed)

Computer information systems and industrial management = 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017 : proceedings / by: (Language materials, printed)

Combinatorial image analysis = 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017 : proceedings / by: (Language materials, printed)

Networked systems = 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017 : proceedings / by: (Language materials, printed)

Integration of AI and OR techniques in constraint programming = 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017 : proceedings / by: (Language materials, printed)

Information security and privacy = 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3-5, 2017 : proceedings.. Part II / by: (Language materials, printed)

Information security and privacy = 22nd Australasian Conference, ACISP 2017, Auckland, New Zealand, July 3-5, 2017 : proceedings.. Part I / by: (Language materials, printed)

Parallel computational technologies = 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017 : revised selected papers / by: (Language materials, printed)

Intelligence science I = second IFIP TC 12 International Conference, ICIS 2017, Shanghai, China, October 25-28, 2017 : proceedings / by: (Language materials, printed)

Theoretical computer science = 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017 : proceedings / by: (Language materials, printed)

Privacy technologies and policy = 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017 : revised selected papers / by: (Language materials, printed)

Computational intelligence methods for bioinformatics and biostatistics = 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016 : revised selected papers / by: (Language materials, printed)

Computational logistics = 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017 : proceedings / by: (Language materials, printed)

Cloud computing and security = third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017 : revised selected papers.. Part I / by: (Language materials, printed)

Provable security = 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017 : proceedings / by: (Language materials, printed)

Decision and game theory for security = 8th International Conference, GameSec 2017, Vienna, Austria, October 23-25, 2017 : proceedings / by: (Language materials, printed)

Simulated evolution and learning = 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017 : proceedings / by: (Language materials, printed)

Intelligent data engineering and automated learning - IDEAL 2017 = 18th International Conference, Guilin, China, October 30 - November 1, 2017 : proceedings / by: (Language materials, printed)

Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings / by: (Language materials, printed)

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: (Language materials, printed)

Learning and intelligent optimization = 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017 : revised selected papers / by: (Language materials, printed)

Multi-disciplinary trends in artificial intelligence = 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017 : proceedings / by: (Language materials, printed)

Biometric recognition = 12th Chinese Conference, CCBR 2017, Shenzhen, China, October 28-29, 2017 : proceedings / by: (Language materials, printed)

Big data technologies and applications = 7th International Conference, BDTA 2016, Seoul, South Korea, November 17-18, 2016 : proceedings / by: (Language materials, printed)

Applications and techniques in information security = 8th International Conference, ATIS 2017, Auckland, New Zealand, July 6-7, 2017 : proceedings / by: (Language materials, printed)

Multi-agent systems and agreement technologies = 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016 : revised selected papers / by: (Language materials, printed)

Hybrid artificial intelligent systems = 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017 : proceedings / by: (Language materials, printed)

Advances in artificial intelligence = from theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in artificial intelligence = from theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017 : proceedings.. Part II / by: (Language materials, printed)

Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings / by: (Language materials, printed)

Graph transformation = 10th International Conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings / by: (Language materials, printed)

Bio-inspired computing = theories and applications : 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017 : proceedings / by: (Language materials, printed)

Soft computing in data science = third International Conference, SCDS 2017, Yogyakarta, Indonesia, November 27-28, 2017 : proceedings / by: (Language materials, printed)

Cloud computing and security = third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017 : revised selected papers.. Part II / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017 : revised selected papers / by: (Language materials, printed)

Advanced concepts for intelligent vision systems = 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017 : proceedings / by: (Language materials, printed)

Artificial intelligence XXXIV = 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017 : proceedings / by: (Language materials, printed)

Progress in cryptology - INDOCRYPT 2017 = 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017 : proceedings / by: (Language materials, printed)

Mathematics and computation in music = 6th International Conference, MCM 2017, Mexico City, Mexico, June 26-29, 2017 : proceedings / by: (Language materials, printed)

Web and internet wconomics = 13th International Conference, WINE 2017, Bangalore, India, December 17-20, 2017 : proceedings / by: (Language materials, printed)

Internet of vehicles = technologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017 : proceedings / by: (Language materials, printed)

Machine learning and cognition in enterprises = business intelligence transformed / by: (Language materials, printed)

Advances in computer games = 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017 : revised selected papers / by: (Language materials, printed)

Structural information and communication complexity = 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017 : revised selected papers / by: (Language materials, printed)

Algorithms for sensor systems = 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017 : revised selected papers / by: (Language materials, printed)

Guide to competitive programming = learning and improving algorithms through contests / by: (Language materials, printed)

Parameter advising for multiple sequence alignment by: (Language materials, printed)

Software engineering for self-adaptive systems. = International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013 : revised selected and invited papers /. III,. Assurances by: (Language materials, printed)

Machine learning for decision makers = cognitive computing fundamentals for better decision making / by: (Language materials, printed)

Fast radial basis functions for engineering applications by: (Language materials, printed)

Theory and models for cyber situation awareness by: (Language materials, printed)

Paradigms in cryptology - Mycrypt 2016 = malicious and exploratory cryptology : second International Conference, Mycrypt 2016, Kuala Lumpur, Malaysia, December 1-2, 2016 : revised selected papers / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016 : revised selected papers / by: (Language materials, printed)

Algorithms and data structures = 15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017 : proceedings / by: (Language materials, printed)

Computing and combinatorics = 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part I / by: (Language materials, printed)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part II / by: (Language materials, printed)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part III / by: (Language materials, printed)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part IV / by: (Language materials, printed)

Machine learning and data mining in pattern recognition = 13th International Conference, MLDM 2017, New York, NY, USA, July 15-20, 2017 : proceedings / by: (Language materials, printed)

Developments in language theory = 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017 : proceedings / by: (Language materials, printed)

AI 2017 = advances in artificial intelligence : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017 : proceedings / by: (Language materials, printed)

Automated deduction - CADE 26 = 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings / by: (Language materials, printed)

Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers / by: (Language materials, printed)

Intelligent computing methodologies = 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017 : proceedings.. Part III / by: (Language materials, printed)

Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXXII = special issue on big data analytics and knowledge discovery / by: (Language materials, printed)

Artificial intelligence and evolutionary computations in engineering systems = proceedings of ICAIECES 2016 / by: (Language materials, printed)

Rendezvous in distributed systems = theory, algorithms and applications / by: (Language materials, printed)

Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: (Language materials, printed)

Advances in soft computing = 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancun, Mexico, October 23-28, 2016 : proceedings.. Part II / by: (Language materials, printed)

Advances in soft computing = 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancun, Mexico, October 23-28, 2016 : proceedings.. Part I / by: (Language materials, printed)

Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings / by: (Language materials, printed)

Theoretical computer science and discrete mathematics = first International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016 : revised selected papers / by: (Language materials, printed)

Progress in artificial intelligence = 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (Language materials, printed)

Principles and practice of constraint programming = 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (Language materials, printed)

Frontiers of combining systems = 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017 : proceedings / by: (Language materials, printed)

Verification and evaluation of computer and communication systems = 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017 : proceedings / by: (Language materials, printed)

Discrete Geometry for Computer Imagery = 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017 : proceedings / by: (Language materials, printed)

Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings / by: (Language materials, printed)

Computer security - ESORICS 2017 = 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017 : proceedings.. Part II / by: (Language materials, printed)

Computer security - ESORICS 2017 = 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017 : proceedings.. Part I / by: (Language materials, printed)

DNA computing and molecular programming = 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 2017 : proceedings / by: (Language materials, printed)

Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory = 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017 : proceedings / by: (Language materials, printed)

Algorithms and models for the web graph = 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15-16, 2017 : revised selected papers / by: (Language materials, printed)

Algorithms for next-generation sequencing data = techniques, approaches, and applications / by: (Language materials, printed)

Simulation algorithms for computational systems biology by: (Language materials, printed)

Computational collective intelligence = 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017 : proceedings.. Part I / by: (Language materials, printed)

KI 2017 = advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017 : proceedings / by: (Language materials, printed)

Data privacy management, cryptocurrencies and blockchain technology = ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017 : proceedings / by: (Language materials, printed)

Advanced parallel processing technologies = 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017 : proceedings / by: (Language materials, printed)

Comparative genomics = 15th International Workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017 : proceedings / by: (Language materials, printed)

Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings / by: (Language materials, printed)

Simulation and synthesis in medical imaging = second International Workshop, SASHIMI 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017 : proceedings / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency XII by: (Language materials, printed)

Artificial life and evolutionary computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017 : revised selected papers / by: (Language materials, printed)

Random numbers and computers by: (Language materials, printed)

Language and automata theory and applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018 : proceedings / by: (Language materials, printed)

LATIN 2018 = theoretical informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018 : proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4-6, 2018 : proceedings / by: (Language materials, printed)

Genetic programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part I / by: (Language materials, printed)

Artificial evolution = 13th International Conference, Evolution Artificielle, EA 2017, Paris, France, October 25-27, 2017 : revised selected papers / by: (Language materials, printed)

Computational intelligence in music, sound, art and design = 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018 : proceedings / by: (Language materials, printed)

Applications of evolutionary computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings / by: (Language materials, printed)

Algorithms and applications = ALAP 2018 / by: (Language materials, printed)

Wireless personal communications = simulation and complexity / by: (Language materials, printed)

Artificial intelligence and evolutionary computations in engineering systems = proceedings of ICAIECES 2017 / by: (Language materials, printed)

Tensor Eigenvalues and their applications by: (Language materials, printed)

Guide to graph algorithms = sequential, parallel and distributed / by: (Language materials, printed)

Artificial life and intelligent agents = second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016 : revised selected papers / by: (Language materials, printed)

Combinatorial algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017 : revised selected papers / by: (Language materials, printed)

Structured object-oriented formal language and method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017 : revised selected papers / by: (Language materials, printed)

The Tower of Hanoi = myths and maths / by: (Language materials, printed)

Handbook of floating-point arithmetic by: (Language materials, printed)

Fundamentals of discrete math for computer science = a problem-solving primer / by: (Language materials, printed)

Artificial intelligence applications and innovations = 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25-27, 2018 : proceedings / by: (Language materials, printed)

Artificial intelligence applications and innovations = AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018 : proceedings / by: (Language materials, printed)

Information processing and management of uncertainty in knowledge-based systems = applications : 17th International Conference, IPMU 2018, Cadiz, Spain, June 11-15, 2018 : proceedings.. Part III / by: (Language materials, printed)

Information processing and management of uncertainty in knowledge-based systems = theory and foundations : 17th International Conference, IPMU 2018, Cadiz, Spain, June 11-15, 2018 : proceedings.. Part I / by: (Language materials, printed)

Information processing and management of uncertainty in knowledge-based systems = theory and foundations : 17th International Conference, IPMU 2018, Cadiz, Spain, June 11-15, 2018 : proceedings.. Part II / by: (Language materials, printed)

Bioinspired optimization methods and their applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018 : proceedings / by: (Language materials, printed)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings / by: (Language materials, printed)

Artificial intelligence and soft computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018 : proceedings.. Part I / by: (Language materials, printed)

Artificial intelligence and soft computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018 : proceedings.. Part II / by: (Language materials, printed)

Advances in neural networks - ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018 : proceedings / by: (Language materials, printed)

Application and theory of petri nets and concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018 : proceedings / by: (Language materials, printed)

Algorithms and models for the web graph = 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018 : proceedings / by: (Language materials, printed)

Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings / by: (Language materials, printed)

Reconfigurable cryptographic processor by: (Language materials, printed)

Introduction to diagnosis of active systems by: (Language materials, printed)

Auction based resource provisioning in cloud computing by: (Language materials, printed)

Highlights of practical applications of agents, multi-agent systems, and complexity = the PAAMS collection : International Workshops of PAAMS 2018, Toledo, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Integration of constraint programming, artificial intelligence, and operations research = 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018 : proceedings / by: (Language materials, printed)

Hybrid artificial intelligent systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Advances in swarm intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018 : proceedings.. Part I / by: (Language materials, printed)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018 : proceedings.. Part II / by: (Language materials, printed)

Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Advances in practical applications of agents, multi-agent systems, and complexity = the PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Computing and combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018 : proceedings / by: (Language materials, printed)

Classes of directed graphs by: (Language materials, printed)

Computational intelligence and intelligent systems = 9th International Symposium, ISICA 2017, Guangzhou, China, November 18-19, 2017 : revised selected papers.. Part I / by: (Language materials, printed)

Computational intelligence and intelligent systems = 9th International Symposium, ISICA 2017, Guangzhou, China, November 18-19, 2017 : revised selected papers.. Part II / by: (Language materials, printed)

Applications of big data analytics = trends, issues and challenges / by: (Language materials, printed)

Mining over air = wireless communication networks analytics / by: (Language materials, printed)

The discrete math workbook = a companion manual for practical study / by: (Language materials, printed)

Artificial intelligence = first CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018 : proceedings / by: (Language materials, printed)

Genetic programming theory and practice XV by: (Language materials, printed)

Combinatorial optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018 : revised selected papers / by: (Language materials, printed)

Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part I / by: (Language materials, printed)

Computer aided verification = 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.. Part II / by: (Language materials, printed)

Towards autonomous robotic systems = 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018 : proceedings / by: (Language materials, printed)

Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part II / by: (Language materials, printed)

Biomimetic and biohybrid systems = 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018 : proceedings / by: (Language materials, printed)

Computational thinking = first algorithms, then code / by: (Language materials, printed)

Intelligent computing and internet of things = first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018 : proceedings.. Part II / by: (Language materials, printed)

Advances in green energy systems and smart grid = first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018 : proceedings.. Part III / by: (Language materials, printed)

Recent advances in intelligent manufacturing = first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018 : proceedings.. Part I / by: (Language materials, printed)

Database and expert systems applications = 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018 : proceedings.. Part I / by: (Language materials, printed)

Search-based software engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018 : proceedings / by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (Language materials, printed)

Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (Language materials, printed)

Computational collective intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018 : proceedings.. Part I / by: (Language materials, printed)

Computational collective intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018 : proceedings.. Part II / by: (Language materials, printed)

Parallel problem solving from nature - PPSN XV = 15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.. Part I / by: (Language materials, printed)

Parallel problem solving from nature - PPSN XV = 15th International Conference, Coimbra, Portugal, September 8-12, 2018 : proceedings.. Part II / by: (Language materials, printed)

Braverman readings in machine learning = key ideas from inception to current state : International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017 : invited talks / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings / by: (Language materials, printed)

Developments in language theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (Language materials, printed)

Theoretical computer science = 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018 : proceedings / by: (Language materials, printed)

Advances in brain inspired cognitive systems = 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018 : proceedings / by: (Language materials, printed)

Graphs in biomedical image analysis and integrating medical imaging and non-imaging modalities = second International Workshop, GRAIL 2018 and first International Workshop, Beyond MIC 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018 : proceedings / by: (Language materials, printed)

Computational logistics = 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1-3, 2018 : proceedings / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018 : proceedings.. Part II / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018 : proceedings.. Part I / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018 : proceedings.. Part III / by: (Language materials, printed)

Genetic programming theory and practice XIV by: (Language materials, printed)

Algorithms for functional programming by: (Language materials, printed)

Bio-inspired computing = theories and applications : 13th International Conference, BIC-TA 2018, Beijing, China, November 2-4, 2018 : proceedings.. Part I / by: (Language materials, printed)

Bio-inspired computing = theories and applications : 13th International Conference, BIC-TA 2018, Beijing, China, November 2-4, 2018 : proceedings.. Part II / by: (Language materials, printed)

Structural information and communication complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018 : revised selected papers / by: (Language materials, printed)

Web information systems engineering - WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018 : proceedings.. Part I / by: (Language materials, printed)

PRIMA 2018 = principles and practice of multi-agent systems : 21st International Conference, Tokyo, Japan, October 29-November 2, 2018 : proceedings / by: (Language materials, printed)

Testing and tuning market trading systems = algorithms in C++ / by: (Language materials, printed)

Artificial intelligence XXXV = 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11-13, 2018 : proceedings / by: (Language materials, printed)

Algorithmic aspects in information and management = 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018 : proceedings / by: (Language materials, printed)

Approximation and online algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018 : revised selected papers / by: (Language materials, printed)

AI 2018 = advances in artificial intelligence : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018 : proceedings / by: (Language materials, printed)

Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018 : proceedings / by: (Language materials, printed)

Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018 : proceedings / by: (Language materials, printed)

Lectures on convex optimization by: (Language materials, printed)

Models of computation for big data by: (Language materials, printed)

Software technologies = applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part III / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part IV / by: (Language materials, printed)

Graph drawing and network visualization = 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part I / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing = ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018 : proceedings / by: (Language materials, printed)

Advances in computational intelligence = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017 : proceedings.. Part II / by: (Language materials, printed)

Advances in soft computing = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017 : proceedings.. Part I / by: (Language materials, printed)

Arbres pour l'Algorithmique by: (Language materials, printed)

Modern X86 assembly language programming = covers x86 64-bit, AVX, AVX2, and AVX-512 / by: (Language materials, printed)

Fair scheduling in high performance computing environments by: (Language materials, printed)

Technological innovation for industry and service systems = 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8-10, 2019 : proceedings / by: (Language materials, printed)

Adaptive resonance theory in social media data clustering = roles, methodologies, and applications / by: (Language materials, printed)

Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: (Language materials, printed)

Molecular logic and computational synthetic biology = first International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018 : revised selected papers / by: (Language materials, printed)

Algorithmic aspects of cloud computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018 : revised selected papers / by: (Language materials, printed)

Integer programming and combinatorial optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019 : proceedings / by: (Language materials, printed)

Advances in audio watermarking based on matrix decomposition by: (Language materials, printed)

Mining intelligence and knowledge exploration = 5th International Conference, MIKE 2017, Hyderabad, India, December 13-15, 2017 : proceedings / by: (Language materials, printed)

ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: (Language materials, printed)

NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / by: (Language materials, printed)

Natural and artificial computation for biomedicine and neuroscience = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2017 = 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.. Part II / by: (Language materials, printed)

Advances in neural networks - ISNN 2017 = 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in swarm intelligence = 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in swarm intelligence = 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings.. Part II / by: (Language materials, printed)

Algorithmic decision theory = 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017 : proceedings / by: (Language materials, printed)

Algorithms for computational biology = 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017 : proceedings / by: (Language materials, printed)

Artificial life and computational intelligence = third Australasian Conference, ACALCI 2017, Geelong, VIC, Australia, January 31 - February 2, 2017 : proceedings / by: (Language materials, printed)

Biomedical applications based on natural and artificial computing = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017 : proceedings.. Part II / by: (Language materials, printed)

Combinatorial optimization and applications = 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017 : proceedings.. Part I / by: (Language materials, printed)

Combinatorial optimization and applications = 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017 : proceedings.. Part II / by: (Language materials, printed)

Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday / by: (Language materials, printed)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (Language materials, printed)

Data mining and big data = second International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings / by: (Language materials, printed)

Digital forensics and watermarking = 16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017 : proceedings / by: (Language materials, printed)

Euro-Par 2017 = parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017 : proceedings / by: (Language materials, printed)

Frontiers in algorithmics = 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017 : proceedings / by: (Language materials, printed)

Integer programming and combinatorial optimization = 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017 : proceedings / by: (Language materials, printed)

Intelligent information and database systems = 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings.. Part I / by: (Language materials, printed)

Intelligent information and database systems = 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings.. Part II / by: (Language materials, printed)

Logic, language, information, and computation = 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings / by: (Language materials, printed)

Mathematical morphology and its applications to signal and image processing = 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017 : proceedings / by: (Language materials, printed)

Network and parallel computing = 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017 : proceedings / by: (Language materials, printed)

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part I / by: (Language materials, printed)

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part III / by: (Language materials, printed)

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part IV / by: (Language materials, printed)

Parallel computing technologies = 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : proceedings / by: (Language materials, printed)

Smart cities = second International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings / by: (Language materials, printed)

Theory and applications of models of computation = 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings / by: (Language materials, printed)

Theory and practice of natural computing = 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017 : proceedings / by: (Language materials, printed)

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (Language materials, printed)

Web and wireless geographical information systems = 15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017 : proceedings / by: (Language materials, printed)

Wireless algorithms, systems, and applications = 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017 : proceedings / by: (Language materials, printed)

Evolutionary learning = advances in theories and algorithms / by: (Language materials, printed)

Artificial life and evolutionary computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018 : revised selected papers / by: (Language materials, printed)

Artificial intelligence and soft computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019 : proceedings.. Part I / by: (Language materials, printed)

Deep reinforcement learning = frontiers of artificial intelligence / by: (Language materials, printed)

Logic, language, information, and computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings / by: (Language materials, printed)

Models, mindsets, meta = the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday / by: (Language materials, printed)

Advances in neural networks - ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019 : proceedings.. Part I / by: (Language materials, printed)

Advances in neural networks - ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019 : proceedings.. Part II / by: (Language materials, printed)

Graph transformation = 12th International Conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15-16, 2019 : proceedings / by: (Language materials, printed)

Mathematical optimization theory and operations research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019 : proceedings / by: (Language materials, printed)

Soft computing in data analytics = proceedings of International Conference on SCDA 2018 / by: (Language materials, printed)

Understand, manage, and prevent algorithmic bias = a guide for business users and data scientists / by: (Language materials, printed)

Advances in swarm intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings.. Part II / by: (Language materials, printed)

Distributed real-time systems = theory and practice / by: (Language materials, printed)

Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part I / by: (Language materials, printed)

Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part IV / by: (Language materials, printed)

Algorithms and models for the web graph = 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019 : proceedings / by: (Language materials, printed)

Structural information and communication complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019 : proceedings / by: (Language materials, printed)

Combinatorial algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019 : proceedings / by: (Language materials, printed)

Towards autonomous robotic systems = 20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019 : proceedings.. Part II / by: (Language materials, printed)

Artificial intelligence and security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019 : proceedings.. Part II / by: (Language materials, printed)

Advances in swarm intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings.. Part I / by: (Language materials, printed)

Computing and combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019 : proceedings / by: (Language materials, printed)

Web and big data = third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1-3, 2019 : proceedings.. Part I / by: (Language materials, printed)

Intelligent computing theories and application = 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019 : proceedings.. Part I / by: (Language materials, printed)

Algorithms and data structures = 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019 : proceedings / by: (Language materials, printed)

Algorithmic aspects in information and management = 13th International Conference, AAIM 2019, Beijing, China, August 6-8, 2019 : proceedings / by: (Language materials, printed)

Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part II / by: (Language materials, printed)

Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part III / by: (Language materials, printed)

Pro TBB = C++ parallel programming with threading building blocks / by: (Language materials, printed)

Combinatorial Geometry and Graph Theory = Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / by: (Language materials, printed)

Distributed Computing and Internet Technology : = Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings by: (Language materials, printed)

Hybrid artificial intelligence systems = third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. proceedings / by: (Language materials, printed)

Information Security and Privacy = 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings / by: (Language materials, printed)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (Language materials, printed)

Image Analysis and Recognition = 5th International Conference, ICIAR 2008, Povoa de Varzim, Portugal, June 25-27, 2008. Proceedings / by: (Language materials, printed)

Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings / by: (Language materials, printed)

Artificial Intelligence and Soft Computing ICAISC 2008 = 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings / by: (Language materials, printed)

Structural Information and Communication Complexity = 15th International Colloquium, SIROCCO 2008 Villars-sur-Ollon, Switzerland, June 17-20, 2008 Proceedings / by: (Language materials, printed)

Multimodal Technologies for Perception of Humans = International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers / by: (Language materials, printed)

Queueing theory = a linear algebraic approach / by: (Language materials, printed)

Modern transport telematics = 11th international conference on transport systems telematics, TST 2011, Katowice-Ustron, Poland, October 19-22, 2011, selected papers / by: (Language materials, printed)

Swarm intelligence = 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012 : proceedings / by: (Language materials, printed)

Eternal systems = first InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised selected papers / by: (Language materials, printed)

Fuzzy logic for image processing = a gentle introduction using Java / by: (Language materials, printed)

Claudio Moraga = a passion for multi-valued logic and soft computing / by: (Language materials, printed)

Capacitated planned maintenance = models, optimization algorithms, combinatorial and polyhedral properties / by: (Language materials, printed)

Distributed computing and internet technology = 13th International Conference, ICDCIT 2017, Bhubaneswar, India, January 13-16, 2017 : proceedings / by: (Language materials, printed)

Foundations and practice of security = 9th International Symposium, FPS 2016, Quebec City, QC, Canada, October 24-25, 2016 : revised selected papers / by: (Language materials, printed)

Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXXI = special issue on data and security engineering / by: (Language materials, printed)

Evolutionary multi-agent systems = from inspirations to applications / by: (Language materials, printed)

Cyber physical systems = design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 : revised selected papers / by: (Language materials, printed)

Approximation and online algorithms = 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers / by: (Language materials, printed)

SOFSEM 2017 = theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017 : proceedings / by: (Language materials, printed)

Smart computing and communication = first International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016 : proceedings / by: (Language materials, printed)

Topics in cryptology - CT-RSA 2017 = the Cryptographers' Track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017 : proceedings / by: (Language materials, printed)

Graphic recognition = current trends and challenges : 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015 : revised selected papers / by: (Language materials, printed)

Algorithms for sensor systems = 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers / by: (Language materials, printed)

Principal component analysis networks and algorithms by: (Language materials, printed)

Harmony search algorithm = proceedings of the 3rd International Conference on Harmony Search Algorithm (ICHSA 2017) / by: (Language materials, printed)

Heuristic search = the emerging science of problem solving / by: (Language materials, printed)

Progress in pattern recognition, image analysis, computer vision, and applications = 21st Iberoamerican Congress, CIARP 2016, Lima, Peru, November 8-11, 2016 : proceedings / by: (Language materials, printed)

Algorithms and discrete applied mathematics = third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings / by: (Language materials, printed)

Digital forensics and watermarking = 15th International Workshop, IWDW 2016, Beijing, China, September 17-19, 2016 : rvised selected papers / by: (Language materials, printed)

Language and automata theory and applications = 11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017 : proceedings / by: (Language materials, printed)

High-performance scientific computing = first JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016 : rvised selected papers / by: (Language materials, printed)

WALCOM = algorithms and computation : 11th International Conference and Workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017 : proceedings / by: (Language materials, printed)

Membrane computing = 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016 : rvised selected papers / by: (Language materials, printed)

Evolutionary multi-criterion optimization = 9th International Conference, EMO 2017, Munster, Germany, March 19-22, 2017 : proceedings / by: (Language materials, printed)

Small dynamic complexity classes = an investigation into dynamic descriptive complexity / by: (Language materials, printed)

Public-key cryptography - PKC 2017 = 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017 : proceedings.. Part I / by: (Language materials, printed)

Public-key cryptography - PKC 2017 = 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and Computation = 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings / by: (Language materials, printed)

Scale Space and Variational Methods in Computer Vision = 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings / by: (Language materials, printed)

Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I / by: (Language materials, printed)

Big Data Computing and Communications = First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings / by: (Language materials, printed)