Math Applications in Computer Science.
Overview
Works: | 67 works in 67 publications in 67 languages |
---|
Titles
Graph drawing[electronic resource] :19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(Language materials, printed)
High-performance scientific computing[electronic resource] :algorithms and applications /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(Language materials, printed)
Information processing in cells and tissues[electronic resource] :9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012 : proceedings /
by:
(Language materials, printed)
Theory of cryptography[electronic resource] :9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computation[electronic resource] :EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Malaga, Spain, April 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Stochastic reachability analysis of hybrid systems[electronic resource] /
by:
(Language materials, printed)
Thermo-hydro-mechanical-chemical processes in porous media[electronic resource] :benchmarks and examples /
by:
(Language materials, printed)
Guide to computational geometry processing[electronic resource] :foundations, algorithms, and methods /
by:
(Language materials, printed)
Research in cryptology[electronic resource] :second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
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)
Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
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)
Mathematics and computing 2013[electronic resource] :International Conference in Haldia, India /
by:
(Language materials, printed)
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
by:
(Language materials, printed)
Declarative programming and knowledge management[electronic resource] :Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers /
by:
(Language materials, printed)
Numerical methods and optimization[electronic resource] :a consumer guide /
by:
(Language materials, printed)
Bilevel programming problems[electronic resource] :theory, algorithms and applications to energy networks /
by:
(Language materials, printed)
WALCOM[electronic resource] :algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Proceedings of the 22nd International Meshing Roundtable[electronic resource] /
by:
(Language materials, printed)
The pre-kernel as a tractable solution for cooperative games[electronic resource] :an exercise in algorithmic game theory /
by:
(Language materials, printed)
Algorithms and computation[electronic resource] :8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(Language materials, printed)
Variational regularization of 3D data[electronic resource] :experiments with MATLAB /
by:
(Language materials, printed)
Geometrical multiresolution adaptive transforms[electronic resource] :theory and applications /
by:
(Language materials, printed)
Analytical and stochastic modelling techniques and applications[electronic resource] :22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015 : proceedings /
by:
(Electronic resources)
Accuracy and fuzziness[electronic resource] :a life in science and politics : a festschrift book to Enric Trillas Ruiz /
by:
(Electronic resources)
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
by:
(Language materials, printed)
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings /
by:
(Language materials, printed)
Interdisciplinary topics in applied mathematics, modeling and computational science[electronic resource] /
by:
(Language materials, printed)
Semigroups, algebras and operator theory[electronic resource] :Kochi, India, February 2014 /
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)
Distributed and sequential algorithms for bioinformatics[electronic resource] /
by:
(Language materials, printed)
Information processing in cells and tissues[electronic resource] :10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015 : proceedings /
by:
(Language materials, printed)
Internet of vehicles - safe and intelligent mobility[electronic resource] :second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(Language materials, printed)
The mathematics of medical imaging[electronic resource] :a beginner's guide /
by:
(Language materials, printed)
Security standardisation research[electronic resource] :second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015 : proceedings /
by:
(Language materials, printed)
An introduction to optimal satellite range scheduling[electronic resource] /
by:
(Language materials, printed)
Dyadic Walsh analysis from 1924 onwards Walsh-Gibbs-Butzer dyadic differentiation in science.[electronic resource] :a monograph based on articles of the founding authors, reproduced in full /Volume 1,Foundations
by:
(Language materials, printed)
Dyadic Walsh analysis from 1924 onwards Walsh-Gibbs-Butzer dyadic differentiation in science.[electronic resource] :a monograph based on articles of the founding authors, reproduced in full /Volume 2,Extensions and generalizations
by:
(Language materials, printed)
Big-data analytics and cloud computing[electronic resource] :theory, algorithms and applications /
by:
(Language materials, printed)
Directed algebraic topology and concurrency[electronic resource] /
by:
(Language materials, printed)
WALCOM[electronic resource] :Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(Language materials, printed)
Guide to computing fundamentals in cyber-physical systems[electronic resource] :concepts, design methods, and applications /
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)
Numerical methods and modelling for engineering[electronic resource] /
by:
(Language materials, printed)
Modeling and simulation in engineering, economics and management[electronic resource] :International Conference, MS 2016, Teruel, Spain, July 4-5, 2016 : proceedings /
by:
(Electronic resources)
Mathematical software - ICMS 2016[electronic resource] :5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
by:
(Electronic resources)
Algorithms in bioinformatics[electronic resource] :16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings /
by:
(Electronic resources)
Information security[electronic resource] :19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016 : proceedings /
by:
(Electronic resources)
Topics in numerical partial differential equations and scientific computing[electronic resource] /
by:
(Electronic resources)
Guide to discrete mathematics[electronic resource] :an accessible introduction to the history, theory, logic and applications /
by:
(Electronic resources)
Computer and computing technologies in agriculture IX[electronic resource] :9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015 : revised selected papers.Part II /
by:
(Language materials, printed)
Computer and computing technologies in agriculture IX[electronic resource] :9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015 : revised selected papers.Part I /
by:
(Language materials, printed)
Numerical mathematics and advanced applications ENUMATH 2015[electronic resource] /
by:
(Language materials, printed)
Subjects