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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Information Systems Security = 11th International Conference, ICISS 2015, Kolkata, India, December 16-20, 2015. Proceedings / by: (書目-語言資料,印刷品)

Discovery Science = 18th International Conference, DS 2015, Banff, AB, Canada, October 4-6, 2015. Proceedings / by: (書目-語言資料,印刷品)

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies = Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Artificial General Intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V / by: (書目-語言資料,印刷品)

Curves and Surfaces = 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Information and Communications Security = 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parameterized Algorithms by: (書目-語言資料,印刷品)

Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Intelligence Methods for Bioinformatics and Biostatistics = 11th International Meeting, CIBB 2014, Cambridge, UK, June 26-28, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Programming Languages with Applications to Biology and Security = Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Constructive Side-Channel Analysis and Secure Design = 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Innovative Security Solutions for Information Technology and Communications = 8th International Conference, SECITC 2015, Bucharest, Romania, June 11-12, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computer Information Systems and Industrial Management = 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings / by: (書目-語言資料,印刷品)

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications = 20th Iberoamerican Congress, CIARP 2015, Montevideo, Uruguay, November 9-12, 2015, Proceedings / by: (書目-語言資料,印刷品)

Correct Software in Web Applications and Web Services by: (書目-語言資料,印刷品)

Gems of Combinatorial Optimization and Graph Algorithms by: (書目-語言資料,印刷品)

Evolvable Hardware = From Practice to Application / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI = Selected Papers from DaWaK 2012 / by: (書目-語言資料,印刷品)

Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

On Meaningful Scientific Laws by: (書目-語言資料,印刷品)

Research in Computational Molecular Biology = 19th Annual International Conference, RECOMB 2015, Warsaw, Poland, April 12-15, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Theory of Cryptography = 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Multiple Access Communications = 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings / by: (書目-語言資料,印刷品)

Clustering High--Dimensional Data = First International Workshop, CHDD 2012, Naples, Italy, May 15, 2012, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Reconfigurable Computing = 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings / by: (書目-語言資料,印刷品)

Database Systems for Advanced Applications = 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Information and Database Systems = 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Machine Learning, Optimization, and Big Data = First International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Automated Deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / by: (書目-語言資料,印刷品)

Database Systems for Advanced Applications = DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Evolutionary Multi-Criterion Optimization = 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I / by: (書目-語言資料,印刷品)

Frontiers in Algorithmics = 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / by: (書目-語言資料,印刷品)

Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / by: (書目-語言資料,印刷品)

Advanced Intelligent Computing Theories and Applications = 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Genetic Programming = 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (書目-語言資料,印刷品)

Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / by: (書目-語言資料,印刷品)

Arithmetic of Finite Fields = 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

Architecture of Computing Systems – ARCS 2015 = 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Graph Drawing and Network Visualization = 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Geometric Science of Information = Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Life and Computational Intelligence = First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Discrete Applied Mathematics = First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / by: (書目-語言資料,印刷品)

Advances in Artificial Intelligence = 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Models for the Web Graph = 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Edutainment XI by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (書目-語言資料,印刷品)

Modelling and Simulation for Autonomous Systems = Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Future Data and Security Engineering = Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computational Collective Intelligence = 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Web Technologies and Applications = APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Material Selections by a Hybrid Multi-Criteria Approach by: (書目-語言資料,印刷品)

Decision and Game Theory for Security = 6th International Conference, GameSec 2015, London, UK, November 4-5, 2015, Proceedings / by: (書目-語言資料,印刷品)

Numerical Methods and Applications = 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Data Structures = 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings / by: (書目-語言資料,印刷品)

Cyber Physical Systems. Design, Modeling, and Evaluation = 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / by: (書目-語言資料,印刷品)

Generalized Rough Sets = Hybrid Structure and Applications / by: (書目-語言資料,印刷品)

Algorithmische Zahlentheorie by: (書目-語言資料,印刷品)

Soft Computing in Data Science = First International Conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computational Complexity of Solving Equation Systems by: (書目-語言資料,印刷品)

Genetic Programming Theory and Practice XII by: (書目-語言資料,印刷品)

Multimodal Optimization by Means of Evolutionary Algorithms by: (書目-語言資料,印刷品)

Applications and Techniques in Information Security = 6th International Conference, ATIS 2015, Beijing, China, November 4-6, 2015, Proceedings / by: (書目-語言資料,印刷品)

Stochastic Geometry, Spatial Statistics and Random Fields = Models and Algorithms / by: (書目-語言資料,印刷品)

Hierarchical Matrices: Algorithms and Analysis by: (書目-語言資料,印刷品)

Mathematical Models, Methods and Applications by: (書目-語言資料,印刷品)

Sparse Approximation with Bases by: (書目-語言資料,印刷品)

Numerical Methods for Nonlinear Partial Differential Equations by: (書目-語言資料,印刷品)

Topological and Statistical Methods for Complex Data = Tackling Large-Scale, High-Dimensional, and Multivariate Data Spaces / by: (書目-語言資料,印刷品)

Evolutionäre Algorithmen by: (書目-語言資料,印刷品)

Modeling Discrete Competitive Facility Location by: (書目-語言資料,印刷品)

Die Monte-Carlo-Methode = Beispiele unter Excel VBA / by: (書目-語言資料,印刷品)

Optimization of Stochastic Discrete Systems and Control on Complex Networks = Computational Networks / by: (書目-語言資料,印刷品)

Progress in Cryptology -- INDOCRYPT 2015 = 16th International Conference on Cryptology in India, Bangalore, India, December 6-9, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computational Invariant Theory by: (書目-語言資料,印刷品)

Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Image Analysis = 17th International Workshop, IWCIA 2015, Kolkata, India, November 24-27, 2015. Proceedings / by: (書目-語言資料,印刷品)

Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / by: (書目-語言資料,印刷品)

Cryptographic Hardware and Embedded Systems -- CHES 2015 = 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Evolutionary and Biologically Inspired Music, Sound, Art and Design = 4th International Conference, EvoMUSART 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (書目-語言資料,印刷品)

Biometric Recognition = 10th Chinese Conference, CCBR 2015, Tianjin, China, November 13-15, 2015, Proceedings / by: (書目-語言資料,印刷品)

Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Hybrid Artificial Intelligent Systems = 10th International Conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / by: (書目-語言資料,印刷品)

Evolutionary Computation in Combinatorial Optimization = 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Internet and Distributed Computing Systems = 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings / by: (書目-語言資料,印刷品)

Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / by: (書目-語言資料,印刷品)

Theory and Practice of Natural Computing = Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / by: (書目-語言資料,印刷品)

Membrane Computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Codes, Cryptology, and Information Security = First International Conference, C2SI 2015, Rabat, Morocco, May 26-28, 2015, Proceedings - In Honor of Thierry Berger / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / by: (書目-語言資料,印刷品)

AI 2015: Advances in Artificial Intelligence = 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Models of Strategic Reasoning = Logics, Games, and Communities / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Research in Attacks, Intrusions, and Defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings / by: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / by: (書目-語言資料,印刷品)

Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Cloud Computing = First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII = Special Issue on Database- and Expert-Systems Applications / by: (書目-語言資料,印刷品)

Computer Algebra and Polynomials = Applications of Algebra and Number Theory / by: (書目-語言資料,印刷品)

Advances in Visual Informatics = 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computer Security -- ESORICS 2015 = 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Learning MATLAB = A Problem Solving Approach / by: (書目-語言資料,印刷品)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / by: (書目-語言資料,印刷品)

Web and Internet Economics = 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings / by: (書目-語言資料,印刷品)

Mining Intelligence and Knowledge Exploration = Third International Conference, MIKE 2015, Hyderabad, India, December 9-11, 2015, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing and Security = First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms in Bioinformatics = 15th International Workshop, WABI 2015, Atlanta, GA, USA, September 10-12, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision - ECCV 2014 Workshops = Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II / by: (書目-語言資料,印刷品)

Algorithmic Decision Theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Neural Networks – ISNN 2015 = 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Combinatorial Optimization and Applications = 9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015, Proceedings / by: (書目-語言資料,印刷品)

Information Retrieval Technology = 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings / by: (書目-語言資料,印刷品)

Solving Software Challenges for Exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Databases Theory and Applications = 26th Australasian Database Conference, ADC 2015, Melbourne, VIC, Australia, June 4-7, 2015. Proceedings / by: (書目-語言資料,印刷品)

Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / by: (書目-語言資料,印刷品)

Conceptual Modeling = 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Networked Systems = Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III / by: (書目-語言資料,印刷品)

Image Analysis and Processing — ICIAP 2015 = 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advanced Methodologies for Bayesian Networks = Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings / by: (書目-語言資料,印刷品)

Similarity Search and Applications = 8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computing and Combinatorics = 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Information and Database Systems = 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / by: (書目-語言資料,印刷品)

Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / by: (書目-語言資料,印刷品)

Lightweight Cryptography for Security and Privacy = Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Dynamic Data-Driven Environmental Systems Science = First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security, Privacy, and Applied Cryptography Engineering = 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Statistical Learning and Data Sciences = Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / by: (書目-語言資料,印刷品)

Multi-disciplinary Trends in Artificial Intelligence = 9th International Workshop, MIWAI 2015, Fuzhou, China, November 13-15, 2015, Proceedings / by: (書目-語言資料,印刷品)

Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 / by: (書目-語言資料,印刷品)

Machine Learning and Data Mining in Pattern Recognition = 11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015, Proceedings / by: (書目-語言資料,印刷品)

Swarm, Evolutionary, and Memetic Computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Graph-Based Representations in Pattern Recognition = 10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings / by: (書目-語言資料,印刷品)

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Cryptology -- CRYPTO 2015 = 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Optimized Packings with Applications by: (書目-語言資料,印刷品)

Distributed and Sequential Algorithms for Bioinformatics by: (書目-語言資料,印刷品)

Knowledge Science, Engineering and Management = 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Implementation and Application of Automata = 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings / by: (書目-語言資料,印刷品)

Analysis and Enumeration = Algorithms for Biological Graphs / by: (書目-語言資料,印刷品)

Cellular Automata and Discrete Complex Systems = 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII = Selected Papers from DaWaK 2013 / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Mathematik für Ingenieure = Ein anwendungsorientiertes Lehrbuch / by: (書目-語言資料,印刷品)

Technology and Practice of Passwords = International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, Revised Selected Papers / by: (書目-語言資料,印刷品)

Energy Informatics = 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015, Proceedings / by: (書目-語言資料,印刷品)

Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Complexity = 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings / by: (書目-語言資料,印刷品)

Portfolio Optimization Using Fundamental Indicators Based on Multi-Objective EA by: (書目-語言資料,印刷品)

Transactions on Edutainment XII by: (書目-語言資料,印刷品)

Security Standardisation Research = Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5–6, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity / by: (書目-語言資料,印刷品)

Graph Drawing and Network Visualization = 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Geographic Information Science = 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / by: (書目-語言資料,印刷品)

Metaheuristic Applications to Speech Enhancement by: (書目-語言資料,印刷品)

Wired/Wireless Internet Communications = 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Advanced Analysis and Learning on Temporal Data = First ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Evolutionary and Biologically Inspired Music, Sound, Art and Design = 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Optimization and Applications = 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Graphical Models for Security = Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Information Systems and Industrial Management = 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Aspects of Computer and Information Sciences = 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Future and Emergent Trends in Language Technology = First International Workshop, FETLT 2015, Seville, Spain, November 19-20, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Network Science = 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / by: (書目-語言資料,印刷品)

Information Retrieval Technology = 12th Asia Information Retrieval Societies Conference, AIRS 2016, Beijing, China, November 30 – December 2, 2016, Proceedings / by: (書目-語言資料,印刷品)

Genetic Programming Theory and Practice XIII by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVII = Special Issue on Big Data for Complex Urban Systems / by: (書目-語言資料,印刷品)

Limits of Computation = From a Programming Perspective / by: (書目-語言資料,印刷品)

Distributed Computing and Internet Technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings / by: (書目-語言資料,印刷品)

Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Big Data Benchmarks, Performance Optimization, and Emerging Hardware = 6th Workshop, BPOE 2015, Kohala, HI, USA, August 31 - September 4, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Random-Like Bi-level Decision Making by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Reconfigurable Computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Genetic Programming = 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / by: (書目-語言資料,印刷品)

Discrete Geometry for Computer Imagery = 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings / by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Digital-Forensics and Watermarking = 14th International Workshop, IWDW 2015, Tokyo, Japan, October 7-10, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Neural Networks – ISNN 2016 = 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Graph-Based Representation and Reasoning = 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Knowledge Management and Acquisition for Intelligent Systems = 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Discrete Optimization and Operations Research = 9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Internet and Distributed Computing Systems = 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings / by: (書目-語言資料,印刷品)

Optimization Techniques in Computer Vision = Ill-Posed Problems and Regularization / by: (書目-語言資料,印刷品)

Future Data and Security Engineering = Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

DNA Computing and Molecular Programming = 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / by: (書目-語言資料,印刷品)

Advances in Stochastic and Deterministic Global Optimization by: (書目-語言資料,印刷品)

Artificial Life and Computational Intelligence = Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Integer Programming and Combinatorial Optimization = 18th International Conference, IPCO 2016, Liège, Belgium, June 1-3, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Information Systems Security = 12th International Conference, ICISS 2016, Jaipur, India, December 16-20, 2016, Proceedings / by: (書目-語言資料,印刷品)

Research in Attacks, Intrusions, and Defenses = 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Web Technologies and Applications = APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Cloud Computing and Security = Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Decision and Game Theory for Security = 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Models, Algorithms and Technologies for Network Analysis = NET 2014, Nizhny Novgorod, Russia, May 2014 / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings / by: (書目-語言資料,印刷品)

Optimization and Its Applications in Control and Data Sciences = In Honor of Boris T. Polyak’s 80th Birthday / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Hybrid Artificial Intelligent Systems = 11th International Conference, HAIS 2016, Seville, Spain, April 18-20, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Swarm, Evolutionary, and Memetic Computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Architecture of Computing Systems -- ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

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 and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / by: (書目-語言資料,印刷品)

Algorithmic Mathematics by: (書目-語言資料,印刷品)

Arithmetic of Finite Fields = 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Brain Inspired Cognitive Systems = 8th International Conference, BICS 2016, Beijing, China, November 28-30, 2016, Proceedings / by: (書目-語言資料,印刷品)

Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings / by: (書目-語言資料,印刷品)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / by: (書目-語言資料,印刷品)

Programmieren für Ingenieure und Naturwissenschaftler = Grundlagen / by: (書目-語言資料,印刷品)

Lightweight Cryptography for Security and Privacy = 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithmen von Hammurapi bis Gödel = Mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima / by: (書目-語言資料,印刷品)

LATIN 2016: Theoretical Informatics = 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computer Science – Theory and Applications = 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Applications and Techniques in Information Security = 6th International Conference, ATIS 2016, Cairns, QLD, Australia, October 26-28, 2016, Proceedings / by: (書目-語言資料,印刷品)

Support Vector Machines and Perceptrons = Learning, Optimization, Classification, and Application to Social Networks / by: (書目-語言資料,印刷品)

Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Human Centered Computing = Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Networked Systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Web and Internet Economics = 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings / by: (書目-語言資料,印刷品)

Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Machine Translation = 12th China Workshop, CWMT 2016, Urumqi, China, August 25–26, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Discrete Applied Mathematics = Second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016, Proceedings / by: (書目-語言資料,印刷品)

Economics and Computation = An Introduction to Algorithmic Game Theory, Computational Social Choice, and Fair Division / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Algorithms for Computational Biology = Third International Conference, AlCoB 2016, Trujillo, Spain, June 21-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX by: (書目-語言資料,印刷品)

Frontiers in Algorithmics = 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings / by: (書目-語言資料,印刷品)

Unconventional Computation and Natural Computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Swarm Intelligence = 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI = Special Issue on Data Warehousing and Knowledge Discovery / by: (書目-語言資料,印刷品)

GPS = Theory, Algorithms and Applications / by: (書目-語言資料,印刷品)

Biomimetic Design Method for Innovation and Sustainability by: (書目-語言資料,印刷品)

Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Topology in Image Context = 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / by: (書目-語言資料,印刷品)

Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Selected Areas in Cryptography - SAC 2015 = 22nd International Conference, Sackville, NB, Canada, August 12-14, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV = Special Issue on Database- and Expert-Systems Applications / by: (書目-語言資料,印刷品)

Intelligent Data Engineering and Automated Learning – IDEAL 2016 = 17th International Conference, Yangzhou, China, October 12–14, 2016, Proceedings / by: (書目-語言資料,印刷品)

Algorithm Engineering = Selected Results and Surveys / by: (書目-語言資料,印刷品)

Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Services Computing = 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / by: (書目-語言資料,印刷品)

An Introduction to Online Computation = Determinism, Randomization, Advice / by: (書目-語言資料,印刷品)

Progress in Cryptology – INDOCRYPT 2016 = 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings / by: (書目-語言資料,印刷品)

Evolutionary Computation in Combinatorial Optimization = 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings / by: (書目-語言資料,印刷品)

Data Mining and Constraint Programming = Foundations of a Cross-Disciplinary Approach / by: (書目-語言資料,印刷品)

Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings / by: (書目-語言資料,印刷品)

Big Data Computing and Communications = Second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016. Proceedings / by: (書目-語言資料,印刷品)

Integration of AI and OR Techniques in Constraint Programming = 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings / by: (書目-語言資料,印刷品)

Algorithmische Mathematik by: (書目-語言資料,印刷品)

Security, Privacy, and Applied Cryptography Engineering = 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings / by: (書目-語言資料,印刷品)

Information Security and Cryptology - ICISC 2015 = 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Medical Imaging and Augmented Reality = 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Instruction Selection = Principles, Methods, and Applications / by: (書目-語言資料,印刷品)

Solving PDEs in Python = The FEniCS Tutorial I / by: (書目-語言資料,印刷品)

Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum by: (書目-語言資料,印刷品)

Elementary Functions = Algorithms and Implementation / by: (書目-語言資料,印刷品)

Pattern Mining with Evolutionary Algorithms by: (書目-語言資料,印刷品)

A Guide to Graph Colouring = Algorithms and Applications / by: (書目-語言資料,印刷品)

Search and Optimization by Metaheuristics = Techniques and Algorithms Inspired by Nature / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Artificial Intelligence Applications and Innovations = 12th IFIP WG 12.5 International Conference and Workshops, AIAI 2016, Thessaloniki, Greece, September 16-18, 2016, Proceedings / by: (書目-語言資料,印刷品)

A Polynomial Translation of Mobile Ambients into Safe Petri Nets = Understanding a Calculus of Hierarchical Protection Domains / by: (書目-語言資料,印刷品)

Harmony Search Algorithm = Proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015) / by: (書目-語言資料,印刷品)

Einführung in die computerorientierte Mathematik mit Sage by: (書目-語言資料,印刷品)

Sparse Grids and Applications - Stuttgart 2014 by: (書目-語言資料,印刷品)

Advances in Iterative Methods for Nonlinear Equations by: (書目-語言資料,印刷品)

Primzahltests für Einsteiger = Zahlentheorie – Algorithmik – Kryptographie / by: (書目-語言資料,印刷品)

Combinatorics and Complexity of Partition Functions by: (書目-語言資料,印刷品)

Mathematische Algorithmen und Computer-Performance kompakt by: (書目-語言資料,印刷品)

Multiple Instance Learning = Foundations and Algorithms / by: (書目-語言資料,印刷品)

Elementary Numerical Mathematics for Programmers and Engineers by: (書目-語言資料,印刷品)

Soft Computing in Data Science = Second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Generalized Network Improvement and Packing Problems by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2016 = 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advances in Artificial Intelligence = 17th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2016, Salamanca, Spain, September 14-16, 2016. Proceedings / by: (書目-語言資料,印刷品)

Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Green, Pervasive, and Cloud Computing = 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings / by: (書目-語言資料,印刷品)

Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings / by: (書目-語言資料,印刷品)

Information Security and Cryptology = 11th International Conference, Inscrypt 2015, Beijing, China, November 1-3, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Discrete and Computational Geometry and Graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Theory of Cryptography = 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Research in Computational Molecular Biology = 20th Annual Conference, RECOMB 2016, Santa Monica, CA, USA, April 17-21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Collective Intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Vision and Graphics = International Conference, ICCVG 2016, Warsaw, Poland, September 19-21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computers and Games = 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III / by: (書目-語言資料,印刷品)

Information Security and Privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Intelligence Methods for Bioinformatics and Biostatistics = 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX = Special Issue on Cloud Computing / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV by: (書目-語言資料,印刷品)

Modelling and Simulation for Autonomous Systems = Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cellular Automata = 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Theory and Practice of Natural Computing = 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / by: (書目-語言資料,印刷品)

Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

String Processing and Information Retrieval = 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Mathematical and Engineering Methods in Computer Science = 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / by: (書目-語言資料,印刷品)

Secure IT Systems = 21st Nordic Conference, NordSec 2016, Oulu, Finland, November 2-4, 2016. Proceedings / by: (書目-語言資料,印刷品)

Distributed Computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings / by: (書目-語言資料,印刷品)

Biometric Recognition = 11th Chinese Conference, CCBR 2016, Chengdu, China, October 14-16, 2016, Proceedings / by: (書目-語言資料,印刷品)

Multiple Access Communications = 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Information and Communications Security = 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Information and Database Systems = 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Machine Learning and Data Mining in Pattern Recognition = 12th International Conference, MLDM 2016, New York, NY, USA, July 16-21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing and Security = Second International Conference, ICCCS 2016, Nanjing, China, July 29-31, 2016, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Database Systems for Advanced Applications = DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings / by: (書目-語言資料,印刷品)

Simulation and Synthesis in Medical Imaging = First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / by: (書目-語言資料,印刷品)

OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / by: (書目-語言資料,印刷品)

Privacy Technologies and Policy = 4th Annual Privacy Forum, APF 2016, Frankfurt/Main, Germany, September 7-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advances in Intelligent Data Analysis XV = 15th International Symposium, IDA 2016, Stockholm, Sweden, October 13-15, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advanced Concepts for Intelligent Vision Systems = 17th International Conference, ACIVS 2016, Lecce, Italy, October 24-27, 2016, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Computing Methodologies = 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III / by: (書目-語言資料,印刷品)

Technology and Practice of Passwords = 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings / by: (書目-語言資料,印刷品)

Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / by: (書目-語言資料,印刷品)

Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Web-Age Information Management = WAIM 2016 International Workshops, MWDA, SDMMW, and SemiBDMA, Nanchang, China, June 3-5, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Constructive Side-Channel Analysis and Secure Design = 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Computational Science XXVII by: (書目-語言資料,印刷品)

Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Theory of Cryptography = 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings / by: (書目-語言資料,印刷品)

Privacy Technologies and Policy = Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Models for the Web Graph = 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings / by: (書目-語言資料,印刷品)

Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Artificial Evolution = 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVIII = Special Issue on Database- and Expert-Systems Applications / by: (書目-語言資料,印刷品)

Data Mining and Big Data = First International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings / by: (書目-語言資料,印刷品)

Articulated Motion and Deformable Objects = 9th International Conference, AMDO 2016, Palma de Mallorca, Spain, July 13-15, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computational Collective Intelligence = 8th International Conference, ICCCI 2016, Halkidiki, Greece, September 28-30, 2016. Proceedings, Part II / by: (書目-語言資料,印刷品)

Information and Communications Security = 17th International Conference, ICICS 2015, Beijing, China, December 9-11, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / by: (書目-語言資料,印刷品)

Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Information and Database Systems = 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithmic Aspects in Information and Management = 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings / by: (書目-語言資料,印刷品)

Stabilization, Safety, and Security of Distributed Systems = 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / by: (書目-語言資料,印刷品)

Post-Quantum Cryptography = 7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Multi-disciplinary Trends in Artificial Intelligence = 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings / by: (書目-語言資料,印刷品)

Image and Signal Processing = 7th International Conference, ICISP 2016, Trois-Rivières, QC, Canada, May 30 - June 1, 2016, Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security, Privacy, and Anonymity in Computation, Communication, and Storage = 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Experimental Algorithms = 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Optimization = 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / by: (書目-語言資料,印刷品)

Parallel Problem Solving from Nature – PPSN XIV = 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Advances in Cryptology – CRYPTO 2016 = 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Smart Card Research and Advanced Applications = 14th International Conference, CARDIS 2015, Bochum, Germany, November 4-6, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Solving Large Scale Learning Tasks. Challenges and Algorithms = Essays Dedicated to Katharina Morik on the Occasion of Her 60th Birthday / by: (書目-語言資料,印刷品)

Databases Theory and Applications = 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning, Optimization, and Big Data = Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Discovery Science = 19th International Conference, DS 2016, Bari, Italy, October 19–21, 2016, Proceedings / by: (書目-語言資料,印刷品)

Artificial General Intelligence = 9th International Conference, AGI 2016, New York, NY, USA, July 16-19, 2016, Proceedings / by: (書目-語言資料,印刷品)

The New Codebreakers = Essays Dedicated to David Kahn on the Occasion of His 85th Birthday / by: (書目-語言資料,印刷品)

Provable Security = 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence and Evolutionary Computations in Engineering Systems = Proceedings of ICAIECES 2015 / by: (書目-語言資料,印刷品)

Computational Logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Economics of Grids, Clouds, Systems, and Services = 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Conformal and Probabilistic Prediction with Applications = 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / by: (書目-語言資料,印刷品)

Information Security and Privacy = 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Machine Learning for Health Informatics = State-of-the-Art and Future Challenges / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part III / by: (書目-語言資料,印刷品)

Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / by: (書目-語言資料,印刷品)

Internet of Vehicles – Technologies and Services = Third International Conference, IOV 2016, Nadi, Fiji, December 7–10, 2016, Proceedings / by: (書目-語言資料,印刷品)

Scalable Uncertainty Management = 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / by: (書目-語言資料,印刷品)

Numerical Semigroups and Applications by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers / by: (書目-語言資料,印刷品)

Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / by: (書目-語言資料,印刷品)

AI 2016: Advances in Artificial Intelligence = 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / by: (書目-語言資料,印刷品)

From Animals to Animats 14 = 14th International Conference on Simulation of Adaptive Behavior, SAB 2016, Aberystwyth, UK, August 23-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2016 Workshops = Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Wireless Algorithms, Systems, and Applications = 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

Similarity Search and Applications = 9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Lectures on Convex Optimization by: (書目-語言資料,印刷品)

Advances in Neural Networks – ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computational Intelligence = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II / by: (書目-語言資料,印刷品)

Theory and Practice of Natural Computing = 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Artificial Intelligence XXXV = 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings / by: (書目-語言資料,印刷品)

Applications of Big Data Analytics = Trends, Issues, and Challenges / by: (書目-語言資料,印刷品)

Identifying Patterns in Financial Markets = New Approach Combining Rules Between PIPs and SAX / by: (書目-語言資料,印刷品)

Testing and Tuning Market Trading Systems = Algorithms in C++ / by: (書目-語言資料,印刷品)

Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

The Lattice of Subquasivarieties of a Locally Finite Quasivariety by: (書目-語言資料,印刷品)

Computational Intelligence and Intelligent Systems = 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Intelligent Information and Database Systems = 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Towards Autonomous Robotic Systems = 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings / by: (書目-語言資料,印刷品)

Swarm Intelligence = 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings / by: (書目-語言資料,印刷品)

Good Habits for Great Coding = Improving Programming Skills with Examples in Python / by: (書目-語言資料,印刷品)

Artificial Intelligence = First CCF International Conference, ICAI 2018, Jinan, China, August 9-10, 2018, Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Brain Inspired Cognitive Systems = 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings / by: (書目-語言資料,印刷品)

Handbook of Heuristics by: (書目-語言資料,印刷品)

Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Einführung in die Optimierung = Konzepte, Methoden und Anwendungen / by: (書目-語言資料,印刷品)

Algorithms and Discrete Applied Mathematics = 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Disjunctive Programming by: (書目-語言資料,印刷品)

Artificial Intelligence and Evolutionary Computations in Engineering Systems = Proceedings of ICAIECES 2017 / by: (書目-語言資料,印刷品)

The Discrete Math Workbook = A Companion Manual for Practical Study / by: (書目-語言資料,印刷品)

AI 2018: Advances in Artificial Intelligence = 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computational Logistics = 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Performance Engineering = 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Life and Intelligent Agents = Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithmic Aspects in Information and Management = 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings / by: (書目-語言資料,印刷品)

Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17–19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Applications = ALAP 2018 / by: (書目-語言資料,印刷品)

Theoretical Computer Science = 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Models of Computation for Big Data by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Cohesive Subgraph Computation over Large Sparse Graphs = Algorithms, Data Structures, and Programming Techniques / by: (書目-語言資料,印刷品)

Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Multi-disciplinary Trends in Artificial Intelligence = 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Genetic Programming Theory and Practice XIV by: (書目-語言資料,印刷品)

Algorithms for Functional Programming by: (書目-語言資料,印刷品)

Advances in Soft Computing = 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Artificial Intelligence = 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Algorithmische Mathematik by: (書目-語言資料,印刷品)

Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / by: (書目-語言資料,印刷品)

Graph Drawing and Network Visualization = 26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Web and Internet Economics = 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Cubic Fields with Geometry by: (書目-語言資料,印刷品)

Proceedings of the 2nd Workshop on Communication Security = Cryptography and Physical Layer Security / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Bio-inspired Computing: Theories and Applications = 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Bio-inspired Computing: Theories and Applications = 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Database and Expert Systems Applications = 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Auction Based Resource Provisioning in Cloud Computing by: (書目-語言資料,印刷品)

Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Stability and Control of Nonlinear Time-varying Systems by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Optimization Problems in Graph Theory = In Honor of Gregory Z. Gutin's 60th Birthday / by: (書目-語言資料,印刷品)

Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Arbres pour l’Algorithmique by: (書目-語言資料,印刷品)

Random Numbers and Computers by: (書目-語言資料,印刷品)

KI 2018: Advances in Artificial Intelligence = 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Modern X86 Assembly Language Programming = Covers x86 64-bit, AVX, AVX2, and AVX-512 / by: (書目-語言資料,印刷品)

Computational Thinking = First Algorithms, Then Code / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Intelligent Computing Methodologies = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Parallel Problem Solving from Nature – PPSN XV = 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Combinatorial Optimization = 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Mining Over Air: Wireless Communication Networks Analytics by: (書目-語言資料,印刷品)

Artificial Intelligence = 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings / by: (書目-語言資料,印刷品)

Entwurf und Analyse von Algorithmen = Eine Einführung in die Algorithmik mit Java / by: (書目-語言資料,印刷品)

Guide to Graph Algorithms = Sequential, Parallel and Distributed / by: (書目-語言資料,印刷品)

The Tower of Hanoi – Myths and Maths by: (書目-語言資料,印刷品)

Computational Intelligence and Intelligent Systems = 9th International Symposium, ISICA 2017, Guangzhou, China, November 18–19, 2017, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Functional Analysis and Applications by: (書目-語言資料,印刷品)

Reconfigurable Cryptographic Processor by: (書目-語言資料,印刷品)

Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Wireless Personal Communications = Simulation and Complexity / by: (書目-語言資料,印刷品)

Foundations of Trusted Autonomy by: (書目-語言資料,印刷品)

Tensor Eigenvalues and Their Applications by: (書目-語言資料,印刷品)

Machine Scheduling to Minimize Weighted Completion Times = The Use of the α-point / by: (書目-語言資料,印刷品)

Practical Mathematical Optimization = Basic Optimization Theory and Gradient-Based Algorithms / by: (書目-語言資料,印刷品)

Advances in Artificial Intelligence = 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8–11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Discrete Math for Computer Science = A Problem-Solving Primer / by: (書目-語言資料,印刷品)

Handbook of Floating-Point Arithmetic by: (書目-語言資料,印刷品)

Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / by: (書目-語言資料,印刷品)

Inspired by Nature = Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan by: (書目-語言資料,印刷品)

Introduzione al Progetto di Sistemi Digitali by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Graph-Based Representation and Reasoning = 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz / by: (書目-語言資料,印刷品)

Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Models for the Web Graph = 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings / by: (書目-語言資料,印刷品)

Hybrid Artificial Intelligent Systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Language and Automata Theory and Applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Wireless Algorithms, Systems, and Applications = 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Intelligence and Its Applications = 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings / by: (書目-語言資料,印刷品)

Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence Applications and Innovations = 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece, May 25–27, 2018, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Classes of Directed Graphs by: (書目-語言資料,印刷品)

Introduction to Diagnosis of Active Systems by: (書目-語言資料,印刷品)

Algorithmic Aspects of Cloud Computing = Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Evolutionary Computation in Combinatorial Optimization = 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Genetic Programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Fundiert entscheiden = Ein kleines Handbuch für alle Lebenslagen / by: (書目-語言資料,印刷品)

Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Frontiers in Algorithmics = 12th International Workshop, FAW 2018, Guangzhou, China, May 8–10, 2018, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Intelligent Information and Database Systems = 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Intelligence in Music, Sound, Art and Design = 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computing and Combinatorics = 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings / by: (書目-語言資料,印刷品)

Membrane Computing = 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Elements of Robotics by: (書目-語言資料,印刷品)

Data Mining Algorithms in C++ = Data Patterns and Algorithms for Modern Applications / by: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings / by: (書目-語言資料,印刷品)

Graph Transformation, Specifications, and Nets = In Memory of Hartmut Ehrig / by: (書目-語言資料,印刷品)

Nature-Inspired Algorithms and Applied Optimization by: (書目-語言資料,印刷品)

Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Operational Research = IO2017, Valença, Portugal, June 28-30 / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Genetic Programming Theory and Practice XV by: (書目-語言資料,印刷品)

Biomimetic and Biohybrid Systems = 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Datenstrukturen und Algorithmen by: (書目-語言資料,印刷品)

Concurrency Control in Distributed System Using Mutual Exclusion by: (書目-語言資料,印刷品)

Examining quantum algorithms for quantum image processing by: (書目-語言資料,印刷品)

Multi-objective optimization in theory and practice II = metaheuristic algorithms / by: (書目-語言資料,印刷品)

Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

New Developments and Advances in Robot Control by: (書目-語言資料,印刷品)

Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computing and Combinatorics = 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Evolutionary Computation in Combinatorial Optimization = 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by: (書目-語言資料,印刷品)

Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Hybrid Metaheuristics = 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings / by: (書目-語言資料,印刷品)

Evolutionary Learning: Advances in Theories and Algorithms by: (書目-語言資料,印刷品)

Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning, Optimization, and Data Science = 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Evolutionary Multi-Criterion Optimization = 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Quantum Technology and Optimization Problems = First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings / by: (書目-語言資料,印刷品)

Analysis of Experimental Algorithms = Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computational Techniques for Human Smile Analysis by: (書目-語言資料,印刷品)

Advances in Audio Watermarking Based on Matrix Decomposition by: (書目-語言資料,印刷品)

Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Pattern Recognition and Machine Intelligence = 8th International Conference, PReMI 2019, Tezpur, India, December 17-20, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Data versus Democracy = How Big Data Algorithms Shape Opinions and Alter the Course of History / by: (書目-語言資料,印刷品)

Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Artificial Life and Evolutionary Computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

An Introduction to Kolmogorov Complexity and Its Applications by: (書目-語言資料,印刷品)

Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Genetic Programming = 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Advances in Soft Computing = 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Foundations of Nature-Inspired Algorithms by: (書目-語言資料,印刷品)

Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Intelligent Computing Theories and Application = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI / by: (書目-語言資料,印刷品)

Computational Intelligence Methods for Bioinformatics and Biostatistics = 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Models for the Web Graph = 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Spline and Spline Wavelet Methods with Applications to Signal and Image Processing = Volume III: Selected Topics / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Meshfree Methods for Partial Differential Equations IX by: (書目-語言資料,印刷品)

Operational Research = IO 2018, Aveiro, Portugal, September 5-7 / by: (書目-語言資料,印刷品)

Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings / by: (書目-語言資料,印刷品)

Night Vision Processing and Understanding by: (書目-語言資料,印刷品)

Computational Collective Intelligence = 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Collective Intelligence = 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Iterative Learning Control for Systems with Iteration-Varying Trial Lengths = Synthesis and Analysis / by: (書目-語言資料,印刷品)

Frontiers in Algorithmics = 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings / by: (書目-語言資料,印刷品)

Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

KI 2019: Advances in Artificial Intelligence = 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Advanced Informatics for Computing Research = Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers / by: (書目-語言資料,印刷品)

Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Genetic Programming Theory and Practice XVI by: (書目-語言資料,印刷品)

Understand, Manage, and Prevent Algorithmic Bias = A Guide for Business Users and Data Scientists / by: (書目-語言資料,印刷品)

Data Structures and Algorithms with Scala = A Practitioner's Approach with Emphasis on Functional Programming / by: (書目-語言資料,印刷品)

Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Adaptive Resonance Theory in Social Media Data Clustering = Roles, Methodologies, and Applications / by: (書目-語言資料,印刷品)

Sequential and Parallel Algorithms and Data Structures = The Basic Toolbox / by: (書目-語言資料,印刷品)

Fair Scheduling in High Performance Computing Environments by: (書目-語言資料,印刷品)

Introduction to Digital Systems Design by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Notes from the International Autumn School on Computational Number Theory by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Variable Neighborhood Search = 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Research & Innovation Forum 2019 = Technology, Innovation, Education, and their Social Impact / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Combinatorial Optimization and Applications = 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings / by: (書目-語言資料,印刷品)

Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2017 / by: (書目-語言資料,印刷品)

Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings / by: (書目-語言資料,印刷品)

Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / by: (書目-語言資料,印刷品)

Web and Big Data = Third International Joint Conference, APWeb-WAIM 2019, Chengdu, China, August 1–3, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

First Course in Algorithms Through Puzzles by: (書目-語言資料,印刷品)

Knowledge Science, Engineering and Management = 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Numerical Methods of Mathematics Implemented in Fortran by: (書目-語言資料,印刷品)

Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / by: (書目-語言資料,印刷品)

Business Process Management = 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Biogeography-Based Optimization: Algorithms and Applications by: (書目-語言資料,印刷品)

Theory and Practice of Natural Computing = 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Fractal Dimension for Fractal Structures = With Applications to Finance / by: (書目-語言資料,印刷品)

Web and Internet Economics = 15th International Conference, WINE 2019, New York, NY, USA, December 10–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse / by: (書目-語言資料,印刷品)

Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Deep Learning: Fundamentals, Theory and Applications by: (書目-語言資料,印刷品)

Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings / by: (書目-語言資料,印刷品)

Nonlinear Combinatorial Optimization by: (書目-語言資料,印刷品)

Knowledge Science, Engineering and Management = 12th International Conference, KSEM 2019, Athens, Greece, August 28–30, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Soft Computing in Data Analytics = Proceedings of International Conference on SCDA 2018 / by: (書目-語言資料,印刷品)

Mathematics and Computation in Music = 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computational Logistics = 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information and Software Technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Molecular Logic and Computational Synthetic Biology = First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by: (書目-語言資料,印刷品)

A Statistical Mechanical Interpretation of Algorithmic Information Theory by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Discrete Geometry for Computer Imagery = 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings / by: (書目-語言資料,印刷品)

Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / by: (書目-語言資料,印刷品)

Evolutionary Computation and Complex Networks by: (書目-語言資料,印刷品)

Computergrafik = Band I des Standardwerks Computergrafik und Bildverarbeitung / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computational Intelligence and Intelligent Systems = 10th International Symposium, ISICA 2018, Jiujiang, China, October 13–14, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Theoretical Computer Science = 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computing and Software Science = State of the Art and Perspectives / by: (書目-語言資料,印刷品)

Fast Fourier Transform Algorithms for Parallel Computers by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Algebraic Informatics = 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Predictive Intelligence in Medicine = Second International Workshop, PRIME 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Operations Research and Enterprise Systems = 7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24–26, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Pro TBB = C++ Parallel Programming with Threading Building Blocks / by: (書目-語言資料,印刷品)

Applications of Evolutionary Computation = 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Integer Programming and Combinatorial Optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / by: (書目-語言資料,印刷品)

Graph-Based Representations in Pattern Recognition = 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Advances on Computational Intelligence in Energy = The Applications of Nature-Inspired Metaheuristic Algorithms in Energy / by: (書目-語言資料,印刷品)

Graph Drawing and Network Visualization = 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Agents and Artificial Intelligence = 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Data Structures = 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Computation Theory = 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings / by: (書目-語言資料,印刷品)

Algorithmic Aspects in Information and Management = 13th International Conference, AAIM 2019, Beijing, China, August 6–8, 2019, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Deep Reinforcement Learning = Frontiers of Artificial Intelligence / by: (書目-語言資料,印刷品)

Artificial Intelligence and Security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings / by: (書目-語言資料,印刷品)

Distributed Real-Time Systems = Theory and Practice / by: (書目-語言資料,印刷品)

Imposing Regulation on Advanced Algorithms by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Metaheuristics for Data Clustering and Image Segmentation by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Artificial Intelligence XXXVI = 39th SGAI International Conference on Artificial Intelligence, AI 2019, Cambridge, UK, December 17–19, 2019, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Approximation and Optimization = Algorithms, Complexity and Applications / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by: (書目-語言資料,印刷品)

High-Performance Computing and Big Data Analysis = Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V / by: (書目-語言資料,印刷品)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Geo-informatics in Sustainable Ecosystem and Society = 6th International Conference, GSES 2018, Handan, China, September 25–26, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Hybrid Artificial Intelligent Systems = 14th International Conference, HAIS 2019, León, Spain, September 4–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

The Developments and the Applications of the Numerical Algorithms in Simulating the Incompressible Magnetohydrodynamics with Complex Boundaries and Free Surfaces by: (書目-語言資料,印刷品)

Information Technology and Applied Mathematics = ICITAM 2017 / by: (書目-語言資料,印刷品)

Genetic Programming Theory and Practice XVII by: (書目-語言資料,印刷品)

Numerical Linear Algebra and Matrix Factorizations by: (書目-語言資料,印刷品)

Swarm Intelligence = 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings / by: (書目-語言資料,印刷品)

Operations Research and Enterprise Systems = 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Handbook of Heuristics by: (書目-語言資料,印刷品)

Algorithmische Informationstheorie = Berechenbarkeit und Komplexität verstehen / by: (書目-語言資料,印刷品)

Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry / by: (書目-語言資料,印刷品)

Introducing Algorithms in C = A Step by Step Guide to Algorithms in C / by: (書目-語言資料,印刷品)

WALCOM: Algorithms and Computation = 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings / by: (書目-語言資料,印刷品)

Applied Nature-Inspired Computing: Algorithms and Case Studies by: (書目-語言資料,印刷品)

Recent Advances in Computational Optimization = Results of the Workshop on “Computational Optimization” and “Numerical Search and Optimization” 2018 / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Introduction to Computational Origami = The World of New Computational Geometry / by: (書目-語言資料,印刷品)

Diagnosis, Fault Detection & Tolerant Control by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Bio-inspired Information and Communication Technologies = 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings / by: (書目-語言資料,印刷品)

The Amazing Journey of Reason = from DNA to Artificial Intelligence / by: (書目-語言資料,印刷品)

Forward Error Correction via Channel Coding by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Nature-Inspired Computation in Navigation and Routing Problems = Algorithms, Methods and Applications / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings / by: (書目-語言資料,印刷品)

Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Data Structures = Foundations and Probabilistic Methods for Design and Analysis / by: (書目-語言資料,印刷品)

Exercises in Numerical Linear Algebra and Matrix Factorizations by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Frontier Applications of Nature Inspired Computation by: (書目-語言資料,印刷品)

Serious Games = Joint International Conference, JCSG 2020, Stoke-on-Trent, UK, November 19–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

String Algorithms in C = Efficient Text Representation and Search / by: (書目-語言資料,印刷品)

Recent Advances on Memetic Algorithms and its Applications in Image Processing by: (書目-語言資料,印刷品)

The Discrete Math Workbook = A Companion Manual Using Python / by: (書目-語言資料,印刷品)

The Amazing World of Quantum Computing by: (書目-語言資料,印刷品)

Advances in Computing and Intelligent Systems = Proceedings of ICACM 2019 / by: (書目-語言資料,印刷品)

Artificial Evolution = 14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29–30, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Optimal Social Influence by: (書目-語言資料,印刷品)

Language and Automata Theory and Applications = 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings / by: (書目-語言資料,印刷品)

Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings / by: (書目-語言資料,印刷品)

Elderly Health Services and Remote Health Monitoring by: (書目-語言資料,印刷品)

Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings / by: (書目-語言資料,印刷品)

Decision and Control in Hybrid Wind Farms by: (書目-語言資料,印刷品)

Statistical Signal Processing = Frequency Estimation / by: (書目-語言資料,印刷品)

Codeless Data Structures and Algorithms = Learn DSA Without Writing a Single Line of Code / by: (書目-語言資料,印刷品)

Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Large-Scale Scientific Computing = 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Application and Theory of Petri Nets and Concurrency = 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / by: (書目-語言資料,印刷品)

Aerospace System Analysis and Optimization in Uncertainty by: (書目-語言資料,印刷品)

Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

New Trends in Robot Control by: (書目-語言資料,印刷品)

Forecasting and Assessing Risk of Individual Electricity Peaks by: (書目-語言資料,印刷品)

Discrete Cuckoo Search for Combinatorial Optimization by: (書目-語言資料,印刷品)

Time-Dependent Path Scheduling = Algorithmic Minimization of Walking Time at the Moving Assembly Line / by: (書目-語言資料,印刷品)

Guide to Competitive Programming = Learning and Improving Algorithms Through Contests / by: (書目-語言資料,印刷品)

Mathematik für Ingenieure = Ein anwendungsorientiertes Lehrbuch / by: (書目-語言資料,印刷品)

Advanced Techniques for Audio Watermarking by: (書目-語言資料,印刷品)

Complexity and Approximation = In Memory of Ker-I Ko / by: (書目-語言資料,印刷品)

Ein szenarienadaptiver Bewegungsalgorithmus für die Längsbewegung eines vollbeweglichen Fahrsimulators by: (書目-語言資料,印刷品)

Optimization in Machine Learning and Applications by: (書目-語言資料,印刷品)

QoS Routing Algorithms for Wireless Sensor Networks by: (書目-語言資料,印刷品)

Combinatorial Optimization = 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Bildverarbeitung = Band II des Standardwerks Computergrafik und Bildverarbeitung / by: (書目-語言資料,印刷品)

Bio-inspired Computing: Theories and Applications = 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Fractional Fourier Transform Techniques for Speech Enhancement by: (書目-語言資料,印刷品)

Applications of Firefly Algorithm and its Variants = Case Studies and New Developments / by: (書目-語言資料,印刷品)

Treewidth, Kernels, and Algorithms = Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Integrated Optimization in Public Transport Planning by: (書目-語言資料,印刷品)

Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Logistics = 11th International Conference, ICCL 2020, Enschede, The Netherlands, September 28–30, 2020, Proceedings / by: (書目-語言資料,印刷品)

Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Neural Networks – ISNN 2020 = 17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4–6, 2020, Proceedings / by: (書目-語言資料,印刷品)

Numerical Semigroups and Applications by: (書目-語言資料,印刷品)

The Algorithm Design Manual by: (書目-語言資料,印刷品)

Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Models of Computation = 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Computing Theories and Application = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Skew PBW Extensions = Ring and Module-theoretic Properties, Matrix and Gröbner Methods, and Applications / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Web and Internet Economics = 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

User-Driven Applications for Research and Science = Building Programs for Fields with Open Scenarios and Unpredictable User Actions / by: (書目-語言資料,印刷品)

Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Nonsequential and distributed programming with Go : = synchronization of concurrent processes: communication - cooperation - competition / by: (書目-語言資料,印刷品)

Computational methods and algorithms for medicine and optimized clinical practice by: (書目-語言資料,印刷品)

Algorithms for big data by: (書目-語言資料,印刷品)

Multimodal scene understanding = algorithms, applications and deep learning / by: (書目-語言資料,印刷品)

The unsupervised learning workshop / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by: (書目-語言資料,印刷品)

Applications of Bat Algorithm and its Variants by: (書目-語言資料,印刷品)

Nature-Inspired Computing for Smart Application Design by: (書目-語言資料,印刷品)

Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings / by: (書目-語言資料,印刷品)

Proceedings of International Conference on Trends in Computational and Cognitive Engineering = TCCE 2019 / by: (書目-語言資料,印刷品)

Arithmetic and Algebraic Circuits by: (書目-語言資料,印刷品)

Text Segmentation and Recognition for Enhanced Image Spam Detection = An Integrated Approach / by: (書目-語言資料,印刷品)

Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / by: (書目-語言資料,印刷品)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Evolutionary Computing and Mobile Sustainable Networks = Proceedings of ICECMSN 2020 / by: (書目-語言資料,印刷品)

Intelligent Algorithms for Analysis and Control of Dynamical Systems by: (書目-語言資料,印刷品)

Transactions on Computational Science XXXVIII by: (書目-語言資料,印刷品)

How Algorithms Create and Prevent Fake News = Exploring the Impacts of Social Media, Deepfakes, GPT-3, and More / by: (書目-語言資料,印刷品)

Computer Algebra = An Algorithm-Oriented Introduction / by: (書目-語言資料,印刷品)

Applications of Cuckoo Search Algorithm and its Variants by: (書目-語言資料,印刷品)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Principles of High-Performance Processor Design = For High Performance Computing, Deep Neural Networks and Data Science / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Introduction to Computational Thinking = Problem Solving, Algorithms, Data Structures, and More / by: (書目-語言資料,印刷品)

Bio-inspired Algorithms for Data Streaming and Visualization, Big Data Management, and Fog Computing by: (書目-語言資料,印刷品)

Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings / by: (書目-語言資料,印刷品)

Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Applications of Flower Pollination Algorithm and its Variants by: (書目-語言資料,印刷品)

Cluster Analysis and Applications by: (書目-語言資料,印刷品)

Proceedings of 6th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2020, Istanbul / by: (書目-語言資料,印刷品)

Algorithm Portfolios = Advances, Applications, and Challenges / by: (書目-語言資料,印刷品)

Rosenbrock—Wanner–Type Methods = Theory and Applications / by: (書目-語言資料,印刷品)

Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings / by: (書目-語言資料,印刷品)

Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2019 / by: (書目-語言資料,印刷品)

Nature-Inspired Metaheuristic Algorithms for Engineering Optimization Applications by: (書目-語言資料,印刷品)

The Magic Ring = Systems Thinking Approach to Control Systems / by: (書目-語言資料,印刷品)

Constructive Fractional Analysis with Applications by: (書目-語言資料,印刷品)

Bio-Inspired Computing: Theories and Applications = 15th International Conference, BIC-TA 2020, Qingdao, China, October 23-25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Analysis of Images, Social Networks and Texts = 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Structural, Syntactic, and Statistical Pattern Recognition = Joint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Emerging Trends in Sliding Mode Control = Theory and Application / by: (書目-語言資料,印刷品)

An Invitation to Analytic Combinatorics = From One to Several Variables / by: (書目-語言資料,印刷品)

Trustworthy AI - Integrating Learning, Optimization and Reasoning = First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Intelligent Data Analysis XIX = 19th International Symposium on Intelligent Data Analysis, IDA 2021, Porto, Portugal, April 26–28, 2021, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (書目-語言資料,印刷品)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithmen und Datenstrukturen = Grundlagen und probabilistische Methoden für den Entwurf und die Analyse / by: (書目-語言資料,印刷品)

Mathematical Optimization Theory and Operations Research: Recent Trends = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

An Introduction to Machine Learning by: (書目-語言資料,印刷品)

Nonsequential and Distributed Programming with Go = Synchronization of Concurrent Processes: Communication - Cooperation - Competition / by: (書目-語言資料,印刷品)

Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Knowledge Science, Engineering and Management = 14th International Conference, KSEM 2021, Tokyo, Japan, August 14–16, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Topological Methods in Data Analysis and Visualization VI = Theory, Applications, and Software / by: (書目-語言資料,印刷品)

Research and Innovation Forum 2020 = Disruptive Technologies in Times of Change / by: (書目-語言資料,印刷品)

Matheuristics = Algorithms and Implementations / by: (書目-語言資料,印刷品)

Programming Algorithms in Lisp = Writing Efficient Programs with Examples in ANSI Common Lisp / by: (書目-語言資料,印刷品)

Evolutionary Data Clustering: Algorithms and Applications by: (書目-語言資料,印刷品)

Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Applied Optimization and Swarm Intelligence by: (書目-語言資料,印刷品)

Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 / by: (書目-語言資料,印刷品)

Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Quantum Computing = Theory and Practice / by: (書目-語言資料,印刷品)

Algorithms on Trees and Graphs = With Python Code / by: (書目-語言資料,印刷品)

Database and Expert Systems Applications - DEXA 2021 Workshops = BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27–30, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Knowledge Discovery and Data Mining = 25th Pacific-Asia Conference, PAKDD 2021, Virtual Event, May 11–14, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Soft Computing for Problem Solving = Proceedings of SocProS 2020, Volume 1 / by: (書目-語言資料,印刷品)

Soft Computing for Problem Solving = Proceedings of SocProS 2020, Volume 2 / by: (書目-語言資料,印刷品)

Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Monte Carlo Search = First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Cost Sharing, Capacity Investment and Pricing in Networks by: (書目-語言資料,印刷品)

Abenteuer Informatik = IT zum Anfassen für alle von 9 bis 99 – vom Navi bis Social Media / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Logistics and Supply Chain Management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Mathematical Control and Numerical Applications = JANO13, Khouribga, Morocco, February 22–24, 2021 / by: (書目-語言資料,印刷品)

Operational Research = IO 2019, Tomar, Portugal, July 22–24 / by: (書目-語言資料,印刷品)

Algebraic Graph Algorithms = A Practical Guide Using Python / by: (書目-語言資料,印刷品)

Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Artificial Intelligence XXXVIII = 41st SGAI International Conference on Artificial Intelligence, AI 2021, Cambridge, UK, December 14–16, 2021, Proceedings / by: (書目-語言資料,印刷品)

Bio-Inspired Information and Communications Technologies = 13th EAI International Conference, BICT 2021, Virtual Event, September 1–2, 2021, Proceedings / by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Psychopharmacology algorithms = clinical guidance from the Psychopharmacology Algorithm Project at the Harvard South Shore Psychiatry Residency Program / by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Computation Theory = 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings / by: (書目-語言資料,印刷品)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Evolutionary Multi-Criterion Optimization = 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Connecting with Computability = 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings / by: (書目-語言資料,印刷品)

Variable Neighborhood Search = 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Data Structures = 17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings / by: (書目-語言資料,印刷品)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Logistics = 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Discrete Applied Mathematics = 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings / by: (書目-語言資料,印刷品)

Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Complexity = 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Graph Transformation = 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Optimization Theory and Operations Research = 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Application and Theory of Petri Nets and Concurrency = 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Combinatorial Algorithms = 32nd International Workshop, IWOCA 2021, Ottawa, ON, Canada, July 5–7, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computing and Combinatorics = 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Elements of the General Theory of Optimal Algorithms by: (書目-語言資料,印刷品)

Introduction to Computation = Haskell, Logic and Automata / by: (書目-語言資料,印刷品)

Super Resolution Laser Thermography using Spatially and Temporally Structured Heating = = Superauflosende Laserthermografie mit raumlich und zeitlich strukturierter Heizung. by: (書目-語言資料,印刷品)

Localization for Autonomous Navigation Systems in Large-Scale Outdoor Environments. by: (書目-語言資料,印刷品)

Proceedings of 7th International Conference on Harmony Search, Soft Computing and Applications = ICHSA 2022 / by: (書目-語言資料,印刷品)

Business Process Management = 20th International Conference, BPM 2022, Münster, Germany, September 11–16, 2022, Proceedings / by: (書目-語言資料,印刷品)

Algorithmic Game Theory = 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings / by: (書目-語言資料,印刷品)

Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2021 / by: (書目-語言資料,印刷品)

Locating Eigenvalues in Graphs = Algorithms and Applications / by: (書目-語言資料,印刷品)

Numerical Methods for Mixed Finite Element Problems = Applications to Incompressible Materials and Contact Problems / by: (書目-語言資料,印刷品)

Introduction to Combinatorial Optimization by: (書目-語言資料,印刷品)

Mathematical Optimization Theory and Operations Research: Recent Trends = 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Graph-Theoretic Concepts in Computer Science = 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Feedback Arc Set = A History of the Problem and Algorithms / by: (書目-語言資料,印刷品)

Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / by: (書目-語言資料,印刷品)

Modern Numerical Nonlinear Optimization by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 20th International Workshop, WAOA 2022, Potsdam, Germany, September 8–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Online Capacity Provisioning for Energy-Efficient Datacenters by: (書目-語言資料,印刷品)

MCMC from Scratch = A Practical Introduction to Markov Chain Monte Carlo / by: (書目-語言資料,印刷品)

String Processing and Information Retrieval = 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings / by: (書目-語言資料,印刷品)

Limiting Modes of Aircraft Flight = Methods, Algorithms and Results / by: (書目-語言資料,印刷品)

Optimal Fractional-order Predictive PI Controllers = For Process Control Applications with Additional Filtering / by: (書目-語言資料,印刷品)

Rotating Machinery, Optical Methods & Scanning LDV Methods, Volume 6 = Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 / by: (書目-語言資料,印刷品)

Netzbasierte Ansätze zur natürlichsprachlichen Informationsverarbeitung by: (書目-語言資料,印刷品)

Bioinspired Optimization Methods and Their Applications = 10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17–18, 2022, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Optimization = 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers / by: (書目-語言資料,印刷品)

Web and Internet Economics = 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings / by: (書目-語言資料,印刷品)

Algorithmics of Wireless Networks = 18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, Potsdam, Germany, September 8–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

Algorithmic Learning in a Random World by: (書目-語言資料,印刷品)

Modeling Reality with Mathematics by: (書目-語言資料,印刷品)

Machine Intelligence and Smart Systems = Proceedings of MISS 2021 / by: (書目-語言資料,印刷品)

Combinatorial Algorithms = 33rd International Workshop, IWOCA 2022, Trier, Germany, June 7–9, 2022, Proceedings / by: (書目-語言資料,印刷品)

The Semantic Web = 19th International Conference, ESWC 2022, Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings / by: (書目-語言資料,印刷品)

Biologically Inspired Techniques in Many Criteria Decision Making = Proceedings of BITMDM 2021 / by: (書目-語言資料,印刷品)

Integration in Finite Terms: Fundamental Sources by: (書目-語言資料,印刷品)

Principles of Innovative Design Thinking = Synergy of Extenics with Axiomatic Design Theory / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 29th International Colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings / by: (書目-語言資料,印刷品)

Revolutions and Revelations in Computability = 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings / by: (書目-語言資料,印刷品)

Graph Transformation = 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7–8, 2022, Proceedings / by: (書目-語言資料,印刷品)

Algorithms for a New World = When Big Data and Mathematical Models Meet / by: (書目-語言資料,印刷品)

Generic Data Structures and Algorithms in Go = An Applied Approach Using Concurrency, Genericity and Heuristics / by: (書目-語言資料,印刷品)

The Quadratic Unconstrained Binary Optimization Problem = Theory, Algorithms, and Applications / by: (書目-語言資料,印刷品)

Frontiers in Nature-Inspired Industrial Optimization by: (書目-語言資料,印刷品)

Proceedings of International Conference on Computational Intelligence = ICCI 2020 / by: (書目-語言資料,印刷品)

Comparative Genomics = 19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20–21, 2022, Proceedings / by: (書目-語言資料,印刷品)

Frontiers of Algorithmics = International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings / by: (書目-語言資料,印刷品)

Integrated Uncertainty in Knowledge Modelling and Decision Making = 9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18–19, 2022, Proceedings / by: (書目-語言資料,印刷品)

Computer Aided Verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Machines, Computations, and Universality = 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / by: (書目-語言資料,印刷品)

Geometric Challenges in Isogeometric Analysis by: (書目-語言資料,印刷品)

Computer Algebra in Scientific Computing = 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings / by: (書目-語言資料,印刷品)

Property Testing = Problems and Techniques / by: (書目-語言資料,印刷品)

Exact and Heuristic Methods in Combinatorial Optimization = A Study on the Linear Ordering and the Maximum Diversity Problem / by: (書目-語言資料,印刷品)

Sublinear Computation Paradigm = Algorithmic Revolution in the Big Data Era / by: (書目-語言資料,印刷品)

Soft Computing in Interdisciplinary Sciences by: (書目-語言資料,印刷品)

The BOXES Methodology Second Edition = Black Box Control of Ill-defined Systems / by: (書目-語言資料,印刷品)

Metrics That Make a Difference = How to Analyze Change and Error / by: (書目-語言資料,印刷品)

Recent Advances in Computational Optimization = Results of the Workshop on Computational Optimization WCO 2020 / by: (書目-語言資料,印刷品)

Evolutionary Computation in Combinatorial Optimization = 22nd European Conference, EvoCOP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (書目-語言資料,印刷品)

Natürliche Kognition technologisch begreifen = Möglichkeiten und Grenzen der KI Forschung / by: (書目-語言資料,印刷品)

Algorithmische Mathematik = Graphen, Numerik und Probabilistik / by: (書目-語言資料,印刷品)

Cryptography and Cryptanalysis in Java = Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10 / by: (書目-語言資料,印刷品)

Genetic Programming = 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings / by: (書目-語言資料,印刷品)

Web and Internet Economics = 17th International Conference, WINE 2021, Potsdam, Germany, December 14–17, 2021, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Discrete Applied Mathematics = 8th International Conference, CALDAM 2022, Puducherry, India, February 10–12, 2022, Proceedings / by: (書目-語言資料,印刷品)

Differential Evolution: From Theory to Practice by: (書目-語言資料,印刷品)

Machine Learning, Optimization, and Data Science = 7th International Conference, LOD 2021, Grasmere, UK, October 4–8, 2021, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Genetic Programming Theory and Practice XVIII by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 21st International Conference, ICA3PP 2021, Virtual Event, December 3–5, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

A Guide to Graph Algorithms by: (書目-語言資料,印刷品)

Advances in Knowledge Discovery and Data Mining = 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16–19, 2022, Proceedings, Part I / by: (書目-語言資料,印刷品)

Geometry of the phase retrieval problem = graveyard of algorithms / by: (書目-語言資料,印刷品)

How to design optimization algorithms by applying natural behavioral patterns by: (書目-語言資料,印刷品)

Cognitive behavior and human computer interaction based on machine learning algorithms / by: (書目-語言資料,印刷品)

Algorithmic learning in a random world by: (書目-語言資料,印刷品)

Modeling reality with mathematics by: (書目-語言資料,印刷品)

FIDO2/WebAuthn Implementation and Analysis in Terms of PSD2. by: (書目-語言資料,印刷品)

Advanced Interference Mitigation Techniques for Cellular-Connected Drone Communication. by: (書目-語言資料,印刷品)

Drone and Satellite Remote Sensing for Shallow Water Bathymetry Mapping and Feature Detection = = שימוש בחישה מרחוק מלויינים ורחפנים למיפוי קרקעית הים וזיהו עצמים בקרבת החוף. by: (書目-語言資料,印刷品)

GAN-Based Super-Resolution and Segmentation of Retinal Layers in Optical Coherence Tomography Scans. by: (書目-語言資料,印刷品)

Simultaneous Short-Term Decision-Making in Mining Complexes Integrating Geometallurgy Assisted By Production Data. by: (書目-語言資料,印刷品)

Krylov subspace methods for linear systems = principles of algorithms / by: (書目-語言資料,印刷品)

Applied genetic algorithm and its variants = case studies and new developments / by: (書目-語言資料,印刷品)

Algorithms for satellite orbital dynamics by: (書目-語言資料,印刷品)

Introduction to datafication = implement datafication using AI and ML algorithms / by: (書目-語言資料,印刷品)

Applied learning algorithms for intelligent IoT by: (書目-語言資料,印刷品)

Machine learning : = a constraint-based approach. by: (書目-語言資料,印刷品)

Verified signal processing algorithms in Matlab and C / by: (書目-語言資料,印刷品)

Parallel operator splitting algorithms with application to imaging inverse problems by: (書目-語言資料,印刷品)

Artificial evolution = 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022 : revised selected papers / by: (書目-語言資料,印刷品)

Implementation and application of automata = 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023 : proceedings / by: (書目-語言資料,印刷品)

Graph-based representations in pattern recognition = 13th IAPR-TC-15 International Workshop, GbRPR 2023, Vietri sul Mare, Italy, September 6-8, 2023 : proceedings / by: (書目-語言資料,印刷品)

Handling uncertainty in artificial intelligence by: (書目-語言資料,印刷品)

Autonomous driving algorithms and its IC design by: (書目-語言資料,印刷品)

String processing and information retrieval = 30th International Symposium, SPIRE 2023, Palermo, Italy, September 26-28, 2023 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification = 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings / by: (書目-語言資料,印刷品)

Modern X86 assembly language programming = covers X86 64-bit, AVX, AVX2, and AVX-512 / by: (書目-語言資料,印刷品)

Machine learning contests = a guidebook / by: (書目-語言資料,印刷品)

Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry / by: (書目-語言資料,印刷品)

Visual object tracking using deep learning / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Fourth International Conference on Image Processing and Capsule Networks = ICIPCN 2023 / by: (書目-語言資料,印刷品)

Derivative-free DIRECT-type global optimization = applications and software / by: (書目-語言資料,印刷品)

Discrete diversity and dispersion maximization = a tutorial on metaheuristic optimization / by: (書目-語言資料,印刷品)

ChatGPT and Bard for business automation = achieving AI-driven growth / by: (書目-語言資料,印刷品)

A nature-inspired approach to cryptology by: (書目-語言資料,印刷品)

A course in Python = the core of the language / by: (書目-語言資料,印刷品)

B-DDS: Broker Embedded Data Distribution Service. by: (書目-語言資料,印刷品)

Permutation group algorithms / by: (書目-語言資料,印刷品)

Understanding machine learning : = from theory to algorithms / by: (書目-語言資料,印刷品)

Geometry of the phase retrieval problem : = graveyard of algorithms / by: (書目-語言資料,印刷品)

Design and analysis of algorithms : = a contemporary perspective / by: (書目-語言資料,印刷品)

Gillespie algorithms for stochastic multiagent dynamics in populations and networks / by: (書目-語言資料,印刷品)

Proceedings of the 12th International Conference on Soft Computing for Problem Solving = SocProS 2023.. Volume 1 / by: (書目-語言資料,印刷品)

Efficient online learning algorithms for Total Least Square problems by: (書目-語言資料,印刷品)

Basics of programming and algorithms, principles and applications by: (書目-語言資料,印刷品)

Cryptography and cryptanalysis in Java = creating and programming advanced algorithms with Java SE 17 LTS and Jakarta EE 11 / by: (書目-語言資料,印刷品)

Guide to competitive programming = learning and improving algorithms through contests / by: (書目-語言資料,印刷品)

Implementation and application of automata = 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024 : proceedings / by: (書目-語言資料,印刷品)

Introduction to computational mathematics = an outline / by: (書目-語言資料,印刷品)

Practicing trustworthy machine learning : = consistent, transparent, and fair AI pipelines / by: (書目-語言資料,印刷品)

Prediction of Outcomes in Higher Courts of Turkey Using Natural Language Processing = = Dogal Dil Isleme Yontemleri Kullanilarak Turk Yuksek Mahkemelerinde Karar Tahmini. by: (書目-語言資料,手稿)

Improving Deep Learning-Based Facade Visual Inspection : = A Data Quality Perspective. by: (書目-語言資料,手稿)

Computational Methods for Multi-Scale Biological Imaging and Modeling. by: (書目-語言資料,手稿)

Data-Driven Safety & Security of Cyberphysical Systems. by: (書目-語言資料,手稿)

The Development of Computing Tools to Approximate Doubly Curved Surfaces with Quadrilateral Planar Facets = = Entwicklung von Computertools zur Flachenapproximation mit planaren Quad-Facetten. by: (書目-語言資料,手稿)

The Effects of Stimulus Type On Interpersonal and Intrapersonal Speech Perception In Typical Adults. by: (書目-語言資料,手稿)

Privacy-Fairness : = It's Complicated : An Unavoidable Unfairness of Differentially Privacy on Machine Learning Systems. by: (書目-語言資料,手稿)

Uncertainty and Risk Aware Controls for Portfolios of Buildings with Thermal Energy Storage. by: (書目-語言資料,手稿)

Water Animation Using Coupled SPH and Wave Equations. by: (書目-語言資料,手稿)

Multi-Agent Visual Slam. by: (書目-語言資料,手稿)

B-DDS : = Broker Embedded Data Distribution Service. by: (書目-語言資料,手稿)

Examining the Perceptions of Fake News, Verification, and Notices on Twitter. by: (書目-語言資料,手稿)

How Digital Platforms Impact the Film Industry in Turkey? = = Dijital Platformlar Turkiye'de Sinema Sektorunu Nasil Etkiliyor?. by: (書目-語言資料,手稿)

Radiation Source Localization Using the Red-Pitaya STEMLab Data Acquisition System. by: (書目-語言資料,手稿)

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: (書目-語言資料,手稿)

Generative Neural Network-Based Defense Methods Against Cyberattacks for Connected and Autonomous Vehicles. by: (書目-語言資料,手稿)

A Framework for Signal Decomposition with Applications to Solar Energy Generation. by: (書目-語言資料,手稿)

A Discrete Adjoint Framework for Turbulent Hypersonic Flows in Thermochemical Nonequilibrium. by: (書目-語言資料,手稿)

Lifelong, Learning-Augmented Robot Navigation. by: (書目-語言資料,手稿)

Optimal Motion Strategies with Logic-Based Constraints for Ocean Vehicles. by: (書目-語言資料,手稿)

Semi-Cooperative Planning in Mixed Human-Autonomous Environments. by: (書目-語言資料,手稿)

Composable Optimization for Robotics Simulation and Control. by: (書目-語言資料,手稿)

Planning algorithms by: (書目-語言資料,印刷品)

Kernel methods for pattern analysis by: (書目-語言資料,印刷品)

Graph-theoretic techniques for web content mining by: (書目-語言資料,印刷品)

Elementary numerical mathematics for programmers and engineers by: (書目-語言資料,印刷品)

Digital twins and healthcare = trends, techniques, and challenges / by: (書目-語言資料,印刷品)

Genetic algorithms and genetic programming = modern concepts and practical applications / by: (書目-語言資料,印刷品)

Numerical methods, algorithms, and tools in CÄ by: (書目-語言資料,印刷品)

Handbook of chemoinformatics algorithms by: (書目-語言資料,印刷品)

Graph-based representations in pattern recognition = 14th IAPR-TC-15 International Workshop, GbRPR 2025, Caen, France, June 25-27, 2025 : proceedings / by: (書目-語言資料,印刷品)

Computational complexity and local algorithms = on the interplay between randomness and computation / by: (書目-語言資料,印刷品)

Combinatorics on words = 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025 : proceedings / by: (書目-語言資料,印刷品)

Nonsequential and distributed programming with Go = synchronization of concurrent processes / by: (書目-語言資料,印刷品)

Numbers and computers by: (書目-語言資料,印刷品)

String processing and information retrieval = 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024 : proceedings / by: (書目-語言資料,印刷品)

Recent advances in the message passing interface = 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024 : proceedings / by: (書目-語言資料,印刷品)

Runtime verification = 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings / by: (書目-語言資料,印刷品)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part I / by: (書目-語言資料,印刷品)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part II / by: (書目-語言資料,印刷品)

Numerical computations = theory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.. Part III / by: (書目-語言資料,印刷品)

Algorithmic foundations for social advancement = recent progress on theory and practice / by: (書目-語言資料,印刷品)

Number-theoretic methods in cryptology = 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024 : revised selected papers / by: (書目-語言資料,印刷品)

Recent advances in computational optimization = results of the Workshop on Computational Optimization WCO 2023 / by: (書目-語言資料,印刷品)

Control strategies for non-minimum phase systems by: (書目-語言資料,印刷品)

Algorithms and computational theory for engineering applications by: (書目-語言資料,印刷品)

Applied quantum computing and cryptography = challenges, opportunities, and performance analysis for algorithms / by: (書目-語言資料,印刷品)

Today's TBB = C++ parallel programming with threading building blocks / by: (書目-語言資料,印刷品)

Guide to distributed algorithms = design, analysis and implementation using Python / by: (書目-語言資料,印刷品)

Applied algorithms = second International Conference, ICAA 2025, Kolkata, India, January 8-10, 2025 : proceedings / by: (書目-語言資料,印刷品)

Computational visual media = 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Computational visual media = 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computational visual media = 13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025 : proceedings.. Part III / by: (書目-語言資料,印刷品)

Convex optimization -- theory, algorithms and applications = RTCOTAA-2020, Patna, India, October 29-31 / by: (書目-語言資料,印刷品)

Introduction to graph convexity = an algorithmic approach / by: (書目-語言資料,印刷品)

Evolutionary artificial intelligence = proceedings of ICEAI 2024 / by: (書目-語言資料,印刷品)

Computing Technologies and Applied Mathematics = CTAM 2024, Komsomolsk-na-Amure, Russia, October 07-11, 2024 / by: (書目-語言資料,印刷品)

Combinatorics, graph theory and computing = SEICCGTC 2023, Boca Raton, USA, March 6-10 / by: (書目-語言資料,印刷品)

Fundamentals of optimization techniques with algorithms by: (書目-語言資料,印刷品)