Numeric Computing.

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 5th international conference, CPAIOR 2008, Paris, France, May 20-23, 2008 : proceedings / by: (書目-電子資源)

Recent advances in parallel virtual machine and message passing interface = 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / by: (書目-電子資源)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009 : proceedings / by: (書目-電子資源)

Integer programming and combinatoral optimization = 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 : proceedings / by: (書目-電子資源)

Recent Advances in Parallel Virtual Machine and Message Passing Interface : = 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings by: (書目-電子資源)

Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by: (書目-電子資源)

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

Graph-Theoretic Concepts in Computer Science : = 31st International Workshop, WG 2005, Metz, France, June 23-25, 2005, Revised Selected Papers by: (書目-電子資源)

Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / by: (書目-電子資源)

Transactions on rough sets XV by: (書目-電子資源)

Numerical analysis and its applications = 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008 : revised selected papers / by: (書目-電子資源)

Sequences and Their Applications - SETA 2004 = Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers / by: (書目-電子資源)

Large-scale scientific computing = 6th international conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007 : revised papers / by: (書目-電子資源)

Computational fluid dynamics based on the unified coordinates by: (書目-電子資源)

Algorithms and computation = 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 : proceedings / by: (書目-電子資源)

Large-scale scientific computing = 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 : revised papers / by: (書目-電子資源)

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

Polygons, polyominoes and polycubes by: (書目-電子資源)

Computational statistics by: (書目-電子資源)

Design and analysis of algorithms = First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (書目-電子資源)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (書目-電子資源)

Advances in computer games = 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers / by: (書目-電子資源)

Integration of AI and OR Techniques in contraint programming for combinatorial optimzation problems = 9th International Conference, CPAIOR 2012, Nantes, France, May 28-June1, 2012 : proceedings / by: (書目-電子資源)

Mathematical modeling and computational science = international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 8th European conference, EVOCOP 2008, Naples, Italy, March 26-28, 2008 : proceedings / by: (書目-電子資源)

Experimental and Efficient Algorithms = 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings / by: (書目-電子資源)

Algorithms and Computation : = 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings by: (書目-電子資源)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II / by: (書目-電子資源)

Algorithms and computation = 21st international symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010 : proceedings, part II / by: (書目-電子資源)

Artificial evolution = 10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers / by: (書目-電子資源)

Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings / by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12. 2005, Proceedings .. III by: (書目-電子資源)

Recent Advances in Constraints = joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers / by: (書目-電子資源)

Algorithm engineering = bridging the gap between algorithm theory and practice / by: (書目-電子資源)

Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings / by: (書目-電子資源)

Computer Algebra and Geometric Algebra with Applications = 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers / by: (書目-電子資源)

Hybrid Metaheuristics = Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings / by: (書目-電子資源)

Computational science and high performance computing IV = the 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009 / by: (書目-電子資源)

Ant colony optimization and swarm intelligence = 6th international conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008 : proceedings / by: (書目-電子資源)

Parallel computing = numerics, applications, and trends / by: (書目-電子資源)

Approximation and online algorithms = 6th international workshop ; WAOA 2008, Karlsruhe, Germany, September 18 - 19, 2008, revised papers / by: (書目-電子資源)

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

Scale Space and PDE Methods in Computer Vision = 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings / by: (書目-電子資源)

Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II 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: (書目-電子資源)

Nonlinear Optimization with Financial Applications by: (書目-電子資源)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (書目-電子資源)

Nonlinear Physical Oceanography = A Dynamical Systems Approach to the Large Scale Ocean Circulation and El Nino, 2nd Revised and Enlarged Edition / by: (書目-電子資源)

Similarity search and applications = 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012 : proceedings / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 6th international conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009 ; proceedings / by: (書目-電子資源)

Intelligent computer mathematics = 16th symposium, Calculemus 2009 ; 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6-12, 2009 ; proceedings / by: (書目-電子資源)

Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers / by: (書目-電子資源)

The Fortran 2003 handbook = the complete syntax, features and procedures / by: (書目-電子資源)

Algorithmics of large and complex networks = design, analysis, and simulation / by: (書目-電子資源)

Algorithms and computation = 21st international symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010 : proceedings, part I / by: (書目-電子資源)

Algorithmic game theory = second international symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009 : proceedings / by: (書目-電子資源)

Modeling decisions for artificial intelligence = 9th international conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012 : proceedings / by: (書目-電子資源)

Combinatorial Optimization and Applications = Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008. Proceedings / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 7th international conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010 : proceedings / by: (書目-電子資源)

Multiobjective optimization = interactive and evolutionary approaches / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization = 9th European conference, EvoCOP 2009, Tubingen, Germany, April 15-17, 2009 ; proceedings / by: (書目-電子資源)

Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings / by: (書目-電子資源)

Matrix-Based Multigrid = Theory and Applications / by: (書目-電子資源)

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques = 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings / by: (書目-電子資源)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011 : proceedings / by: (書目-電子資源)

Recent advances in algorithmic differentiation by: (書目-電子資源)

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: (書目-電子資源)

Spatially Structured Evolutionary Algorithms = Artificial Evolution in Space and Time / by: (書目-電子資源)

Algorithms and data structures = 11th international symposium, WADS 2009, Banff, Canada, August 21-23, 2009 : proceedings / by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV / by: (書目-電子資源)

Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings / by: (書目-電子資源)

Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings / by: (書目-電子資源)

System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers / by: (書目-電子資源)

Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings by: (書目-電子資源)

Studying Human Populations = An Advanced Course in Statistics / by: (書目-電子資源)

Latin 2008 = theoretical informatics : 8th Latin American symposium, Buzios, Brazil, April 7-11, 2008 : proceedings / by: (書目-電子資源)

Algorithmic game theory = third international symposium, SAGT 2010, Athens, Greece, October 18-20, 2010 : proceedings / by: (書目-電子資源)

Algorithmic game theory = 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings / 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: (書目-電子資源)

Algorithmic Aspects in Information and Management = 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization = 14th international conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010 : proceedings / by: (書目-電子資源)

Implementing spectral methods for partial differential equations = algorithms for scientists and engineers / by: (書目-電子資源)

Experimental algorithms = 7th International Workshop, WEA 2008, Provincetown, MA, USA, May 30 - June 1, 2008 : proceedings / by: (書目-電子資源)

Frontiers in Algorithmics = Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings / by: (書目-電子資源)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I / by: (書目-電子資源)

Algorithms - ESA 2010 = 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.. Part I / by: (書目-電子資源)

Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, proceedings.. Part I / by: (書目-電子資源)

Evolutionary multi-criterion optimization = 5th international conference, EMO 2009, Nantes, France, April 7-10, 2009, proceedings / by: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : Proceedings.. Part I / by: (書目-電子資源)

Computational science and its appilcations, ICCSA 2009 = international conference, Seoul, Korea, June 29-July 2, 2009 : proceedings.. Part II / by: (書目-電子資源)

Notes on introductory combinatorics by: (書目-電子資源)

Algorithms - ESA 2005 : = 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings by: (書目-電子資源)

Approximation and Online Algorithms = Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / by: (書目-電子資源)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. III by: (書目-電子資源)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I / by: (書目-電子資源)

Combinatorial optimization = Second International Symposium, ISCO 2012, Athens, Greece, April 19-21, 2012 : revised selected papers / by: (書目-電子資源)

Algorithms and complexity = 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010 : proceedings / by: (書目-電子資源)

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems = Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 / by: (書目-電子資源)

WALCOM: algorithms and computation = third international workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings / by: (書目-電子資源)

Developing Statistical Software in Fortran 95 by: (書目-電子資源)

Combinatorial image analysis = 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009 : proceedings / by: (書目-電子資源)

WALCOM: Algorithms and Computation = Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings / by: (書目-電子資源)

Facing the multicore - Challenge II = aspects of new paradigms and technologies in parallel computing / by: (書目-電子資源)

Combinatorial optimization and applications = 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 : proceedings / by: (書目-電子資源)

Artificial evolution = 8th international conference, evolution artificielle, EA 2007, tours, France, October 29-31, 2007, revised selected papers / by: (書目-電子資源)

Learning and intelligent optimization = second international conference, LION 2007 II, Trento, Italy, December 8-12, 2007. selected papers / by: (書目-電子資源)

Euro-Par 2010 - parallel processing = 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings.. Part II / by: (書目-電子資源)

Uncertainty quantification in scientific computing = 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011 : revised selected papers / by: (書目-電子資源)

Rough sets and current trends in computing = 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012 : proceedings / by: (書目-電子資源)

Approximation and online algorithms = 9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (書目-電子資源)

Transactions on computational science XIV = special issue on Voronoi diagrams and Delaunay triangulation / by: (書目-電子資源)

Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings / by: (書目-電子資源)

Recent advances in constraints = 12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers / by: (書目-電子資源)

Algorithms and computation = 23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings / by: (書目-電子資源)

Differential Evolution = A Practical Approach to Global Optimization / by: (書目-電子資源)

Algorithms = ESA 2011 : 19th Annual European Symposium, Saarbrucken, Germany, September 5-9, 2011 : proceedings / by: (書目-電子資源)

Approximation, randomization, and combinatorial optimization = algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012 : proceedings / by: (書目-電子資源)

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

Computational intelligence for multimedia understanding = International Workshop, MUSCLE 2011, Pisa, Italy, December 13-15, 2011 : revised selected papers / by: (書目-電子資源)

Euro-Par 2008 workshops - parallel processing = VHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers / by: (書目-電子資源)

Evolutionary multi-criterion optimization = 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011 : proceedings / by: (書目-電子資源)

Complexity of constraints = an overview of current research themes / by: (書目-電子資源)

Practice and Theory of Automated Timetabling V : = 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers by: (書目-電子資源)

Combinatorial Image Analysis = 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings / by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part III / by: (書目-電子資源)

Numerical Analysis and Its Applications = Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers / by: (書目-電子資源)

Algorithms and data structures = 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 : proceedings / by: (書目-電子資源)

Guide to Fortran 2003 programming by: (書目-電子資源)

Intelligent Computer Mathematics = 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings / by: (書目-電子資源)

Competence in high performance computing 2010 = proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany / by: (書目-電子資源)

Euro-Par 2007 Workshops: Parallel Processing = HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / by: (書目-電子資源)

Recent advances in constraints = 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / by: (書目-電子資源)

Swarm intelligence = 7th International Conference, ANTS 2010, Brussels, Belgium, September 8-10, 2010, proceedings / by: (書目-電子資源)

Large-scale scientific computing = 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (書目-電子資源)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I / by: (書目-電子資源)

Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / by: (書目-電子資源)

Approximation and Online Algorithms = 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007. Revised Papers / by: (書目-電子資源)

Variational analysis and aerospace engineering = mathematical challenges for aerospace design : contributions from a workshop held at the School of Mathematics in Erice, Italy / by: (書目-電子資源)

Value-range analysis of C programs = towards proving the absence of buffer overflow vulnerabilities / by: (書目-電子資源)

Combinatorial Image Analaysis = 15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings / by: (書目-電子資源)

Numerical methods and applications = 7th international conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010 : revised papers / by: (書目-電子資源)

Automated solution of differential equations by the finite element method = the FEniCS book / by: (書目-電子資源)

Numerical methods for ordinary differential equations = initial value problems / by: (書目-電子資源)

Approximation and online algorithms = 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers / by: (書目-電子資源)

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

Combinatorial optimization and applications = 6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012 : proceedings / by: (書目-電子資源)

Algorithms - ESA 2012 = 20th Annual European Symposium, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (書目-電子資源)

Learning and intelligent optimization = 6th International Conference, LION 6, Paris, France, January 16-20, 2012 : revised selected papers / by: (書目-電子資源)

Introduction to programming with Fortran = with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (書目-電子資源)

Building bridges = between mathematics and computer science / 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: (書目-電子資源)

The linear algebra a beginning graduate student ought to know by: (書目-電子資源)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (書目-電子資源)

Evolutionary Computation in Combinatorial Optimization = 5th European Conference, EvoCOP 2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings / by: (書目-電子資源)

Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / by: (書目-電子資源)

Approximation and online algorithms = 7th International Workshop, WAOA 2009, Copenhagen Denmark, September 10-11, 2009 : revised papers / by: (書目-電子資源)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by: (書目-電子資源)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (書目-電子資源)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II / by: (書目-電子資源)

Integer programming and combinatorial optimization = 13th International Conference, IPCO 2008, Bertinoro, Italy, May 26-28, 2008 : proceedings / by: (書目-電子資源)

Algorithms - ESA 2010 = 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, proceedings.. Part II / by: (書目-電子資源)

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

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

Integer Programming and Combinatorial Optimization = 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings / by: (書目-電子資源)

Global Optimization and Constraint Satisfaction = Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers / by: (書目-電子資源)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. II / by: (書目-電子資源)

Optimization and Computational Fluid Dynamics by: (書目-電子資源)

LATIN 2012: Theoretical informatics = 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings / by: (書目-電子資源)

Algorithms and computation = 19th international symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008, proceedings / by: (書目-電子資源)

Algorithms - ESA 2008 = 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings / by: (書目-電子資源)

Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (書目-電子資源)

Mathematical modelling and scientific computation = International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing = 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010, proceedings / by: (書目-電子資源)

Combinatorial image analysis = 14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 : proceedings / by: (書目-電子資源)

Combinatorial pattern matching = 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012 : proceedings / by: (書目-電子資源)

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (書目-電子資源)

Algorithms in bioinformatics = 12th International Workshop, WABI 2012, Ljubljana, Slovenia, September 10-12, 2012 : proceedings / by: (書目-電子資源)

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

Multiscale, nonlinear and adaptive approximation = dedicated to Wolfgang Dahmen on the occasion of his 60th birthday / by: (書目-電子資源)

Computers and games = 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings / by: (書目-電子資源)

Digital processing and reconstruction of complex AC signals by: (書目-電子資源)

Rough sets and knowledge technology = 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012 : proceedings / by: (書目-電子資源)