大葉大學圖書館 |

Works:	97 works in 97 publications in 97 languages

Titles

Integrated methods for optimization[electronic resource] / by: (Language materials, printed)

Digital imaging and communications in medicine (DICOM)[electronic resource] :a practical introduction and survival guide / by: (Language materials, printed)

Combinatorial optimization[electronic resource] :theory and algorithms / by: (Language materials, printed)

Boolean function complexity[electronic resource] :advances and frontiers / by: (Language materials, printed)

Computation, physics and beyond[electronic resource] :International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (Language materials, printed)

Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II / by: (Language materials, printed)

Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (Language materials, printed)

Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (Language materials, printed)

Frontiers in algorithmics and algorithmic aspects in information and management[electronic resource] :joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (Language materials, printed)

Mathematics and modern art[electronic resource] :proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 / by: (Language materials, printed)

Grobner bases, coding, and cryptography[electronic resource] / by: (Language materials, printed)

A proof theory for description logics[electronic resource] / by: (Language materials, printed)

Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (Language materials, printed)

Advances in automatic differentiation[electronic resource] / by: (Language materials, printed)

Graphs, networks, and algorithms[electronic resource] / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / by: (Language materials, printed)

Principles and practice of constraint programming[electronic resource] :20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings / by: (Language materials, printed)

Translational recurrences[electronic resource] :from mathematical theory to real-world applications / by: (Language materials, printed)

A primer on scientific programming with Python[electronic resource] / by: (Language materials, printed)

Nonlinear dynamics of electronic systems[electronic resource] :22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014 : proceedings / by: (Language materials, printed)

Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings / by: (Language materials, printed)

Biomedical image registration[electronic resource] :6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014 : proceedings / by: (Language materials, printed)

Modeling, simulation and optimization for science and technology[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)

Rewriting and Typed Lambda Calculi[electronic resource] :joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2014[electronic resource] :17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Language materials, printed)

Algorithms for sensor systems[electronic resource] :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: (Language materials, printed)

Fundamentals of matrix-analytic methods[electronic resource] / by: (Language materials, printed)

Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 1 by: (Language materials, printed)

Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 2 by: (Language materials, printed)

Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 3 by: (Language materials, printed)

Theory of fuzzy computation[electronic resource] / by: (Language materials, printed)

Spectral and high order methods for partial differential equations - ICOSAHOM 2012[electronic resource] :selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia / by: (Language materials, printed)

Cryptography in constant parallel time[electronic resource] / by: (Language materials, printed)

Algorithms for sensor systems[electronic resource] :9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / by: (Language materials, printed)

Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings / by: (Language materials, printed)

Mathematical tools for data mining[electronic resource] :set theory, partial orders, combinatorics / by: (Language materials, printed)

Regulated grammars and automata[electronic resource] / by: (Language materials, printed)

Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / by: (Language materials, printed)

Foundation mathematics for computer science[electronic resource] :a visual approach / by: (Language materials, printed)

Principles and practice of constraint programming[electronic resource] :21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings / by: (Language materials, printed)

Introduction to concurrency theory[electronic resource] :transition systems and CCS / by: (Language materials, printed)

Words and graphs[electronic resource] / by: (Language materials, printed)

The foundations of computability theory[electronic resource] / by: (Language materials, printed)

Petri net synthesis[electronic resource] / by: (Language materials, printed)

Introduction to cryptography[electronic resource] :principles and applications / by: (Language materials, printed)

Higher-order computability[electronic resource] / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2015[electronic resource] :18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2015[electronic resource] :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: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2015[electronic resource] :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: (Language materials, printed)

Engineering computation of structures[electronic resource] :the finite element method / by: (Language materials, printed)

Spectral and high order methods for partial differential equations - ICOSAHOM 2014[electronic resource] :selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA / by: (Language materials, printed)

Encyclopedia of applied and computational mathematics[electronic resource] / by: (Language materials, printed)

Mathematical problems in data science[electronic resource] :theoretical and practical methods / by: (Language materials, printed)

Operations research and enterprise systems[electronic resource] :4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / by: (Language materials, printed)

Data analytics for renewable energy integration[electronic resource] :third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015 : revised selected papers / by: (Language materials, printed)

Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (Language materials, printed)

Algorithms for sensor systems[electronic resource] :11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015 : revised selected papers / by: (Language materials, printed)

Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs / by: (Language materials, printed)

Evolutionary and biologically inspired music, sound, art and design[electronic resource] :5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / by: (Language materials, printed)

Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part II / by: (Language materials, printed)

Advances in artificial life, evolutionary computation and systems chemistry[electronic resource] :10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers / by: (Language materials, printed)

Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / by: (Language materials, printed)

Mathematical aspects of computer and information sciences[electronic resource] :6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / by: (Language materials, printed)

Compression-based methods of statistical analysis and prediction of time series[electronic resource] / by: (Language materials, printed)

Computer games[electronic resource] :fourth Workshop on Computer Games, CGW 2015, and the fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, held in conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015 : revised selected papers / by: (Language materials, printed)

Parallelism in matrix computations[electronic resource] / by: (Language materials, printed)

Cryptography made simple[electronic resource] / by: (Language materials, printed)

Boolean functions and their applications in cryptography[electronic resource] / by: (Language materials, printed)

Index-aware model order reduction methods[electronic resource] :applications to differential-algebraic equations / by: (Language materials, printed)

Turing computability[electronic resource] :theory and applications / by: (Electronic resources)

Relaxed abduction[electronic resource] :robust information interpretation for industrial applications / by: (Electronic resources)

Pursuit of the universal[electronic resource] :12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / by: (Electronic resources)

Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / by: (Electronic resources)

High performance computing in science and engineering[electronic resource] :second International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 2016[electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (Electronic resources)

Linear algebra for computational sciences and engineering[electronic resource] / by: (Electronic resources)

Finitely supported mathematics[electronic resource] :an introduction / by: (Electronic resources)

Advances in neural networks - ISNN 2016[electronic resource] :13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings / by: (Electronic resources)

A primer on scientific programming with Python[electronic resource] / by: (Electronic resources)

Random-like bi-level decision making[electronic resource] / by: (Electronic resources)

Analytical and stochastic modeling techniques and applications[electronic resource] :23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (Electronic resources)

Principles and practice of constraint programming[electronic resource] :22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings / by: (Electronic resources)

Mathematical analysis and the mathematics of computation[electronic resource] / by: (Electronic resources)

Cool math for hot music[electronic resource] :a first introduction to mathematics for music theorists / by: (Electronic resources)

Music through Fourier space[electronic resource] :discrete Fourier transform in music theory / by: (Electronic resources)

An introduction to data analysis using aggregation functions in R[electronic resource] / by: (Language materials, printed)

All about music[electronic resource] :the complete ontology: realities, semiotics, communication, and embodiment / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2016[electronic resource] :22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.Part I / by: (Language materials, printed)

Algorithms for data science[electronic resource] / by: (Language materials, printed)

Matrix and tensor factorization techniques for recommender systems[electronic resource] / by: (Language materials, printed)

Scalable algorithms for contact problems[electronic resource] / by: (Language materials, printed)

Progress in Industrial Mathematics at ECMI 2014[electronic resource] / by: (Language materials, printed)

Mathematics of Computing.