Algorithms.

Differential Equations with Symbolic Computation by: (Language materials, printed)

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

Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations / by: (Language materials, printed)

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

Parameterized algorithms by: (Language materials, printed)

Medial representations = mathematics, algorithms and applications / by: (Language materials, printed)

Coding theory and applications = 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014 / by: (Language materials, printed)

Microscope image processing by: (Language materials, printed)

Stochastic local search = foundations and applications / by: (Language materials, printed)

Algorithmic Learning in a Random World by: (Language materials, printed)

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

Combinatorial algorithms : = an update / by: (Language materials, printed)

Using Algebraic Geometry by: (Language materials, printed)

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

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

Optimized packings with applications by: (Language materials, printed)

Modeling discrete competitive facility location by: (Language materials, printed)

Algorithms and architectures of artificial intelligence by: (Language materials, printed)

Practical algorithms for image analysis : = description, examples, programs, and projects / by: (Language materials, printed)

Optimization algorithms on matrix manifolds / by: (Language materials, printed)

Kernel methods for pattern analysis by: (Language materials, printed)

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

Algorithm-architecture matching for signal and image processing = best papers from Design and architectures for signal and image processing 2007 & 2008 & 2009 / by: (Language materials, printed)

Data structures and network algorithms / 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)

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)

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

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

New Developments in Parsing Technology by: (Language materials, printed)

Universal Artificial Intellegence = Sequential Decisions Based on Algorithmic Probability / 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)

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

Proofs and algorithms = an introduction to logic and computability / by: (Language materials, printed)

The concrete tetrahedron = symbolic sums, recurrence equations, generating functions, asymptotic estimates / by: (Language materials, printed)

Symbolic Integration.. I,. Transcendental Functions by: (Language materials, printed)

Computational Commutative Algebra.. 2 by: (Language materials, printed)

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

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

Evolutionary statistical procedures = an evolutionary computation approach to statistical procedures designs and applications / by: (Language materials, printed)

Approximation algorithms for complex systems = proceedings of the 6th International Conference on Algorithms for Approximation, Ambleside, UK, 31st August - 4th September 2009 / 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)

WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : 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)

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

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

Practical Mathematical Optimization = An Introduction to Basic Optimization Theory and Classical and New Gradient-Based Algorithms / by: (Language materials, printed)

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

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

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

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

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

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

Graph-theoretic techniques for web content mining by: (Language materials, printed)

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

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

Logic-based program synthesis and transformation = 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers / by: (Language materials, printed)

Convex analysis and monotone operator theory in hilbert spaces 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)

Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. 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)

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)

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

Digital signal processing in power system protection and control by: (Language materials, printed)

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

Treatise on intuitionistic type theory by: (Language materials, printed)

Vector optimization with infimum and supremum by: (Language materials, printed)

Horizons of combinatorics by: (Language materials, printed)

Graph-theoretic techniques for web content mining by: (Language materials, printed)

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming by: (Language materials, printed)

Interior Point Methods for Linear Optimization by: (Language materials, printed)

Decision making in anesthesiology = an algorithmic approach / by: (Language materials, printed)

Nonlinear programming : = sequential unconstrained minimization techniques / by: (Language materials, printed)

Invitation to Fixed-Parameter Algorithms by: (Language materials, printed)

Hierarchical Bayesian Optimization Algorithm = Toward a New Generation of Evolutionary Algorithms / by: (Language materials, printed)

From Gestalt Theory to Image Analysis = A Probabilistic Approach / by: (Language materials, printed)

Graph Theory by: (Language materials, printed)

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

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

Fast reliable algorithms for matrices with structure / by: (Language materials, printed)

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

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

Control perspectives on numerical algorithms and matrix problems / by: (Language materials, printed)

Algorithms and programming = problems and solutions / 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)

Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 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)

Advanced topics in system and signal theory = a mathematical approach / by: (Language materials, printed)

Explorations in Monte Carlo methods by: (Language materials, printed)

Algorithmic composition = paradigms of automated music generation / by: (Language materials, printed)

Novel algorithms for fast statistical analysis of scaled circuits by: (Language materials, printed)

Scalable fuzzy algorithms for data management and analysis = methods and design / by: (Language materials, printed)

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

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

Encyclopedia of optimization by: (Language materials, printed)

Algorithms in algebraic geometry 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)

Foundations of algorithms / by: (Language materials, printed)

Arithmetics by: (Language materials, printed)

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

Horizons of combinatorics by: (Language materials, printed)

Group-based cryptography by: (Language materials, printed)

Machine learning : = an algorithmic perspective / by: (Language materials, printed)

Hierarchical matrices = algorithms and analysis / by: (Language materials, printed)

Computational invariant theory 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)

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

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

An introduction to optimal satellite range scheduling by: (Language materials, printed)

Mathematical models, methods and applications by: (Language materials, printed)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Learning MATLAB = a problem solving approach / by: (Language materials, printed)

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

Natural computing algorithms by: (Language materials, printed)

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

Operational research = IO 2013 - XVI Congress of APDIO, Braganca, Portugal, June 3-5, 2013 / by: (Language materials, printed)

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

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

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

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

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

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

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

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

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

Approximation and online algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / by: (Language materials, printed)

Gems of combinatorial optimization and graph algorithms by: (Language materials, printed)

Pattern classification using ensemble methods by: (Language materials, printed)

Depth map and 3D imaging applications = algorithms and technologies / by: (Language materials, printed)

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

FAIR = flexible algorithms for image registration / by: (Language materials, printed)

Mathematical models for evacuation planning in urban areas by: (Language materials, printed)

Brain warping by: (Language materials, printed)

Algorithms in structural molecular biology / by: (Language materials, printed)

Pattern recognition and classification = an introduction / by: (Language materials, printed)

Randomized algorithms for analysis and control of uncertain systems = with applications / by: (Language materials, printed)

Complex binary number system = algorithms and circuits / by: (Language materials, printed)

Recent advances in harmonic analysis and applications = in honor of Konstantin Oskolkov / by: (Language materials, printed)

Space-filling curves = an introduction with applications in scientific computing / by: (Language materials, printed)

New frontier in evolutionary algorithms : = theory and applications / by: (Language materials, printed)

Numerical approximation of exact controls for waves by: (Language materials, printed)

WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings / by: (Language materials, printed)

Polyhedral and algebraic methods in computational geometry by: (Language materials, printed)

Quantum walks and search algorithms by: (Language materials, printed)

Hypergraph theory = an introduction / 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)

Stream ciphers by: (Language materials, printed)

Experimental algorithms = 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013 : proceedings / by: (Language materials, printed)

Application of nature based algorithm in natural resource management by: (Language materials, printed)

An introduction to quasisymmetric Schur functions = hopf algebras, quasisymmetric functions, and young composition tableaux / by: (Language materials, printed)

Foundations of algorithms using C++ pseudocode / by: (Language materials, printed)

Guide to programming and algorithms using R by: (Language materials, printed)

New geometric data structures for collision detection and haptics by: (Language materials, printed)

Facets of combinatorial optimization = Festschrift for Martin Grotschel / by: (Language materials, printed)

Dynamics of information systems = algorithmic approaches / by: (Language materials, printed)

Condition = the geometry of numerical algorithms / by: (Language materials, printed)

Nonlinear biomedical signal processing.. Volume 1,. Fuzzy logic, neural networks, and new algorithms by: (Language materials, printed)

Nonlinear biomedical signal processing.. Volume 2,. Dynamic analysis and modeling by: (Language materials, printed)

Algorithms for quadratic matrix and vector equations by: (Language materials, printed)

Perspectives on projective geometry = a guided tour through real and complex geometry / by: (Language materials, printed)

Data mining and applications in genomics by: (Language materials, printed)

A singular introduction to commutative algebra by: (Language materials, printed)

Mathematics, computer science and logic = a never ending story / by: (Language materials, printed)

Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings / by: (Language materials, printed)

Stationarity and convergence in reduce-or-retreat minimization 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)

Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers / by: (Language materials, printed)

Approximation methods for polynomial optimization = models, algorithms, and applications / by: (Language materials, printed)

Mathematical modeling in mechanics of granular materials 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)

Algorithm theory - SWAT 2012 = 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012 : proceedings / by: (Language materials, printed)

Experimental algorithms = 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings / by: (Language materials, printed)

Digital geometry algorithms = theoretical foundations and applications to computational imaging / by: (Language materials, printed)

Modern accelerator technologies for geographic information science by: (Language materials, printed)

Statistical signal processing = frequency estimation / by: (Language materials, printed)

The power of algorithms = inspiration and examples in everyday life / by: (Language materials, printed)

Fault-tolerant search algorithms = reliable computation with unreliable information / 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)

Graph-theoretic concepts in computer science = 39th International Workshop, WG 2013, Lubeck, Germany, June 19-21, 2013 : revised papers / by: (Language materials, printed)

Complex scheduling by: (Language materials, printed)

Deterministic global optimization = geometric branch-and-bound methods and their applications / by: (Language materials, printed)

Quantitative methods in supply chain management = models and algorithms / by: (Language materials, printed)

Mobile intention recognition by: (Language materials, printed)

Prime numbers and computer methods for factorization by: (Language materials, printed)

Just-in-time systems by: (Language materials, printed)

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

Mixed integer nonlinear programming by: (Language materials, printed)

A new target detector based on geometrical perturbation filters for polarimetric synthetic aperture radar (POL-SAR) by: (Language materials, printed)

Mechanical design optimization using advanced optimization techniques by: (Language materials, printed)

Finitely generated abelian groups and similarity of matrices over a field by: (Language materials, printed)

The Cinderella.2 Manual = working with the interactive geometry software / by: (Language materials, printed)

Approximation algorithms and semidefinite programming by: (Language materials, printed)

Topological methods in data analysis and visualization. = theory, algorithms, and applications /. II by: (Language materials, printed)

Resource-aware data fusion algorithms for wireless sensor networks 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)

The BOXES methodology = black box dynamic control / by: (Language materials, printed)

Flux-corrected transport = principles, algorithms, and applications / by: (Language materials, printed)

Game theory for control of optical networks by: (Language materials, printed)

The linear algebra a beginning graduate student ought to know by: (Language materials, printed)

Differentiable optimization and equation solving = a treatise on algorithmic science and the Karmarkar revolution / by: (Language materials, printed)

Stochastic approximation and recursive algorithms and applications by: (Language materials, printed)

Surgical oncology = an algorithmic approach / by: (Language materials, printed)

Primality testing in polynomial time = from randomized algorithms to "primes" is in P / by: (Language materials, printed)

The valuative tree by: (Language materials, printed)

Conjugate gradient algorithms in nonconvex optimization by: (Language materials, printed)

Progress on Meshless Methods 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)

Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers / by: (Language materials, printed)

Evolutionary multi-objective optimization in uncertain environments = Issues and Algorithms / by: (Language materials, printed)

Computability of Julia sets by: (Language materials, printed)

Polygons, polyominoes and polycubes by: (Language materials, printed)

Random trees = an interplay between combinatorics and probability / by: (Language materials, printed)

Geometric algebra = an algebraic system for computer games and animation/ by: (Language materials, printed)

Protective relaying of power systems using mathematical morphology by: (Language materials, printed)

An introduction to Kolmogorov complexity and its applications by: (Language materials, printed)

Cellular genetic algorithms by: (Language materials, printed)

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

Genetic algorithms and genetic programming : = modern concepts and practical applications / by: (Language materials, printed)

Swarm intelligence and bio-inspired computation : = theory and applications / by: (Language materials, printed)

Optimization in engineering sciences : = exact methods / by: (Language materials, printed)

Improved signal and image interpolation in biomedical applications = the case of magnetic resonance imaging (MRI) / by: (Language materials, printed)

A calculus of ideas = a mathematical study of human thought / by: (Language materials, printed)

Digital dice = computational solutions to practical probability problems / by: (Language materials, printed)

The science of algorithmic trading and portfolio management by: (Language materials, printed)

Algorithms, graphs, and computers by: (Language materials, printed)

Algorithmic composition = a guide to composing music with Nyquist / by: (Language materials, printed)

Kernel learning algorithms for face recognition by: (Language materials, printed)

Topics in matroid theory by: (Language materials, printed)

Separable type representations of matrices and fast algorithms.. Volume 1,. Basics. Completion Problems. Multiplication and Inversion Algorithms by: (Language materials, printed)

Separable type representations of matrices and fast algorithms.. Volume 2,. Eigenvalue method by: (Language materials, printed)

Decision and game theory in management with intuitionistic fuzzy sets by: (Language materials, printed)

Constructive nonsmooth analysis and related topics by: (Language materials, printed)

Current challenges in stability issues for numerical differential equations = Cetraro, Italy 2011 / by: (Language materials, printed)

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

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

Computations with modular forms = proceedings of a summer school and conference, Heidelberg, August/September 2011 / by: (Language materials, printed)

Symmetric discontinuous Galerkin methods for 1-D waves = Fourier analysis, propagation, observability and applications / by: (Language materials, printed)

Logic, automata, and algorithms by: (Language materials, printed)

Planar graphs = theory and algorithms / by: (Language materials, printed)

Topological algorithms for digital image processing by: (Language materials, printed)

Nature-inspired optimization algorithms by: (Language materials, printed)

Proportionate-type normalized least mean square algorithms DUP_1 by: (Language materials, printed)

Integer algorithms in cryptology and information assurance by: (Language materials, printed)

Bistatic SAR data processing algorithms by: (Language materials, printed)

Proportionate-type normalized least mean square algorithms by: (Language materials, printed)

Stochastic geometry, spatial statistics and random fields = models and algorithms / by: (Language materials, printed)

Topological and statistical methods for complex data = tackling large-scale, high-dimensional, and multivariate data spaces / by: (Language materials, printed)

Introduction to the analytic hierarchy process 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)

Numerical methods for nonlinear partial differential equations by: (Language materials, printed)

Methods and algorithms for molecular docking-based drug design and discovery by: (Language materials, printed)

Twenty lectures on algorithmic game theory / by: (Language materials, printed)

Theory of affine projection algorithms for adaptive filtering 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)

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

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

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

Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Language materials, printed)

Search and optimization by metaheuristics = techniques and algorithms inspired by nature / 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)

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

Advances in iterative methods for nonlinear equations by: (Language materials, printed)

Optimization and applications in control and data sciences = in honor of Boris T. Polyak's 80th Birthday / by: (Language materials, printed)

An introduction to online computation = determinism, randomization, advice / by: (Language materials, printed)

Decision and game theory for security = 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016 : proceedings / by: (Language materials, printed)

Models, algorithms and technologies for network analysis = NET 2014, Nizhny Novgorod, Russia, May 2014 / by: (Language materials, printed)

Algorithmic mathematics by: (Language materials, printed)

Residue number systems = theory and applications / by: (Language materials, printed)

Decision procedures = an algorithmic point of view / 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)

Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (Language materials, printed)

Elementary functions = algorithms and implementation / by: (Language materials, printed)

Advances in stochastic and deterministic global optimization by: (Language materials, printed)

Elementary numerical mathematics for programmers and engineers by: (Language materials, printed)

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

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

Generalized network improvement and packing problems by: (Language materials, printed)

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

Solving PDEs in Python = the FEniCS tutorial I / by: (Language materials, printed)

Iterative optimization in inverse problems by: (Language materials, printed)

Pattern recognition and classification in time series data by: (Language materials, printed)

Handbook of research on modern optimization algorithms and applications in engineering and economics by: (Language materials, printed)

Handbook of research on artificial intelligence techniques and algorithms by: (Language materials, printed)

A first course in numerical methods / by: (Language materials, printed)

Planning algorithms by: (Language materials, printed)

Matrix algorithms in MATLAB / by: (Language materials, printed)

Spatial network big databases = queries and storage methods / by: (Language materials, printed)

Optimization of type-2 fuzzy controllers using the bee colony algorithm by: (Language materials, printed)

Automated inequality proving and discovering / by: (Language materials, printed)

Probability and computing / by: (Language materials, printed)

An introduction to algorithmic trading = basic to advanced strategies / by: (Language materials, printed)

A journey through discrete mathematics = a tribute to Jiri Matousek / by: (Language materials, printed)

Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI / by: (Language materials, printed)

Optimization and management in manufacturing engineering = resource collaborative optimization and management through the Internet of things / by: (Language materials, printed)

Linear programming using MATLAB by: (Language materials, printed)

Representations of Lie algebras and partial differential equations by: (Language materials, printed)

System reduction for nanoscale IC design by: (Language materials, printed)

Models, algorithms, and technologies for network analysis = NET 2016, Nizhny Novgorod, Russia, May 2016 / 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)

Structural information and communication complexity = 24th International Colloquium, SIROCCO 2017, Porquerolles, France, June 19-22, 2017 : revised selected papers / by: (Language materials, printed)

Continuous nonlinear optimization for engineering applications in GAMS technology by: (Language materials, printed)

Guide to competitive programming = learning and improving algorithms through contests / by: (Language materials, printed)

Parameter advising for multiple sequence alignment by: (Language materials, printed)

Eigenvalue problems = algorithms, software and applications in Petascale computing : EPASA 2015, Tsukuba, Japan, September 2015 / by: (Language materials, printed)

Topological data analysis for scientific visualization by: (Language materials, printed)

Non-convex multi-objective optimization by: (Language materials, printed)

Algorithms and programs of dynamic mixture estimation = unified approach to different types of components / by: (Language materials, printed)

Euclidean distance geometry = an introduction / by: (Language materials, printed)

Random numbers and computers by: (Language materials, printed)

Applications of evolutionary computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings / by: (Language materials, printed)

Good habits for great coding = improving programming skills with examples in Python / by: (Language materials, printed)

Structures and algorithms = mathematics and the nature of knowledge / by: (Language materials, printed)

Dictionary learning algorithms and applications by: (Language materials, printed)

Handbook of floating-point arithmetic by: (Language materials, printed)

Machine scheduling to minimize weighted completion times = the use of the α-point / by: (Language materials, printed)

Practical mathematical optimization = basic optimization theory and gradient-based algorithms / by: (Language materials, printed)

Functional analysis and applications by: (Language materials, printed)

Wireless algorithms, systems, and applications = 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Research in computational topology by: (Language materials, printed)

Computational thinking = first algorithms, then code / by: (Language materials, printed)

Handbook of heuristics by: (Language materials, printed)

The lattice of subquasivarieties of a locally finite quasivariety by: (Language materials, printed)

Quantum walks and search algorithms by: (Language materials, printed)

Optimization problems in graph theory = in honor of Gregory Z. Gutin's 60th birthday / by: (Language materials, printed)

Disjunctive programming by: (Language materials, printed)

Lectures on convex optimization by: (Language materials, printed)

Cubic fields with geometry by: (Language materials, printed)

Cohesive subgraph computation over large sparse graphs = algorithms, data structures, and programming techniques / by: (Language materials, printed)

Arbres pour l'Algorithmique by: (Language materials, printed)

Structure-preserving doubling algorithms for nonlinear matrix equations / by: (Language materials, printed)

Principles of computational cell biology : = from protein complexes to cellular networks / by: (Language materials, printed)

Ensemble learning : = pattern classification using ensemble methods / by: (Language materials, printed)

Computational techniques for human smile analysis by: (Language materials, printed)

Notes from the International Autumn School on Computational Number Theory by: (Language materials, printed)

Fractal dimension for fractal structures = with applications to finance / by: (Language materials, printed)

Algorithms for computational biology = 4th International Conference, AlCoB 2017, Aveiro, Portugal, June 5-6, 2017 : proceedings / by: (Language materials, printed)

Intelligent information and database systems = 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings.. Part I / by: (Language materials, printed)

Intelligent information and database systems = 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017 : proceedings.. Part II / by: (Language materials, printed)

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (Language materials, printed)

Web and wireless geographical information systems = 15th International Symposium, W2GIS 2017, Shanghai, China, May 8-9, 2017 : proceedings / by: (Language materials, printed)

Innovative algorithms and analysis by: (Language materials, printed)

Approximation and optimization = algorithms, complexity and applications / by: (Language materials, printed)

Nonlinear combinatorial optimization by: (Language materials, printed)

Mathematical foundations of nature-inspired algorithms by: (Language materials, printed)

Meshfree methods for partial differential equations IX by: (Language materials, printed)

An introduction to Kolmogorov complexity and its applications by: (Language materials, printed)

Advances on computational intelligence in energy = the applications of nature-inspired metaheuristic algorithms in energy / by: (Language materials, printed)

Adaptive radar resource management / by: (Language materials, printed)

Understanding machine learning = from theory to algorithms / 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)

Algorithms in Invariant Theory by: (Language materials, printed)

Group-target tracking by: (Language materials, printed)

Emergent computation = a festschrift for Selim G. Akl / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXXI = special issue on data and security engineering / by: (Language materials, printed)

Evolutionary multi-agent systems = from inspirations to applications / by: (Language materials, printed)

Approximation and online algorithms = 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers / by: (Language materials, printed)

Glowworm swarm optimization = theory, algorithms, and applications / 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)

Error-correction coding and decoding = bounds, codes, decoders, analysis and applications / by: (Language materials, printed)

Graceful, harmonious and magic type labelings = relations and techniques / by: (Language materials, printed)

Reasoning with probabilistic and deterministic graphical models : = exact algorithms / by: (Language materials, printed)

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

Scale Space and Variational Methods in Computer Vision = 5th International Conference, SSVM 2015, Lège-Cap Ferret, France, May 31 - June 4, 2015, Proceedings / by: (Language materials, printed)

Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I / by: (Language materials, printed)

Big Data Computing and Communications = First International Conference, BigCom 2015, Taiyuan, China, August 1-3, 2015, Proceedings / by: (Language materials, printed)

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)

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

Intelligent Data Engineering and Automated Learning – IDEAL 2015 = 16th International Conference, Wroclaw, Poland, October 14-16, 2015, Proceedings / by: (Language materials, printed)

Wireless Algorithms, Systems, and Applications = 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings / by: (Language materials, printed)

Convex Optimization in Normed Spaces = Theory, Methods and Examples / by: (Language materials, printed)

Bioinspired Computation in Artificial Systems = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / 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)

Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III / by: (Language materials, printed)

BONUS Algorithm for Large Scale Stochastic Nonlinear Programming Problems by: (Language materials, printed)

Data Structures and Algorithms with Python by: (Language materials, printed)

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

Energy Minimization Methods in Computer Vision and Pattern Recognition = 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015. Proceedings / by: (Language materials, printed)

Distributed Computing and Internet Technology = 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings / by: (Language materials, printed)

Human Centered Computing = First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers / by: (Language materials, printed)

Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part II / by: (Language materials, printed)

Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part III / 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)

Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part I / by: (Language materials, printed)

Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers / by: (Language materials, printed)

Database Systems for Advanced Applications = 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I / by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers / by: (Language materials, printed)

Information Security and Privacy = 20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 -- July 1, 2015, Proceedings / by: (Language materials, printed)

Operational Research = IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3-5, 2013 / 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)

Advances in Swarm and Computational Intelligence = 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II / 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)

Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / by: (Language materials, printed)

Wired/Wireless Internet Communications = 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithms, Probability, Networks, and Games = Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday / by: (Language materials, printed)

String Processing and Information Retrieval = 22nd International Symposium, SPIRE 2015, London, UK, September 1-4, 2015, Proceedings / by: (Language materials, printed)

Similarity-Based Pattern Recognition = Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015. Proceedings / by: (Language materials, printed)

Advances in Intelligent Data Analysis XIV = 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings / by: (Language materials, printed)

Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II / by: (Language materials, printed)

An Introduction to Optimal Satellite Range Scheduling by: (Language materials, printed)

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

OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / by: (Language materials, printed)

Augmented Environments for Computer-Assisted Interventions = 10th International Workshop, AE-CAI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings / by: (Language materials, printed)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 4th International Symposium, IUKM 2015, Nha Trang, Vietnam, October 15-17, 2015, Proceedings / by: (Language materials, printed)

Large-Scale Scientific Computing = 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers / by: (Language materials, printed)

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

Algorithms and Architectures for Parallel Processing = ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / by: (Language materials, printed)

Advances in Artificial Intelligence and Soft Computing = 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part I / by: (Language materials, printed)

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

Big Data Analytics = 4th International Conference, BDA 2015, Hyderabad, India, December 15-18, 2015, Proceedings / by: (Language materials, printed)

Adaptive Resource Management and Scheduling for Cloud Computing = Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / by: (Language materials, printed)

Patch-Based Techniques in Medical Imaging = First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers / by: (Language materials, printed)

Coding Theory and Applications = 4th International Castle Meeting, Palmela Castle, Portugal, September 15-18, 2014 / by: (Language materials, printed)

Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data = Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers / by: (Language materials, printed)

Information Systems Security = 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings / by: (Language materials, printed)

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

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies = Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / by: (Language materials, printed)

Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / by: (Language materials, printed)

Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part IV / by: (Language materials, printed)

Artificial General Intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V / by: (Language materials, printed)

Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / by: (Language materials, printed)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / by: (Language materials, printed)

Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / by: (Language materials, printed)

Information and Communications Security = 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised Selected Papers / by: (Language materials, printed)

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

Computational Intelligence Methods for Bioinformatics and Biostatistics = 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers / by: (Language materials, printed)

Programming Languages with Applications to Biology and Security = Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / 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)

Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, 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)

Innovative Security Solutions for Information Technology and Communications = 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers / by: (Language materials, printed)

Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / by: (Language materials, printed)

On the Move to Meaningful Internet Systems: OTM 2015 Workshops = Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / by: (Language materials, printed)

Computer Information Systems and Industrial Management = 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings / by: (Language materials, printed)

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications = 20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015, Proceedings / by: (Language materials, printed)

Correct Software in Web Applications and Web Services by: (Language materials, printed)

Gems of Combinatorial Optimization and Graph Algorithms by: (Language materials, printed)

Evolvable Hardware = From Practice to Application / 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)

Advances in Cryptology – EUROCRYPT 2015 = 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI = Selected Papers from DaWaK 2012 / 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)

On Meaningful Scientific Laws by: (Language materials, printed)

Research in Computational Molecular Biology = 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings / by: (Language materials, printed)

Coordination Models and Languages = 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / 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)

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

Multiple Access Communications = 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings / by: (Language materials, printed)

Clustering High--Dimensional Data = First International Workshop, CHDD 2012, Naples, Italy, May 15, 2012, Revised Selected Papers / by: (Language materials, printed)

Applied Reconfigurable Computing = 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings / by: (Language materials, printed)

Database Systems for Advanced Applications = 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part II / by: (Language materials, printed)

Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / by: (Language materials, printed)

Intelligent Information and Database Systems = 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II / by: (Language materials, printed)

Machine Learning, Optimization, and Big Data = First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers / by: (Language materials, printed)

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

Database Systems for Advanced Applications = DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I / by: (Language materials, printed)

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

Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / by: (Language materials, printed)

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

Algorithms for Sensor Systems = 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015, Revised Selected Papers / by: (Language materials, printed)

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)

Architecture of Computing Systems – ARCS 2015 = 28th International Conference, Porto, Portugal, March 24-27, 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)

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 Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II / by: (Language materials, printed)

Artificial Life and Computational Intelligence = First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / by: (Language materials, printed)

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

Algorithms and Models for the Web Graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings / by: (Language materials, printed)

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

Applications of Evolutionary Computation = 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers / by: (Language materials, printed)

Future Data and Security Engineering = Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings / by: (Language materials, printed)

Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / by: (Language materials, printed)

Web Technologies and Applications = APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers / by: (Language materials, printed)

Material Selections by a Hybrid Multi-Criteria Approach by: (Language materials, printed)

Decision and Game Theory for Security = 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings / by: (Language materials, printed)

Numerical Methods and Applications = 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers / 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)

Cyber Physical Systems. Design, Modeling, and Evaluation = 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / by: (Language materials, printed)

Generalized Rough Sets = Hybrid Structure and Applications / by: (Language materials, printed)

Algorithmische Zahlentheorie by: (Language materials, printed)

Soft Computing in Data Science = First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings / by: (Language materials, printed)

Computational Complexity of Solving Equation Systems by: (Language materials, printed)

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

Multimodal Optimization by Means of Evolutionary Algorithms by: (Language materials, printed)

Applications and Techniques in Information Security = 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015, Proceedings / by: (Language materials, printed)

Stochastic Geometry, Spatial Statistics and Random Fields = Models and Algorithms / by: (Language materials, printed)

Hierarchical Matrices: Algorithms and Analysis by: (Language materials, printed)

Mathematical Models, Methods and Applications by: (Language materials, printed)

Sparse Approximation with Bases by: (Language materials, printed)

Numerical Methods for Nonlinear Partial Differential Equations by: (Language materials, printed)

Topological and Statistical Methods for Complex Data = Tackling Large-Scale, High-Dimensional, and Multivariate Data Spaces / by: (Language materials, printed)

Evolutionäre Algorithmen by: (Language materials, printed)

Modeling Discrete Competitive Facility Location by: (Language materials, printed)

Die Monte-Carlo-Methode = Beispiele unter Excel VBA / by: (Language materials, printed)

Optimization of Stochastic Discrete Systems and Control on Complex Networks = Computational Networks / 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)

Computational Invariant Theory by: (Language materials, printed)

Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 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)

Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / by: (Language materials, printed)

Cryptographic Hardware and Embedded Systems -- CHES 2015 = 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / by: (Language materials, printed)

Algorithms for Sensor Systems = 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers / by: (Language materials, printed)

Evolutionary and Biologically Inspired Music, Sound, Art and Design = 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (Language materials, printed)

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

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

Advances in Cryptology – EUROCRYPT 2015 = 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part I / by: (Language materials, printed)

Hybrid Artificial Intelligent Systems = 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings / by: (Language materials, printed)

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

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

Artificial Computation in Biology and Medicine = International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I / by: (Language materials, printed)

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

Current Approaches in Applied Artificial Intelligence = 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings / by: (Language materials, printed)

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

Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / by: (Language materials, printed)

Internet and Distributed Computing Systems = 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings / by: (Language materials, printed)

Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / by: (Language materials, printed)

Theory and Practice of Natural Computing = Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / by: (Language materials, printed)

Membrane Computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / 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)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV / 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)

Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / by: (Language materials, printed)

AI 2015: Advances in Artificial Intelligence = 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / by: (Language materials, printed)

Advances in Artificial Intelligence and Its Applications = 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / by: (Language materials, printed)

Models of Strategic Reasoning = Logics, Games, and Communities / 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)

Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (Language materials, printed)

Research in Attacks, Intrusions, and Defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings / by: (Language materials, printed)

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

Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings / by: (Language materials, printed)

Intelligent Cloud Computing = First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII = Special Issue on Database- and Expert-Systems Applications / by: (Language materials, printed)

Computer Algebra and Polynomials = Applications of Algebra and Number Theory / by: (Language materials, printed)

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

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

Learning MATLAB = A Problem Solving Approach / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / by: (Language materials, printed)

Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / by: (Language materials, printed)

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

Mining Intelligence and Knowledge Exploration = Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings / by: (Language materials, printed)

Cloud Computing and Security = First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers / by: (Language materials, printed)

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

Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II / by: (Language materials, printed)

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

Public-Key Cryptography -- PKC 2015 = 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings / by: (Language materials, printed)

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

Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / by: (Language materials, printed)

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

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I / 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)

Information Retrieval Technology = 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings / by: (Language materials, printed)

Solving Software Challenges for Exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / by: (Language materials, printed)

Databases Theory and Applications = 26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 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)

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

Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / by: (Language materials, printed)

Networked Systems = Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III / by: (Language materials, printed)

Image Analysis and Processing — ICIAP 2015 = 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I / by: (Language materials, printed)

Advanced Methodologies for Bayesian Networks = Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings / by: (Language materials, printed)

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

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)

Intelligent Information and Database Systems = 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I / by: (Language materials, printed)

Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / by: (Language materials, printed)

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

Lightweight Cryptography for Security and Privacy = Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers / by: (Language materials, printed)

Dynamic Data-Driven Environmental Systems Science = First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / by: (Language materials, printed)

Security, Privacy, and Applied Cryptography Engineering = 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / by: (Language materials, printed)

Statistical Learning and Data Sciences = Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / by: (Language materials, printed)

Multi-disciplinary Trends in Artificial Intelligence = 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015, Proceedings / by: (Language materials, printed)

Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 / by: (Language materials, printed)

Machine Learning and Data Mining in Pattern Recognition = 11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015, Proceedings / by: (Language materials, printed)

Swarm, Evolutionary, and Memetic Computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / by: (Language materials, printed)

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)

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

Machine Learning Meets Medical Imaging = First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers / by: (Language materials, printed)

Principles of Security and Trust = 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (Language materials, printed)

Optimized Packings with Applications by: (Language materials, printed)

Distributed and Sequential Algorithms for Bioinformatics by: (Language materials, printed)

Knowledge Science, Engineering and Management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / by: (Language materials, printed)

Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers / by: (Language materials, printed)

Implementation and Application of Automata = 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings / by: (Language materials, printed)

Analysis and Enumeration = Algorithms for Biological Graphs / 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)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII = Selected Papers from DaWaK 2013 / by: (Language materials, printed)

Programming Languages and Systems = 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (Language materials, printed)

Mathematik für Ingenieure = Ein anwendungsorientiertes Lehrbuch / by: (Language materials, printed)

Technology and Practice of Passwords = International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, Revised Selected Papers / by: (Language materials, printed)

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

Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 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)

Portfolio Optimization Using Fundamental Indicators Based on Multi-Objective EA by: (Language materials, printed)

Transactions on Edutainment XII by: (Language materials, printed)

Security Standardisation Research = Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings / by: (Language materials, printed)

Computational Methods and Clinical Applications for Spine Imaging = 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / by: (Language materials, printed)

Principles of Security and Trust = 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by: (Language materials, printed)

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)

Geographic Information Science = 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / by: (Language materials, printed)

Metaheuristic Applications to Speech Enhancement by: (Language materials, printed)

Wired/Wireless Internet Communications = 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / by: (Language materials, printed)

Bio-inspired Computing – Theories and Applications = 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / by: (Language materials, printed)

Advanced Analysis and Learning on Temporal Data = First ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised Selected Papers / by: (Language materials, printed)

Evolutionary and Biologically Inspired Music, Sound, Art and Design = 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / by: (Language materials, printed)

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

Patch-Based Techniques in Medical Imaging = Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings / by: (Language materials, printed)

Graphical Models for Security = Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / by: (Language materials, printed)

Computer Information Systems and Industrial Management = 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / by: (Language materials, printed)

Mathematical Aspects of Computer and Information Sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / by: (Language materials, printed)

Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / by: (Language materials, printed)

Future and Emergent Trends in Language Technology = First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers / by: (Language materials, printed)

Advances in Network Science = 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / by: (Language materials, printed)

Information Retrieval Technology = 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 – December 2, 2016, Proceedings / by: (Language materials, printed)

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII = Special Issue on Big Data for Complex Urban Systems / by: (Language materials, printed)

Limits of Computation = From a Programming Perspective / by: (Language materials, printed)

Distributed Computing and Internet Technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings / by: (Language materials, printed)

Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / by: (Language materials, printed)

Topics in Theoretical Computer Science = The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / by: (Language materials, printed)

Big Data Benchmarks, Performance Optimization, and Emerging Hardware = 6th Workshop, BPOE 2015, Kohala, HI, USA, August 31 - September 4, 2015. Revised Selected Papers / by: (Language materials, printed)

Random-Like Bi-level Decision Making by: (Language materials, printed)

Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Applied Reconfigurable Computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings / by: (Language materials, printed)

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries = First International Workshop, Brainles 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Revised Selected Papers / by: (Language materials, printed)

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)

Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / by: (Language materials, printed)

Digital-Forensics and Watermarking = 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers / by: (Language materials, printed)

Advances in Neural Networks – ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings / by: (Language materials, printed)

Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / by: (Language materials, printed)

Knowledge Management and Acquisition for Intelligent Systems = 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016, Proceedings / by: (Language materials, printed)

Discrete Optimization and Operations Research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings / by: (Language materials, printed)

Internet and Distributed Computing Systems = 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings / by: (Language materials, printed)

Optimization Techniques in Computer Vision = Ill-Posed Problems and Regularization / by: (Language materials, printed)

Future Data and Security Engineering = Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings / by: (Language materials, printed)

Collective Online Platforms for Financial and Environmental Awareness = First International Workshop on the Internet for Financial Collective Awareness and Intelligence, IFIN 2016 and First International Workshop on Internet and Social Media for Environmental Monitoring, ISEM 2016, Florence, Italy, September 12, 2016, Revised Selected Papers / by: (Language materials, printed)

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

Advances in Stochastic and Deterministic Global Optimization by: (Language materials, printed)

Artificial Life and Computational Intelligence = Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / by: (Language materials, printed)

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I / by: (Language materials, printed)

Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / by: (Language materials, printed)

Information Systems Security = 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings / by: (Language materials, printed)

Research in Attacks, Intrusions, and Defenses = 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings / by: (Language materials, printed)

Computer Security – ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I / by: (Language materials, printed)

Web Technologies and Applications = APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings / by: (Language materials, printed)

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries = Second International Workshop, BrainLes 2016, with the Challenges on BRATS, ISLES and mTOP 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers / by: (Language materials, printed)

Cloud Computing and Security = Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part II / by: (Language materials, printed)

Decision and Game Theory for Security = 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2016 = 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I / by: (Language materials, printed)

Models, Algorithms and Technologies for Network Analysis = NET 2014, Nizhny Novgorod, Russia, May 2014 / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / by: (Language materials, printed)

Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings / by: (Language materials, printed)

Optimization and Its Applications in Control and Data Sciences = In Honor of Boris T. Polyak’s 80th Birthday / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / by: (Language materials, printed)

Coordination Models and Languages = 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / by: (Language materials, printed)

Hybrid Artificial Intelligent Systems = 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings / by: (Language materials, printed)

Computational Methods and Clinical Applications for Spine Imaging = Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / by: (Language materials, printed)

Swarm, Evolutionary, and Memetic Computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers / by: (Language materials, printed)

Architecture of Computing Systems -- ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / by: (Language materials, printed)

Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II / by: (Language materials, printed)

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments = Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers / by: (Language materials, printed)

Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / by: (Language materials, printed)

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

Advances in Brain Inspired Cognitive Systems = 8th International Conference, BICS 2016, Beijing, China, November 28-30, 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)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / by: (Language materials, printed)

Programmieren für Ingenieure und Naturwissenschaftler = Grundlagen / by: (Language materials, printed)

Lightweight Cryptography for Security and Privacy = 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithmen von Hammurapi bis Gödel = Mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima / 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)

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

Applications and Techniques in Information Security = 6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings / by: (Language materials, printed)

Support Vector Machines and Perceptrons = Learning, Optimization, Classification, and Application to Social Networks / 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)

Human Centered Computing = Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers / by: (Language materials, printed)

Networked Systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / by: (Language materials, printed)

Web and Internet Economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings / by: (Language materials, printed)

Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / by: (Language materials, printed)

Machine Translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25–26, 2016, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings / by: (Language materials, printed)

Economics and Computation = An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division / 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)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX by: (Language materials, printed)

Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings / by: (Language materials, printed)

Unconventional Computation and Natural Computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / by: (Language materials, printed)

Trends in Applied Knowledge-Based Systems and Data Science = 29th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, Morioka, Japan, August 2-4, 2016, Proceedings / by: (Language materials, printed)

Swarm Intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI = Special Issue on Data Warehousing and Knowledge Discovery / by: (Language materials, printed)

GPS = Theory, Algorithms and Applications / by: (Language materials, printed)

Biomimetic Design Method for Innovation and Sustainability by: (Language materials, printed)

Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / by: (Language materials, printed)

Computational Topology in Image Context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / by: (Language materials, printed)

Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / 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)

Multi-Agent Systems and Agreement Technologies = 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV = Special Issue on Database- and Expert-Systems Applications / by: (Language materials, printed)

Intelligent Data Engineering and Automated Learning – IDEAL 2016 = 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedings / by: (Language materials, printed)

Algorithm Engineering = Selected Results and Surveys / by: (Language materials, printed)

Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–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)

Advances in Services Computing = 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / by: (Language materials, printed)

An Introduction to Online Computation = Determinism, Randomization, Advice / 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)

Data Mining and Constraint Programming = Foundations of a Cross-Disciplinary Approach / 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)

Data Privacy Management and Security Assurance = 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings / by: (Language materials, printed)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings / by: (Language materials, printed)

Big Data Computing and Communications = Second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016. Proceedings / by: (Language materials, printed)

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)

Algorithmische Mathematik by: (Language materials, printed)

Security, Privacy, and Applied Cryptography Engineering = 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings / by: (Language materials, printed)

Information Security and Cryptology - ICISC 2015 = 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers / by: (Language materials, printed)

Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by: (Language materials, printed)

Medical Imaging and Augmented Reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings / by: (Language materials, printed)

Instruction Selection = Principles, Methods, and Applications / by: (Language materials, printed)

Solving PDEs in Python = The FEniCS Tutorial I / by: (Language materials, printed)

Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum by: (Language materials, printed)

Elementary Functions = Algorithms and Implementation / by: (Language materials, printed)

Pattern Mining with Evolutionary Algorithms by: (Language materials, printed)

A Guide to Graph Colouring = Algorithms and Applications / by: (Language materials, printed)

Search and Optimization by Metaheuristics = Techniques and Algorithms Inspired by Nature / by: (Language materials, printed)

Bio-inspired Computing – Theories and Applications = 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I / by: (Language materials, printed)

Artificial Intelligence Applications and Innovations = 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings / by: (Language materials, printed)

A Polynomial Translation of Mobile Ambients into Safe Petri Nets = Understanding a Calculus of Hierarchical Protection Domains / by: (Language materials, printed)

Harmony Search Algorithm = Proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015) / by: (Language materials, printed)

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

Sparse Grids and Applications - Stuttgart 2014 by: (Language materials, printed)

Advances in Iterative Methods for Nonlinear Equations by: (Language materials, printed)

Primzahltests für Einsteiger = Zahlentheorie – Algorithmik – Kryptographie / by: (Language materials, printed)

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

Mathematische Algorithmen und Computer-Performance kompakt by: (Language materials, printed)

Multiple Instance Learning = Foundations and Algorithms / by: (Language materials, printed)

Elementary Numerical Mathematics for Programmers and Engineers by: (Language materials, printed)

Soft Computing in Data Science = Second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings / by: (Language materials, printed)

Generalized Network Improvement and Packing Problems by: (Language materials, printed)

Computer Security – ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II / by: (Language materials, printed)

Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II / by: (Language materials, printed)

Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings / by: (Language materials, printed)

Advances in Artificial Intelligence = 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings / by: (Language materials, printed)

Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II / by: (Language materials, printed)

Green, Pervasive, and Cloud Computing = 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings / by: (Language materials, printed)

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)

Research in Computational Molecular Biology = 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings / by: (Language materials, printed)

Computational Collective Intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part I / by: (Language materials, printed)

Computer Vision and Graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings / by: (Language materials, printed)

Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / by: (Language materials, printed)

Computers and Games = 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers / by: (Language materials, printed)

Advances in Cryptology – EUROCRYPT 2016 = 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III / by: (Language materials, printed)

Information Security and Privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I / by: (Language materials, printed)

Computational Intelligence Methods for Bioinformatics and Biostatistics = 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX = Special Issue on Cloud Computing / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / by: (Language materials, printed)

Cellular Automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / by: (Language materials, printed)

Public-Key Cryptography – PKC 2016 = 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part II / by: (Language materials, printed)

Theory and Practice of Natural Computing = 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 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)

Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by: (Language materials, printed)

String Processing and Information Retrieval = 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / by: (Language materials, printed)

Mathematical and Engineering Methods in Computer Science = 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers / by: (Language materials, printed)

Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / by: (Language materials, printed)

Secure IT Systems = 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings / by: (Language materials, printed)

Distributed Computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings / by: (Language materials, printed)

Biometric Recognition = 11th Chinese Conference, CCBR 2016, Chengdu, China, October 14-16, 2016, Proceedings / by: (Language materials, printed)

Multiple Access Communications = 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / by: (Language materials, printed)

Information and Communications Security = 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016, Proceedings / by: (Language materials, printed)

Intelligent Information and Database Systems = 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II / by: (Language materials, printed)

Machine Learning and Data Mining in Pattern Recognition = 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, Proceedings / by: (Language materials, printed)

Cloud Computing and Security = Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part I / by: (Language materials, printed)

Public-Key Cryptography – PKC 2016 = 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I / by: (Language materials, printed)

Database Systems for Advanced Applications = DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings / by: (Language materials, printed)

Simulation and Synthesis in Medical Imaging = First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / by: (Language materials, printed)

OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / by: (Language materials, printed)

Privacy Technologies and Policy = 4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016, Proceedings / by: (Language materials, printed)

Advances in Intelligent Data Analysis XV = 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings / by: (Language materials, printed)

Advanced Concepts for Intelligent Vision Systems = 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings / by: (Language materials, printed)

Intelligent Computing Methodologies = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III / by: (Language materials, printed)

Technology and Practice of Passwords = 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings / by: (Language materials, printed)

Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 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)

Web-Age Information Management = WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers / by: (Language materials, printed)

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)

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

Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / 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)

Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / by: (Language materials, printed)

Privacy Technologies and Policy = Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Models for the Web Graph = 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / by: (Language materials, printed)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / 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)

Artificial Evolution = 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers / by: (Language materials, printed)

Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / by: (Language materials, printed)

Big Data Benchmarking = 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVIII = Special Issue on Database- and Expert-Systems Applications / by: (Language materials, printed)

Data Mining and Big Data = First International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings / by: (Language materials, printed)

Articulated Motion and Deformable Objects = 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings / by: (Language materials, printed)

Computational Collective Intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part II / by: (Language materials, printed)

Information and Communications Security = 17th International Conference, ICICS 2015, Beijing, China, December 9-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / by: (Language materials, printed)

Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / by: (Language materials, printed)

Intelligent Information and Database Systems = 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / by: (Language materials, printed)

Stabilization, Safety, and Security of Distributed Systems = 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / by: (Language materials, printed)

Post-Quantum Cryptography = 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings / by: (Language materials, printed)

Multi-disciplinary Trends in Artificial Intelligence = 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings / by: (Language materials, printed)

Image and Signal Processing = 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 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)

Security, Privacy, and Anonymity in Computation, Communication, and Storage = 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / by: (Language materials, printed)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / 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)

Smart Card Research and Advanced Applications = 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers / by: (Language materials, printed)

Solving Large Scale Learning Tasks. Challenges and Algorithms = Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday / by: (Language materials, printed)

Databases Theory and Applications = 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings / by: (Language materials, printed)

Machine Learning, Optimization, and Big Data = Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2016 = 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II / by: (Language materials, printed)

Discovery Science = 19th International Conference, DS 2016, Bari, Italy, October 19–21, 2016, Proceedings / by: (Language materials, printed)

Artificial General Intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings / by: (Language materials, printed)

The New Codebreakers = Essays Dedicated to David Kahn on the Occasion of His 85th Birthday / by: (Language materials, printed)

Provable Security = 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings / by: (Language materials, printed)

Artificial Intelligence and Evolutionary Computations in Engineering Systems = Proceedings of ICAIECES 2015 / by: (Language materials, printed)

Computational Logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / by: (Language materials, printed)

Image and Video Technology – PSIVT 2015 Workshops = RV 2015, GPID 2013, VG 2015, EO4AS 2015, MCBMIIA 2015, and VSWS 2015, Auckland, New Zealand, November 23-27, 2015. Revised Selected Papers / by: (Language materials, printed)

Economics of Grids, Clouds, Systems, and Services = 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers / by: (Language materials, printed)

Conformal and Probabilistic Prediction with Applications = 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 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)

Information Security and Privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II / by: (Language materials, printed)

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

Machine Learning for Health Informatics = State-of-the-Art and Future Challenges / by: (Language materials, printed)

Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part III / by: (Language materials, printed)

Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / by: (Language materials, printed)

Internet of Vehicles – Technologies and Services = Third International Conference, IOV 2016, Nadi, Fiji, December 7–10, 2016, Proceedings / by: (Language materials, printed)

Scalable Uncertainty Management = 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / by: (Language materials, printed)

Numerical Semigroups and Applications 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)

Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / by: (Language materials, printed)

AI 2016: Advances in Artificial Intelligence = 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings / by: (Language materials, printed)

Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / by: (Language materials, printed)

From Animals to Animats 14 = 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings / by: (Language materials, printed)

Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I / by: (Language materials, printed)

Wireless Algorithms, Systems, and Applications = 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings / by: (Language materials, printed)

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

Similarity Search and Applications = 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings / by: (Language materials, printed)

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities = Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / by: (Language materials, printed)

PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III / by: (Language materials, printed)

Lectures on Convex Optimization by: (Language materials, printed)

Advances in Neural Networks – ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings / by: (Language materials, printed)

Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / 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)

Advances in Computational Intelligence = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II / by: (Language materials, printed)

Theory and Practice of Natural Computing = 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I / by: (Language materials, printed)

Artificial Intelligence XXXV = 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings / by: (Language materials, printed)

Applications of Big Data Analytics = Trends, Issues, and Challenges / by: (Language materials, printed)

Identifying Patterns in Financial Markets = New Approach Combining Rules Between PIPs and SAX / by: (Language materials, printed)

Testing and Tuning Market Trading Systems = Algorithms in C++ / 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)

The Lattice of Subquasivarieties of a Locally Finite Quasivariety by: (Language materials, printed)

Computational Intelligence and Intelligent Systems = 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I / by: (Language materials, printed)

Advances in Green Energy Systems and Smart Grid = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III / by: (Language materials, printed)

Intelligent Information and Database Systems = 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I / by: (Language materials, printed)

Towards Autonomous Robotic Systems = 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings / by: (Language materials, printed)

Swarm Intelligence = 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings / by: (Language materials, printed)

Good Habits for Great Coding = Improving Programming Skills with Examples in Python / 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)

Advances in Brain Inspired Cognitive Systems = 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings / by: (Language materials, printed)

Handbook of Heuristics by: (Language materials, printed)

Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II / by: (Language materials, printed)

Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I / by: (Language materials, printed)

Recent Trends and Future Technology in Applied Intelligence = 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings / by: (Language materials, printed)

LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings / by: (Language materials, printed)

Einführung in die Optimierung = Konzepte, Methoden und Anwendungen / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings / by: (Language materials, printed)

Disjunctive Programming by: (Language materials, printed)

Artificial Intelligence and Evolutionary Computations in Engineering Systems = Proceedings of ICAIECES 2017 / by: (Language materials, printed)

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

AI 2018: Advances in Artificial Intelligence = 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by: (Language materials, printed)

Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by: (Language materials, printed)

Computational Logistics = 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings / by: (Language materials, printed)

Computer Performance Engineering = 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / by: (Language materials, printed)

Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by: (Language materials, printed)

Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II / by: (Language materials, printed)

Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II / by: (Language materials, printed)

Artificial Life and Intelligent Agents = Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers / 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)

Algorithms and Applications = ALAP 2018 / by: (Language materials, printed)

Theoretical Computer Science = 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings / by: (Language materials, printed)

Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by: (Language materials, printed)

Models of Computation for Big Data by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV / by: (Language materials, printed)

Cohesive Subgraph Computation over Large Sparse Graphs = Algorithms, Data Structures, and Programming Techniques / by: (Language materials, printed)

Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / by: (Language materials, printed)

Multi-disciplinary Trends in Artificial Intelligence = 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings / by: (Language materials, printed)

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

Algorithms for Functional Programming by: (Language materials, printed)

Advances in Soft Computing = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II / by: (Language materials, printed)

Braverman Readings in Machine Learning. Key Ideas from Inception to Current State = International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 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)

Algorithmische Mathematik by: (Language materials, printed)

Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / by: (Language materials, printed)

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)

Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / by: (Language materials, printed)

Intelligent Computing and Internet of Things = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II / by: (Language materials, printed)

Cubic Fields with Geometry by: (Language materials, printed)

Proceedings of the 2nd Workshop on Communication Security = Cryptography and Physical Layer Security / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / by: (Language materials, printed)

Bio-inspired Computing: Theories and Applications = 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part II / by: (Language materials, printed)

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

Bio-inspired Computing: Theories and Applications = 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part I / by: (Language materials, printed)

Database and Expert Systems Applications = 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part I / by: (Language materials, printed)

Auction Based Resource Provisioning in Cloud Computing by: (Language materials, printed)

Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I / by: (Language materials, printed)

Recent Advances in Intelligent Manufacturing = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings / by: (Language materials, printed)

Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / by: (Language materials, printed)

Stability and Control of Nonlinear Time-varying Systems by: (Language materials, printed)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection = 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings / by: (Language materials, printed)

Optimization Problems in Graph Theory = In Honor of Gregory Z. Gutin's 60th Birthday / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / by: (Language materials, printed)

Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I / by: (Language materials, printed)

Arbres pour l’Algorithmique by: (Language materials, printed)

Random Numbers and Computers by: (Language materials, printed)

KI 2018: Advances in Artificial Intelligence = 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / by: (Language materials, printed)

Modern X86 Assembly Language Programming = Covers x86 64-bit, AVX, AVX2, and AVX-512 / by: (Language materials, printed)

Computational Thinking = First Algorithms, Then Code / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I / by: (Language materials, printed)

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection = International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / by: (Language materials, printed)

Intelligent Computing Methodologies = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III / by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III / 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)

Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / by: (Language materials, printed)

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

Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II / by: (Language materials, printed)

Mining Over Air: Wireless Communication Networks Analytics by: (Language materials, printed)

Artificial Intelligence = 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings / by: (Language materials, printed)

Entwurf und Analyse von Algorithmen = Eine Einführung in die Algorithmik mit Java / by: (Language materials, printed)

Guide to Graph Algorithms = Sequential, Parallel and Distributed / by: (Language materials, printed)

The Tower of Hanoi – Myths and Maths by: (Language materials, printed)

Computational Intelligence and Intelligent Systems = 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II / by: (Language materials, printed)

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)

SOFSEM 2018: Theory and Practice of Computer Science = 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / by: (Language materials, printed)

Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations by: (Language materials, printed)

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations = 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II / by: (Language materials, printed)

Functional Analysis and Applications by: (Language materials, printed)

Reconfigurable Cryptographic Processor by: (Language materials, printed)

Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers / by: (Language materials, printed)

Wireless Personal Communications = Simulation and Complexity / by: (Language materials, printed)

Foundations of Trusted Autonomy by: (Language materials, printed)

Tensor Eigenvalues and Their Applications by: (Language materials, printed)

Machine Scheduling to Minimize Weighted Completion Times = The Use of the α-point / by: (Language materials, printed)

Practical Mathematical Optimization = Basic Optimization Theory and Gradient-Based Algorithms / by: (Language materials, printed)

Advances in Artificial Intelligence = 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings / by: (Language materials, printed)

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

Handbook of Floating-Point Arithmetic by: (Language materials, printed)

Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / by: (Language materials, printed)

Inspired by Nature = Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday / 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)

Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan by: (Language materials, printed)

Introduzione al Progetto di Sistemi Digitali by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II / by: (Language materials, printed)

Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings / by: (Language materials, printed)

Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / by: (Language materials, printed)

Algorithms and Models for the Web Graph = 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings / by: (Language materials, printed)

Hybrid Artificial Intelligent Systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings / by: (Language materials, printed)

Language and Automata Theory and Applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / by: (Language materials, printed)

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)

Wireless Algorithms, Systems, and Applications = 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings / by: (Language materials, printed)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by: (Language materials, printed)

Computational Intelligence and Its Applications = 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings / by: (Language materials, printed)

Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / by: (Language materials, printed)

Artificial Intelligence Applications and Innovations = 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25–27, 2018, Proceedings / by: (Language materials, printed)

Artificial Intelligence Applications and Innovations = AIAI 2018 IFIP WG 12.5 International Workshops, SEDSEAL, 5G-PINE, MHDW, and HEALTHIOT, Rhodes, Greece, May 25-27, 2018, Proceedings / by: (Language materials, printed)

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

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II / by: (Language materials, printed)

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

Introduction to Diagnosis of Active Systems 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)

Evolutionary Computation in Combinatorial Optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings / by: (Language materials, printed)

Genetic Programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by: (Language materials, printed)

Fundiert entscheiden = Ein kleines Handbuch für alle Lebenslagen / 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)

Intelligent Information and Database Systems = 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II / 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)

Computational Intelligence in Music, Sound, Art and Design = 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings / by: (Language materials, printed)

Applications of Evolutionary Computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings / by: (Language materials, printed)

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

Membrane Computing = 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / by: (Language materials, printed)

Elements of Robotics by: (Language materials, printed)

Data Mining Algorithms in C++ = Data Patterns and Algorithms for Modern Applications / by: (Language materials, printed)

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

Graph Transformation, Specifications, and Nets = In Memory of Hartmut Ehrig / by: (Language materials, printed)

Nature-Inspired Algorithms and Applied Optimization by: (Language materials, printed)

Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers / by: (Language materials, printed)

Operational Research = IO2017, Valença, Portugal, June 28-30 / by: (Language materials, printed)

Automated Reasoning = 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / by: (Language materials, printed)

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

Biomimetic and Biohybrid Systems = 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings / by: (Language materials, printed)

Agent-Based Models and Complexity Science in the Age of Geospatial Big Data = Selected Papers from a workshop on Agent-Based Models and Complexity Science (GIScience 2016) / by: (Language materials, printed)

Datenstrukturen und Algorithmen by: (Language materials, printed)

Concurrency Control in Distributed System Using Mutual Exclusion by: (Language materials, printed)

Examining quantum algorithms for quantum image processing by: (Language materials, printed)

Multi-objective optimization in theory and practice II = metaheuristic algorithms / by: (Language materials, printed)

Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I / by: (Language materials, printed)

New Developments and Advances in Robot Control by: (Language materials, printed)

Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II / by: (Language materials, printed)

Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I / by: (Language materials, printed)

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

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)

Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (Language materials, printed)

From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by: (Language materials, printed)

Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by: (Language materials, printed)

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

Evolutionary Learning: Advances in Theories and Algorithms by: (Language materials, printed)

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

Machine Learning, Optimization, and Data Science = 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / by: (Language materials, printed)

Quantum Technology and Optimization Problems = First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings / by: (Language materials, printed)

Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers / by: (Language materials, printed)

Computational Intelligence in Music, Sound, Art and Design = 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (Language materials, printed)

Computational Techniques for Human Smile Analysis by: (Language materials, printed)

Advances in Audio Watermarking Based on Matrix Decomposition 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)

Pattern Recognition and Machine Intelligence = 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I / by: (Language materials, printed)

Data versus Democracy = How Big Data Algorithms Shape Opinions and Alter the Course of History / by: (Language materials, printed)

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

Artificial Life and Evolutionary Computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers / by: (Language materials, printed)

An Introduction to Kolmogorov Complexity and Its Applications by: (Language materials, printed)

Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV / by: (Language materials, printed)

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)

Advances in Soft Computing = 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings / by: (Language materials, printed)

Mathematical Foundations of Nature-Inspired Algorithms by: (Language materials, printed)

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

Intelligent Computing Theories and Application = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part I / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI / by: (Language materials, printed)

Computational Intelligence Methods for Bioinformatics and Biostatistics = 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers / 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)

Spline and Spline Wavelet Methods with Applications to Signal and Image Processing = Volume III: Selected Topics / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / by: (Language materials, printed)

Meshfree Methods for Partial Differential Equations IX by: (Language materials, printed)

Operational Research = IO 2018, Aveiro, Portugal, September 5-7 / by: (Language materials, printed)

Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings / by: (Language materials, printed)

Night Vision Processing and Understanding by: (Language materials, printed)

Computational Collective Intelligence = 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II / by: (Language materials, printed)

Computational Collective Intelligence = 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part I / by: (Language materials, printed)

Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by: (Language materials, printed)

Iterative Learning Control for Systems with Iteration-Varying Trial Lengths = Synthesis and Analysis / by: (Language materials, printed)

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

Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by: (Language materials, printed)

KI 2019: Advances in Artificial Intelligence = 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by: (Language materials, printed)

Advanced Informatics for Computing Research = Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II / 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)

Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I / by: (Language materials, printed)

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

Understand, Manage, and Prevent Algorithmic Bias = A Guide for Business Users and Data Scientists / by: (Language materials, printed)

Data Structures and Algorithms with Scala = A Practitioner's Approach with Emphasis on Functional Programming / by: (Language materials, printed)

Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers / by: (Language materials, printed)

Adaptive Resonance Theory in Social Media Data Clustering = Roles, Methodologies, and Applications / by: (Language materials, printed)

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

Fair Scheduling in High Performance Computing Environments by: (Language materials, printed)

Introduction to Digital Systems Design by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 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, Part II / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III / by: (Language materials, printed)

Notes from the International Autumn School on Computational Number Theory 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)

Research & Innovation Forum 2019 = Technology, Innovation, Education, and their Social Impact / by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings / by: (Language materials, printed)

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

Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by: (Language materials, printed)

Algorithms for Sensor Systems = 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III / by: (Language materials, printed)

Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2017 / 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)

Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / 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)

First Course in Algorithms Through Puzzles by: (Language materials, printed)

Knowledge Science, Engineering and Management = 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II / by: (Language materials, printed)

Numerical Methods of Mathematics Implemented in Fortran 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)

PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part II / by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings / by: (Language materials, printed)

Biogeography-Based Optimization: Algorithms and Applications by: (Language materials, printed)

Theory and Practice of Natural Computing = 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings / by: (Language materials, printed)

Fractal Dimension for Fractal Structures = With Applications to Finance / by: (Language materials, printed)

Web and Internet Economics = 15th International Conference, WINE 2019, New York, NY, USA, December 10–12, 2019, Proceedings / by: (Language materials, printed)

Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II / by: (Language materials, printed)

Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse / by: (Language materials, printed)

Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / by: (Language materials, printed)

Deep Learning: Fundamentals, Theory and Applications 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)

Nonlinear Combinatorial Optimization by: (Language materials, printed)

Knowledge Science, Engineering and Management = 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I / by: (Language materials, printed)

Soft Computing in Data Analytics = Proceedings of International Conference on SCDA 2018 / by: (Language materials, printed)

Mathematics and Computation in Music = 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings / by: (Language materials, printed)

Computational Logistics = 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / by: (Language materials, printed)

Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers / by: (Language materials, printed)

Information and Software Technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 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)

Molecular Logic and Computational Synthetic Biology = First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers / 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)

A Statistical Mechanical Interpretation of Algorithmic Information Theory by: (Language materials, printed)

Formal Methods Teaching = Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / by: (Language materials, printed)

Discrete Geometry for Computer Imagery = 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings / by: (Language materials, printed)

Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / by: (Language materials, printed)

Evolutionary Computation and Complex Networks by: (Language materials, printed)

Computergrafik = Band I des Standardwerks Computergrafik und Bildverarbeitung / by: (Language materials, printed)

Advances in Computational Intelligence = 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part I / by: (Language materials, printed)

Advances in Computational Intelligence = 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Gran Canaria, Spain, June 12-14, 2019, Proceedings, Part II / by: (Language materials, printed)

Computational Intelligence and Intelligent Systems = 10th International Symposium, ISICA 2018, Jiujiang, China, October 13–14, 2018, Revised Selected Papers / by: (Language materials, printed)

Theoretical Computer Science = 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers / by: (Language materials, printed)

Computing and Software Science = State of the Art and Perspectives / by: (Language materials, printed)

Fast Fourier Transform Algorithms for Parallel Computers by: (Language materials, printed)

Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I / 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: Theoretical Neural Computation = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I / 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)

Predictive Intelligence in Medicine = Second International Workshop, PRIME 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / by: (Language materials, printed)

Operations Research and Enterprise Systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers / by: (Language materials, printed)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / by: (Language materials, printed)

Pro TBB = C++ Parallel Programming with Threading Building Blocks / by: (Language materials, printed)

Applications of Evolutionary Computation = 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 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)

Advances on Computational Intelligence in Energy = The Applications of Nature-Inspired Metaheuristic Algorithms in Energy / by: (Language materials, printed)

Graph Drawing and Network Visualization = 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings / by: (Language materials, printed)

Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / by: (Language materials, printed)

Agents and Artificial Intelligence = 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Data Structures = 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings / by: (Language materials, printed)

Fundamentals of Computation Theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings / by: (Language materials, printed)

Algorithmic Aspects in Information and Management = 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II / by: (Language materials, printed)

Deep Reinforcement Learning = Frontiers of Artificial Intelligence / by: (Language materials, printed)

Artificial Intelligence and Security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II / by: (Language materials, printed)

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

Distributed Real-Time Systems = Theory and Practice / by: (Language materials, printed)

Imposing Regulation on Advanced Algorithms by: (Language materials, printed)

Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by: (Language materials, printed)

Metaheuristics for Data Clustering and Image Segmentation by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part II / by: (Language materials, printed)

Technological Innovation for Industry and Service Systems = 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings / by: (Language materials, printed)

Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by: (Language materials, printed)

Artificial Intelligence XXXVI = 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings / by: (Language materials, printed)

Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers / by: (Language materials, printed)

Approximation and Optimization = Algorithms, Complexity and Applications / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I / by: (Language materials, printed)

Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by: (Language materials, printed)

High-Performance Computing and Big Data Analysis = Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V / by: (Language materials, printed)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings / by: (Language materials, printed)

PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III / by: (Language materials, printed)

Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part IV / by: (Language materials, printed)

Geo-informatics in Sustainable Ecosystem and Society = 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers / 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)

Hybrid Artificial Intelligent Systems = 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings / by: (Language materials, printed)

The Developments and the Applications of the Numerical Algorithms in Simulating the Incompressible Magnetohydrodynamics with Complex Boundaries and Free Surfaces by: (Language materials, printed)

Information Technology and Applied Mathematics = ICITAM 2017 / by: (Language materials, printed)

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

Numerical Linear Algebra and Matrix Factorizations by: (Language materials, printed)

Swarm Intelligence = 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings / by: (Language materials, printed)

Operations Research and Enterprise Systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers / by: (Language materials, printed)

Handbook of Heuristics by: (Language materials, printed)

Algorithmische Informationstheorie = Berechenbarkeit und Komplexität verstehen / by: (Language materials, printed)

Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry / by: (Language materials, printed)

Introducing Algorithms in C = A Step by Step Guide to Algorithms in C / by: (Language materials, printed)

WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings / by: (Language materials, printed)

Applied Nature-Inspired Computing: Algorithms and Case Studies by: (Language materials, printed)

Recent Advances in Computational Optimization = Results of the Workshop on “Computational Optimization” and “Numerical Search and Optimization” 2018 / by: (Language materials, printed)

Algorithms for Sensor Systems = 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

Introduction to Computational Origami = The World of New Computational Geometry / by: (Language materials, printed)

Diagnosis, Fault Detection & Tolerant Control by: (Language materials, printed)

Learning and Intelligent Optimization = 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers / by: (Language materials, printed)

Bio-inspired Information and Communication Technologies = 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings / by: (Language materials, printed)

The Amazing Journey of Reason = from DNA to Artificial Intelligence / by: (Language materials, printed)

Forward Error Correction via Channel Coding by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part II / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I / by: (Language materials, printed)

Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications / 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)

Algorithms and Data Structures = Foundations and Probabilistic Methods for Design and Analysis / by: (Language materials, printed)

Exercises in Numerical Linear Algebra and Matrix Factorizations 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)

Frontier Applications of Nature Inspired Computation by: (Language materials, printed)

Serious Games = Joint International Conference, JCSG 2020, Stoke-on-Trent, UK, November 19–20, 2020, Proceedings / by: (Language materials, printed)

String Algorithms in C = Efficient Text Representation and Search / by: (Language materials, printed)

Recent Advances on Memetic Algorithms and its Applications in Image Processing by: (Language materials, printed)

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

The Amazing World of Quantum Computing by: (Language materials, printed)

Advances in Computing and Intelligent Systems = Proceedings of ICACM 2019 / by: (Language materials, printed)

Artificial Evolution = 14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29–30, 2019, Revised Selected Papers / by: (Language materials, printed)

Optimal Social Influence by: (Language materials, printed)

Language and Automata Theory and Applications = 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / by: (Language materials, printed)

Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings / by: (Language materials, printed)

Elderly Health Services and Remote Health Monitoring 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)

Decision and Control in Hybrid Wind Farms by: (Language materials, printed)

Statistical Signal Processing = Frequency Estimation / by: (Language materials, printed)

Codeless Data Structures and Algorithms = Learn DSA Without Writing a Single Line of Code / by: (Language materials, printed)

Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Large-Scale Scientific Computing = 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers / 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)

Aerospace System Analysis and Optimization in Uncertainty by: (Language materials, printed)

Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers / by: (Language materials, printed)

Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing = 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10–12, 2019, Revised Selected Papers / by: (Language materials, printed)

New Trends in Robot Control by: (Language materials, printed)

Forecasting and Assessing Risk of Individual Electricity Peaks by: (Language materials, printed)

Discrete Cuckoo Search for Combinatorial Optimization by: (Language materials, printed)

Time-Dependent Path Scheduling = Algorithmic Minimization of Walking Time at the Moving Assembly Line / by: (Language materials, printed)

Guide to Competitive Programming = Learning and Improving Algorithms Through Contests / by: (Language materials, printed)

Mathematik für Ingenieure = Ein anwendungsorientiertes Lehrbuch / by: (Language materials, printed)

Advanced Techniques for Audio Watermarking by: (Language materials, printed)

Complexity and Approximation = In Memory of Ker-I Ko / by: (Language materials, printed)

Ein szenarienadaptiver Bewegungsalgorithmus für die Längsbewegung eines vollbeweglichen Fahrsimulators by: (Language materials, printed)

Optimization in Machine Learning and Applications by: (Language materials, printed)

QoS Routing Algorithms for Wireless Sensor Networks 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)

Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by: (Language materials, printed)

Bildverarbeitung = Band II des Standardwerks Computergrafik und Bildverarbeitung / by: (Language materials, printed)

Bio-inspired Computing: Theories and Applications = 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Fractional Fourier Transform Techniques for Speech Enhancement by: (Language materials, printed)

Applications of Firefly Algorithm and its Variants = Case Studies and New Developments / by: (Language materials, printed)

Treewidth, Kernels, and Algorithms = Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday / by: (Language materials, printed)

Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers / by: (Language materials, printed)

Integrated Optimization in Public Transport Planning by: (Language materials, printed)

Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, 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, Revised Selected Papers / by: (Language materials, printed)

Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I / by: (Language materials, printed)

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

Artificial Intelligence and Soft Computing = 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I / by: (Language materials, printed)

Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part II / by: (Language materials, printed)

Computational Logistics = 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings / by: (Language materials, printed)

Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by: (Language materials, printed)

Advances in Neural Networks – ISNN 2020 = 17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4–6, 2020, Proceedings / by: (Language materials, printed)

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

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

Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / 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)

Intelligent Computing Theories and Application = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part II / 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)

Skew PBW Extensions = Ring and Module-theoretic Properties, Matrix and Gröbner Methods, and Applications / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings / by: (Language materials, printed)

Web and Internet Economics = 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings / by: (Language materials, printed)

User-Driven Applications for Research and Science = Building Programs for Fields with Open Scenarios and Unpredictable User Actions / by: (Language materials, printed)

Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / by: (Language materials, printed)

Advances in Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers / by: (Language materials, printed)

Nonsequential and distributed programming with Go : = synchronization of concurrent processes: communication - cooperation - competition / by: (Language materials, printed)

Computational methods and algorithms for medicine and optimized clinical practice by: (Language materials, printed)

Algorithms for big data by: (Language materials, printed)

Multimodal scene understanding = algorithms, applications and deep learning / by: (Language materials, printed)

The unsupervised learning workshop / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Applications of Bat Algorithm and its Variants by: (Language materials, printed)

Nature-Inspired Computing for Smart Application Design by: (Language materials, printed)

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

Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings / by: (Language materials, printed)

Proceedings of International Conference on Trends in Computational and Cognitive Engineering = TCCE 2019 / by: (Language materials, printed)

Arithmetic and Algebraic Circuits by: (Language materials, printed)

Text Segmentation and Recognition for Enhanced Image Spam Detection = An Integrated Approach / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (Language materials, printed)

Evolutionary Computing and Mobile Sustainable Networks = Proceedings of ICECMSN 2020 / by: (Language materials, printed)

Intelligent Algorithms for Analysis and Control of Dynamical Systems by: (Language materials, printed)

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

How Algorithms Create and Prevent Fake News = Exploring the Impacts of Social Media, Deepfakes, GPT-3, and More / by: (Language materials, printed)

Computer Algebra = An Algorithm-Oriented Introduction / by: (Language materials, printed)

Applications of Cuckoo Search Algorithm and its Variants by: (Language materials, printed)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (Language materials, printed)

Principles of High-Performance Processor Design = For High Performance Computing, Deep Neural Networks and Data Science / 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)

Introduction to Computational Thinking = Problem Solving, Algorithms, Data Structures, and More / by: (Language materials, printed)

Bio-inspired Algorithms for Data Streaming and Visualization, Big Data Management, and Fog Computing by: (Language materials, printed)

Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 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)

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems = IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part I / by: (Language materials, printed)

Applications of Flower Pollination Algorithm and its Variants by: (Language materials, printed)

Cluster Analysis and Applications by: (Language materials, printed)

Proceedings of 6th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2020, Istanbul / by: (Language materials, printed)

Algorithm Portfolios = Advances, Applications, and Challenges / by: (Language materials, printed)

Rosenbrock—Wanner–Type Methods = Theory and Applications / by: (Language materials, printed)

Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings / by: (Language materials, printed)

Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2019 / by: (Language materials, printed)

Nature-Inspired Metaheuristic Algorithms for Engineering Optimization Applications by: (Language materials, printed)

The Magic Ring = Systems Thinking Approach to Control Systems / by: (Language materials, printed)

Constructive Fractional Analysis with Applications by: (Language materials, printed)

Bio-Inspired Computing: Theories and Applications = 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers / by: (Language materials, printed)

Analysis of Images, Social Networks and Texts = 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / by: (Language materials, printed)

Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings / by: (Language materials, printed)

Emerging Trends in Sliding Mode Control = Theory and Application / by: (Language materials, printed)

An Invitation to Analytic Combinatorics = From One to Several Variables / by: (Language materials, printed)

Trustworthy AI - Integrating Learning, Optimization and Reasoning = First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Intelligent Data Analysis XIX = 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 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)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 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)

Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse / 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)

An Introduction to Machine Learning by: (Language materials, printed)

Nonsequential and Distributed Programming with Go = Synchronization of Concurrent Processes: Communication - Cooperation - Competition / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings / by: (Language materials, printed)

Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings / by: (Language materials, printed)

Knowledge Science, Engineering and Management = 14th International Conference, KSEM 2021, Tokyo, Japan, August 14–16, 2021, Proceedings, Part I / by: (Language materials, printed)

The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, Revised Selected Papers / by: (Language materials, printed)

Topological Methods in Data Analysis and Visualization VI = Theory, Applications, and Software / by: (Language materials, printed)

Research and Innovation Forum 2020 = Disruptive Technologies in Times of Change / by: (Language materials, printed)

Matheuristics = Algorithms and Implementations / by: (Language materials, printed)

Programming Algorithms in Lisp = Writing Efficient Programs with Examples in ANSI Common Lisp / by: (Language materials, printed)

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

Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by: (Language materials, printed)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (Language materials, printed)

Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III / by: (Language materials, printed)

Applied Optimization and Swarm Intelligence by: (Language materials, printed)

Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 / 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)

Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I / 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)

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (Language materials, printed)

Fundamentals of Quantum Computing = Theory and Practice / by: (Language materials, printed)

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

Database and Expert Systems Applications - DEXA 2021 Workshops = BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 2021, Proceedings / by: (Language materials, printed)

Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part I / by: (Language materials, printed)

Soft Computing for Problem Solving = Proceedings of SocProS 2020, Volume 1 / by: (Language materials, printed)

Soft Computing for Problem Solving = Proceedings of SocProS 2020, Volume 2 / by: (Language materials, printed)

Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings / 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)

Algorithms for Sensor Systems = 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 2021, Proceedings / by: (Language materials, printed)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by: (Language materials, printed)

Cost Sharing, Capacity Investment and Pricing in Networks by: (Language materials, printed)

Abenteuer Informatik = IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media / by: (Language materials, printed)

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

Recent Advances in Sustainable Energy and Intelligent Systems = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part II / by: (Language materials, printed)

Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers / by: (Language materials, printed)

Mathematical Control and Numerical Applications = JANO13, Khouribga, Morocco, February 22–24, 2021 / by: (Language materials, printed)

Operational Research = IO 2019, Tomar, Portugal, July 22–24 / by: (Language materials, printed)

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

Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by: (Language materials, printed)

Artificial Intelligence XXXVIII = 41st SGAI International Conference on Artificial Intelligence, AI 2021, Cambridge, UK, December 14–16, 2021, Proceedings / by: (Language materials, printed)

Bio-Inspired Information and Communications Technologies = 13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings / by: (Language materials, printed)

Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers / by: (Language materials, printed)

Psychopharmacology algorithms = clinical guidance from the Psychopharmacology Algorithm Project at the Harvard South Shore Psychiatry Residency Program / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (Language materials, printed)

Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / 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)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 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)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 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)

Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings / by: (Language materials, printed)

Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings / by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by: (Language materials, printed)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 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)

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (Language materials, printed)

Algorithms for Sensor Systems = 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 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)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by: (Language materials, printed)

Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers / by: (Language materials, printed)

Elements of the General Theory of Optimal Algorithms by: (Language materials, printed)

Introduction to Computation = Haskell, Logic and Automata / by: (Language materials, printed)

Super Resolution Laser Thermography using Spatially and Temporally Structured Heating = = Superauflosende Laserthermografie mit raumlich und zeitlich strukturierter Heizung. by: (Language materials, printed)

Localization for Autonomous Navigation Systems in Large-Scale Outdoor Environments. by: (Language materials, printed)

Proceedings of 7th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2022 / by: (Language materials, printed)

Business Process Management = 20th International Conference, BPM 2022, Münster, Germany, September 11–16, 2022, Proceedings / by: (Language materials, printed)

Algorithmic Game Theory = 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings / by: (Language materials, printed)

Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2021 / by: (Language materials, printed)

Locating Eigenvalues in Graphs = Algorithms and Applications / by: (Language materials, printed)

Numerical Methods for Mixed Finite Element Problems = Applications to Incompressible Materials and Contact Problems / by: (Language materials, printed)

Introduction to Combinatorial Optimization 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)

Feedback Arc Set = A History of the Problem and Algorithms / by: (Language materials, printed)

Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by: (Language materials, printed)

Modern Numerical Nonlinear Optimization by: (Language materials, printed)

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

Online Capacity Provisioning for Energy-Efficient Datacenters by: (Language materials, printed)

MCMC from Scratch = A Practical Introduction to Markov Chain Monte Carlo / by: (Language materials, printed)

String Processing and Information Retrieval = 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings / by: (Language materials, printed)

Limiting Modes of Aircraft Flight = Methods, Algorithms and Results / by: (Language materials, printed)

Optimal Fractional-order Predictive PI Controllers = For Process Control Applications with Additional Filtering / by: (Language materials, printed)

Rotating Machinery, Optical Methods & Scanning LDV Methods, Volume 6 = Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 / by: (Language materials, printed)

Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung by: (Language materials, printed)

Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings / by: (Language materials, printed)

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

Web and Internet Economics = 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings / by: (Language materials, printed)

Algorithmics of Wireless Networks = 18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, Potsdam, Germany, September 8–9, 2022, Proceedings / by: (Language materials, printed)

Algorithmic Learning in a Random World by: (Language materials, printed)

Modeling Reality with Mathematics by: (Language materials, printed)

Machine Intelligence and Smart Systems = Proceedings of MISS 2021 / by: (Language materials, printed)

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

The Semantic Web = 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings / by: (Language materials, printed)

Biologically Inspired Techniques in Many Criteria Decision Making = Proceedings of BITMDM 2021 / by: (Language materials, printed)

Integration in Finite Terms: Fundamental Sources by: (Language materials, printed)

Principles of Innovative Design Thinking = Synergy of Extenics with Axiomatic Design Theory / 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)

Revolutions and Revelations in Computability = 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings / 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)

Algorithms for a New World = When Big Data and Mathematical Models Meet / by: (Language materials, printed)

Generic Data Structures and Algorithms in Go = An Applied Approach Using Concurrency, Genericity and Heuristics / by: (Language materials, printed)

The Quadratic Unconstrained Binary Optimization Problem = Theory, Algorithms, and Applications / by: (Language materials, printed)

Frontiers in Nature-Inspired Industrial Optimization by: (Language materials, printed)

Proceedings of International Conference on Computational Intelligence = ICCI 2020 / by: (Language materials, printed)

Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings / by: (Language materials, printed)

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

Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / by: (Language materials, printed)

Machines, Computations, and Universality = 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / by: (Language materials, printed)

Geometric Challenges in Isogeometric Analysis by: (Language materials, printed)

Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings / by: (Language materials, printed)

Property Testing = Problems and Techniques / 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)

Sublinear Computation Paradigm = Algorithmic Revolution in the Big Data Era / by: (Language materials, printed)

Soft Computing in Interdisciplinary Sciences by: (Language materials, printed)

The BOXES Methodology Second Edition = Black Box Control of Ill-defined Systems / by: (Language materials, printed)

Metrics That Make a Difference = How to Analyze Change and Error / by: (Language materials, printed)

Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2020 / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (Language materials, printed)

Natürliche Kognition technologisch begreifen = Möglichkeiten und Grenzen der KI Forschung / by: (Language materials, printed)

Algorithmische Mathematik = Graphen, Numerik und Probabilistik / by: (Language materials, printed)

Cryptography and Cryptanalysis in Java = Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10 / by: (Language materials, printed)

Genetic Programming = 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (Language materials, printed)

Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, 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)

Differential Evolution: From Theory to Practice by: (Language materials, printed)

Machine Learning, Optimization, and Data Science = 7th International Conference, LOD 2021, Grasmere, UK, October 4–8, 2021, Revised Selected Papers, Part II / by: (Language materials, printed)

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

Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part II / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part III / by: (Language materials, printed)

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

Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I / by: (Language materials, printed)

Geometry of the phase retrieval problem = graveyard of algorithms / by: (Language materials, printed)

How to design optimization algorithms by applying natural behavioral patterns by: (Language materials, printed)

Cognitive behavior and human computer interaction based on machine learning algorithms / by: (Language materials, printed)

Algorithmic learning in a random world by: (Language materials, printed)

Modeling reality with mathematics by: (Language materials, printed)

FIDO2/WebAuthn Implementation and Analysis in Terms of PSD2. by: (Language materials, printed)

Advanced Interference Mitigation Techniques for Cellular-Connected Drone Communication. by: (Language materials, printed)

Drone and Satellite Remote Sensing for Shallow Water Bathymetry Mapping and Feature Detection = = שימוש בחישה מרחוק מלויינים ורחפנים למיפוי קרקעית הים וזיהו עצמים בקרבת החוף. by: (Language materials, printed)

GAN-Based Super-Resolution and Segmentation of Retinal Layers in Optical Coherence Tomography Scans. by: (Language materials, printed)

Simultaneous Short-Term Decision-Making in Mining Complexes Integrating Geometallurgy Assisted By Production Data. by: (Language materials, printed)

Krylov subspace methods for linear systems = principles of algorithms / by: (Language materials, printed)

Applied genetic algorithm and its variants = case studies and new developments / by: (Language materials, printed)

Algorithms for satellite orbital dynamics by: (Language materials, printed)

Introduction to datafication = implement datafication using AI and ML algorithms / by: (Language materials, printed)

Applied learning algorithms for intelligent IoT by: (Language materials, printed)

Machine learning : = a constraint-based approach. by: (Language materials, printed)

Verified signal processing algorithms in Matlab and C / by: (Language materials, printed)

Parallel operator splitting algorithms with application to imaging inverse problems by: (Language materials, printed)

Artificial evolution = 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022 : revised selected papers / 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)

Handling uncertainty in artificial intelligence by: (Language materials, printed)

Autonomous driving algorithms and its IC design by: (Language materials, printed)

String processing and information retrieval = 30th International Symposium, SPIRE 2023, Palermo, Italy, September 26-28, 2023 : proceedings / by: (Language materials, printed)

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (Language materials, printed)

Modern X86 assembly language programming = covers X86 64-bit, AVX, AVX2, and AVX-512 / by: (Language materials, printed)

Machine learning contests = a guidebook / by: (Language materials, printed)

Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry / by: (Language materials, printed)

Visual object tracking using deep learning / by: (Language materials, printed)

Future data and security engineering = big data, security and privacy, smart city and industry 4.0 applications : 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023 : proceedings / by: (Language materials, printed)

Fourth International Conference on Image Processing and Capsule Networks = ICIPCN 2023 / by: (Language materials, printed)

Derivative-free DIRECT-type global optimization = applications and software / by: (Language materials, printed)

Discrete diversity and dispersion maximization = a tutorial on metaheuristic optimization / by: (Language materials, printed)

ChatGPT and Bard for business automation = achieving AI-driven growth / by: (Language materials, printed)

A nature-inspired approach to cryptology by: (Language materials, printed)

A course in Python = the core of the language / by: (Language materials, printed)

B-DDS: Broker Embedded Data Distribution Service. by: (Language materials, printed)

Permutation group algorithms / by: (Language materials, printed)

Understanding machine learning : = from theory to algorithms / by: (Language materials, printed)

Geometry of the phase retrieval problem : = graveyard of algorithms / by: (Language materials, printed)

Design and analysis of algorithms : = a contemporary perspective / by: (Language materials, printed)

Gillespie algorithms for stochastic multiagent dynamics in populations and networks / by: (Language materials, printed)

Proceedings of the 12th International Conference on Soft Computing for Problem Solving = SocProS 2023.. Volume 1 / by: (Language materials, printed)

Efficient online learning algorithms for Total Least Square problems by: (Language materials, printed)

Basics of programming and algorithms, principles and applications by: (Language materials, printed)

Cryptography and cryptanalysis in Java = creating and programming advanced algorithms with Java SE 17 LTS and Jakarta EE 11 / by: (Language materials, printed)

Guide to competitive programming = learning and improving algorithms through contests / 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)

Introduction to computational mathematics = an outline / by: (Language materials, printed)

Practicing trustworthy machine learning : = consistent, transparent, and fair AI pipelines / by: (Language materials, printed)

Prediction of Outcomes in Higher Courts of Turkey Using Natural Language Processing = = Dogal Dil Isleme Yontemleri Kullanilarak Turk Yuksek Mahkemelerinde Karar Tahmini. by: (Language materials, manuscript)

Improving Deep Learning-Based Facade Visual Inspection : = A Data Quality Perspective. by: (Language materials, manuscript)

Computational Methods for Multi-Scale Biological Imaging and Modeling. by: (Language materials, manuscript)

Data-Driven Safety & Security of Cyberphysical Systems. by: (Language materials, manuscript)

The Development of Computing Tools to Approximate Doubly Curved Surfaces with Quadrilateral Planar Facets = = Entwicklung von Computertools zur Flachenapproximation mit planaren Quad-Facetten. by: (Language materials, manuscript)

The Effects of Stimulus Type On Interpersonal and Intrapersonal Speech Perception In Typical Adults. by: (Language materials, manuscript)

Privacy-Fairness : = It's Complicated : An Unavoidable Unfairness of Differentially Privacy on Machine Learning Systems. by: (Language materials, manuscript)

Uncertainty and Risk Aware Controls for Portfolios of Buildings with Thermal Energy Storage. by: (Language materials, manuscript)

Water Animation Using Coupled SPH and Wave Equations. by: (Language materials, manuscript)

Multi-Agent Visual Slam. by: (Language materials, manuscript)

B-DDS : = Broker Embedded Data Distribution Service. by: (Language materials, manuscript)

Examining the Perceptions of Fake News, Verification, and Notices on Twitter. by: (Language materials, manuscript)

How Digital Platforms Impact the Film Industry in Turkey? = = Dijital Platformlar Turkiye'de Sinema Sektorunu Nasil Etkiliyor?. by: (Language materials, manuscript)

Radiation Source Localization Using the Red-Pitaya STEMLab Data Acquisition System. by: (Language materials, manuscript)

Improving the Performance of Yolo-Based Detection Algorithms for Small Object Detection in Uav-Taken Images = = Kucuk Nesne Tanima uZerine Kullanilan Yolo Tabanli Nesne Tanima Algoritmalarinin Iyilestirilmesi. by: (Language materials, manuscript)

Generative Neural Network-Based Defense Methods Against Cyberattacks for Connected and Autonomous Vehicles. by: (Language materials, manuscript)

A Framework for Signal Decomposition with Applications to Solar Energy Generation. by: (Language materials, manuscript)

A Discrete Adjoint Framework for Turbulent Hypersonic Flows in Thermochemical Nonequilibrium. by: (Language materials, manuscript)

Lifelong, Learning-Augmented Robot Navigation. by: (Language materials, manuscript)

Optimal Motion Strategies with Logic-Based Constraints for Ocean Vehicles. by: (Language materials, manuscript)

Semi-Cooperative Planning in Mixed Human-Autonomous Environments. by: (Language materials, manuscript)

Composable Optimization for Robotics Simulation and Control. by: (Language materials, manuscript)

Planning algorithms by: (Language materials, printed)

Kernel methods for pattern analysis by: (Language materials, printed)

Graph-theoretic techniques for web content mining by: (Language materials, printed)

Elementary numerical mathematics for programmers and engineers by: (Language materials, printed)

Digital twins and healthcare = trends, techniques, and challenges / by: (Language materials, printed)

Genetic algorithms and genetic programming = modern concepts and practical applications / by: (Language materials, printed)

Numerical methods, algorithms, and tools in CÄ by: (Language materials, printed)

Handbook of chemoinformatics algorithms 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)

Computational complexity and local algorithms = on the interplay between randomness and computation / by: (Language materials, printed)

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

Nonsequential and distributed programming with Go = synchronization of concurrent processes / by: (Language materials, printed)

Numbers and computers by: (Language materials, printed)

String processing and information retrieval = 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024 : proceedings / by: (Language materials, printed)

Recent advances in the message passing interface = 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024 : proceedings / by: (Language materials, printed)

Runtime verification = 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings / by: (Language materials, printed)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part I / by: (Language materials, printed)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part II / by: (Language materials, printed)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part III / by: (Language materials, printed)

Algorithmic foundations for social advancement = recent progress on theory and practice / by: (Language materials, printed)

Number-theoretic methods in cryptology = 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024 : revised selected papers / by: (Language materials, printed)

Recent advances in computational optimization = results of the Workshop on Computational Optimization WCO 2023 / by: (Language materials, printed)

Control strategies for non-minimum phase systems by: (Language materials, printed)

Algorithms and computational theory for engineering applications by: (Language materials, printed)

Applied quantum computing and cryptography = challenges, opportunities, and performance analysis for algorithms / by: (Language materials, printed)

Today's TBB = C++ parallel programming with threading building blocks / by: (Language materials, printed)

Guide to distributed algorithms = design, analysis and implementation using Python / by: (Language materials, printed)

Applied algorithms = second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025 : proceedings / by: (Language materials, printed)

Computational visual media = 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025 : proceedings.. Part I / by: (Language materials, printed)

Computational visual media = 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025 : proceedings.. Part II / by: (Language materials, printed)

Computational visual media = 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025 : proceedings.. Part III / by: (Language materials, printed)

Convex optimization -- theory, algorithms and applications = RTCOTAA-2020, Patna, India, October 29-31 / by: (Language materials, printed)

Introduction to graph convexity = an algorithmic approach / by: (Language materials, printed)

Evolutionary artificial intelligence = proceedings of ICEAI 2024 / by: (Language materials, printed)

Computing Technologies and Applied Mathematics = CTAM 2024, Komsomolsk-na-Amure, Russia, October 07-11, 2024 / by: (Language materials, printed)

Combinatorics, graph theory and computing = SEICCGTC 2023, Boca Raton, USA, March 6-10 / by: (Language materials, printed)

Fundamentals of optimization techniques with algorithms by: (Language materials, printed)