Mathematics of Computing.
概要
| 作品: | 898 作品在 788 項出版品 788 種語言 | |
|---|---|---|
書目資訊
High Performance Computing - HiPC 2005 :12th International Conference, Goa, India, December 18-21, 2005. Proceedings /
by:
(書目-電子資源)
Foundations of Generic Optimization /2,Applications of Fuzzy Control, Genetic Algorithms and Neural Networks /
by:
(書目-電子資源)
Pillars of Computer Science :Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(書目-電子資源)
Algebra, Meaning, and ComputationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /
by:
(書目-電子資源)
High Performance Computing - HiPC 200613th International Conference Bangalore, India, December 18-21, 2006, Proceedings /
by:
(書目-電子資源)
Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations
by:
(書目-電子資源)
Language and automata theory and applicationssecond international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Mathematics and computation, a contemporary viewthe abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 /
by:
(書目-語言資料,印刷品)
High performance computing - HiPC 200815th international conference, Bangalore, India, December 17-20, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Logic and its applicationsthird Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
by:
(書目-電子資源)
Quantum interactionthird international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings /
by:
(書目-電子資源)
Typed lambda calculi and applications9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/
by:
(書目-電子資源)
Logic programming25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings /
by:
(書目-電子資源)
Algebraic informaticsthird international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(書目-電子資源)
Fundamentals of computation theory17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings /
by:
(書目-電子資源)
Unconventional computation8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings /
by:
(書目-電子資源)
Algorithms - ESA 200917th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings /
by:
(書目-電子資源)
Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(書目-電子資源)
Cryptology and Network Security8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings /
by:
(書目-電子資源)
Rigorous methods for software construction and analysisessays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(書目-電子資源)
Mathematical foundations of scientific visualization, computer graphics, and massive data explorationm
by:
(書目-電子資源)
A 25-Year perspective on logic programmingachievements of the Italian Association for Logic Programming, GULP /
by:
(書目-電子資源)
Deontic logic in computer science10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by:
(書目-電子資源)
Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(書目-電子資源)
Frontiers in algorithmics4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings /
by:
(書目-電子資源)
Transactions on computational science XIspecial issue on security in computing, part II /
by:
(書目-電子資源)
Logic and its applications4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(書目-電子資源)
Ludics, dialogue and interactionPRELUDE Project - 2006-2009 : revised selected papers /
by:
(書目-電子資源)
Algebraic informatics4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings /
by:
(書目-電子資源)
Fundamentals of computation theory18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
(書目-電子資源)
The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(書目-電子資源)
Quantum interaction5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers /
by:
(書目-電子資源)
Digital imaging and communications in medicine (DICOM)a practical introduction and survival guide /
by:
(書目-電子資源)
Mathematics and modern artproceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 /
by:
(書目-電子資源)
Biomedical image registration5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012 : proceedings /
by:
(書目-電子資源)
Automated reasoning6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
(書目-電子資源)
Biomedical image registration6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014 : proceedings /
by:
(書目-電子資源)
Swarm Intelligence9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic differentiation of pragma-defined parallel regionsdifferentiating computer programs containing OpenMP /
by:
(書目-語言資料,印刷品)
SAGA - advances in shApes, geometry, and algebraresults from the Marie Curie Initial Training Network /
by:
(書目-電子資源)
Transactions on large-scale data- and knowledge-centered systems XVIselected papers from ACOMP 2013 /
by:
(書目-電子資源)
Theory and applications of models of computation12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015 : proceedings /
by:
(書目-電子資源)
Theory and applications of satisfiability testing - SAT 201518th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201521st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part I /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201521st International Conference on the Theory and Application of Cryptology and Information Security Auckland, New Zealand, November 29 - December 3, 2015 : proceedings.Part II /
by:
(Electronic resources)
Spectral and high order methods for partial differential equations - ICOSAHOM 2014selected papers from the ICOSAHOM conference, June 23-27, 2014, Salt Lake City, Utah, USA /
by:
(Electronic resources)
Operations research and enterprise systems4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers /
by:
(Electronic resources)
Data analytics for renewable energy integrationthird ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015 : revised selected papers /
by:
(Electronic resources)
Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(Electronic resources)
Algorithms for sensor systems11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, Patras, Greece, September 17-18, 2015 : revised selected papers /
by:
(Electronic resources)
Index-aware model order reduction methodsapplications to differential-algebraic equations /
by:
(Electronic resources)
Complete symbolic simulation of SystemC modelsefficient formal verification of finite non-terminating programs /
by:
(Electronic resources)
Evolutionary and biologically inspired music, sound, art and design5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings /
by:
(Electronic resources)
Applications of evolutionary computation19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part II /
by:
(Electronic resources)
Applications of evolutionary computation19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part I /
by:
(Electronic resources)
Advances in artificial life, evolutionary computation and systems chemistry10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers /
by:
(Electronic resources)
Parallel processing and applied mathematics11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I /
by:
(Electronic resources)
Parallel processing and applied mathematics11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II /
by:
(Electronic resources)
Mathematical aspects of computer and information sciences6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers /
by:
(Electronic resources)
Compression-based methods of statistical analysis and prediction of time series
by:
(Electronic resources)
Relaxed abductionrobust information interpretation for industrial applications /
by:
(Electronic resources)
Pursuit of the universal12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
(Electronic resources)
Automated reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(Electronic resources)
High performance computing in science and engineeringsecond International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers /
by:
(Electronic resources)
Theory and applications of satisfiability testing - SAT 201619th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 201613th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings /
by:
(Electronic resources)
Analytical and stochastic modeling techniques and applications23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings /
by:
(Electronic resources)
Principles and practice of constraint programming22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings /
by:
(Electronic resources)
Cool math for hot musica first introduction to mathematics for music theorists /
by:
(Electronic resources)
All about musicthe complete ontology: realities, semiotics, communication, and embodiment /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201622nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.Part I /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201622nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.Part II /
by:
(Electronic resources)
Data analytics for renewable energy integration4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016 : revised selected papers /
by:
(Electronic resources)
Algorithms for sensor systems12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016 : revised selected papers /
by:
(Electronic resources)
Operations research and enterprise systems5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016 : revised selected papers /
by:
(Electronic resources)
Advances in artificial life, evolutionary computation, and systems chemistry11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016 : revised selected papers /
by:
(Electronic resources)
Mathematics and computingthird International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings /
by:
(Electronic resources)
EVOLVEa bridge between probability, set oriented numerics and evolutionary computation VII /
by:
(Electronic resources)
Symbolic and quantitative approaches to reasoning with uncertainty14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings /
by:
(Electronic resources)
Deterministic global optimizationan introduction to the diagonal approach /
by:
(Electronic resources)
High performance computing for computational science - VECPAR 201612th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(Electronic resources)
The mathematical-function computation handbookprogramming using the MathCW portable software library /
by:
(Electronic resources)
Principles and practice of constraint programming23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings /
by:
(Electronic resources)
BNAIC 2016artificial intelligence : 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016 : revised selected papers /
by:
(Electronic resources)
Scalable uncertainty management11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(Electronic resources)
Verifiable composition of signature and encryptiona comprehensive study of the design paradigms /
by:
(Electronic resources)
Geometric science of informationthird International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings /
by:
(Electronic resources)
Innovative security solutions for information technology and communications10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017 : revised selected papers /
by:
(Electronic resources)
Supercomputingthird Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers /
by:
(Electronic resources)
Task scheduling for multi-core and parallel architectureschallenges, solutions and perspectives /
by:
(Electronic resources)
Queueing theory and network applications12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017 : proceedings /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201723rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.Part I /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201723rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.Part II /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201723rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.Part III /
by:
(Electronic resources)
Internet of vehiclestechnologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017 : proceedings /
by:
(Electronic resources)
hp-Version discontinuous Galerkin methods on polygonal and polyhedral meshes
by:
(Electronic resources)
Mathematical aspects of computer and information sciences7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings /
by:
(Electronic resources)
Geometrically unfitted finite element methods and applicationsproceedings of the UCL Workshop 2016 /
by:
(Electronic resources)
Machine learning, optimization, and big datathird International Conference, MOD 2017, Volterra, Italy, September 14-17, 2017 : revised selected papers /
by:
(Electronic resources)
Fundamentals and applications of hardcopy communicationconveying side information by printed media /
by:
(Electronic resources)
Computer games6th Workshop, CGW 2017, held in conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017 : revised selected papers /
by:
(Electronic resources)
Artificial Intelligence29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8-9, 2017 : revised selected papers /
by:
(Electronic resources)
Advances in computer algebrain honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada /
by:
(Electronic resources)
Practical Python AI projectsmathematical models of optimization problems with Google OR-tools /
by:
(Electronic resources)
Artificial life and evolutionary computation12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017 : revised selected papers /
by:
(Electronic resources)
Mathematical foundations of advanced informatics.Volume 1,Inductive approaches
by:
(Electronic resources)
LATIN 2018theoretical informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018 : proceedings /
by:
(Electronic resources)
Parallel processing and applied mathematics12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.Part I /
by:
(Electronic resources)
Mathematics and computing4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018 : revised selected papers /
by:
(Electronic resources)
Clinical rehabilitation experience utilizing serious gamesrehabilitation technology and a technical concept for health data collection /
by:
(Electronic resources)
Operations Research and Enterprise Systems6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017 : revised selected papers /
by:
(Electronic resources)
High performance computing in science and engineeringthird International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017 : revised selected papers /
by:
(Electronic resources)
Intelligent robotics and applications11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.Part II /
by:
(Electronic resources)
Monte Carlo and quasi-Monte Carlo methodsMCQMC 2016, Stanford, CA, August 14-19 /
by:
(Electronic resources)
Simulation sciencefirst International Workshop, SimScience 2017, Gottingen, Germany, April 27-28, 2017 : revised selected papers /
by:
(Electronic resources)
Distributed computer and communication networks21st International Conference, DCCN 2018, Moscow, Russia, September 17-21, 2018 : proceedings /
by:
(Electronic resources)
Principles and practice of constraint programming24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings /
by:
(Electronic resources)
Developments in language theory22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
by:
(Electronic resources)
Computational intelligence, cyber security and computational modelsmodels and techniques for intelligent systems and automation : third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017 : proceedings /
by:
(Electronic resources)
Studies on speech production11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017 : revised selected papers /
by:
(Electronic resources)
Advanced concepts for intelligent vision systems19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018 : proceedings /
by:
(Electronic resources)
The GLOBAL optimization algorithmnewly updated with Java implementation and parallelization /
by:
(Electronic resources)
Resonant scattering and generation of wavescubically polarizable layers /
by:
(Electronic resources)
Smart cities, green technologies, and intelligent transport systems6th International Conference, SMARTGREENS 2017, and third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017 : revised selected papers /
by:
(Electronic resources)
Operations research and enterprise systems7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24-26, 2018 : revised selected papers /
by:
(Electronic resources)
Game theory for networks8th International EAI Conference, GameNets 2019, Paris, France, April 25-26, 2019 : proceedings /
by:
(Electronic resources)
Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017)Transcending Boundaries, Embracing Multidisciplinary Diversities /
by:
(Electronic resources)
Applications of evolutionary computation22nd International Conference, EvoApplications 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019 : proceedings /
by:
(Electronic resources)
Communications and networking13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018 : proceedings /
by:
(Electronic resources)
Industrial networks and intelligent systems14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27-28, 2018 : proceedings /
by:
(Electronic resources)
Computational topology in image context7th International Workshop, CTIC 2019, Malaga, Spain, January 24-25, 2019 : proceedings /
by:
(Electronic resources)
Advances in neural networks - ISNN 201714th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.Part II /
by:
(Electronic resources)
Advances in neural networks - ISNN 201714th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.Part I /
by:
(Electronic resources)
Computer algebra in scientific computing19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings /
by:
(Electronic resources)
Smart citiessecond International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings /
by:
(Electronic resources)
Theory and applications of models of computation14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings /
by:
(Electronic resources)
Information processing in medical imaging26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings /
by:
(Electronic resources)
Computer Vision - ACCV 201814th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.Part I /
by:
(Electronic resources)
Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part III /
by:
(Electronic resources)
Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part V /
by:
(Electronic resources)
Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part II /
by:
(Electronic resources)
Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part IV /
by:
(Electronic resources)
Parallel computing technologies15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings /
by:
(Electronic resources)
Computational methods in systems biology17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings /
by:
(Electronic resources)
Unifying theories of programming7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings /
by:
(Electronic resources)
Arto Salomaamathematician, computer scientist, and teacher, a thematic biography /
by:
(Electronic resources)
Game theorythird East Asia International Conference, EAGT 2019, Fuzhou, China, March 7-9, 2019 : revised selected papers /
by:
(Electronic resources)
Information technologies and mathematical modellingqueueing theory and applications : 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26-30, 2019 : revised selected papers /
by:
(Electronic resources)
Stochastic models in reliability, network security and system safetyessays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday /
by:
(Electronic resources)
String processing and information retrieval26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019 : proceedings /
by:
(Electronic resources)
Simulation and synthesis in medical imaging4th International Workshop, SASHIMI 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019 : proceedings /
by:
(Electronic resources)
Ophthalmic Medical Image Analysis6th International Workshop, OMIA 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17 : proceedings /
by:
(Electronic resources)
Numerical geometry, grid generation and scientific computingproceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018 /
by:
(Electronic resources)
Algorithms and discrete applied mathematics4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018 : proceedings /
by:
(Electronic resources)
Measurement, modelling and evaluation of computing systems19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018 : proceedings /
by:
(Electronic resources)
Intelligent data processing11th International Conference, IDP 2016, Barcelona, Spain, October 10-14, 2016 : revised selected papers /
by:
(Electronic resources)
Analysis of experimental algorithmsSpecial Event, SEA2 2019, Kalamata, Greece, June 24-29, 2019 : revised selected papers /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings /
by:
(Electronic resources)
Advances in cryptology - ASIACRYPT 201925th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8-12, 2019 : proceedings.Part III /
by:
(Electronic resources)
Graph drawing and network visualization27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019 : proceedings /
by:
(Electronic resources)
Graphical models for security6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019 : revised papers /
by:
(Electronic resources)
Julia quick syntax referencea pocket guide for data science programming /
by:
(Electronic resources)
Reflections on the foundations of mathematicsunivalent foundations, set theory and general thoughts /
by:
(Electronic resources)
Simulation sciencesecond International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019 : revised selected papers /
by:
(Electronic resources)
Advances in signal processing and intelligent recognition systems5th International Symposium, SIRS 2019, Trivandrum, India, December 18-21, 2019 : revised selected papers /
by:
(Electronic resources)
Variable neighborhood search7th International Conference, ICVNS 2019, Rabat, Morocco, October 3-5, 2019 : revised selected papers /
by:
(Electronic resources)
Integer programming and combinatorial optimization21st International Conference, IPCO 2020, London, UK, June 8-10, 2020 : proceedings /
by:
(Electronic resources)
Research in computational molecular biology24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020 : proceedings /
by:
(Electronic resources)
Bio-inspired computingtheories and applications : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22-25, 2019 : revised selected papers.Part II /
by:
(Electronic resources)
Parallel processing and applied mathematics13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.Part II /
by:
(Electronic resources)
Parallel processing and applied mathematics13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.Part I /
by:
(Electronic resources)
Computer performance engineering16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers /
by:
(Electronic resources)
Information and communication technologies in education, research, and industrial applications15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019 : revised selected papers /
by:
(Electronic resources)
Computational intelligence methods for bioinformatics and biostatistics15th International Meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018 : revised selected papers /
by:
(Electronic resources)
Algorithms and discrete applied mathematics6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : proceedings /
by:
(Electronic resources)
WALCOMalgorithms and computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020 : proceedings /
by:
(Electronic resources)
Maple in mathematics education and researchthird Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019 : proceedings /
by:
(Electronic resources)
Optimization and learningthird International Conference, OLA 2020, Cadiz, Spain, February 17-19, 2020 : proceedings /
by:
(Electronic resources)
Space information networks4th International Conference, SINC 2019, Wuzhen, China, September 19-20, 2019 : revised selected papers /
by:
(Electronic resources)
Numerical computationstheory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers.Part I /
by:
(Electronic resources)
Numerical computationstheory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers.Part II /
by:
(Electronic resources)
Nature-inspired computation in navigation and routing problemsalgorithms, methods and applications /
by:
(Electronic resources)
Mathematical modelling and scientific computing with applicationsICMMSC 2018, Indore, India, July 19-21 /
by:
(Electronic resources)
Operations research and enterprise systems8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019 : revised selected papers /
by:
(Electronic resources)
Biomedical engineering systems and technologies12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22-24, 2019 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence algorithms and applications11th International Symposium, ISICA 2019, Guangzhou, China, November 16-17, 2019 : revised selected papers /
by:
(Electronic resources)
Computer information systems and industrial management19th International Conference, CISIM 2020, Bialystok, Poland, October 16-18, 2020 : proceedings /
by:
(Electronic resources)
Developments in language theory24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings /
by:
(Electronic resources)
Advanced computing technologies and applicationsproceedings of 2nd International Conference on Advanced Computing Technologies and Applications-ICACTA 2020 /
by:
(Electronic resources)
Information processing and management of uncertainty in knowledge-based systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part II /
by:
(Electronic resources)
Information processing and management of uncertainty in knowledge-based systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part I /
by:
(Electronic resources)
Information processing and management of uncertainty in knowledge-based systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part III /
by:
(Electronic resources)
Geoinformatics in sustainable ecosystem and society7th International Conference, GSES 2019, and first International Conference, GeoAI 2019, Guangzhou, China, November 21-25, 2019 : revised selected papers /
by:
(Electronic resources)
Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part V /
by:
(Electronic resources)
Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part II /
by:
(Electronic resources)
Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part III /
by:
(Electronic resources)
Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part IV /
by:
(Electronic resources)
Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part VI /
by:
(Electronic resources)
Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part VII /
by:
(Electronic resources)
Computer science - theory and applications15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020 : proceedings /
by:
(Electronic resources)
Finite volumes for complex applications IXmethods, theoretical aspects, examples : FVCA 9, Bergen, Norway, June 2020 /
by:
(Electronic resources)
Mathematical optimization theory and operations research19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings /
by:
(Electronic resources)
Artificial life and evolutionary computation14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18-20, 2019 : revised selected papers /
by:
(Electronic resources)
Data mining and big data5th International Conference, DMBD 2020, Belgrade, Serbia, July 14-20, 2020 : proceedings /
by:
(Electronic resources)
Foundations of finitely supported structuresa set theoretical viewpoint /
by:
(Electronic resources)
Parallel computational technologies14th International Conference, PCT 2020, Perm, Russia, May 27-29, 2020 : revised selected papers /
by:
(Electronic resources)
Combinatorial image analysis20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020 : proceedings /
by:
(Electronic resources)
Code-based cryptography8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020 : revised selected papers /
by:
(Electronic resources)
Structural information and communication complexity27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29-July 1, 2020 : proceedings /
by:
(Electronic resources)
Neural computing for advanced applicationsfirst International Conference, NCAA 2020, Shenzhen, China, July 3-5, 2020 : proceedings /
by:
(Electronic resources)
Parallel Problem Solving from Nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.Part II /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.Part I /
by:
(Electronic resources)
Modeling decisions for artificial intelligence17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings /
by:
(Electronic resources)
Database and expert systems applicationsDEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020 : proceedings /
by:
(Electronic resources)
Recent advances in data sciencethird International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22-24, 2019 : revised selected papers /
by:
(Electronic resources)
Principles and practice of constraint programming26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020 : proceedings /
by:
(Electronic resources)
String processing and information retrieval27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13-15, 2020 : proceedings /
by:
(Electronic resources)
Simulation and synthesis in medical imaging5th International Workshop, SASHIMI 2020, held in conjunction with MICCAI 2020, Lima, Peru, October 4, 2020 : proceedings /
by:
(Electronic resources)
Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part III /
by:
(Electronic resources)
Search-based software engineering12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020 : proceedings /
by:
(Electronic resources)
Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part I /
by:
(Electronic resources)
Computational methods in systems biology18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings /
by:
(Electronic resources)
Industrial networks and intelligent systems5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019 : proceedings /
by:
(Electronic resources)
Quality, reliability, security and robustness in heterogeneous systems14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3-4, 2018 : proceedings /
by:
(Electronic resources)
Algorithmic decision theory6th International Conference, ADT 2019, Durham, NC, USA, October 25-27, 2019 : proceedings /
by:
(Electronic resources)
Combinatorics on words12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings /
by:
(Electronic resources)
Evolutionary multi-criterion optimization10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019 : proceedings /
by:
(Electronic resources)
Geometric science of information4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019 : proceedings /
by:
(Electronic resources)
Principles and practice of constraint programming25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019 : proceedings /
by:
(Electronic resources)
Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(Electronic resources)
Research in computational molecular biology23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019 : proceedings /
by:
(Electronic resources)
Integrated uncertainty in knowledge modelling and decision making8th International Symposium, IUKM 2020, Phuket, Thailand, November 11-13, 2020 : proceedings /
by:
(Electronic resources)
Similarity search and applications13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020 : proceedings /
by:
(Electronic resources)
Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(Electronic resources)
Intelligent systems9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020 : proceedings.Part II /
by:
(Electronic resources)
Computer algebra in scientific computing22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings /
by:
(Electronic resources)
Green energy and networking7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020 : proceedings /
by:
(Electronic resources)
Advanced communication systems and information securitysecond International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20-22, 2019 : revised selected papers /
by:
(Electronic resources)
Industrial networks and intelligent systems6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27-28, 2020 : proceedings /
by:
(Electronic resources)
Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings /
by:
(Electronic resources)
Stabilization, safety, and security of distributed systems22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020 : proceedings /
by:
(Electronic resources)
Understand mathematics, understand computingdiscrete mathematics that all computing students should know /
by:
(Electronic resources)
Robotics and rehabilitation intelligencefirst International Conference, ICRRI 2020, Fushun, China, September 9-11, 2020 : proceedings.Part I /
by:
(Electronic resources)
Robotics and rehabilitation intelligencefirst International Conference, ICRRI 2020, Fushun, China, September 9-11, 2020 : proceedings.Part II /
by:
(Electronic resources)
LATIN 2020theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020 : proceedings /
by:
(Electronic resources)
Advances in computer games16th International Conference, ACG 2019, Macao, China, August 11-13, 2019 : revised selected papers /
by:
(Electronic resources)
Verification and evaluation of computer and communication systems14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020 : proceedings /
by:
(Electronic resources)
Distributed computer and communication networks23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020 : revised selected papers /
by:
(Electronic resources)
Distributed computer and communication networkscontrol, computation, communications : 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020 : revised selected papers /
by:
(Electronic resources)
Modeling, machine learning and astronomyfirst International Conference, MMLA 2019, Bangalore, India, November 22-23, 2019 : revised selected papers /
by:
(Electronic resources)
High-performance computing systems and technologies in scientific research, automation of control and production10th International Conference, HPCST 2020, Barnaul, Russia, May 15-16, 2020 : revised selected papers /
by:
(Electronic resources)
6GN for future wireless networksthird EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020 : proceedings /
by:
(Electronic resources)
Advanced data mining and applications16th International Conference, ADMA 2020, Foshan, China, November 12-14, 2020 : proceedings /
by:
(Electronic resources)
Algorithmic game theory13th International Symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020 : proceedings /
by:
(Electronic resources)
Computer aided systems theory - EUROCAST 201917th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.Part I /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization20th European Conference, EvoCOP 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings /
by:
(Electronic resources)
Mathematical aspects of computer and information sciences8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019 : revised selected papers /
by:
(Electronic resources)
Scalable uncertainty management14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020 : proceedings /
by:
(Electronic resources)
Treewidth, kernels, and algorithmsessays dedicated to Hans L. Bodlaender on the occasion of his 60th birthday /
by:
(Electronic resources)
Computational methods for deep learningtheoretic, practice and applications /
by:
(Electronic resources)
Proceedings of the sixth International Conference on Mathematics and ComputingICMC 2020 /
by:
(Electronic resources)
Collaborative computingnetworking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.Part I /
by:
(Electronic resources)
Communications and networking15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020 : proceedings /
by:
(Electronic resources)
High performance computing in science and engineering4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20-23, 2019 : revised selected papers /
by:
(Electronic resources)
Algorithms and discrete applied mathematics7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021 : proceedings /
by:
(Electronic resources)
Theoretical computer science38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020 : revised selected papers /
by:
(Electronic resources)
Sustainable energy for smart citiessecond EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020 : proceedings /
by:
(Electronic resources)
Simulation tools and techniques12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020 : proceedings.Part II /
by:
(Electronic resources)
Database systems for advanced applications26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11-14, 2021 : proceedings.Part II /
by:
(Electronic resources)
Structural, syntactic, and statistical pattern recognitionjoint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21-22, 2021 : proceedings /
by:
(Electronic resources)
Cerebral aneurysm detection and analysisfirst Challenge, CADA 2020, held in conjunction with MICCAI 2020, Lima, Peru, October 8, 2020 : proceedings /
by:
(Electronic resources)
Scale space and variational methods in computer vision8th International Conference, SSVM 2021, virtual event, May 16-20, 2021 : proceedings /
by:
(Electronic resources)
Integer programming and combinatorial optimization22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19-21, 2021 : proceedings /
by:
(Electronic resources)
Production research10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020 : revised selected papers.Part I /
by:
(Electronic resources)
Production research10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020 : revised selected papers.Part II /
by:
(Electronic resources)
Quality, reliability, security and robustness in heterogeneous systems16th EAI International Conference, QShine 2020, virtual event, November 29-30, 2020 : proceedings /
by:
(Electronic resources)
Advances in knowledge discovery and data mining25th Pacific-Asia Conference, PAKDD 2021, virtual event, May 11-14, 2021 : proceedings.Part III /
by:
(Electronic resources)
Discrete geometry and mathematical morphologyfirst International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021 : proceedings /
by:
(Electronic resources)
Cognitive radio-oriented wireless networks15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020 : proceedings /
by:
(Electronic resources)
Big data8th CCF Conference, BigData 2020, Chongqing, China, October 22-24, 2020 : revised selected papers /
by:
(Electronic resources)
Pattern recognition42nd DAGM German Conference, DAGM GCPR 2020, Tubingen, Germany, September 28 - October 1, 2020 : proceedings /
by:
(Electronic resources)
Evolutionary multi-criterion optimization11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021 : proceedings /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization21st European Conference, EvoCOP 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings /
by:
(Electronic resources)
Applied mathematics and computational mechanics for smart applicationsproceedings of AMMAI 2020 /
by:
(Electronic resources)
Modelling and development of intelligent systems7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence for communications and networksSecond EAI International Conference, AICON 2020, Virtual Event, December 19-20, 2020 : proceedings /
by:
(Electronic resources)
Concise guide to quantum computingalgorithms, exercises, and implementations /
by:
(Electronic resources)
Parallel and distributed computing, applications and technologies21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020 : proceedings /
by:
(Electronic resources)
Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020 : proceedings.Part II /
by:
(Electronic resources)
Mathematical modeling and supercomputer technologies20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020 : revised selected papers /
by:
(Electronic resources)
Ubiquitous communications and network computing4th EAI International Conference, UBICNET 2021, virtual event, March 2021 : proceedings /
by:
(Electronic resources)
Membrane computing21st International Conference, CMC 2020, virtual event, September 14-18, 2020 : revised selected papers /
by:
(Electronic resources)
Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part V /
by:
(Electronic resources)
Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part VI /
by:
(Electronic resources)
Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part III /
by:
(Electronic resources)
Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part IV /
by:
(Electronic resources)
Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part II /
by:
(Electronic resources)
Mathematical optimization theory and operations research20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021 : proceedings /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings /
by:
(Electronic resources)
Connecting with computability17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings /
by:
(Electronic resources)
Geometric science of information5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings /
by:
(Electronic resources)
Computational sciences - modelling, computing and soft computingfirst International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020 : revised selected papers /
by:
(Electronic resources)
Spatial data and intelligencesecond International Conference, SpatialDI 2021, Hangzhou, China, April 22-24, 2021 : proceedings /
by:
(Electronic resources)
Schwarz methods and multilevel preconditioners for boundary element methods
by:
(Electronic resources)
Mathematical optimization theory and operations researchrecent trends : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021 : revised selected papers /
by:
(Electronic resources)
Fundamentals of computation theory23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021 : proceedings /
by:
(Electronic resources)
Computational logistics12th International Conference, ICCL 2021, Enschede, the Netherlands, September 27-29, 2021 : proceedings /
by:
(Electronic resources)
String processing and information retrieval28th International Symposium, SPIRE 2021, Lille, France, October 4-6, 2021 : proceedings /
by:
(Electronic resources)
Numerical geometry, grid generation and scientific computingproceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020 /
by:
(Electronic resources)
Computational diffusion MRIInternational MICCAI Workshop, Lima, Peru, October 2020 /
by:
(Electronic resources)
Thinking programslogical modeling and reasoning about languages, data, computations, and executions /
by:
(Electronic resources)
Logistics and supply chain management7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence and soft computing20th International Conference, ICAISC 2021, virtual event, June 21-23, 2021 : proceedings.Part II /
by:
(Electronic resources)
Belief functions: theory and applications6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021 : proceedings /
by:
(Electronic resources)
Computing and combinatorics27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021 : proceedings /
by:
(Electronic resources)
Algorithmic decision theory7th International Conference, ADT 2021, Toulouse, France, November 3-5, 2021 : proceedings /
by:
(Electronic resources)
Discrete and computational geometry, graphs, and games21st Japanese conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018 : revised selected papers /
by:
(Electronic resources)
Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings /
by:
(Electronic resources)
Nature of computation and communication7th EAI International Conference, ICTCC 2021, virtual event, October 28-29, 2021 : proceedings /
by:
(Electronic resources)
Combinatorial optimization and applications15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021 : proceedings /
by:
(Electronic resources)
Distributed computer and communication networkscontrol, computation, communications : 24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021 : revised selected papers /
by:
(Electronic resources)
Artificial intelligencefirst CAAI International Conference, CICAI 2021, Hangzhou, China, June 5-6, 2021 : proceedings.Part II /
by:
(Electronic resources)
Chance in physics, computer science and philosophychance as the foundation of the world /
by:
(Electronic resources)
Optimization, learning algorithms and applicationsfirst International Conference, OL2A 2021, Braganca, Portugal, July 19-21, 2021 : revised selected papers /
by:
(Electronic resources)
Theory and practice of natural computing10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021 : proceedings /
by:
(Electronic resources)
Optimization and applications12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : proceedings /
by:
(Electronic resources)
Performance engineering and stochastic modeling17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings /
by:
(Electronic resources)
Intelligent systems10th razilian conference, BRACIS 2021, virtual event, November 29-December 3, 2021 : proceedings.Part I /
by:
(Electronic resources)
Networked systems9th International Conference, NETYS 2021, virtual event, May 19-21, 2021 : proceedings /
by:
(Electronic resources)
New trends in information and communications technology applications5th International Conference, NTICT 2021, Baghdad, Iraq, November 17-18, 2021 : proceedings /
by:
(Electronic resources)
Principles of parallel scientific computinga first guide to numerical concepts and programming methods /
by:
(Electronic resources)
Machine learning and principles and practice of knowledge discovery in databasesinternational workshops of ECML PKDD 2021, virtual event, September 13-17, 2021 : proceedings.Part I /
by:
(Electronic resources)
Advances in mathematical logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions /
by:
(Electronic resources)
Algorithmic game theory14th international symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021 : proceedings /
by:
(Electronic resources)
Diagrammatic representation and inference12th International Conference, Diagrams 2021 : virtual, September 28-30, 2021 : proceedings /
by:
(Electronic resources)
Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings /
by:
(Electronic resources)
Unconventional computation and natural computation19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021 : proceedings /
by:
(Electronic resources)
Variable neighborhood search8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21-25, 2021 : proceedings /
by:
(Electronic resources)
Software foundations for data interoperability5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers /
by:
(Electronic resources)
Informatics and intelligent applicationsfirst International Conference, ICIIA 2021, Ota, Nigeria, November 25-27, 2021 : revised selected papers /
by:
(Electronic resources)
Information systems and designsecond International Conference, ICID 2021, virtual event, September 6-7, 2021 : revised selected papers /
by:
(Electronic resources)
Distributed artificial intelligencethird International Conference, DAI 2021, Shanghai, China, December 17-18, 2021 : proceedings /
by:
(Electronic resources)
Web and internet economics17th International Conference, WINE 2021, Potsdam, Germany, December 14-17, 2021 : proceedings /
by:
(Electronic resources)
Algorithms and discrete applied mathematics8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings /
by:
(Electronic resources)
OCaml scientific computingfunctional programming in data science and artificial intelligence /
by:
(Electronic resources)
Applications of evolutionary computation25th European Conference, EvoApplications 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings /
by:
(Electronic resources)
Developments in language theory26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022 : proceedings /
by:
(Electronic resources)
Advances in knowledge discovery and data mining26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16-19, 2022 : proceedings.Part I /
by:
(Electronic resources)
Research in computational molecular biology26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22-25, 2022 : proceedings /
by:
(Electronic resources)
Comparative genomics19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20-21, 2022 : proceedings /
by:
(Electronic resources)
Integer programming and combinatorial optimization23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022 : proceedings /
by:
(Electronic resources)
Mathematics and computation in music8th International Conference, MCM 2022, Atlanta, GA, USA, June 21-24, 2022 : proceedings /
by:
(Electronic resources)
Modern cryptography.Volume 1,A classical introduction to informational and mathematical principle
by:
(Electronic resources)
Body area networkssmart IOT and big data for intelligent health management : 16th EAI International Conference, BODYNETS 2021, virtual event, October 25-26, 2021 : proceedings /
by:
(Electronic resources)
Distributed computer and communication networks24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021 : revised selected papers /
by:
(Electronic resources)
Computer-aided architectural designdesign imperatives : the future is now : 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16-18, 2021 : selected papers /
by:
(Electronic resources)
Communications and networking16th EAI International Conference, ChinaCom 2021, virtual event, November 21-22, 2021 : proceedings /
by:
(Electronic resources)
Integrated uncertainty in knowledge modelling and decision making9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18-19, 2022 : proceedings /
by:
(Electronic resources)
Code-based cryptography9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 : revised selected papers /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization22nd European Conference, EvoCOP 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations researchInternational Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022 : proceedings /
by:
(Electronic resources)
Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part II /
by:
(Electronic resources)
Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part III /
by:
(Electronic resources)
Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part IV /
by:
(Electronic resources)
Advances in swarm intelligence13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.Part I /
by:
(Electronic resources)
Advances in swarm intelligence13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.Part II /
by:
(Electronic resources)
Operations research and enterprise systems9th International Conference, ICORES 2020, Valetta, Malta, February 22-24, 2020, and 10th International Conference, ICORES 2021, virtual event, February 4-6, 2021 : revised selected papers /
by:
(Electronic resources)
Exploration of novel intelligent optimization algorithms12th International Symposium, ISICA 2021, Guangzhou, China, November 20-21, 2021 : revised selected papers /
by:
(Electronic resources)
Next generation arithmeticthird International Conference, CoNGA 2022, Singapore, March 1-3, 2022 : revised selected papers /
by:
(Electronic resources)
Coalgebraic methods in computer science16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /
by:
(Electronic resources)
Advances in Computer Games17th International Conference, ACG 2021, virtual event, November 23-25, 2021 : revised selected papers /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part II /
by:
(Electronic resources)
Computer algebra in scientific computing24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022 : proceedings /
by:
(Electronic resources)
Parallel problem solving from nature - PPSN XVII17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.Part I /
by:
(Electronic resources)
Systematic innovation partnerships with artificial intelligence and information technology22nd International TRIZ Future Conference, TFC 2022, Warsaw, Poland, September 27-29, 2022 : proceedings /
by:
(Electronic resources)
Computer and communication engineering2nd International Conference, CCCE 2022, Rome, Italy, March 11-13, 2022 : revised selected papers /
by:
(Electronic resources)
Quantitative evaluation of systems19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings /
by:
(Electronic resources)
KI 2022advances in artificial intelligence : 45th German Conference on AI, Trier, Germany, September 19-23, 2022 : proceedings /
by:
(Electronic resources)
Neural computing for advanced applicationsthird International Conference, NCAA 2022, Jinan, China, July 8-10, 2022 : proceedings.Part II /
by:
(Electronic resources)
Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(Electronic resources)
Algebraic informatics9th International Conference, CAI 2022, virtual event, October 27-29, 2022 : proceedings /
by:
(Electronic resources)
Discrete geometry and mathematical morphologysecond international joint conference, DGMM 2022, Strasbourg, France, October 24-27, 2022 : proceedings /
by:
(Electronic resources)
Game theory for networks11th International EAI Conference, GameNets 2022, virtual event, July 7-8, 2022 : proceedings /
by:
(Electronic resources)
Advances in model and data engineering in the digitalization eraMEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022 : proceedings /
by:
(Electronic resources)
Artificial life and evolutionary computation15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers /
by:
(Electronic resources)
The recent advances in transdisciplinary data sciencefirst Southwest Data Science Conference, SDSC 2022, Waco, TX, USA, March 25-26, 2022 : revised selected papers /
by:
(Electronic resources)
Developments in language theory27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023 : proceedings /
by:
(Electronic resources)
Integer programming and combinatorial optimization24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023 : proceedings /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research20th International Conference, CPAIOR 2023, Nice, France, May 29-June 1, 2023 : proceedings /
by:
(Electronic resources)
Advances in knowledge discovery and data mining27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.Part I /
by:
(Electronic resources)
Advances in knowledge discovery and data mining27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.Part III /
by:
(Electronic resources)
Advances in knowledge discovery and data mining27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.Part II /
by:
(Electronic resources)
Application and theory of petri nets and concurrency44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023 : proceedings /
by:
(Electronic resources)
Variable neighborhood search9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022 : revised selected papers /
by:
(Electronic resources)
Advances in knowledge discovery and data mining27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023 : proceedings.Part IV /
by:
(Electronic resources)
Modelling and development of intelligent systems8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022 : revised selected papers /
by:
(Electronic resources)
Arithmetic of finite fields9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022 : revised selected papers /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
by:
(Electronic resources)
Artificial intelligence and soft computing21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.Part II /
by:
(Electronic resources)
Algorithms and discrete applied mathematics9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023 : proceedings /
by:
(Electronic resources)
Smart card research and advanced applications21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022 : revised selected papers /
by:
(Electronic resources)
Green, pervasive, and cloud computing17th International Conference, GPC 2022, Chengdu, China, December 2-4, 2022 : proceedings /
by:
(Electronic resources)
Computational data and social networks11th International Conference, CSoNet 2022, virtual event, December 5-7, 2022 : proceedings /
by:
(Electronic resources)
Artificial intelligence : theories and applicationsfirst International Conference, ICAITA 2022, Mascara, Algeria, November 7-8, 2022 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence and digitalization for sustainable development10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022 : proceedings /
by:
(Electronic resources)
Web and big dataAPWeb-WAIM 2022 International Workshops : KGMA 2022, semiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022 : proceedings /
by:
(Electronic resources)
Applications of computational intelligence5th IEEE Colombian Conference, ColCACI 2022, Cali, Colombia, July 27-29, 2022 : revised selected papers /
by:
(Electronic resources)
Concrete abstractionsformalizing and analyzing discrete theories and algorithms with the RISCAL model checker /
by:
(Electronic resources)
Bio-inspired computingtheories and applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18 2022 : revised selected papers /
by:
(Electronic resources)
Artificial life and evolutionary computation16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022 : revised selected papers /
by:
(Electronic resources)
Distributed computer and communication networks25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022 : revised selected papers /
by:
(Electronic resources)
Relational and algebraic methods in computer science20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings /
by:
(Electronic resources)
Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part I /
by:
(Electronic resources)
Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part III /
by:
(Electronic resources)
Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part IV /
by:
(Electronic resources)
Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part V /
by:
(Electronic resources)
Distributed artificial intelligence4th International conference, DAI 2022, Tianjin, China, December 15-17, 2022 : proceedings /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization23rd European Conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings /
by:
(Electronic resources)
Applications of evolutionary computation26th European Conference, EvoApplications 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings /
by:
(Electronic resources)
Database systems for advanced applications28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023 : proceedings.Part III /
by:
(Electronic resources)
Human brain and artificial intelligencethird International Workshop, HBAI 2022, held in conjunction with IJCAI-ECAI 2022,Vienna, Austria, July 23, 2022 : revised selected papers /
by:
(Electronic resources)
High-performance computing systems and technologies in scientific research, automation of control and production12th International Conference, HPCST 2022, Barnaul, Russia, May 20-21, 2022 : revised selected papers /
by:
(Electronic resources)
Application and theory of petri nets and concurrency43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022 : proceedings /
by:
(Electronic resources)
Computer and communication engineeringthird International Conference, CCCE 2023, Stockholm, Sweden, March 10-12, 2023 : revised selected papers /
by:
(Electronic resources)
Information processing in medical imaging28th International Conference, IPMI 2023, San Carlos de Bariloche, Argentina, June 18-23, 2023 : proceedings /
by:
(Electronic resources)
Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part III /
by:
(Electronic resources)
Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part V /
by:
(Electronic resources)
Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part IV /
by:
(Electronic resources)
Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part II /
by:
(Electronic resources)
Towards AI-aided invention and innovation23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023 : proceedings /
by:
(Electronic resources)
International Conference on Neural Computing for Advanced Applications4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023 : proceedings.Part II /
by:
(Electronic resources)
International Conference on Neural Computing for Advanced Applications4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023 : proceedings.Part I /
by:
(Electronic resources)
Information systems and designthird International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022 : revised selected papers /
by:
(Electronic resources)
Computer algebra in scientific computing25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings /
by:
(Electronic resources)
Computer-aided architectural design, INTERCONNECTIONS : co-computing beyond boundaries20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023 : selected papers /
by:
(Electronic resources)
Deep learning theory and applicationsthird International Conference, DeLTA 2022, Lisbon, Portugal, July 12-14, 2022 : revised selected papers /
by:
(Electronic resources)
Deep learning theory and applicationsfirst International Conference, DeLTA 2020, virtual event, July 8-10, 2020, and second International Conference, DeLTA 2021, virtual event, July 7-9, 2021 : revised selected papers /
by:
(Electronic resources)
Advances in swarm intelligence14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.Part I /
by:
(Electronic resources)
Advances in swarm intelligence14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.Part II /
by:
(Electronic resources)
Comparative genomics20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14-15, 2023 : proceedings /
by:
(Electronic resources)
Geometric science of information6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023 : proceedings.Part I /
by:
(Electronic resources)
Geometric science of information6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023 : proceedings.Part II /
by:
(Electronic resources)
Computational methods for deep learningtheory, algorithms, and implementations /
by:
(Electronic resources)
Mathematical optimization theory and operations researchrecent trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023 : revised selected papers /
by:
(Electronic resources)
Quantitative evaluation of systems20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(Electronic resources)
KI 2023advances in artificial intelligence : 46th German Conference on AI, Berlin, Germany, September 26-29, 2023 : proceedings /
by:
(Electronic resources)
Fundamentals of computation theory24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023 : proceedings /
by:
(Electronic resources)
Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings /
by:
(Electronic resources)
Integrated uncertainty in knowledge modelling and decision making10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2-4, 2023 : proceedings.Part I /
by:
(Electronic resources)
Integrated uncertainty in knowledge modelling and decision making10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2-4, 2023 : proceedings.Part II /
by:
(Electronic resources)
Code-based cryptography11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023 : revised selected papers /
by:
(Electronic resources)
Artificial intelligence logic and applicationsthe 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings /
by:
(Electronic resources)
Artificial intelligence research4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023 : proceedings /
by:
(Electronic resources)
Optimization and applications14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers /
by:
(Electronic resources)
Computational diffusion MRI14th International Workshop, CDMRI 2023, held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023 : proceedings /
by:
(Electronic resources)
Evolutionary multi-criterion optimization12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023 : proceedings /
by:
(Electronic resources)
Scale space and variational methods in computer vision9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023 : proceedings /
by:
(Electronic resources)
Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings /
by:
(Electronic resources)
Distributed computer and communication networks26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023 : revised selected papers /
by:
(Electronic resources)
New trends in information and communications technology applications7th National Conference, NTICT 2023, Baghdad, Iraq, December 20-21, 2023 : proceedings /
by:
(Electronic resources)
Next generation data sciencesecond Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023 : revised selected papers /
by:
(Electronic resources)
Intelligence computation and applications14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023 : revised selected papers.Part I /
by:
(Electronic resources)
Intelligence computation and applications14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023 : revised selected papers.Part II /
by:
(Electronic resources)
Application and theory of petri nets and concurrency45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024 : proceedings /
by:
(Electronic resources)
Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part II /
by:
(Electronic resources)
Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part IV /
by:
(Electronic resources)
Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part V /
by:
(Electronic resources)
Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part III /
by:
(Electronic resources)
Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part VII /
by:
(Electronic resources)
Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part VI /
by:
(Electronic resources)
Integer programming and combinatorial optimization25th International Conference, IPCO 2024, Wrocław, Poland, July 3-5, 2024 : proceedings /
by:
(Electronic resources)
Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
(Electronic resources)
Mathematics and computation in music9th International Conference, MCM 2024, Coimbra, Portugal, June 18-21, 2024 : proceedings /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024 : proceedings.Part II /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024 : proceedings.Part I /
by:
(Electronic resources)
Methods and applications for modeling and simulation of complex systems22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023 : proceedings.Part I /
by:
(Electronic resources)
Methods and applications for modeling and simulation of complex systems22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023 : proceedings.Part II /
by:
(Electronic resources)
Applications of computational intelligence6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023 : revised selected papers /
by:
(Electronic resources)
Data science and machine learning21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023 : proceedings /
by:
(Electronic resources)
Advances in optimization and applications14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers /
by:
(Electronic resources)
Operations research and enterprise systems11th International Conference, ICORES 2022, virtual event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023 : revised selected papers /
by:
(Electronic resources)
Combinatorial optimization and applications17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part I /
by:
(Electronic resources)
Combinatorial optimization and applications17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part II /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part I /
by:
(Electronic resources)
Mathematical modeling and supercomputer technologies23rd International Conference, MMS 2023, Nizhny Novgorod, Russia, November 13-16, 2023 : revised selected papers /
by:
(Electronic resources)
High-performance computing systems and technologies in scientific research, automation of control and production13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023 : revised selected papers /
by:
(Electronic resources)
Explainable artificial intelligence and process mining applications for healthcarethird International Workshop, XAI-Healthcare 2023, and first International Workshop, PM4H 2023, Portoroz, Slovenia, June 15, 2023 : proceedings /
by:
(Electronic resources)
Algorithms and discrete applied mathematics10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024 : proceedings /
by:
(Electronic resources)
Green, pervasive, and cloud computing18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023 : proceedings.Part I /
by:
(Electronic resources)
Green, pervasive, and cloud computing18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023 : proceedings.Part II /
by:
(Electronic resources)
Smart card research and advanced applications22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023 : revised selected papers /
by:
(Electronic resources)
Advances in Computer Games18th International Conference, ACG 2023, virtual event, November 28-30, 2023 : revised selected papers /
by:
(Electronic resources)
Graphs and combinatorial optimizationfrom Theory to Applications : CTW 2023, Garmisch-Partenkirchen, Germany, June 20-22 /
by:
(Electronic resources)
Artificial life and evolutionary computation17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023 : revised selected papers /
by:
(Electronic resources)
Bio-inspired computingtheories and applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023 : revised selected papers.Part I /
by:
(Electronic resources)
Bio-inspired computingtheories and applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023 : revised selected papers.Part II /
by:
(Electronic resources)
Applications of evolutionary computation27th European Conference, EvoApplications 2024, held as part of Evostar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings.Part I /
by:
(Electronic resources)
Distributed computer and communication networkscontrol, computation, communications : 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023 : revised selected papers /
by:
(Electronic resources)
Applications of evolutionary computation27th European Conference, EvoApplications 2024, held as part of Evostar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings.Part II /
by:
(Electronic resources)
Progress in cryptology - INDOCRYPT 202324th International Conference on Cryptology in India, Goa, India, December 10-13, 2023 : proceedings.Part I /
by:
(Electronic resources)
Progress in cryptology - INDOCRYPT 202324th International Conference on Cryptology in India, Goa, India, December 10-13, 2023 : proceedings.Part II /
by:
(Electronic resources)
Discrete geometry and mathematical morphologythird International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024 : proceedings /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization24th European Conference, EvoCOP 2024, held as part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings /
by:
(Electronic resources)
Advances in knowledge discovery and data mining28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.Part I /
by:
(Electronic resources)
Advances in knowledge discovery and data mining28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.Part II /
by:
(Electronic resources)
Advances in knowledge discovery and data mining28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.Part III /
by:
(Electronic resources)
Advances in knowledge discovery and data mining28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.Part V /
by:
(Electronic resources)
Advances in knowledge discovery and data mining28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.Part VI /
by:
(Electronic resources)
Advances in knowledge discovery and data mining28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024 : proceedings.Part IV /
by:
(Electronic resources)
Comparative genomics21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024 : proceedings /
by:
(Electronic resources)
Mathematical software - ICMS 20248th International Conference, Durham, UK, July 22-25, 2024 : proceedings /
by:
(Electronic resources)
Coalgebraic methods in computer science17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : proceedings /
by:
(Electronic resources)
Developments in language theory28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024 : proceedings /
by:
(Electronic resources)
Methods and applications for modeling and simulation of complex systems23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024 : proceedings /
by:
(Electronic resources)
Recent advances in next-generation data sciencethird Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024 : revised selected papers /
by:
(Electronic resources)
Relational and algebraic methods in computer science21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing26th international workshop, CASC 2024, Rennes, France, September 2-6, 2024 : proceedings /
by:
(Electronic resources)
Advances in swarm intelligence15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024 : proceedings.Part I /
by:
(Electronic resources)
Advances in swarm intelligence15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024 : proceedings.Part II /
by:
(Electronic resources)
Quantitative evaluation of systems and formal modeling and analysis of timed systemsfirst International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024 : proceedings /
by:
(Electronic resources)
KI 2024advances in artificial intelligence : 47th German Conference on AI, Würzburg, Germany, September 25-27, 2024 : proceedings /
by:
(Electronic resources)
Simulation for a sustainable future11th congress, EUROSIM 2023, Amsterdam, The Netherlands, July 3-5, 2023 : proceedings.Part I /
by:
(Electronic resources)
Reachability problems18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024 : proceedings /
by:
(Electronic resources)
Mathematical optimization theory and operations researchrecent trends : 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30 - July 6, 2024 : revised selected papers /
by:
(Electronic resources)
Body area networkssmart IoT and big data for intelligent health management : 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024 : proceedings /
by:
(Electronic resources)
Julia quick syntax referencea pocket guide for data science programming /
by:
(Electronic resources)
SOFSEM 2024theory and practice of computer science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024 : proceedings /
by:
(Electronic resources)
New trends in information and communications technology applications8th national conference, NTICT 2024, Baghdad, Iraq, December 18-19, 2024 : proceedings /
by:
(Electronic resources)
Distributed computer and communication networks27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers /
by:
(Electronic resources)
Modelling and development of intelligent systems9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024 : revised selected papers /
by:
(Electronic resources)
Computational diffusion MRI15th International Workshop, CDMRI 2024, held in conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024 : proceedings /
by:
(Electronic resources)
Applications of evolutionary computation28th European Conference, EvoApplications 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings.Part I /
by:
(Electronic resources)
Applications of evolutionary computation28th European Conference, EvoApplications 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings.Part II /
by:
(Electronic resources)
Combinatorial optimization and applications17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024 : proceedings.Part II /
by:
(Electronic resources)
Combinatorial optimization and applications17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024 : proceedings.Part I /
by:
(Electronic resources)
Scale space and variational methods in computer vision10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025 : proceedings.Part I /
by:
(Electronic resources)
Scale space and variational methods in computer vision10th International Conference, SSVM 2025, Dartington, UK, May 18-22, 2025 : proceedings.Part II /
by:
(Electronic resources)
Code-based cryptography12th International Workshop, CBCrypto 2024, Zurich, Switzerland, May 25-26, 2024 : revised selected papers /
by:
(Electronic resources)
Numerical mathematics and advanced applications ENUMATH 2023.European Conference, September 4-8, Lisbon, Portugal /Volume 1
by:
(Electronic resources)
Numerical mathematics and advanced applications ENUMATH 2023.European Conference, September 4-8, Lisbon, Portugal /Volume 2
by:
(Electronic resources)
Computer and communication engineering4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024 : revised selected papers /
by:
(Electronic resources)
World conference of AI-powered innovation and inventive design24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024 : proceedings.Part I /
by:
(Electronic resources)
World conference of AI-powered innovation and inventive design24th IFIP WG 5.4 International TRIZ Future Conference, TFC 2024, Cluj-Napoca, Romania, November 6-8, 2024 : proceedings.Part II /
by:
(Electronic resources)
Creative mathematical sciences communication7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024 : proceedings /
by:
(Electronic resources)
Algorithmic decision theory8th International Conference, ADT 2024, New Brunswick, NJ, USA, Ooctober 14-16, 2024 : proceedings /
by:
(Electronic resources)
Scalable uncertainty management16th International Conference, SUM 2024, Palermo, Italy, November 27-29, 2024 : proceedings /
by:
(Electronic resources)
Progress in Cryptology - INDOCRYPT 202425th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024 : proceedings.Part I /
by:
(Electronic resources)
Progress in Cryptology - INDOCRYPT 202425th International Conference on Cryptology in India, Chennai, India, December 18-21, 2024 : proceedings.Part II /
by:
(Electronic resources)
Numerical computationstheory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.Part I /
by:
(Electronic resources)
Numerical computationstheory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.Part II /
by:
(Electronic resources)
Numerical computationstheory and algorithms : 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 : revised selected papers.Part III /
by:
(Electronic resources)
Mathematical modeling and supercomputer technologies24th International Conference, MMST 2024, Nizhni Novgorod, Russia, November 18-21, 2024 : revised selected papers /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.Part II /
by:
(Electronic resources)
Verification, model checking, and abstract interpretation26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025 : proceedings.Part I /
by:
(Electronic resources)
Optimization and applications15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024 : revised selected papers /
by:
(Electronic resources)
Algorithms and discrete applied mathematics11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025 : proceedings /
by:
(Electronic resources)
SOFSEM 2025theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.Part I /
by:
(Electronic resources)
SOFSEM 2025theory and practice of computer science : 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025 : proceedings.Part II /
by:
(Electronic resources)
Distributed computer and communication networks27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024 : revised selected papers /
by:
(Electronic resources)
Arithmetic of finite fields10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024 : revised selected papers /
by:
(Electronic resources)
Evolutionary computation in combinatorial optimization25th European Conference, EvoCOP 2025, held as part of EvoStar 2025, Trieste, Italy, April 23-25, 2025 : proceedings /
by:
(Electronic resources)
Integrated uncertainty in knowledge modelling and decision making11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025 : proceedings.Part I /
by:
(Electronic resources)
Integrated uncertainty in knowledge modelling and decision making11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025 : proceedings.Part II /
by:
(Electronic resources)
Applied computational mathematicsICCE 2023, Chennai, India, December 8-9 /
by:
(Electronic resources)
Computational science - ICCS 2025 Workshops25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part V /
by:
(Electronic resources)
Computational science - ICCS 202525th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part II /
by:
(Electronic resources)
Computational science - ICCS 202525th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part III /
by:
(Electronic resources)
Computational science - ICCS 202525th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part IV /
by:
(Electronic resources)
Computational science - ICCS 2025 Workshops25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 2025 Workshops25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part II /
by:
(Electronic resources)
Computational science - ICCS 2025 Workshops25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part III /
by:
(Electronic resources)
Application and theory of petri nets and concurrency46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025 : proceedings /
by:
(Electronic resources)
Integer programming and combinatorial optimization26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025 : proceedings /
by:
(Electronic resources)
Advances in knowledge discovery and data mining29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.Part I /
by:
(Electronic resources)
Data sciencefoundations and applications : 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.Part VII /
by:
(Electronic resources)
Advances in knowledge discovery and data mining29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.Part V /
by:
(Electronic resources)
Advances in knowledge discovery and data mining29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.Part II /
by:
(Electronic resources)
Crossroads of computability and logicinsights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings /
by:
(Electronic resources)
Advances in knowledge discovery and data mining29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.Part III /
by:
(Electronic resources)
Advances in knowledge discovery and data mining29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.Part IV /
by:
(Electronic resources)
Data sciencefoundations and applications : 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025 : proceedings.Part VI /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025 : proceedings.Part I /
by:
(Electronic resources)
Integration of constraint programming, artificial intelligence, and operations research22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025 : proceedings.Part II /
by:
(Electronic resources)
Computational science - ICCS 202525th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part I /
by:
(Electronic resources)
Computational science - ICCS 2025 Workshops25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part IV /
by:
(Electronic resources)
Computational science - ICCS 2025 Workshops25th International Conference, Singapore, Singapore, July 7-9, 2025 : proceedings.Part VI /
by:
(Electronic resources)
Scientific computing and softwareGo20 CSCS, Marsalforn, Malta, May 22-26, 2023 /
by:
(Electronic resources)
Operations research and enterprise systems13th International Conference, ICORES 2024, Rome, Italy, February 24-26, 2024 : revised selected papers /
by:
(Electronic resources)
Applications of computational intelligence in management and mathematics.9th ICCM 2023, NERIST, Arunachal Pradesh, India, August 04-05 /II
by:
(Electronic resources)
Applications of computational intelligence in management and mathematics.9th ICCM 2023, NERIST, Arunachal Pradesh, India, August 04-05 /I
by:
(Electronic resources)
Emerging technologies in computational sciences for industry, sustainability and innovationmath to product /
by:
(Electronic resources)
Spectral and high-order methods for partial differential equations ICOSAHOM 2023selected papers from the ICOSAHOM Conference, Seoul, Korea, August 14 - 18, 2023 /
by:
(Electronic resources)
Neural computing for advanced applications5th international conference, NCAA 2024, Guilin, China, July 5-7, 2024, proceedings.Part I /
by:
(Electronic resources)
Neural computing for advanced applications5th international conference, NCAA 2024, Guilin, China, July 5-7, 2024, proceedings.Part II /
by:
(Electronic resources)
Neural computing for advanced applications5th international conference, NCAA 2024, Guilin, China, July 5-7, 2024, proceedings.Part III /
by:
(Electronic resources)
Artificial intelligence research5th Southern African conference, SACAIR 2024, Bloemfontein, South Africa, December 2-6, 2024, proceedings /
by:
(Electronic resources)
Artificial intelligence logic and applications4th international conference, AILA 2024, Lanzhou, China, August 10-11, 2024, proceedings /
by:
(Electronic resources)
Human brain and artificial intelligence4th international workshop, HBAI 2024, Jeju Island, South Korea, August 3, 2024, proceedings /
by:
(Electronic resources)
Applications of computational intelligence7th IEEE Colombian Conference, ColCACI 2024, Pamplona, Colombia, July 17-19, 2024, revised selected papers /
by:
(Electronic resources)
Bio-inspired computing : theories and applications19th international conference, BIC-TA 2024, Suzhou, China, December 20-22, 2024, revised selected papers.Part II /
by:
(Electronic resources)
Bio-inspired computing : theories and applications19th international conference, BIC-TA 2024, Suzhou, China, December 20-22, 2024, revised selected papers.Part I /
by:
(Electronic resources)
Show more
Fewer
Subjects