大葉大學圖書館 |

Works:	117 works in 117 publications in 117 languages

Titles

High-performance scientific computing[electronic resource] :algorithms and applications / by: (Language materials, printed)

Mathematical modeling and computational science[electronic resource] :international conference, MMCP 2011, Stara Lesna, Slovakia, July 4-8, 2011 : revised selected papers / by: (Language materials, printed)

Introduction to programming with Fortran[electronic resource] :with coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (Language materials, printed)

Guide to scientific computing in C++[electronic resource] / by: (Language materials, printed)

Competence in high performance computing 2010[electronic resource] :proceedings of an International Conference on Competence in High Performance Computing, June 2010, Schloss Schwetzingen, Germany / by: (Language materials, printed)

Automated solution of differential equations by the finite element method[electronic resource] :the FEniCS book / by: (Language materials, printed)

Approximation and online algorithms[electronic resource] :9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (Language materials, printed)

Mathematical modelling and scientific computation[electronic resource] :International Conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings / by: (Language materials, printed)

LATIN 2012: Theoretical informatics[electronic resource] :10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012 : proceedings / by: (Language materials, printed)

Variational analysis and aerospace engineering[electronic resource] :mathematical challenges for aerospace design : contributions from a workshop held at the School of Mathematics in Erice, Italy / by: (Language materials, printed)

The linear algebra a beginning graduate student ought to know[electronic resource] / by: (Language materials, printed)

Integration of AI and OR Techniques in contraint programming for combinatorial optimzation problems[electronic resource] :9th International Conference, CPAIOR 2012, Nantes, France, May 28-June1, 2012 : proceedings / by: (Language materials, printed)

Large-scale scientific computing[electronic resource] :8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised selected papers / by: (Language materials, printed)

Facing the multicore - Challenge II[electronic resource] :aspects of new paradigms and technologies in parallel computing / by: (Language materials, printed)

Modeling decisions for artificial intelligence[electronic resource] :9th international conference, MDAI 2012, Girona, Catalonia, Spain, November 21-23, 2012 : proceedings / by: (Language materials, printed)

Combinatorial Image Analaysis[electronic resource] :15th International Workshop, IWCIA 2012, Austin, TX, USA, November 28-30, 2012. Proceedings / by: (Language materials, printed)

Multiobjective optimization[electronic resource] :interactive and evolutionary approaches / by: (Language materials, printed)

Recent advances in constraints[electronic resource] :12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers / by: (Language materials, printed)

Design and analysis of algorithms [electronic resource] :First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012 : proceedings / by: (Language materials, printed)

Artificial evolution[electronic resource] :10th international conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011 : revised selected papers / by: (Language materials, printed)

Algorithms and computation[electronic resource] :23rd international symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012 : proceedings / by: (Language materials, printed)

Computational fluid dynamics based on the unified coordinates[electronic resource] / by: (Language materials, printed)

The Fortran 2003 handbook[electronic resource] :the complete syntax, features and procedures / by: (Language materials, printed)

Progress in cryptology - AFRICACRYPT 2014[electronic resource] :7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014 : proceedings / by: (Language materials, printed)

Integration of AI and OR techniques in constraint programming[electronic resource] :11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014 : proceedings / by: (Language materials, printed)

Integer programming and combinatorial optimization[electronic resource] :17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014 : proceedings / by: (Language materials, printed)

Introduction to nonsmooth optimization[electronic resource] :theory, practice and software / by: (Language materials, printed)

Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimisation[electronic resource] :14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014 : revised selected papers / by: (Language materials, printed)

Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II / by: (Language materials, printed)

Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I / by: (Language materials, printed)

Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings / by: (Language materials, printed)

Transactions on rough sets XVIII[electronic resource] / by: (Language materials, printed)

Algorithms - ESA 2014[electronic resource] :22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014 : proceedings / by: (Language materials, printed)

Computer science - theory and applications[electronic resource] :9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings / by: (Language materials, printed)

Combinatorial pattern matching[electronic resource] :25th annual symposium, CPM 2014, Moscow, Russia, June 16-18, 2014 : proceedings / by: (Language materials, printed)

Hybrid metaheuristics[electronic resource] :9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014 : proceedings / by: (Language materials, printed)

Experimental algorithms[electronic resource] :13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings / by: (Language materials, printed)

Approximation and online algorithms[electronic resource] :11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / by: (Language materials, printed)

Rough sets and current trends in soft computing[electronic resource] :9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014 : proceedings / by: (Language materials, printed)

Large-scale scientific computing[electronic resource] :9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013 : revised selected papers / by: (Language materials, printed)

Computational problems in engineering[electronic resource] / by: (Language materials, printed)

Reduced order methods for modeling and computational reduction[electronic resource] / by: (Language materials, printed)

Numerical computations with GPUs[electronic resource] / by: (Language materials, printed)

Automated reasoning[electronic resource] :7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings / by: (Language materials, printed)

Combinatorial optimization[electronic resource] :third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014 : revised selected papers / by: (Language materials, printed)

Learning and intelligent optimization[electronic resource] :8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014 : revised selected papers / by: (Language materials, printed)

Physical and statistical models for steam generator clogging diagnosis[electronic resource] / by: (Language materials, printed)

Digital fourier analysis[electronic resource] :fundamentals / by: (Language materials, printed)

Digital fourier analysis[electronic resource] :advanced techniques / by: (Language materials, printed)

GPU Computing and Applications[electronic resource] / by: (Language materials, printed)

Fundamentals of adaptive signal processing[electronic resource] / by: (Language materials, printed)

Meshfree methods for partial differential equations VII[electronic resource] / by: (Language materials, printed)

Algorithms and discrete applied mathematics[electronic resource] :first International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 : proceedings / by: (Language materials, printed)

Computer algebra and polynomials[electronic resource] :applications of algebra and number theory / by: (Language materials, printed)

Numerical methods and applications[electronic resource] :8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014 : revised selected papers / by: (Language materials, printed)

Compressed sensing & sparse filtering[electronic resource] / by: (Language materials, printed)

Accuracy verification methods[electronic resource] :theory and algorithms / by: (Language materials, printed)

Modal interval analysis[electronic resource] :new tools for numerical information / by: (Language materials, printed)

Transactions on computational science XXII[electronic resource] / by: (Language materials, printed)

Transactions on rough sets XVII[electronic resource] / by: (Language materials, printed)

Pedestrian and evacuation dynamics 2012[electronic resource] / by: (Language materials, printed)

Optimization in the natural sciences[electronic resource] :30th Euro Mini-Conference, EmC-ONS 2014, Aveiro, Portugal, February 5-9, 2014 : revised selected papers / by: (Language materials, printed)

Combinatorial pattern matching[electronic resource] :26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015 : proceedings / by: (Language materials, printed)

Experimental algorithms[electronic resource] :14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings / by: (Language materials, printed)

Computer science - theory and applications[electronic resource] :10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015 : proceedings / by: (Language materials, printed)

Advances in swarm and computational intelligence[electronic resource] :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)

Fault-tolerance techniques for high-performance computing[electronic resource] / by: (Language materials, printed)

Algorithms and Data Structures[electronic resource] :14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015 : proceedings / by: (Language materials, printed)

Parallel computing technologies[electronic resource] :13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings / by: (Language materials, printed)

Transactions on rough sets XIX[electronic resource] / by: (Language materials, printed)

Modeling decisions for artificial intelligence[electronic resource] :12th International Conference, MDAI 2015, Skovde, Sweden, September 21-23, 2015 : proceedings / by: (Language materials, printed)

Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I / by: (Language materials, printed)

Guide to Fortran 2008 programming[electronic resource] / by: (Language materials, printed)

Mathematical modeling of technological processes[electronic resource] :8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015 : proceedings / by: (Language materials, printed)

Fireworks algorithm[electronic resource] :a novel swarm intelligence optimization method / by: (Language materials, printed)

Similarity search and applications[electronic resource] :8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015 : proceedings / by: (Language materials, printed)

Rough sets and knowledge technology[electronic resource] :10th International Conference, RSKT 2015, Held as Part of the International Joint Conference on Rough Sets, IJCRS 2015, Tianjin, China, November 20-23, 2015 : proceedings / by: (Language materials, printed)

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

Algorithmic game theory[electronic resource] :8th International Symposium, SAGT 2015, Saarbrucken, Germany, September 28-30, 2015 : proceedings / by: (Language materials, printed)

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

Recent trends in computational engineering - CE2014[electronic resource] :optimization, uncertainty, parallel algorithms, coupled and complex problems / by: (Language materials, printed)

Multiple shooting and time domain decomposition methods[electronic resource] :MuS-TDD, Heidelberg, May 6-8, 2013 / by: (Language materials, printed)

Combinatorial optimization and applications[electronic resource] :9th International Conference, COCOA 2015, Houston, TX, USA, December 18-20, 2015 : proceedings / by: (Language materials, printed)

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

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

Algorithms and discrete applied mathematics[electronic resource] :second International Conference, CALDAM 2016, Thiruvananthapuram, India, February 18-20, 2016 : proceedings / by: (Language materials, printed)

Evolutionary computation in combinatorial optimization[electronic resource] :16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 -- April 1, 2016 : proceedings / by: (Language materials, printed)

Artificial evolution[electronic resource] :12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015 : revised selected papers / by: (Language materials, printed)

Computational statics and dynamics[electronic resource] :an introduction based on the finite element method / by: (Language materials, printed)

Progress in cryptology - AFRICACRYPT 2016[electronic resource] :8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016 : proceedings / by: (Language materials, printed)

Integer programming and combinatorial optimization[electronic resource] :18th International Conference, IPCO 2016, Liege, Belgium, June 1-3, 2016 : proceedings / by: (Language materials, printed)

Integration of AI and OR techniques in constraint programming[electronic resource] :13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016 : proceedings / by: (Language materials, printed)

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

Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings / by: (Language materials, printed)

Application of geometric algebra to electromagnetic scattering[electronic resource] :the Clifford-Cauchy-Dirac technique / by: (Language materials, printed)

Geospatial algebraic computations[electronic resource] :theory and applications / by: (Language materials, printed)

Thermomechanics of composite structures under high temperatures[electronic resource] / by: (Language materials, printed)

Innovations in computer science and engineering[electronic resource] :proceedings of the Third ICICSE, 2015 / by: (Language materials, printed)

Mathematical software - ICMS 2016[electronic resource] :5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings / by: (Electronic resources)

Programming for computations - Python[electronic resource] :a gentle introduction to numerical simulations with Python / by: (Electronic resources)

Algorithms in bioinformatics[electronic resource] :16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings / by: (Electronic resources)

Algorithmic game theory[electronic resource] :9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016 : proceedings / by: (Electronic resources)

Programming for computations - MATLAB/Octave[electronic resource] :a gentle introduction to numerical simulations with MATLAB/Octave / by: (Electronic resources)

Discrete optimization and operations research[electronic resource] :9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016 : proceedings / by: (Electronic resources)

Combinatorial Optimization[electronic resource] :4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016 : revised selected papers / by: (Electronic resources)

Computer algebra in scientific computing[electronic resource] :18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings / by: (Electronic resources)

Modeling decisions for artificial intelligence[electronic resource] :13th International Conference, MDAI 2016, Sant Julia de Loria, Andorra, September 19-21, 2016 : proceedings / by: (Electronic resources)

Similarity search and applications[electronic resource] :9th International Conference, SISAP 2016, Tokyo, Japan, October 24-26, 2016 : proceedings / by: (Electronic resources)

Transactions on rough sets XX[electronic resource] / by: (Electronic resources)

Convex analysis and global optimization[electronic resource] / by: (Electronic resources)

IsoGeometric analysis[electronic resource] :a new paradigm in the numerical approximation of PDEs : Cetraro, Italy 2012 / by: (Electronic resources)

Elementary functions[electronic resource] :algorithms and implementation / by: (Language materials, printed)

Supercomputing[electronic resource] :second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers / by: (Language materials, printed)

System modeling and optimization[electronic resource] :27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015 : revised selected papers / by: (Language materials, printed)

Numeric Computing.