Math Applications in Computer Science.
Overview
Works: | 346 works in 151 publications in 151 languages |
---|
Titles
Functional Imaging and Modeling of the Heart = 11th International Conference, FIMH 2021, Stanford, CA, USA, June 21-25, 2021, Proceedings /
by:
(Language materials, printed)
Proceedings of the Fifth International Conference on Mathematics and Computing = ICMC 2019 /
by:
(Language materials, printed)
Arithmetic of Finite Fields = 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 19th International Conference, ITMM 2020, Named after A.F. Terpugov, Tomsk, Russia, December 2-5, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part I /
by:
(Language materials, printed)
Recent Trends in Mathematical Modeling and High Performance Computing = M3HPCST-2020, Ghaziabad, India, January 9-11, 2020 /
by:
(Language materials, printed)
Statistisches Programmieren mit R = Eine ausführliche, übersichtliche, spannende und praxiserprobte Einführung /
by:
(Language materials, printed)
Topological Methods in Data Analysis and Visualization V = Theory, Algorithms, and Applications /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Accelerated Optimization for Machine Learning = First-Order Algorithms /
by:
(Language materials, printed)
Bildverarbeitung = Band II des Standardwerks Computergrafik und Bildverarbeitung /
by:
(Language materials, printed)
Mathematics in Computing = An Accessible Guide to Historical, Foundational and Application Contexts /
by:
(Language materials, printed)
Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Mathematical Research for Blockchain Economy = 1st International Conference MARBLE 2019, Santorini, Greece /
by:
(Language materials, printed)
Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Proceedings /
by:
(Language materials, printed)
Fuzzy Recurrence Plots and Networks with Applications in Biomedicine
by:
(Language materials, printed)
Computational Diffusion MRI = MICCAI Workshop, Shenzhen, China, October 2019 /
by:
(Language materials, printed)
Analytical and Stochastic Modelling Techniques and Applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings /
by:
(Language materials, printed)
The Amazing Journey of Reason = from DNA to Artificial Intelligence /
by:
(Language materials, printed)
Fuzzy Transforms for Image Processing and Data Analysis = Core Concepts, Processes and Applications /
by:
(Language materials, printed)
Computer mathematics = 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; revised and invited papers /
by:
(Language materials, printed)
WALCOM = algorithms and computation : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015 : proceedings /
by:
(Language materials, printed)
Engineering secure software and systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Adaptive Mesh Refinement - Theory and Applications = Proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, Sept. 3-5, 2003 /
by:
(Language materials, printed)
Interdisciplinary topics in applied mathematics, modeling and computational science
by:
(Language materials, printed)
Semigroups, algebras and operator theory = Kochi, India, February 2014 /
by:
(Language materials, printed)
Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part I /
by:
(Language materials, printed)
Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers /
by:
(Language materials, printed)
Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
by:
(Language materials, printed)
New Computational Paradigms = Changing Conceptions of What is Computable /
by:
(Language materials, printed)
Graph drawing = 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 : revised selected papers /
by:
(Language materials, printed)
WALCOM = algorithms and computation : 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Theory of cryptography = 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011 : proceedings /
by:
(Language materials, printed)
Analysis for computer scientists = foundations, methods, and algorithms /
by:
(Language materials, printed)
Current Trends in High Performance Computing and Its Applications = Proceedings of the International Conference on High Performance Computing and Applications, August 8-10, 2004, Shanghai, P.R. China /
by:
(Language materials, printed)
Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Applications of evolutionary computation = EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Core concepts in data analysis = summarization, correlation and visualization /
by:
(Language materials, printed)
Applications of evolutionary computing = EvoWorkshops 2008, EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008 : proceedings /
by:
(Language materials, printed)
Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings /
by:
(Language materials, printed)
Uncertainty reasoning for the semantic web I = ISWC international workshops, URSW 2005-2007 : revised selected and invited papers /
by:
(Language materials, printed)
Mathematical morphology and its applications to image and signal processing = 10th international symposium, ISMM 2011, Verbania-Intra, Italy, July 6-8, 2011 : proceedings /
by:
(Language materials, printed)
System Modeling and Optimization = Proceedings of the 21st IFIP TC7 Conference held in July 21-25, 2003, Sophia Antipolis, France /
by:
(Language materials, printed)
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
by:
(Language materials, printed)
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:
(Language materials, printed)
Applications of Evolutionary Computing = Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /
by:
(Language materials, printed)
Probabilistic logic networks = a comprehensive framework for uncertain inference /
by:
(Language materials, printed)
Rough sets, fuzzy sets, data mining and granular computing = 12th international conference, RSFDGrC 2009, Delhi, India, December 15-18, 2009 : proceedings /
by:
(Language materials, printed)
Information security applications = 10th international workshop, WISA 2009, Busan, Korea, August 25-27, 2009 : revised selected papers /
by:
(Language materials, printed)
Computer algebra in scientific computing = 11th international workshop, CASC 2009, Kobe, Japan, September 13-17, 2009 : proceedings /
by:
(Language materials, printed)
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(Language materials, printed)
Efficient algorithms = essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday /
by:
(Language materials, printed)
Mathematics of surfaces XIII = 13th IMA International Conference York, UK, September 7-9, 2009 : proceedings /
by:
(Language materials, printed)
Information security = 12th international conference, ISC 2009, Pisa, Italy, September 7-9, 2009 : proceedings /
by:
(Language materials, printed)
Mathematical morphology and its application to signal and image processing = 9th international symposium, ISMM 2009 Groningen, the Netherlands, August 24-27, 2009 : proceedings /
by:
(Language materials, printed)
Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings /
by:
(Language materials, printed)
Newton methods for nonlinear problems = affine invariance and adaptive algorithms /
by:
(Language materials, printed)
Security standardisation research = second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015 : proceedings /
by:
(Language materials, printed)
Dyadic Walsh analysis from 1924 onwards Walsh-Gibbs-Butzer dyadic differentiation in science. = 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. = a monograph based on articles of the founding authors, reproduced in full /. Volume 2,. Extensions and generalizations
by:
(Language materials, printed)
Information processing in cells and tissues = 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 = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings /
by:
(Language materials, printed)
Big-data analytics and cloud computing = theory, algorithms and applications /
by:
(Language materials, printed)
Recent developments in the numerics of nonlinear hyperbolic conservation laws = lectures presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan. 15-21, 2012 /
by:
(Language materials, printed)
Scientific computing and cultural heritage = contributions in computational humanities /
by:
(Language materials, printed)
Space-filling curves = an introduction with applications in scientific computing /
by:
(Language materials, printed)
Mathematics in computing = an accessible guide to historical, foundational and application contexts /
by:
(Language materials, printed)
Graph theory with algorithms and its applications = in applied science and technology /
by:
(Language materials, printed)
Mathematical methodologies in pattern recognition and machine learning = contributions from the international conference on pattern recognition applications and methods, 2012 /
by:
(Language materials, printed)
WALCOM: Algorithms and computation = 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013 : proceedings /
by:
(Language materials, printed)
Engineering secure software and systems = 5th international symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013 : proceedings /
by:
(Language materials, printed)
Automated reasoning and mathematics = essays in memory of William W. McCune /
by:
(Language materials, printed)
Applied parallel and scientific computing = 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012 : revised selected papers /
by:
(Language materials, printed)
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems = 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings /
by:
(Language materials, printed)
Mathematical morphology and its applications to signal and image processing = 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013 : proceedings /
by:
(Language materials, printed)
Modeling and simulation in engineering, economics,and management = International Conference, MS 2013, Castellon De La Plana, Spain, June 6-7, 2013 : proceedings /
by:
(Language materials, printed)
The nature of computation = logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
(Language materials, printed)
Mastering the discrete Fourier transform in one, two or several dimensions = pitfalls and artifacts /
by:
(Language materials, printed)
Intelligent computer mathematics = MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 : proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2013 = 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings /
by:
(Language materials, printed)
Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers /
by:
(Language materials, printed)
Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings /
by:
(Language materials, printed)
Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
(Language materials, printed)
Parameterized and exact computation = 7th International Symposium, IPEC 2012, Ljubljana, Slovenia, September 12-14, 2012 : proceedings /
by:
(Language materials, printed)
An introduction to modern mathematical computing = with Mathematica /
by:
(Language materials, printed)
Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012 : proceedings /
by:
(Language materials, printed)
Modeling and simulation in engineering, economics and management = international conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012 : proceedings /
by:
(Language materials, printed)
Guide to computational geometry processing = foundations, algorithms, and methods /
by:
(Language materials, printed)
Parameterized and exact computation = 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013 : revised selected papers /
by:
(Language materials, printed)
Graph drawing = 19th international symposium, GD 2011, Eindhoven, The Netherlands, September 21-23, 2011 : revised selected papers /
by:
(Language materials, printed)
High-performance scientific computing = algorithms and applications /
by:
(Language materials, printed)
Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(Language materials, printed)
Information processing in cells and tissues = 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 - April 2, 2012 : proceedings /
by:
(Language materials, printed)
Theory of cryptography = 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012 : proceedings /
by:
(Language materials, printed)
Applications of evolutionary computation = 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)
Thermo-hydro-mechanical-chemical processes in porous media = benchmarks and examples /
by:
(Language materials, printed)
Applications of evolutionary computing = EvoWorkshops 2009 : EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tubingen, Germany, April 15-17, 2009. Proceedings /
by:
(Language materials, printed)
Game theoretic problems in network economics and mechanism design solutions
by:
(Language materials, printed)
Implicit curves and surfaces = mathematics, data structures and algorithms /
by:
(Language materials, printed)
The pre-kernel as a tractable solution for cooperative games = an exercise in algorithmic game theory /
by:
(Language materials, printed)
Algorithms and computation = 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014 : proceedings /
by:
(Language materials, printed)
Engineering secure software and systems = 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings /
by:
(Language materials, printed)
Geometrical multiresolution adaptive transforms = theory and applications /
by:
(Language materials, printed)
Bilevel programming problems = theory, algorithms and applications to energy networks /
by:
(Language materials, printed)
WALCOM = Algorithms and Computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016 : proceedings /
by:
(Language materials, printed)
Engineering secure software and systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(Language materials, printed)
Guide to computing fundamentals in cyber-physical systems = concepts, design methods, and applications /
by:
(Language materials, printed)
Integration of AI and OR techniques in constraint programming = 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016 : proceedings /
by:
(Language materials, printed)
Modeling and simulation in engineering, economics and management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016 : proceedings /
by:
(Language materials, printed)
Mathematical software - ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings /
by:
(Language materials, printed)
Algorithms in bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016 : proceedings /
by:
(Language materials, printed)
Information security = 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016 : proceedings /
by:
(Language materials, printed)
Topics in numerical partial differential equations and scientific computing
by:
(Language materials, printed)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(Language materials, printed)
Computer and computing technologies in agriculture IX = 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 = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015 : revised selected papers.. Part I /
by:
(Language materials, printed)
Distributed computer and communication networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016 : revised selected papers /
by:
(Language materials, printed)
Supercomputing = second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016 : revised selected papers /
by:
(Language materials, printed)
Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging = MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016 : revised selected papers /
by:
(Language materials, printed)
Introduction to MATLAB for engineers and scientists = solutions for numerical computation and modeling /
by:
(Language materials, printed)
The symbolic computation of integrability structures for partial differential equations
by:
(Language materials, printed)
An introduction to distance geometry applied to molecular geometry
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part II /
by:
(Language materials, printed)
Discrete Geometry for Computer Imagery = 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017 : proceedings /
by:
(Language materials, printed)
Combinatorics on words = 11th International Conference, WORDS 2017, Montreal, QC, Canada, September 11-15, 2017 : proceedings /
by:
(Language materials, printed)
Distributed computer and communication networks = 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017 : proceedings /
by:
(Language materials, printed)
Game-theoretic learning and distributed optimization in memoryless multi-agent systems
by:
(Language materials, printed)
Crossbar-based interconnection networks = blocking, scalability, and reliability /
by:
(Language materials, printed)
Energy minimization methods in computer vision and pattern recognition = 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 - November 1, 2017 : revised selected papers /
by:
(Language materials, printed)
Artificial evolution = 13th International Conference, Evolution Artificielle, EA 2017, Paris, France, October 25-27, 2017 : revised selected papers /
by:
(Language materials, printed)
Partition function form games = coalitional games with externalities /
by:
(Language materials, printed)
Optimization problems and their applications = 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018 : revised selected papers /
by:
(Language materials, printed)
Biomedical engineering systems and technologies = 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21-23, 2017 : revised selected papers /
by:
(Language materials, printed)
Application of soft computing and intelligent methods in geophysics
by:
(Language materials, printed)
Recent advances in applications of computational and fuzzy mathematics
by:
(Language materials, printed)
Sailing routes in the world of computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
(Language materials, printed)
History of cryptography and cryptanalysis = codes, ciphers, and their algorithms /
by:
(Language materials, printed)
Parallel computational technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers /
by:
(Language materials, printed)
Information technologies and mathematical modelling = queueing theory and applications : 17th International Conference, ITMM 2018, named after A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018 : selected papers /
by:
(Language materials, printed)
Artificial intelligence and symbolic computation = 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018 : proceedings /
by:
(Language materials, printed)
Modeling decisions for artificial intelligence = 15th International Conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018 : proceedings /
by:
(Language materials, printed)
Mathematics and computing = ICMC 2018, Varanasi, India, January 9-11, Selected Contributions /
by:
(Language materials, printed)
Analysis for computer scientists = foundations, methods, and algorithms /
by:
(Language materials, printed)
Graph data management = fundamental issues and recent developments /
by:
(Language materials, printed)
Mathematical and numerical modeling of the cardiovascular system and applications
by:
(Language materials, printed)
New trends in emerging complex real life problems = ODS, Taormina, Italy, September 10-13, 2018 /
by:
(Language materials, printed)
Core data analysis = summarization, correlation, and visualization /
by:
(Language materials, printed)
Mathematical morphology and its applications to signal and image processing = 13th International Symposium, ISMM 2017, Fontainebleau, France, May 15-17, 2017 : proceedings /
by:
(Language materials, printed)
Functional imaging and modeling of the heart = 10th International Conference, FIMH 2019, Bordeaux, France, June 6-8, 2019 : proceedings /
by:
(Language materials, printed)
Scale space and variational methods in computer vision = 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 - July 4, 2019 : proceedings /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in neural networks - ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10-12, 2019 : proceedings.. Part II /
by:
(Language materials, printed)
Mathematical optimization theory and operations research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019 : proceedings /
by:
(Language materials, printed)
Parallel computational technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers /
by:
(Language materials, printed)
Hybrid systems biology = 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019 : revised selected papers /
by:
(Language materials, printed)
DNA computing and molecular programming = 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019 : proceedings /
by:
(Language materials, printed)
Applied logic for computer scientists = computational deduction and formal proofs /
by:
(Language materials, printed)
Network games, control, and optimization = proceedings of NETGCOOP 2016, Avignon, France /
by:
(Language materials, printed)
Integration of AI and OR Techniques in Constraint Programming = 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings /
by:
(Language materials, printed)
Analytical and Stochastic Modelling Techniques and Applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings /
by:
(Language materials, printed)
Security Standardisation Research = Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings /
by:
(Language materials, printed)
Interdisciplinary Topics in Applied Mathematics, Modeling and Computational Science
by:
(Language materials, printed)
Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings /
by:
(Language materials, printed)
Mathematical Morphology and Its Applications to Signal and Image Processing = 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
(Language materials, printed)
Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 2 Extensions and Generalizations = A Monograph Based on Articles of the Founding Authors, Reproduced in Full /
by:
(Language materials, printed)
Big-Data Analytics and Cloud Computing = Theory, Algorithms and Applications /
by:
(Language materials, printed)
Bilevel Programming Problems = Theory, Algorithms and Applications to Energy Networks /
by:
(Language materials, printed)
Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 1 Foundations = A Monograph Based on Articles of the Founding Authors, Reproduced in Full /
by:
(Language materials, printed)
Semigroups, Algebras and Operator Theory = Kochi, India, February 2014 /
by:
(Language materials, printed)
Accuracy and Fuzziness. A Life in Science and Politics = A Festschrift book to Enric Trillas Ruiz /
by:
(Language materials, printed)
Excel und VBA = Einführung mit praktischen Anwendungen in den Naturwissenschaften /
by:
(Language materials, printed)
Mathematische Grundlagen der Informatik = Mathematisches Denken und Beweisen Eine Einführung /
by:
(Language materials, printed)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
(Language materials, printed)
Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings /
by:
(Language materials, printed)
Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(Language materials, printed)
Information Processing in Cells and Tissues = 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings /
by:
(Language materials, printed)
Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
by:
(Language materials, printed)
Computer and Computing Technologies in Agriculture IX = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
by:
(Language materials, printed)
Algorithms in Bioinformatics = 16th International Workshop, WABI 2016, Aarhus, Denmark, August 22-24, 2016. Proceedings /
by:
(Language materials, printed)
Supercomputing = Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Integration of AI and OR Techniques in Constraint Programming = 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings /
by:
(Language materials, printed)
Computer and Computing Technologies in Agriculture IX = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Modeling and Simulation in Engineering, Economics and Management = International Conference, MS 2016, Teruel, Spain, July 4-5, 2016, Proceedings /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Guide to Computing Fundamentals in Cyber-Physical Systems = Concepts, Design Methods, and Applications /
by:
(Language materials, printed)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(Language materials, printed)
Information Security = 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings /
by:
(Language materials, printed)
Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings /
by:
(Language materials, printed)
Topics in Numerical Partial Differential Equations and Scientific Computing
by:
(Language materials, printed)
Modeling Decisions for Artificial Intelligence = 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings /
by:
(Language materials, printed)
Mathematics and Computing = ICMC 2018, Varanasi, India, January 9-11, Selected Contributions /
by:
(Language materials, printed)
Sailing Routes in the World of Computation = 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings /
by:
(Language materials, printed)
Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence and Symbolic Computation = 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings /
by:
(Language materials, printed)
Recent Advances in Applications of Computational and Fuzzy Mathematics
by:
(Language materials, printed)
Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Crossbar-Based Interconnection Networks = Blocking, Scalability, and Reliability /
by:
(Language materials, printed)
Reachability Problems = 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /
by:
(Language materials, printed)
Analysis for Computer Scientists = Foundations, Methods, and Algorithms /
by:
(Language materials, printed)
History of Cryptography and Cryptanalysis = Codes, Ciphers, and Their Algorithms /
by:
(Language materials, printed)
New Trends in Emerging Complex Real Life Problems = ODS, Taormina, Italy, September 10–13, 2018 /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers /
by:
(Language materials, printed)
Graph Data Management = Fundamental Issues and Recent Developments /
by:
(Language materials, printed)
Computational Engineering = Theorie und Praxis der Transportmodelle /
by:
(Language materials, printed)
Mathematical and Numerical Modeling of the Cardiovascular System and Applications
by:
(Language materials, printed)
Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Partition Function Form Games = Coalitional Games with Externalities /
by:
(Language materials, printed)
Algorithmen für Ingenieure = Technische Realisierung mit Excel und VBA /
by:
(Language materials, printed)
Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings /
by:
(Language materials, printed)
Application of Soft Computing and Intelligent Methods in Geophysics
by:
(Language materials, printed)
Optimization Problems and Their Applications = 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Energy Minimization Methods in Computer Vision and Pattern Recognition = 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Artificial Evolution = 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Biomedical Engineering Systems and Technologies = 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien /
by:
(Language materials, printed)
Improving Service Level Engineering = An Intuitionistic Fuzzy Approach /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Hybrid Systems Biology = 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Advances in Optimization and Decision Science for Society, Services and Enterprises = ODS, Genoa, Italy, September 4-7, 2019 /
by:
(Language materials, printed)
DNA Computing and Molecular Programming = 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings /
by:
(Language materials, printed)
Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(Language materials, printed)
Basic Math for Game Development with Unity 3D = A Beginner's Guide to Mathematical Foundations /
by:
(Language materials, printed)
Functional Imaging and Modeling of the Heart = 10th International Conference, FIMH 2019, Bordeaux, France, June 6–8, 2019, Proceedings /
by:
(Language materials, printed)
Geometric Multiplication of Vectors = An Introduction to Geometric Algebra in Physics /
by:
(Language materials, printed)
Finite Difference Methods. Theory and Applications = 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Queueing Theory and Network Applications = 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Computational and Information Technologies in Science, Engineering and Education = 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
WALCOM: Algorithms and Computation = 13th International Conference, WALCOM 2019, Guwahati, India, February 27 – March 2, 2019, Proceedings /
by:
(Language materials, printed)
Scale Space and Variational Methods in Computer Vision = 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019, Proceedings /
by:
(Language materials, printed)
Network Games, Control, and Optimization = Proceedings of NETGCOOP 2018, New York, NY /
by:
(Language materials, printed)
Advances in Neural Networks – ISNN 2019 = 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Discrete Applied Mathematics = 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings /
by:
(Language materials, printed)
Aspekte des Unendlichen = Eine kleine Erzählung für Nichtmathematiker /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Discrete Geometry for Computer Imagery = 21st IAPR International Conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Computergrafik = Band I des Standardwerks Computergrafik und Bildverarbeitung /
by:
(Language materials, printed)
Computational Diffusion MRI = International MICCAI Workshop, Granada, Spain, September 2018 /
by:
(Language materials, printed)
Stochastic Models in Reliability, Network Security and System Safety = Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday /
by:
(Language materials, printed)
Mathematical Optimization Theory and Operations Research = 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings /
by:
(Language materials, printed)
Mathematical Morphology and Its Applications to Signal and Image Processing = 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(Language materials, printed)
Steuerung eines autonomen Fahrzeugs durch Deep Reinforcement Learning
by:
(Language materials, printed)
Optimization and Applications = 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Algorithms and Complexity in Mathematics, Epistemology, and Science = Proceedings of 2015 and 2016 ACMES Conferences /
by:
(Language materials, printed)
Show more
Fewer
Subjects