Computer science - Mathematics.

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

Foundation mathematics for computer science = a visual approach / by: (書目-語言資料,印刷品)

Randomness and complexity = from Leibniz to Chaitin / by: (書目-語言資料,印刷品)

TestGoal = Result-Driven Testing / by: (書目-語言資料,印刷品)

Comprehensive Mathematics for Computer Scientists 2 = Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus / by: (書目-語言資料,印刷品)

Efficient solving of large arithmetic constraint systems with complex Boolean structure = proof engines for the analysis of hybrid discrete-continuous systems / by: (書目-語言資料,印刷品)

Analysis for computer scientists = foundations, methods, and algorithms / by: (書目-語言資料,印刷品)

Logic and games on automatic structures = playing with quantifiers and decompositions / by: (書目-語言資料,印刷品)

Charts for prediction and chance = dazzling diagrams on your PC / by: (書目-語言資料,印刷品)

Fundamentals of scientific computing by: (書目-語言資料,印刷品)

The Lanczos method : = evolution and application / by: (書目-語言資料,印刷品)

Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement / by: (書目-語言資料,印刷品)

Euclidean shortest paths = exact or approximate algorithms / by: (書目-語言資料,印刷品)

Mobility in process calculi and natural computing by: (書目-語言資料,印刷品)

Extremal combinatorics = with applications in computer science / by: (書目-語言資料,印刷品)

Discrete mathematics / by: (書目-語言資料,印刷品)

Knowing, reasoning, and acting : = essays in honour of Hector J. Levesque / by: (書目-語言資料,印刷品)

Cryptography and coding = 15th IMA International Conference, IMACC 2015, Oxford, UK, December 15-17, 2015 : proceedings / by: (書目-語言資料,印刷品)

Advances in cryptology - ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.. Part I / by: (書目-語言資料,印刷品)

Advances in cryptology - ASIACRYPT 2015 = 21st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.. Part II / by: (書目-語言資料,印刷品)

Computing the continuous discretely = integer-point enumeration in polyhedra / by: (書目-語言資料,印刷品)

Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings / by: (書目-語言資料,印刷品)

Distributed and sequential algorithms for bioinformatics by: (書目-語言資料,印刷品)

The foundations of computability theory by: (書目-語言資料,印刷品)

Geometric science of information = second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015 : proceedings / by: (書目-語言資料,印刷品)

Higher-order computability by: (書目-語言資料,印刷品)

Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings / by: (書目-語言資料,印刷品)

An introduction to catalan numbers by: (書目-語言資料,印刷品)

Introduction to concurrency theory = transition systems and CCS / by: (書目-語言資料,印刷品)

Learning MATLAB = a problem solving approach / by: (書目-語言資料,印刷品)

The mathematics of medical imaging = a beginner's guide / by: (書目-語言資料,印刷品)

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

Turing's revolution = the impact of his ideas about computability / by: (書目-語言資料,印刷品)

Special topics in mathematics for computer scientists = sets, categories, topologies and measures / by: (書目-語言資料,印刷品)

Stochastic calculus and applications by: (書目-語言資料,印刷品)

Structural information and communication complexity = 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 : post-proceedings / by: (書目-語言資料,印刷品)

Advances in interdisciplinary applied discrete mathematics by: (書目-語言資料,印刷品)

Hybrid algorithms for service, computing and manufacturing systems = routing and scheduling solutions / by: (書目-語言資料,印刷品)

Assignment problems by: (書目-語言資料,印刷品)

Scientific computing with automatic result verification by: (書目-語言資料,印刷品)

Advances in applied mathematics, modeling, and computational science by: (書目-語言資料,印刷品)

Fundamentals of discrete math for computer science = a problem-solving primer / by: (書目-語言資料,印刷品)

Mathematics in computing = an accessible guide to historical, foundational and application contexts / by: (書目-語言資料,印刷品)

Digital functions and data reconstruction = Digital-Discrete Methods / by: (書目-語言資料,印刷品)

Modelling computer systems = mathematics for computer science / by: (書目-語言資料,印刷品)

Mathematics of discrete structures for computer science by: (書目-語言資料,印刷品)

An introduction to modern mathematical computing = with Mathematica / by: (書目-語言資料,印刷品)

Algebra for symbolic computation by: (書目-語言資料,印刷品)

Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (書目-語言資料,印刷品)

Concise computer mathematics = tutorials on theory and problems / by: (書目-語言資料,印刷品)

In search of elegance in the theory and practice of computation = essays dedicated to Peter Buneman / by: (書目-語言資料,印刷品)

Transactions on computational science XX = special issue on Voronoi diagrams and their applications / by: (書目-語言資料,印刷品)

Ricci flow for shape analysis and surface registration = theories, algorithms and applications / by: (書目-語言資料,印刷品)

Fundamentals of parameterized complexity by: (書目-語言資料,印刷品)

Monte Carlo and quasi-Monte Carlo methods 2012 by: (書目-語言資料,印刷品)

A beginner's guide to discrete mathematics by: (書目-語言資料,印刷品)

Numerical and symbolic scientific computing = progress and prospects / by: (書目-語言資料,印刷品)

Foundations of algebraic specification and formal software development by: (書目-語言資料,印刷品)

Rough sets = selected methods and applications in management and engineering / by: (書目-語言資料,印刷品)

Sets, logic and maths for computing by: (書目-語言資料,印刷品)

Applications of algebra to communications, control, and signal processing by: (書目-語言資料,印刷品)

Discrete mathematics = elementary and beyond / by: (書目-語言資料,印刷品)

Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday / by: (書目-語言資料,印刷品)

Sets, Logic and Maths for Computing by: (書目-語言資料,印刷品)

Discrete mathematics / by: (書目-語言資料,印刷品)

Discrete mathematics / by: (書目-語言資料,印刷品)

Proofs, categories and computations : = essays in honor of Grigori Mints / by: (書目-語言資料,印刷品)

Qualitative computing = a computational journey into nonlinearity / by: (書目-語言資料,印刷品)

Discrete mathematics for computer science / by: (書目-語言資料,印刷品)

Alan Turing : = his work and impact / by: (書目-語言資料,印刷品)

3D math primer for graphics and game development by: (書目-語言資料,印刷品)

Alan Turing = his work and impact / by: (書目-語言資料,印刷品)

Linear discrete parabolic problems by: (書目-語言資料,印刷品)

Theory of fuzzy computation by: (書目-語言資料,印刷品)

Advances in research methods for information systems research = data mining, data envelopment analysis, value focused thinking / by: (書目-語言資料,印刷品)

Health care provision and patient mobility = health integration in the European Union / by: (書目-語言資料,印刷品)

Discrete and topological models in molecular biology by: (書目-語言資料,印刷品)

Intelligent routines II = solving linear algebra and differential geometry with Sage / by: (書目-語言資料,印刷品)

Guided self-organization = Inception / by: (書目-語言資料,印刷品)

Practical scientific computing by: (書目-語言資料,印刷品)

Optimization of logistics DUP_1 by: (書目-語言資料,印刷品)

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

Set operads in combinatorics and computer science by: (書目-語言資料,印刷品)

A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains / by: (書目-語言資料,印刷品)

Limits of computation = from a programming perspective / by: (書目-語言資料,印刷品)

Turing computability = theory and applications / by: (書目-語言資料,印刷品)

Dynamics of number systems = computation with arbitrary precision / by: (書目-語言資料,印刷品)

Generalized connectivity of graphs by: (書目-語言資料,印刷品)

Linear algebra for computational sciences and engineering by: (書目-語言資料,印刷品)

Programming for computations - Python = a gentle introduction to numerical simulations with Python / by: (書目-語言資料,印刷品)

Programming for computations - MATLAB/Octave = a gentle introduction to numerical simulations with MATLAB/Octave / by: (書目-語言資料,印刷品)

Concise guide to computing foundations = core concepts and select scientific applications / by: (書目-語言資料,印刷品)

Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications / by: (書目-語言資料,印刷品)

Mathematical analysis and the mathematics of computation by: (書目-語言資料,印刷品)

Cool math for hot music = a first introduction to mathematics for music theorists / by: (書目-語言資料,印刷品)

Music through Fourier space = discrete Fourier transform in music theory / by: (書目-語言資料,印刷品)

All about music = the complete ontology: realities, semiotics, communication, and embodiment / by: (書目-語言資料,印刷品)

Discrete and computational geometry and graphs = 18th Japan Conference, JCDCGG 2015, Kyoto, Japan, September 14-16, 2015 : revised selected papers / by: (書目-語言資料,印刷品)

Aesthetics and neuroscience = scientific and artistic perspectives / by: (書目-語言資料,印刷品)

Discrete calculus = methods for counting / by: (書目-語言資料,印刷品)

Traffic and granular flow '15 by: (書目-語言資料,印刷品)

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

Introduction to morphogenetic computing by: (書目-語言資料,印刷品)

The foundations of computability theory / by: (書目-語言資料,印刷品)

Analysis and applications of Lattice-Boltzmann simulations by: (書目-語言資料,印刷品)

Introduction to lattice theory with computer science applications by: (書目-語言資料,印刷品)

A journey through discrete mathematics = a tribute to Jiri Matousek / by: (書目-語言資料,印刷品)

Scientific computing and algorithms in industrial simulations = projects and products of Fraunhofer SCAI / by: (書目-語言資料,印刷品)

Math for the digital factory by: (書目-語言資料,印刷品)

Linear programming using MATLAB by: (書目-語言資料,印刷品)

Optimization techniques for solving complex problems by: (書目-語言資料,印刷品)

Neighborhood semantics for modal logic by: (書目-語言資料,印刷品)

Scientific computing.. Vol. I,. Linear and nonlinear equations by: (書目-語言資料,印刷品)

Scientific Computing.. Vol. II,. Eigenvalues and optimization by: (書目-語言資料,印刷品)

Introduction to inverse problems for differential equations by: (書目-語言資料,印刷品)

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

The mathematical-function computation handbook = programming using the MathCW portable software library / by: (書目-語言資料,印刷品)

Recent progress and modern challenges in applied mathematics, modeling and computational science by: (書目-語言資料,印刷品)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches by: (書目-語言資料,印刷品)

Clinical rehabilitation experience utilizing serious games = rehabilitation technology and a technical concept for health data collection / by: (書目-語言資料,印刷品)

Big data in engineering applications by: (書目-語言資料,印刷品)

An excursion through elementary mathematics.. Volume III,. Discrete mathematics and polynomial algebra by: (書目-語言資料,印刷品)

Machine scheduling to minimize weighted completion times = the use of the α-point / by: (書目-語言資料,印刷品)

Fundamentals of discrete math for computer science = a problem-solving primer / by: (書目-語言資料,印刷品)

Proofs from THE BOOK by: (書目-語言資料,印刷品)

The discrete math workbook = a companion manual for practical study / by: (書目-語言資料,印刷品)

Modern discrete mathematics and analysis = with applications in cryptography, information systems and modeling / by: (書目-語言資料,印刷品)

Imaginary mathematics for computer science by: (書目-語言資料,印刷品)

Scientific computing = a historical perspective / by: (書目-語言資料,印刷品)

Mathematics and computing = ICMC 2018, Varanasi, India, January 9-11, Selected Contributions / by: (書目-語言資料,印刷品)

Analysis for computer scientists = foundations, methods, and algorithms / by: (書目-語言資料,印刷品)

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

Mathematics++ : = selected topics beyond the basic courses / by: (書目-語言資料,印刷品)

ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday / by: (書目-語言資料,印刷品)

Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday / by: (書目-語言資料,印刷品)

Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings / by: (書目-語言資料,印刷品)

Innovative algorithms and analysis by: (書目-語言資料,印刷品)

Numerical methods of mathematics implemented in Fortran by: (書目-語言資料,印刷品)

Linear algebra for computational sciences and engineering by: (書目-語言資料,印刷品)

Monte Carlo methods / by: (書目-語言資料,印刷品)

Emergent computation = a festschrift for Selim G. Akl / by: (書目-語言資料,印刷品)

Computational methods in earthquake engineering.. Volume 3 by: (書目-語言資料,印刷品)

Discrete probability models and methods = probability on graphs and trees, Markov chains and random fields, entropy and coding / by: (書目-語言資料,印刷品)

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

Applied logic for computer scientists = computational deduction and formal proofs / by: (書目-語言資料,印刷品)

Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 1 Foundations = A Monograph Based on Articles of the Founding Authors, Reproduced in Full / by: (書目-語言資料,印刷品)