Math Applications in Computer Science.

Newton methods for nonlinear problems = affine invariance and adaptive algorithms / by: (書目-電子資源)

WALCOM = algorithms and computation : 4th international workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010 : proceedings / by: (書目-電子資源)

Handbook of metaheuristics by: (書目-電子資源)

High-performance scientific computing = algorithms and applications / by: (書目-電子資源)

Mathematics of surfaces XIII = 13th IMA International Conference York, UK, September 7-9, 2009 : proceedings / by: (書目-電子資源)

Modeling and simulation in engineering, economics and management = international conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012 : proceedings / by: (書目-電子資源)

Current Trends in High Performance Computing and Its Applications = Proceedings of the International Conference on High Performance Computing and Applications, August 8-10, 2004, Shanghai, P.R. China / by: (書目-電子資源)

Guide to computational geometry processing = foundations, algorithms, and methods / by: (書目-電子資源)

Engineering secure software and systems = second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings / by: (書目-電子資源)

Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers / by: (書目-電子資源)

Mathematical software - ICMS 2010 = Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (書目-電子資源)

Networks in action = text and computer exercises in network optimization / by: (書目-電子資源)

Euclidean shortest paths = exact or approximate algorithms / by: (書目-電子資源)

Viability theory = new directions / by: (書目-電子資源)

Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday / by: (書目-電子資源)

Queueing theory for telecommunications = discrete time modelling of a single node system / by: (書目-電子資源)

Geometric algebra computing = in engineering and computer science / by: (書目-電子資源)

Pyomo - Optimization modeling in Python by: (書目-電子資源)

Information processing in cells and tissues = 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012 : proceedings / by: (書目-電子資源)

Theory of cryptography = 7th Theory of Cryptography Conference, TCC 2010, Zurich, Switzerland, February 9-11, 2010 : proceedings / by: (書目-電子資源)

Thermo-hydro-mechanical-chemical processes in porous media = benchmarks and examples / by: (書目-電子資源)

Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings / by: (書目-電子資源)

Geometry of cuts and metrics by: (書目-電子資源)

Computational methods in biometric authentication = statistical methods for performance evaluation / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part II / by: (書目-電子資源)

Guide to scientific computing in C++ by: (書目-電子資源)

An introduction to modern mathematical computing = with Maple / by: (書目-電子資源)

Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings / by: (書目-電子資源)

Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / by: (書目-電子資源)

Robust Signal Processing for Wireless Communications by: (書目-電子資源)

New Computational Paradigms = Changing Conceptions of What is Computable / by: (書目-電子資源)

High Performance Computational Science and Engineering = IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France / by: (書目-電子資源)

Recent advances in computational and applied mathematics by: (書目-電子資源)

Core concepts in data analysis = summarization, correlation and visualization / by: (書目-電子資源)

Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers / by: (書目-電子資源)

Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings / by: (書目-電子資源)

Probabilistic logic networks = a comprehensive framework for uncertain inference / by: (書目-電子資源)

Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings by: (書目-電子資源)

Transactions on computational science V = special issue on cognitive knowledge representation / by: (書目-電子資源)

QoS in Packet Networks by: (書目-電子資源)

Research in cryptology = 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Stochastic reachability analysis of hybrid systems by: (書目-電子資源)

Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings / by: (書目-電子資源)

Fast Software Encryption = 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers / by: (書目-電子資源)

Advances in numerical methods by: (書目-電子資源)

Complex intelligent systems and their applications by: (書目-電子資源)

Mathematical morphology and its applications to image and signal processing = 10th international symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011 : proceedings / by: (書目-電子資源)

Game theoretic problems in network economics and mechanism design solutions by: (書目-電子資源)

Applications of evolutionary computing = EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

Computational Geometry = Algorithms and Applications / by: (書目-電子資源)

Analysis for computer scientists = foundations, methods, and algorithms / by: (書目-電子資源)

Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC / by: (書目-電子資源)

Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings / by: (書目-電子資源)

Introduction to Geometric Computing by: (書目-電子資源)

Wavelets = from math to practice / by: (書目-電子資源)

Graph drawing = 17th international symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009 : revised papers / by: (書目-電子資源)

Rational Algebraic Curves = A Computer Algebra Approach / by: (書目-電子資源)

Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers / by: (書目-電子資源)

Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers / by: (書目-電子資源)

Rough sets, fuzzy sets, data mining and granular computing = 12th international conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009 : proceedings / by: (書目-電子資源)

System Modeling and Optimization = Proceedings of the 21st IFIP TC7 Conference held in July 21-25, 2003, Sophia Antipolis, France / by: (書目-電子資源)

Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (書目-電子資源)

Learning spaces = interdisciplinary applied mathematics / by: (書目-電子資源)

An introduction to modern mathematical computing = with Mathematica / by: (書目-電子資源)

Partial differential equations for geometric design by: (書目-電子資源)

Geometry = our cultural heritage / by: (書目-電子資源)

Quaternions for computer graphics by: (書目-電子資源)

Transactions on computational science VI by: (書目-電子資源)

Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (書目-電子資源)

WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings / by: (書目-電子資源)

Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part I / by: (書目-電子資源)

Implicit curves and surfaces = mathematics, data structures and algorithms / by: (書目-電子資源)

Mathematical morphology and its application to signal and image processing = 9th international symposium, ISMM 2009 Groningen, the Netherlands, August 24-27, 2009 : proceedings / by: (書目-電子資源)

Fundamentals of computerized tomography = image reconstruction from projections / by: (書目-電子資源)

Adaptive Mesh Refinement - Theory and Applications = Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3-5, 2003 / by: (書目-電子資源)

Shape-preserving approximation by real and complex polynomials by: (書目-電子資源)

Maple and mathematica = a problem solving approach for mathematics / by: (書目-電子資源)

Mathematical methods in counterterrorism by: (書目-電子資源)

Geometry for Computer Graphics = Formulae, Examples and Proofs / by: (書目-電子資源)

Guide to geometric algebra in practice by: (書目-電子資源)

Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers / by: (書目-電子資源)

Information security applications = 10th international workshop, WISA 2009, Busan, Korea, August 25-27, 2009 : revised selected papers / by: (書目-電子資源)

Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (書目-電子資源)

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming by: (書目-電子資源)

Probabilistic Modeling in Bioinformatics and Medical Informatics by: (書目-電子資源)