Mathematics of Computing.
概観
著作: | 97 作品に 97 出版物中に 97 言語 |
---|
タイトル
Digital imaging and communications in medicine (DICOM)[electronic resource] :a practical introduction and survival guide /
…で:
(言語・文字資料 (印刷物))
Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II /
…で:
(言語・文字資料 (印刷物))
Applied parallel and scientific computing[electronic resource] :10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part I /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematics and modern art[electronic resource] :proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 /
…で:
(言語・文字資料 (印刷物))
Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Parallel processing and applied mathematics[electronic resource] :10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I /
…で:
(言語・文字資料 (印刷物))
Principles and practice of constraint programming[electronic resource] :20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Translational recurrences[electronic resource] :from mathematical theory to real-world applications /
…で:
(言語・文字資料 (印刷物))
Nonlinear dynamics of electronic systems[electronic resource] :22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Language, life, limits[electronic resource] :10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Biomedical image registration[electronic resource] :6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Modeling, simulation and optimization for science and technology[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 1
…で:
(言語・文字資料 (印刷物))
Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 2
…で:
(言語・文字資料 (印刷物))
Walter Gautschi.[electronic resource] :selected works with commentaries /Volume 3
…で:
(言語・文字資料 (印刷物))
Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematical tools for data mining[electronic resource] :set theory, partial orders, combinatorics /
…で:
(言語・文字資料 (印刷物))
Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Foundation mathematics for computer science[electronic resource] :a visual approach /
…で:
(言語・文字資料 (印刷物))
Principles and practice of constraint programming[electronic resource] :21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Introduction to concurrency theory[electronic resource] :transition systems and CCS /
…で:
(言語・文字資料 (印刷物))
Introduction to cryptography[electronic resource] :principles and applications /
…で:
(言語・文字資料 (印刷物))
Theory and applications of satisfiability testing - SAT 2015[electronic resource] :18th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Engineering computation of structures[electronic resource] :the finite element method /
…で:
(言語・文字資料 (印刷物))
Mathematical problems in data science[electronic resource] :theoretical and practical methods /
…で:
(言語・文字資料 (印刷物))
Operations research and enterprise systems[electronic resource] :4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Data analytics for renewable energy integration[electronic resource] :third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Complete symbolic simulation of SystemC models[electronic resource] :efficient formal verification of finite non-terminating programs /
…で:
(言語・文字資料 (印刷物))
Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Applications of evolutionary computation[electronic resource] :19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I /
…で:
(言語・文字資料 (印刷物))
Parallel processing and applied mathematics[electronic resource] :11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II /
…で:
(言語・文字資料 (印刷物))
Compression-based methods of statistical analysis and prediction of time series[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Index-aware model order reduction methods[electronic resource] :applications to differential-algebraic equations /
…で:
(言語・文字資料 (印刷物))
Relaxed abduction[electronic resource] :robust information interpretation for industrial applications /
…で:
(コンピュータ・メディア)
Pursuit of the universal[electronic resource] :12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Theory and applications of satisfiability testing - SAT 2016[electronic resource] :19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Cool math for hot music[electronic resource] :a first introduction to mathematics for music theorists /
…で:
(コンピュータ・メディア)
Music through Fourier space[electronic resource] :discrete Fourier transform in music theory /
…で:
(コンピュータ・メディア)
An introduction to data analysis using aggregation functions in R[electronic resource] /
…で:
(言語・文字資料 (印刷物))
All about music[electronic resource] :the complete ontology: realities, semiotics, communication, and embodiment /
…で:
(言語・文字資料 (印刷物))
主題