Discrete Mathematics in Computer Science.

Structural, syntactic, and statistical pattern recognition = Joint IAPR International Workshops, S+SSPR 2024, Venice, Italy, September 9-10, 2024 : revised selected papers / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024 : revised selected papers / by: (Language materials, printed)

Fourier analysis--a signal processing approach by: (Language materials, printed)

Logic in computer science by: (Language materials, printed)

Frontiers of algorithmics = 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024 : proceedings / by: (Language materials, printed)

Maths for computing = a beginner's guide / by: (Language materials, printed)

Combinatorics on words = 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025 : proceedings / by: (Language materials, printed)

Frontiers of algorithmics = 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025 : proceedings / by: (Language materials, printed)

Graph transformation = 18th International Conference, ICGT 2025, held as part of STAF 2025, Koblenz, Germany, June 11-12, 2025 : proceedings / by: (Language materials, printed)

Integer programming and combinatorial optimization = 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025 : proceedings / by: (Language materials, printed)

Graph-based representations in pattern recognition = 14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025 : proceedings / by: (Language materials, printed)

Theory of Cryptography = Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12. 2005, Proceedings / by: (Language materials, printed)

Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by: (Language materials, printed)

Structural Information and Communication Complexity = 12th International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005, Proceedings / by: (Language materials, printed)

Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings / by: (Language materials, printed)

Foundations of Generic Optimization. Volume 1,. A Combinatorial Approach to Epistasis / by: (Language materials, printed)

Quantitative measure for discrete event supervisory control 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)

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)

Mathematical Foundations of Computer Science 2005 = 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings / 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)

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

Robot Vision = Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008. Proceedings / by: (Language materials, printed)

Adaptive Scalarization Methods in Multiobjective Optimization by: (Language materials, printed)

Advances in Cryptology -- CRYPTO 2008 = 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 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)

WALCOM = algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings / 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)

Nonblocking Electronic and Photonic Switching Fabrics by: (Language materials, printed)

Mathematics of Surfaces XI = 11th IMA International Conference, Loughborough, UK, September 5-7, 2005, Proceedings / 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)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : = 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings 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)

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)

Graphs, dioids and semirings = new models and algorithms / by: (Language materials, printed)

Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings / 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)

Operators for similarity search = semantics, techniques and usage scenarios / by: (Language materials, printed)

Structural, syntactic, and statistical pattern recognition = joint IAPR international workshop, SSPR & SPR 2008, Orlando, USA, December 4-6, 2008, proceedings / 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)

Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers / 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)

Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 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)

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)

Progress in Cryptology - LATINCRYPT 2015 = 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015 : proceedings / by: (Language materials, printed)

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

Advances in spatial and temporal databases = 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 2015 : proceedings / 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)

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

SOFSEM 2005: Theory and Practice of Computer Science = 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings / by: (Language materials, printed)

Network Analysis = Methodological Foundations / 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)

Combinatorics on words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 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 I / by: (Language materials, printed)

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

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

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

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

Lectures on advances in combinatorics by: (Language materials, printed)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / by: (Language materials, printed)

Structural analysis of complex networks by: (Language materials, printed)

Combinatorial computational biology of RNA = pseudoknots and neutral networks / by: (Language materials, printed)

Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO / 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)

Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings / by: (Language materials, printed)

Graph-Based Representations in Pattern Recognition = 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings / 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)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems = Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / by: (Language materials, printed)

Algorithmic Applications in Management = First International Conference, AAIM 2005, Xian, China, June 22-25, 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)

Advances in Cryptology - CRYPTO 2005 = 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 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)

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

Advances in Artificial Life : = 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 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)

Stochastic Algorithms: Foundations and Applications : = Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 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)

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

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

Contemporary Cryptology 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)

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)

Advances in geometric modeling and processing = 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008 ; proceedings / 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)

Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 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)

Transactions on rough sets XIII 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)

Parameterized and exact computation = third international workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008 : proceedings / 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)

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)

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)

The linear ordering problem = exact and heuristic methods in combinatorial optimization / by: (Language materials, printed)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 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)

Computing and Combinatorics = 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings / 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)

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

Algorithms in bioinformatics = 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008. 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)

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)

An Introduction to Sequential Dynamical Systems 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)

Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers / by: (Language materials, printed)

Internet and network economics = 4th international workshop, WINE 2008, Shanghai, China, December 17-20, 2008, proceedings / 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)

Comprehensive Mathematics for Computer Scientists 2 = Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / by: (Language materials, printed)

Algorithmic game theory = first international symposium, SAGT 2008, Paderborn, Germany, April 30-May 2, 2008. proceedings / by: (Language materials, printed)

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

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

Graph Theory, Combinatorics and Algorithms = Interdisciplinary Applications / by: (Language materials, printed)

Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 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)

Identity-based encryption by: (Language materials, printed)

Analysis for computer scientists = foundations, methods, and algorithms / by: (Language materials, printed)

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

STACS 2005 = 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings / by: (Language materials, printed)

Mathematical Tools for Data Mining = Set Theory, Partial Orders, Combinatorics / 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)

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

Applications and Theory of Petri Nets 2005 = 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / 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)

Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings 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)

Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 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)

Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 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)

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

Core concepts in data analysis = summarization, correlation and visualization / 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)

Applications and Theory of Petri Nets = 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings / 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)

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)

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

Simulated evolution and learning = 7th international conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, proceedings / by: (Language materials, printed)

Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / 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)

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

Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-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)

Studies in complexity and cryptography = miscellanea on the interplay between randomness and computation / 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)

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

Information Security and Privacy = 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 : proceedings / by: (Language materials, printed)

Recent trends in wireless and mobile networks = third international conferences, WiMo 2011 and CoNeCo 2011, Ankara, Turkey, June 26-28, 2011 : proceedings / by: (Language materials, printed)

Foundations of Information and Knowledge Systems = 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008. Proceedings / 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)

Combinatorial Image Analysis = 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 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)

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)

Coding and cryptology = third international workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011 : proceedings / 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)

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

Advances in artificial life = Darwin Meets von Neumann : 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009 : revised selected papers.. Part I / 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)

Mathematics and computation in music = third international conference, MCM 2011, Paris, France, June 15-17, 2011 : proceedings / 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)

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

Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (Language materials, printed)

Computation, cooperation, and life = essays dedicated to Gheorghe Paun on the occasion of his 60th birthday / by: (Language materials, printed)

Mathematical morphology and its applications to image and signal processing = 10th international symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011 : 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)

Diagrammatic Representation and Inference = 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 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)

Automated deduction in geometry = 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / by: (Language materials, printed)

Graph-based representations in pattern recognition = 8th IAPR-TC-15 International Workshop, GbRPR 2011, Munster, Germany, May 18-20, 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)

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 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 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)

Advances in artificial life = Darwin Meets von Neumann, 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009 : revised selected papers.. Part II / by: (Language materials, printed)

A geometry of approximation = rough set theory: logic, algebra and topology of Conceptual Patterns / 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)

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

Validated Designs for Object-oriented Systems 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)

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

Cryptography and Coding : = 10th IMA International Conference, Cirencester, UK, December 19-21, 2005, Proceedings by: (Language materials, printed)

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

Foundations of Generic Optimization. 2. Applications of Fuzzy Control, Genetic Algorithms and Neural Networks / by: (Language materials, printed)

Graph Theory by: (Language materials, printed)

Formal Concept Analysis = 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 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)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / 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)

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)

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

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

Rough sets, fuzzy sets, data mining and granular computing = 12th international conference, RSFDGrC 2009, Delhi, India, December 15-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)

Internet and network economics = 5th international workshop, WINE 2009, Rome, Italy, December 14-18, 2009 : proceedings / by: (Language materials, printed)

Provable security = third international conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009 : proceedings / by: (Language materials, printed)

Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings / by: (Language materials, printed)

Relations and kleene algebra in computer science = 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings / by: (Language materials, printed)

Selected Areas in Cryptography = 16th Annual International Workshop, SAC 2009, Calgary, Alberta, Canada, August 13-14, 2009, Revised Selected Papers / 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)

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)

Cryptography and coding = 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 : proceedings / 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)

Security Technology = International Conference, SecTech 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (Language materials, printed)

Comparative genomics = international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 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)

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

Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (Language materials, printed)

Digital watermarking = 7th international workshop, IWDW 2008, Busan, Korea, November 10-12, 2008 : selected papers / by: (Language materials, printed)

Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings / 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)

System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers / 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)

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

Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 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)

Computer security - ESORICS 2009 = 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 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)

Advances in cryptology - CRYPTO 2009 = 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 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)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (Language materials, printed)

Mathematical morphology and its application to signal and image processing = 9th international symposium, ISMM 2009 Groningen, the Netherlands, 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)

Selected Areas in Cryptography = 15th International Workshop, SAC 2008, Sackville, New Brunswick, Canada, August 14-15, revised selected papers / 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)

Mathematics and computation in music = first international conference, MCM 2007 Berlin, Germany, May 18-20, 2007 : revised selected papers / by: (Language materials, printed)

Handbook of large-scale random networks by: (Language materials, printed)

Cryptography and coding = 13th IMA international conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings / 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)

Cryptology and network security = 10th international conference, CANS 2011, Sanya, China, December 10-12, 2011 : proceedings / by: (Language materials, printed)

Principles of distributed systems = 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 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)

Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / 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)

Learning and intelligent optimization = 5th international conference, LION 5, Rome, Italy, January 17-21, 2011 : selected papers / 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)

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)

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

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

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

Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings / by: (Language materials, printed)

High performance networking, computing, and communication systems = second international conference, ICHCC 2011, Singapore, May 5-6, 2011, selected papers / 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)

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)

Information hiding = 13th international conference, IH 2011, Prague, Czech Republic, May 18-20, 2011 : revised selected papers / 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)

Extremal combinatorics = with applications in computer science / by: (Language materials, printed)

Advances in cryptology = CRYPTO 2011 : 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 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)

Algorithms in bioinformatics = 11th international workshop, WABI 2011, Saarbrucken, Germany, September 5-7, 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)

Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 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)

Algorithms and data structures = 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings / 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)

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)

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

Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 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)

Algebraic informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings / by: (Language materials, printed)

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

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings / by: (Language materials, printed)

Automated reasoning with analytic tableaux and related methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 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)

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

An introduction to catalan numbers by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: (Language materials, printed)

Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings / 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)

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

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

Trusted systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014 : 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)

Fundamentals of discrete math for computer science = a problem-solving primer / by: (Language materials, printed)

Magic graphs by: (Language materials, printed)

Logic and its applications = 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings / by: (Language materials, printed)

Business intelligence = second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012 : tutorial lectures / 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)

Conceptual structures for STEM research and education = 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 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)

WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 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)

Graph drawing = 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012 : revised selected papers / by: (Language materials, printed)

Information theory, combinatorics, and search theory = in memory of Rudolf Ahlswede / 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)

Discrete geometry for computer imagery = 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 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)

Hypergraph theory = an introduction / by: (Language materials, printed)

Logic-based program synthesis and transformation = 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected 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)

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)

Stream ciphers by: (Language materials, printed)

Graph-based representations in pattern recognition = 9th IAPR-TC-15 International Workshop, GbRPR 2013, Vienna, Austria, May 15-17, 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)

Mathematical morphology and its applications to signal and image processing = 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013 : proceedings / 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)

Experimental algorithms = 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 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)

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)

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)

Developments in language theory = 17th International Conference, DLT 2013, Marne-la-Vallee, France, June 18-21, 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)

Mathematics and computation in music = 4th International Conference, MCM 2013, Montreal, QC, Canada, June 12-14, 2013 : proceedings / by: (Language materials, printed)

Mastering the discrete Fourier transform in one, two or several dimensions = pitfalls and artifacts / by: (Language materials, printed)

Modelling computer systems = mathematics for computer science / 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)

Algorithms and data structures = 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013 : proceedings / by: (Language materials, printed)

Fundamentals of computation theory = 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013 : proceedings / by: (Language materials, printed)

Advances in Spatial and Temporal Databases = 13th International Symposium, SSTD 2013, Munich, Germany, August 21-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)

Facets of combinatorial optimization = Festschrift for Martin Grotschel / 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)

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)

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)

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)

Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings / by: (Language materials, printed)

Machine learning and knowledge discovery in satabases = European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013 : proceedings.. Part I / by: (Language materials, printed)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013 : proceedings.. Part II / by: (Language materials, printed)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2013, Prague, Czech Republic, September 23-27, 2013 : proceedings.. Part III / 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)

Automated reasoning with analytic tableaux and related methods = 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013 : proceedings / by: (Language materials, printed)

Logic programming and nonmonotonic reasoning = 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 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)

Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers / by: (Language materials, printed)

Duality in vector optimization by: (Language materials, printed)

Line drawing interpretation 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)

Introduction to discrete event systems by: (Language materials, printed)

Multiobjective optimization = interactive and evolutionary approaches / by: (Language materials, printed)

Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers / by: (Language materials, printed)

Semantics in data and knowledge bases = third international workshop, SDKB 2008, Nantes, France, March 29, 2008 : revised selected papers / 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)

Cryptology and network security = 11th international conference, CANS 2012, Darmstadt, Germany, December 12-14, 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)

Simulated evolution and learning = 9th international conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings / 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)

Internet and network economics = 8th international workshop, WINE 2012, Liverpool, UK, December 10-12, 2012 : proceedings / 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)

Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers / 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)

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)

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)

Cryptographic hardware and embedded systems - CHES 2012 = 14th International Workshop, Leuven, Belgium, September 9-12, 2012 : proceedings / by: (Language materials, printed)

Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings / by: (Language materials, printed)

Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings.. Part I / 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)

Machine learning and knowledge discovery in databases = European conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012 : proceedings.. Part II / by: (Language materials, printed)

Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings / 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)

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)

Advances in cryptology - CRYPTO 2012 = 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 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)

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)

Algorithms in bioinformatics = 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 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)

Progress in Cryptology - LATINCRYPT 2012 = 2nd International Conference on Cryptology and Information Security in Latin America, Santiago, Chile, October 7-10, 2012 : proceedings / by: (Language materials, printed)

Ordering block designs = gray codes, universal cycles and configuration orderings / by: (Language materials, printed)

Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings / by: (Language materials, printed)

Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday / by: (Language materials, printed)

Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 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)

Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers / 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)

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)

Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 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)

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)

Structural information and communication complexity = 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012 : revised selected papers / by: (Language materials, printed)

Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 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)

Diagrammatic representation and inference = 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-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)

Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes / 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)

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)

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)

Fun with algorithms = 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 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)

Concise computer mathematics = tutorials on theory and problems / by: (Language materials, printed)

Combinatorial search = from algorithms to systems / by: (Language materials, printed)

Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 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)

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)

Optimization approaches for solving string selection problems by: (Language materials, printed)

Complex sciences = second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012 : revised selected papers / 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)

Combinatorial optimization and applications = 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 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)

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)

Learning and intelligent optimization = 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013 : revised selected papers / 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)

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 computation = 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 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)

Ubiquitous social media analysis = Third International Workshops, MUSE 2012, Bristol, UK, September 24, 2012, and MSM 2012, Milwaukee, WI, USA, June 25, 2012 : revised selected papers / by: (Language materials, printed)

Ramsey theory for discrete structures by: (Language materials, printed)

A beginner's guide to discrete mathematics 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)

Curves and surfaces = 7th International Conference, Avignon, France, June 24 - 30, 2010 : 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)

Approximation algorithms and semidefinite programming 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)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / 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)

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

Sets, logic and maths for computing 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)

Parameterized and exact computation = 6th International Symposium, IPEC 2011, Saarbrucken, Germany, September 6-8, 2011 : revised selected papers / 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)

Mathematical modelling and scientific computation = International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings / 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)

LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 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)

Sparsity = graphs, structures, and algorithms / by: (Language materials, printed)

Research trends in combinatorial optimization = Bonn 2008 / 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)

Logic functions and equations = examples and exercises / 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)

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)

Information security and cryptology - ICISC 2008 = 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised selected papers / 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)

Formal theories of information = from Shannon to semantic information theory and general concepts of information / 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)

Linear and integer programming vs linear integration and counting = a duality viewpoint / 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)

Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; 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)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (Language materials, printed)

The algorithm design manual by: (Language materials, printed)

Knowledge processing with interval and soft computing by: (Language materials, printed)

Sets, Logic and Maths for Computing by: (Language materials, printed)

Big data integration theory = theory and methods of database mappings, programming languages, and semantics / 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)

Graph structures for knowledge representation and reasoning = third International Workshop, GKR 2013, Beijing, China, August 3, 2013 : revised selected papers / by: (Language materials, printed)

Algorithms and computation = 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings / 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)

Theory of cryptography = 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014 : proceedings / by: (Language materials, printed)

Mathematical methods for curves and surfaces = 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012 : revised selected papers / 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)

Mathematical tools for data mining = set theory, partial orders, combinatorics / by: (Language materials, printed)

Regulated grammars and automata by: (Language materials, printed)

LATIN 2014 = theoretical informatics : 11th Latin American Symposium, Montevideo, Uruguay, March 31-April 4, 2014 : proceedings / by: (Language materials, printed)

Discrete event systems = diagnosis and diagnosability / by: (Language materials, printed)

Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings / by: (Language materials, printed)

Fairness in academic course timetabling 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)

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)

Theory of cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016 : proceedings.. Part II / 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)

Algorithmic aspects of cloud computing = first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 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)

Algorithms and discrete applied mathematics = second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : 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)

Genetic programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 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)

Selected areas in cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 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)

LATIN 2016 = theoretical informatics : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016 : proceedings / 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)

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)

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

Hybrid metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings / 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)

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)

Graph-based representation and reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016 : proceedings / by: (Language materials, printed)

Generalized connectivity of graphs 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)

Diagrammatic representation and inference = 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings / by: (Language materials, printed)

Mathematical software - ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 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)

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)

Fast software encryption = 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016 : 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)

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)

DNA computing and molecular programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016 : proceedings / by: (Language materials, printed)

Combinatorial algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 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)

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)

Numerical semigroups and applications by: (Language materials, printed)

Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications / 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)

Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers / 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)

Graph-theoretic concepts in computer science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016 : revised selected papers / by: (Language materials, printed)

Algebra for cryptologists by: (Language materials, printed)

Map framework = a formal model of maps as a fundamental data type in information systems / 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)

Optimization by GRASP = greedy randomized adaptive search procedures / by: (Language materials, printed)

Innovations for community services = 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016 : revised selected papers / 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)

Algorithm engineering = selected results and surveys / 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)

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

System modeling and optimization = 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015 : 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)

Combinatorics and complexity of partition functions by: (Language materials, printed)

Algorithms and complexity = 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017 : proceedings / by: (Language materials, printed)

Basic graph theory 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)

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)

Combinatorial image analysis = 18th International Workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 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)

Combinatorial optimization and graph algorithms = communications of NII Shonan Meetings / by: (Language materials, printed)

Mathematical methods for curves and surfaces = 9th International Conference, MMCS 2016, Tonsberg, Norway, June 23-28, 2016 : revised selected papers / by: (Language materials, printed)

Description logics in multimedia reasoning by: (Language materials, printed)

Cyber security cryptography and machine learning = first International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 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)

Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings / 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)

Progress in cryptology - INDOCRYPT 2017 = 18th International Conference on Cryptology in India, Chennai, India, December 10-13, 2017 : proceedings / by: (Language materials, printed)

Autonomous agents and multiagent systems = AAMAS 2017 Workshops, Best Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / 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)

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)

Topological data analysis for scientific visualization 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)

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 II / by: (Language materials, printed)

Developments in language theory = 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017 : proceedings / by: (Language materials, printed)

Constructive side-channel analysis and secure design = 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017 : revised selected papers / 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)

DNA computing and molecular programming = 23rd International Conference, DNA 23, Austin, TX, USA, September 24-28, 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)

Connectomics in neuroImaging = first International Workshop, CNI 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017 : proceedings / by: (Language materials, printed)

Euclidean distance geometry = an introduction / 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)

Artificial evolution = 13th International Conference, Evolution Artificielle, EA 2017, Paris, France, October 25-27, 2017 : revised selected papers / by: (Language materials, printed)

Sequences, groups, and number theory by: (Language materials, printed)

Guide to graph algorithms = sequential, parallel and distributed / by: (Language materials, printed)

Foundations of software science and computation structures = 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / 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)

Fundamentals of discrete math for computer science = a problem-solving primer / 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)

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)

Theory and applications of satisfiability testing - SAT 2018 = 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 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)

Fourier analysis--a signal processing approach 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)

Mathematical software - ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings / by: (Language materials, printed)

Combinatorial optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018 : revised selected papers / by: (Language materials, printed)

Combinatorial algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16-19, 2018 : proceedings / by: (Language materials, printed)

Descriptional complexity of formal systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018 : proceedings / by: (Language materials, printed)

Algorithmic game theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018 : proceedings / 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)

Graph-theoretic concepts in computer science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings / by: (Language materials, printed)

Adventures between lower bounds and higher altitudes = essays dedicated to Juraj Hromkovic on the occasion of his 60th birthday / by: (Language materials, printed)

Lai-Massey cipher designs = history, design criteria and cryptanalysis / by: (Language materials, printed)

Analysis for computer scientists = foundations, methods, and algorithms / 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)

Euclidean distance matrices and their applications in rigidity theory by: (Language materials, printed)

Transactions on petri nets and other models of concurrency XIII 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)

Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15-17, 2018 : proceedings / by: (Language materials, printed)

Cellular automata = a volume in the encyclopedia of complexity and systems science, second edition / by: (Language materials, printed)

Nonsymmetric operads in combinatorics 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)

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 cryptology - EUROCRYPT 2017 = 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017 : proceedings.. Part III / by: (Language materials, printed)

Advances in cryptology - EUROCRYPT 2017 = 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017 : proceedings.. Part II / by: (Language materials, printed)

Advances in cryptology - EUROCRYPT 2017 = 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in spatial and temporal databases = 15th International Symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 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)

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)

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)

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)

Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 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)

Business and consumer analytics = new ideas / 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)

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)

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)

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)

Formal concept analysis = foundations and applications / 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)

Computing and Combinatorics = 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 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)

Approximation and online algorithms = 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers / 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)

Algorithms and discrete applied mathematics = third International Conference, CALDAM 2017, Sancoale, Goa, India, February 16-18, 2017 : proceedings / by: (Language materials, printed)

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

Integration of AI and OR Techniques in Constraint Programming = 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / 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)

Combinatorial Pattern Matching = 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings / by: (Language materials, printed)

Fairness in Academic Course Timetabling by: (Language materials, printed)

Optimal Interconnection Trees in the Plane = Theory, Algorithms and Applications / by: (Language materials, printed)

Information Security and Cryptology = 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers / by: (Language materials, printed)

Progress in Cryptology - LATINCRYPT 2014 = Third International Conference on Cryptology and Information Security in Latin America Florianópolis, Brazil, September 17–19, 2014 Revised Selected Papers / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / by: (Language materials, printed)

Analytical and Stochastic Modelling Techniques and Applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / by: (Language materials, printed)

Computer Science -- Theory and Applications = 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / by: (Language materials, printed)

Experimental Algorithms = 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings / 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)

DNA Computing and Molecular Programming = 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / by: (Language materials, printed)

Progress in Cryptology -- LATINCRYPT 2015 = 4th International Conference on Cryptology and Information Security in Latin America, Guadalajara, Mexico, August 23-26, 2015, Proceedings / by: (Language materials, printed)

Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by: (Language materials, printed)

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

Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / 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)

Mathematical Morphology and Its Applications to Signal and Image Processing = 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings / by: (Language materials, printed)

Advances in Spatial and Temporal Databases = 14th International Symposium, SSTD 2015, Hong Kong, China, August 26-28, 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 I / by: (Language materials, printed)

Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II / 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)

SOFSEM 2015: Theory and Practice of Computer Science = 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / by: (Language materials, printed)

Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / by: (Language materials, printed)

Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / by: (Language materials, printed)

Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I / by: (Language materials, printed)

Mathematics and Computation in Music = 5th International Conference, MCM 2015, London, UK, June 22-25, 2015, Proceedings / by: (Language materials, printed)

Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / 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 Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / by: (Language materials, printed)

Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / by: (Language materials, printed)

Graphentheorie = Eine Einführung aus dem 4-Farben Problem / by: (Language materials, printed)

Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, 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)

Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / 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)

Graph Drawing and Network Visualization = 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers / by: (Language materials, printed)

Geometric Science of Information = Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings / 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)

Algorithms and Models for the Web Graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 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)

Quantum Computing verstehen = Grundlagen - Anwendungen - Perspektiven / by: (Language materials, printed)

Operators for Similarity Search = Semantics, Techniques and Usage Scenarios / 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)

Combinatorial Image Analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings / by: (Language materials, printed)

Trusted Systems = 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers / by: (Language materials, printed)

Automated Reasoning with Analytic Tableaux and Related Methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (Language materials, printed)

Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 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)

Codes, Cryptology, and Information Security = First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger / by: (Language materials, printed)

Approximation and Online Algorithms = 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers / by: (Language materials, printed)

Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 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)

WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / by: (Language materials, printed)

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / by: (Language materials, printed)

Logic and Its Applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / by: (Language materials, printed)

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

Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / 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)

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

Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / by: (Language materials, printed)

Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / by: (Language materials, printed)

Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / by: (Language materials, printed)

Computing and Combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / by: (Language materials, printed)

Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / by: (Language materials, printed)

Graph-Based Representations in Pattern Recognition = 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings / by: (Language materials, printed)

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 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)

Perceptual Image Coding with Discrete Cosine Transform by: (Language materials, printed)

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / by: (Language materials, printed)

An Introduction to Catalan Numbers 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)

Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / by: (Language materials, printed)

Algorithms and Complexity = 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings / by: (Language materials, printed)

Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity / 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)

Combinatorial Optimization and Applications = 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / 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)

Genetic Programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / 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)

Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 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)

DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / by: (Language materials, printed)

System Modeling and Optimization = 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers / by: (Language materials, printed)

Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / 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)

Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / 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)

Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / by: (Language materials, printed)

LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 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)

Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings / 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)

Algorithms for Computational Biology = Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings / by: (Language materials, printed)

Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 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)

Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / 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)

Selected Areas in Cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithm Engineering = Selected Results and Surveys / 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)

Progress in Cryptology – INDOCRYPT 2016 = 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 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 of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / 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)

Generalized Connectivity of Graphs by: (Language materials, printed)

Algebra for Cryptologists by: (Language materials, printed)

Innovations for Community Services = 16th International Conference, I4CS 2016, Vienna, Austria, June 27-29, 2016, Revised Selected Papers / by: (Language materials, printed)

Mathematik für Informatiker = Grundlagen und Anwendungen / by: (Language materials, printed)

Einführung in die computerorientierte Mathematik mit Sage by: (Language materials, printed)

Combinatorics and Complexity of Partition Functions by: (Language materials, printed)

Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications / by: (Language materials, printed)

Map Framework = A Formal Model of Maps as a Fundamental Data Type in Information Systems / by: (Language materials, printed)

Optimization by GRASP = Greedy Randomized Adaptive Search Procedures / 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)

Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 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)

Discrete and Computational Geometry and Graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers / 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)

Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 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 I / 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)

Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 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)

Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 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)

Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / by: (Language materials, printed)

Transactions on Computational Science XXVII by: (Language materials, printed)

Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I / 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)

WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / 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)

Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / 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)

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)

Experimental Algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 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)

Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 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)

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)

Diagrammatic Representation and Inference = 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings / by: (Language materials, printed)

Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / 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)

Numerical Semigroups and Applications by: (Language materials, printed)

Fast Software Encryption = 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers / 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)

Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XIII by: (Language materials, printed)

Lai-Massey Cipher Designs = History, Design Criteria and Cryptanalysis / 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)

Nonsymmetric Operads in Combinatorics by: (Language materials, printed)

Advances in Bioinformatics and Computational Biology = 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / by: (Language materials, printed)

Fourier Analysis—A Signal Processing Approach by: (Language materials, printed)

Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / by: (Language materials, printed)

Artificial Intelligence = First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings / 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)

Algorithmic Game Theory = 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings / by: (Language materials, printed)

Cellular Automata = A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition / by: (Language materials, printed)

The Discrete Math Workbook = A Companion Manual for Practical Study / by: (Language materials, printed)

Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 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)

Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings / by: (Language materials, printed)

Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / by: (Language materials, printed)

Advances in Artificial Intelligence = 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / 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)

Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 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)

Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II / by: (Language materials, printed)

Analysis for Computer Scientists = Foundations, Methods, and Algorithms / by: (Language materials, printed)

Combinatorial Algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings / by: (Language materials, printed)

Euclidean Distance Matrices and Their Applications in Rigidity Theory 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)

Foundations of Software Science and Computation Structures = 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / by: (Language materials, printed)

Combinatorial Optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers / by: (Language materials, printed)

Sequences, Groups, and Number Theory by: (Language materials, printed)

Guide to Graph Algorithms = Sequential, Parallel and Distributed / 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)

Approximation and Online Algorithms = 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers / by: (Language materials, printed)

Adventures Between Lower Bounds and Higher Altitudes = Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday / by: (Language materials, printed)

Fundamentals of Discrete Math for Computer Science = A Problem-Solving Primer / by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II / by: (Language materials, printed)

Computer Science – Theory and Applications = 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / by: (Language materials, printed)

Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 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)

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)

Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by: (Language materials, printed)

Classes of Directed Graphs by: (Language materials, printed)

Algorithms for Computational Biology = 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings / by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2018 = 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 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)

Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers / by: (Language materials, printed)

Frontiers in Algorithmics = 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings / by: (Language materials, printed)

Computer Aided Systems Theory – EUROCAST 2017 = 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I / by: (Language materials, printed)

Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers / by: (Language materials, printed)

Computing and Combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / by: (Language materials, printed)

Descriptional Complexity of Formal Systems = 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings / by: (Language materials, printed)

Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / by: (Language materials, printed)

Hybrid Metaheuristics = 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings / by: (Language materials, printed)

Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / 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)

Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings / by: (Language materials, printed)

Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / by: (Language materials, printed)

Genetic Programming = 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (Language materials, printed)

Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / by: (Language materials, printed)

Logic Functions and Equations = Binary Models for Computer Science / 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)

Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / by: (Language materials, printed)

Frontiers in Algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers / by: (Language materials, printed)

Algorithms for Sensor Systems = 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, Helsinki, Finland, August 23–24, 2018, Revised Selected Papers / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings / by: (Language materials, printed)

SOFSEM 2019: Theory and Practice of Computer Science = 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings / by: (Language materials, printed)

Variable Neighborhood Search = 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings / by: (Language materials, printed)

Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / by: (Language materials, printed)

Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 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)

Magic and Antimagic Graphs = Attributes, Observations and Challenges in Graph Labelings / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / by: (Language materials, printed)

Business Process Management = 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings / by: (Language materials, printed)

Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers / by: (Language materials, printed)

Business and Consumer Analytics: New Ideas by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings / by: (Language materials, printed)

Unconventional Computation and Natural Computation = 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings / by: (Language materials, printed)

Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / 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)

Algebraic Informatics = 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2019: Workshop and Special Sessions = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings / 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)

Graph-Based Representations in Pattern Recognition = 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / 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)

Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XIV by: (Language materials, printed)

Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by: (Language materials, printed)

Building Decision Support Systems = using MiniZinc / by: (Language materials, printed)

Combinatorial Algorithms = 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings / by: (Language materials, printed)

Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / by: (Language materials, printed)

Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / by: (Language materials, printed)

Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (Language materials, printed)

SOFSEM 2020: Theory and Practice of Computer Science = 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings / by: (Language materials, printed)

Algorithms and Models for the Web Graph = 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings / by: (Language materials, printed)

Fuzzy Hypergraphs and Related Extensions by: (Language materials, printed)

The Discrete Math Workbook = A Companion Manual Using Python / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I / by: (Language materials, printed)

Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / by: (Language materials, printed)

Learning and Intelligent Optimization = 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (Language materials, printed)

Variable Neighborhood Search = 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Optimization = 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II / by: (Language materials, printed)

Profinite Semigroups and Symbolic Dynamics by: (Language materials, printed)

Sets, Logic and Maths for Computing by: (Language materials, printed)

Discrete Mathematics and Applications by: (Language materials, printed)

Distributed Graph Analytics = Programming, Languages, and Their Compilation / by: (Language materials, printed)

Computer Science – Theory and Applications = 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings / by: (Language materials, printed)

Frontiers in Algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings / by: (Language materials, printed)

Beyond Planar Graphs = Communications of NII Shonan Meetings / by: (Language materials, printed)

Numerical Semigroups and Applications by: (Language materials, printed)

The Algorithm Design Manual by: (Language materials, printed)

Approximation of Euclidean Metric by Digital Distances by: (Language materials, printed)

Theory and Applications of Models of Computation = 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers / by: (Language materials, printed)

Graph Drawing and Network Visualization = 28th International Symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings / by: (Language materials, printed)

The Search for ExtraTerrestrial Intelligence = Proceedings of the 2nd SETI-INAF Meeting 2019 / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XV by: (Language materials, printed)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by: (Language materials, printed)

Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings / by: (Language materials, printed)

Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Machine Learning and Knowledge Discovery in Databases. Research Track = European Conference, ECML PKDD 2021, Bilbao, Spain, September 13–17, 2021, Proceedings, Part II / by: (Language materials, printed)

Diskrete Mathematik mit Grundlagen = Lehrbuch für Studierende von MINT-Fächern / by: (Language materials, printed)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research: Recent Trends = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Revised Selected Papers / by: (Language materials, printed)

Discrete Mathematics and Graph Theory = A Concise Study Companion and Guide / by: (Language materials, printed)

The Zeroth Book of Graph Theory = An Annotated Translation of Les Réseaux (ou Graphes)—André Sainte-Laguë (1926) / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by: (Language materials, printed)

Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 / by: (Language materials, printed)

Algorithms for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings / by: (Language materials, printed)

Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / by: (Language materials, printed)

Algorithms on Trees and Graphs = With Python Code / by: (Language materials, printed)

Monte Carlo Search = First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / by: (Language materials, printed)

Line Graphs and Line Digraphs by: (Language materials, printed)

Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications / by: (Language materials, printed)

Introduction to Discrete Event Systems by: (Language materials, printed)

Algebraic Graph Algorithms = A Practical Guide Using Python / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings / by: (Language materials, printed)

Graph Drawing and Network Visualization = 29th International Symposium, GD 2021, Tübingen, Germany, September 14–17, 2021, Revised Selected Papers / by: (Language materials, printed)

Optimization and Data Science: Trends and Applications = 5th AIROYoung Workshop and AIRO PhD School 2021 Joint Event / by: (Language materials, printed)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Language and Automata Theory and Applications = 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings / by: (Language materials, printed)

Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings / by: (Language materials, printed)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings / by: (Language materials, printed)

Algorithms for Computational Biology = 8th International Conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021, Proceedings / by: (Language materials, printed)

Computer Science – Theory and Applications = 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings / by: (Language materials, printed)

Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, Proceedings / by: (Language materials, printed)

Optimization and Decision Science = ODS, Virtual Conference, November 19, 2020 / by: (Language materials, printed)

Combinatorics, Graph Theory and Computing = SEICCGTC 2020, Boca Raton, USA, March 9–13 / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research: Recent Trends = 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers / by: (Language materials, printed)

Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers / by: (Language materials, printed)

Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings / by: (Language materials, printed)

LATIN 2022: Theoretical Informatics = 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings / by: (Language materials, printed)

Petri Nets = Theoretical Models and Analysis Methods for Concurrent Systems / by: (Language materials, printed)

Combinatorial Optimization = 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings / by: (Language materials, printed)

Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor / by: (Language materials, printed)

Algorithmische Geometrie = Grundlagen, Methoden, Anwendungen / by: (Language materials, printed)

Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by: (Language materials, printed)

Z2Z4-Linear Codes by: (Language materials, printed)

Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by: (Language materials, printed)

Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers / by: (Language materials, printed)

Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings / by: (Language materials, printed)

Exact and Heuristic Methods in Combinatorial Optimization = A Study on the Linear Ordering and the Maximum Diversity Problem / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24–26, 2022, Proceedings / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings / by: (Language materials, printed)

Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by: (Language materials, printed)

Metaheuristics and Nature Inspired Computing = 8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings / by: (Language materials, printed)

A Guide to Graph Algorithms by: (Language materials, printed)

Cohesive Subgraph Search Over Large Heterogeneous Information Networks by: (Language materials, printed)

Walcom = algorithms and computation : 16th International Conference and Workshops, WALCOM 2022, Jember, Indonesia, March 24-26, 2022 : proceedings / by: (Language materials, printed)

Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings / by: (Language materials, printed)

Graph-based representations in pattern recognition = 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023 : proceedings / by: (Language materials, printed)

Frontiers of algorithmics = 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14-18, 2023 : proceedings / by: (Language materials, printed)

Mathematical optimization theory and operations research = recent trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023 : revised selected papers / by: (Language materials, printed)

Graph-theoretic concepts in computer science = 49th International Workshop, WG 2023, Fribourg, Switzerland, June 28-30, 2023 : revised selected papers / by: (Language materials, printed)

Approximation and online algorithms = 21st International Workshop, WAOA 2023, Amsterdam, the Netherlands, September 7-8, 2023 : proceedings / by: (Language materials, printed)

Graph drawing and network visualization = 31st international symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers.. Part II / by: (Language materials, printed)

Graph drawing and network visualization = 31st international symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023 : revised selected papers.. Part I / by: (Language materials, printed)

WALCOM = algorithms and computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22-24, 2023 : proceedings / by: (Language materials, printed)

Algorithms and models for the web graph = 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023 : proceedings / by: (Language materials, printed)

Formal concept analysis = mathematical foundations / by: (Language materials, printed)

Artificial intelligence and image analysis = 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8-10, 2024 : revised selected papers / by: (Language materials, printed)

Rewriting logic and its applications = 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers / by: (Language materials, printed)

Implementation and application of automata = 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024 : proceedings / by: (Language materials, printed)

Partial moments in system identification by: (Language materials, printed)

Proceedings of Workshop on Interdisciplinary Sciences 2023 = interdisciplinary sciences : applied mathematics, AI, and statistics / by: (Language materials, printed)

Mathematical optimization theory and operations research = recent trends : 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30 - July 6, 2024 : revised selected papers / by: (Language materials, printed)

Metaheuristics and nature inspired computing = 9th International Conference, META 2023, Marrakech, Morocco, November 1-4, 2023 : revised selected papers / by: (Language materials, printed)

Algorithmic aspects in information and management = 18th International Conference, AAIM 2024, virtual event, September 21-23, 2024 : proceedings.. Part II / by: (Language materials, printed)

Algorithmic aspects in information and management = 18th International Conference, AAIM 2024, virtual event, September 21-23, 2024 : proceedings.. Part I / by: (Language materials, printed)

SOFSEM 2024 = theory and practice of computer science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024 : proceedings / by: (Language materials, printed)