Mathematics of Computing.

Grammatical Picture GenerationA Tree-Based Approach / by: (書目-電子資源)

Applied Parallel ComputingState of the Art in Scientific Computing / by: (書目-電子資源)

Theory and Applications of Models of ComputationThird International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings / by: (書目-電子資源)

Parallel Processing and Applied Mathematics6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers / by: (書目-電子資源)

Computer Science -- Theory and ApplicationsFirst International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings / by: (書目-電子資源)

Algebra, Meaning, and ComputationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / by: (書目-電子資源)

Logical Approaches to Computational BarriersSecond Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings / by: (書目-電子資源)

High Performance Computing and Communications (vol. # 4208)Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006, Proceedings / by: (書目-電子資源)

High Performance Computing - HiPC 200613th International Conference Bangalore, India, December 18-21, 2006, Proceedings / by: (書目-電子資源)

Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-電子資源)

Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (書目-電子資源)

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations by: (書目-電子資源)

Shared Memory Parallel Programming with Open MP5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (書目-電子資源)

High Performance Computing for Computational Science - VECPAR 20046th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

New Computational ParadigmsFirst Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (書目-電子資源)

High Performance Computing and Communications :First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (書目-電子資源)

A Practical Programming Model for the Multi-Core Era3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (書目-電子資源)

Matrix-Based MultigridTheory and Applications / by: (書目-電子資源)

Mathematical Tools for Data MiningSet Theory, Partial Orders, Combinatorics / 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: (書目-語言資料,印刷品)

Mathematical methods in computer scienceessays in memory of Thomas Beth / by: (書目-語言資料,印刷品)

The algorithm design manual by: (書目-語言資料,印刷品)

High performance computing in science and engineering, Garching/Munich 2007transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 2007, Leibniz Supercomputing Centre, Garching-Munich, Germany / by: (書目-電子資源)

Information theory and statistical learning by: (書目-電子資源)

Logic and its applicationsthird Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (書目-電子資源)

High performance computing in science and engineering '08transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008 / by: (書目-電子資源)

Computability of Julia sets by: (書目-電子資源)

Post-quantum cryptography by: (書目-電子資源)

Quantum interactionthird international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (書目-電子資源)

Language and automata theory and applicationsthird international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (書目-電子資源)

Visualization and processing of tensor fieldsadvances and perspectives / by: (書目-電子資源)

Markov random field modeling in image analysis by: (書目-電子資源)

Theory and applications of models of computation6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (書目-電子資源)

Geometric algebraan algebraic system for computer games and animation/ by: (書目-電子資源)

Algorithmic aspects in information and management5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009 : proceedings / by: (書目-電子資源)

Logic, language, information and computation16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (書目-電子資源)

Developments in language theory13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings / by: (書目-電子資源)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / by: (書目-電子資源)

Logic programming25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings / by: (書目-電子資源)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part I / by: (書目-電子資源)

Automata, languages and programming36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.Part II / by: (書目-電子資源)

Mathematical theory and computational practice5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / by: (書目-電子資源)

Computational logic in multi-agent systemsb9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (書目-電子資源)

Computer science - theory and applications4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (書目-電子資源)

Theorem proving in higher order logics22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (書目-電子資源)

Algebraic informaticsthird international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 200934th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (書目-電子資源)

A primer on scientific programming with Python by: (書目-電子資源)

Handbook of weighted automata by: (書目-電子資源)

Fundamentals of computation theory17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-電子資源)

Unconventional computation8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Reasoning websemantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures / by: (書目-電子資源)

Computer science logic23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

CONCUR 2009 - concurrency theory20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 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: (書目-電子資源)

Infinity in Logic and ComputationInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / 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: (書目-電子資源)

Algorithmic algebraic combinatorics and Grobner bases by: (書目-電子資源)

Abstract state machines, Alloy, B and Zsecond international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / by: (書目-電子資源)

High performance networking, computing, communication systems, and mathematical foundationsinternational conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings / by: (書目-電子資源)

Computer science - theory and applications5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (書目-電子資源)

A 25-Year perspective on logic programmingachievements of the Italian Association for Logic Programming, GULP / by: (書目-電子資源)

Algorithmic aspects in information and management6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings / by: (書目-電子資源)

Handbook of large-scale random networks by: (書目-電子資源)

Service oriented infrastructures and cloud service platforms for the enterprisea selection of common capabilities validated in real-life business trials by the BEinGRID consortium / by: (書目-電子資源)

Parallel processing and applied mathematics8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.part I / by: (書目-電子資源)

Parallel processing and applied mathematics8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.part II / by: (書目-電子資源)

Deontic logic in computer science10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-電子資源)

Automated reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings / by: (書目-電子資源)

Mathematicaa problem-centered approach / by: (書目-電子資源)

Grid generation methods by: (書目-電子資源)

Logic and the foundations of game and decision theory - LOFT 88th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (書目-電子資源)

Frontiers in algorithmics4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (書目-電子資源)

The mathematics of language10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, revised selected papers / by: (書目-電子資源)

The P=NP question and Godel's lost letter by: (書目-電子資源)

Triangulationsstructures for algorithms and applications / by: (書目-電子資源)

Logical analysis of hybrid systemsproving theorems for complex dynamics / by: (書目-電子資源)

Database theory and application, bio-science and bio-TechnologyInternational Conferences, DTA and BSBT 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Transactions on computational science XIspecial issue on security in computing, part II / by: (書目-電子資源)

Fete of combinatorics and computer science by: (書目-電子資源)

Deterministic extraction from weak random sources by: (書目-電子資源)

Domain decomposition methods in science and engineering XIX by: (書目-電子資源)

Approximation and computationin honor of Gradimir V. Milovanovic / by: (書目-電子資源)

Logic and its applications4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / by: (書目-電子資源)

High performance computing in science and engineering '10transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010 / by: (書目-電子資源)

Ludics, dialogue and interactionPRELUDE Project - 2006-2009 : revised selected papers / by: (書目-電子資源)

High performance computing for computational scienceVECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (書目-電子資源)

A primer on scientific programming with Python by: (書目-電子資源)

Theory and applications of models of computation8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and managementjoint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (書目-電子資源)

Computer sciencetheory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (書目-電子資源)

Algebraic informatics4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (書目-電子資源)

Quaternions for computer graphics by: (書目-電子資源)

Fractional calculus for scientists and engineers by: (書目-電子資源)

Patterns in permutations and words by: (書目-電子資源)

Perspectives on Soviet and Russian computingfirst IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers / by: (書目-電子資源)

Fundamentals of computation theory18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings / by: (書目-電子資源)

Spectral methodsalgorithms, analysis and applications / by: (書目-電子資源)

The mathematics of language12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (書目-電子資源)

Apartness and uniformitya constructive development / by: (書目-電子資源)

Quantum interaction5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers / by: (書目-電子資源)

Theoretical and mathematical foundations of computer sciencesecond international conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / by: (書目-電子資源)

Programming for engineersa foundational approach to learning C and Matlab / by: (書目-電子資源)

The block cipher companion by: (書目-電子資源)

Integrated methods for optimization by: (書目-電子資源)

Digital imaging and communications in medicine (DICOM)a practical introduction and survival guide / by: (書目-電子資源)

Combinatorial optimizationtheory and algorithms / by: (書目-電子資源)

Boolean function complexityadvances and frontiers / by: (書目-電子資源)

Computation, physics and beyondInternational Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (書目-電子資源)

Applied parallel and scientific computing10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part II / by: (書目-電子資源)

Applied parallel and scientific computing10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.Part I / by: (書目-電子資源)

Recent trends in algebraic development techniques20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

Foundations of information and knowledge systems7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and managementjoint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (書目-電子資源)

Mathematics and modern artproceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 / by: (書目-電子資源)

Grobner bases, coding, and cryptography by: (書目-電子資源)

A proof theory for description logics by: (書目-電子資源)

Theory and applications of models of computation9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (書目-電子資源)

Abstract state machines, Alloy, B, VDM, and Zthird International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / 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: (書目-電子資源)

Mathematics of approximation by: (書目-電子資源)

Parallel processing and applied mathematics9th international conference, PPAM 2011, Torun, Poland, September 11-14, 2011 : revised selected papers.Part II / by: (書目-電子資源)

A primer on scientific programming with Python by: (書目-電子資源)

Computer science - theory and applications7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings / by: (書目-電子資源)

Mathematics of discrete structures for computer science by: (書目-電子資源)

Theoretical computer science7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Modeling Time in Computing by: (書目-電子資源)

The complexity of valued constraint satisfaction problems by: (書目-電子資源)

Advances in automatic differentiation by: (書目-電子資源)

Graphs, networks, and algorithms by: (書目-電子資源)

Fundamentals of matrix-analytic methods by: (書目-電子資源)

Walter Gautschi.selected works with commentaries /Volume 1 by: (書目-電子資源)

Walter Gautschi.selected works with commentaries /Volume 2 by: (書目-電子資源)

Walter Gautschi.selected works with commentaries /Volume 3 by: (書目-電子資源)

Theory of fuzzy computation by: (書目-電子資源)

Spectral and high order methods for partial differential equations - ICOSAHOM 2012selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia / by: (書目-電子資源)

Cryptography in constant parallel time by: (書目-電子資源)

Algorithms for sensor systems9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013 : revised selected papers / by: (書目-電子資源)

Foundations of information and knowledge systems8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings / by: (書目-電子資源)

Mathematical tools for data miningset theory, partial orders, combinatorics / by: (書目-電子資源)

Regulated grammars and automata by: (書目-電子資源)

Theory and applications of models of computation11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014 : proceedings / by: (書目-電子資源)

Parallel processing and applied mathematics10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013 : revised selected papers.Part I / by: (書目-電子資源)

Nonlinear dynamics of electronic systems22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014 : proceedings / by: (書目-電子資源)

Language, life, limits10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings / by: (書目-電子資源)

Biomedical image registration6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014 : proceedings / by: (書目-電子資源)

Modeling, simulation and optimization for science and technology by: (書目-電子資源)

Automated reasoning7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings / by: (書目-電子資源)

Rewriting and Typed Lambda Calculijoint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201417th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings / by: (書目-電子資源)

Translational recurrencesfrom mathematical theory to real-world applications / by: (書目-電子資源)

A primer on scientific programming with Python by: (書目-電子資源)

Swarm Intelligence9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014 : proceedings / by: (書目-語言資料,印刷品)

Morphological modeling of terrains and volume data 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: (書目-電子資源)

Machine learning in medicine - cookbook three by: (書目-電子資源)

Computational musicology in Hindustani music by: (書目-電子資源)

Data analytics for renewable energy integrationSecond ECML PKDD Workshop, DARE 2014, Nancy, France, September 19, 2014 : revised selected papers / by: (書目-電子資源)

Advances in cryptology - ASIACRYPT 201420th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, December 7-11, 2014 : proceedings.Part I / by: (書目-電子資源)

Transactions on large-scale data- and knowledge-centered systems XVIselected papers from ACOMP 2013 / by: (書目-電子資源)

Open problems in mathematics and computational science by: (書目-電子資源)

Algorithms for sensor systems10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014 : revised selected papers / by: (書目-電子資源)

Operations research and enterprise systemsthird International Conference, ICORES 2014, Angers, France, March 6-8, 2014 : revised selected papers / by: (書目-電子資源)

Theory and applications of models of computation12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015 : proceedings / by: (書目-電子資源)

High performance computing for computational science - VECPAR 201411th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (書目-電子資源)

Evolving computability11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / by: (書目-電子資源)

Foundation mathematics for computer sciencea visual approach / by: (書目-電子資源)

Principles and practice of constraint programming21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings / by: (書目-電子資源)

Introduction to concurrency theorytransition systems and CCS / by: (書目-電子資源)

Words and graphs by: (書目-電子資源)

The foundations of computability theory by: (書目-電子資源)

Petri net synthesis by: (書目-電子資源)

Introduction to cryptographyprinciples and applications / by: (書目-電子資源)

Higher-order computability by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201518th International Conference, Austin, TX, USA, September 24-27, 2015 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Engineering computation of structuresthe finite element method / by: (書目-電子資源)

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: (書目-電子資源)

Encyclopedia of applied and computational mathematics by: (書目-電子資源)

Mathematical problems in data sciencetheoretical and practical methods / by: (書目-電子資源)

Operations research and enterprise systems4th International Conference, ICORES 2015, Lisbon, Portugal, January 10-12, 2015 : revised selected papers / by: (書目-電子資源)

Data analytics for renewable energy integrationthird ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015 : revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Parallelism in matrix computations by: (書目-電子資源)

Cryptography made simple by: (書目-電子資源)

Boolean functions and their applications in cryptography by: (書目-電子資源)

Index-aware model order reduction methodsapplications to differential-algebraic equations / by: (書目-電子資源)

Complete symbolic simulation of SystemC modelsefficient formal verification of finite non-terminating programs / by: (書目-電子資源)

Evolutionary and biologically inspired music, sound, art and design5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings / by: (書目-電子資源)

Applications of evolutionary computation19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part II / by: (書目-電子資源)

Applications of evolutionary computation19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 - April 1, 2016 : proceedings.Part I / by: (書目-電子資源)

Advances in artificial life, evolutionary computation and systems chemistry10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015 : revised selected papers / by: (書目-電子資源)

Parallel processing and applied mathematics11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part I / by: (書目-電子資源)

Parallel processing and applied mathematics11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015 : revised selected papers.Part II / by: (書目-電子資源)

Mathematical aspects of computer and information sciences6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015 : revised selected papers / by: (書目-電子資源)

Compression-based methods of statistical analysis and prediction of time series by: (書目-電子資源)

Computer gamesfourth Workshop on Computer Games, CGW 2015, and the fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, held in conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015 : revised selected papers / by: (書目-電子資源)

Turing computabilitytheory and applications / by: (書目-電子資源)

Relaxed abductionrobust information interpretation for industrial applications / by: (書目-電子資源)

Pursuit of the universal12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings / by: (書目-電子資源)

Automated reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings / by: (書目-電子資源)

High performance computing in science and engineeringsecond International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201619th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings / by: (書目-電子資源)

Linear algebra for computational sciences and engineering by: (書目-電子資源)

Finitely supported mathematicsan introduction / by: (書目-電子資源)

Advances in neural networks - ISNN 201613th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016 : proceedings / by: (書目-電子資源)

A primer on scientific programming with Python by: (書目-電子資源)

Random-like bi-level decision making by: (書目-電子資源)

Analytical and stochastic modeling techniques and applications23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings / by: (書目-電子資源)

Mathematical analysis and the mathematics of computation by: (書目-電子資源)

Cool math for hot musica first introduction to mathematics for music theorists / by: (書目-電子資源)

Music through Fourier spacediscrete Fourier transform in music theory / by: (書目-電子資源)

An introduction to data analysis using aggregation functions in R by: (書目-電子資源)

All about musicthe complete ontology: realities, semiotics, communication, and embodiment / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Algorithms for data science by: (書目-電子資源)

Matrix and tensor factorization techniques for recommender systems by: (書目-電子資源)

Scalable algorithms for contact problems by: (書目-電子資源)

Data analytics for renewable energy integration4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Introduction to Mathematica with applications by: (書目-電子資源)

Operations research and enterprise systems5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016 : revised selected papers / by: (書目-電子資源)

Progress in Industrial Mathematics at ECMI 2014 by: (書目-電子資源)

Privately and publicly verifiable computing techniquesa survey / by: (書目-電子資源)

Advances in artificial life, evolutionary computation, and systems chemistry11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016 : revised selected papers / by: (書目-電子資源)

Computer games5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016 : revised selected papers / by: (書目-電子資源)

Mathematics and computingthird International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings / by: (書目-電子資源)

EVOLVEa bridge between probability, set oriented numerics and evolutionary computation VII / by: (書目-電子資源)

The incomputablejourneys beyond the Turing barrier / by: (書目-電子資源)

Symbolic and quantitative approaches to reasoning with uncertainty14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings / by: (書目-電子資源)

Deterministic global optimizationan introduction to the diagonal approach / by: (書目-電子資源)

Grid generation methods by: (書目-電子資源)

High performance computing for computational science - VECPAR 201612th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (書目-電子資源)

Introduction to inverse problems for differential equations by: (書目-電子資源)

The mathematical-function computation handbookprogramming using the MathCW portable software library / by: (書目-電子資源)

Principles and practice of constraint programming23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (書目-電子資源)

Constraint theorymultidimensional mathematical model management / by: (書目-電子資源)

BNAIC 2016artificial intelligence : 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016 : revised selected papers / by: (書目-電子資源)

Scalable uncertainty management11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings / by: (書目-電子資源)

The musical-mathematical mindpatterns and transformations / by: (書目-電子資源)

Modern language models and computationtheory with applications / by: (書目-電子資源)

Verifiable composition of signature and encryptiona comprehensive study of the design paradigms / by: (書目-電子資源)

Geometric science of informationthird International Conference, GSI 2017, Paris, France, November 7-9, 2017 : proceedings / by: (書目-電子資源)

Innovative security solutions for information technology and communications10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017 : revised selected papers / by: (書目-電子資源)

A journey through discrete mathematicsa tribute to Jiri Matousek / by: (書目-電子資源)

Supercomputingthird Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers / by: (書目-電子資源)

Task scheduling for multi-core and parallel architectureschallenges, solutions and perspectives / by: (書目-電子資源)

Queueing theory and network applications12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Internet of vehiclestechnologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017 : proceedings / by: (書目-電子資源)

hp-Version discontinuous Galerkin methods on polygonal and polyhedral meshes by: (書目-電子資源)

Neighborhood semantics for modal logic by: (書目-電子資源)

Mathematical aspects of computer and information sciences7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings / by: (書目-電子資源)

Space in weak propositional proof systems by: (書目-電子資源)

Geometrically unfitted finite element methods and applicationsproceedings of the UCL Workshop 2016 / by: (書目-電子資源)

Machine learning, optimization, and big datathird International Conference, MOD 2017, Volterra, Italy, September 14-17, 2017 : revised selected papers / by: (書目-電子資源)

Fundamentals and applications of hardcopy communicationconveying side information by printed media / by: (書目-電子資源)

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: (書目-電子資源)

Artificial Intelligence29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8-9, 2017 : revised selected papers / by: (書目-電子資源)

Advances in computer algebrain honour of Sergei Abramov's' 70th Birthday, WWCA 2016, Waterloo, Ontario, Canada / by: (書目-電子資源)

Practical Python AI projectsmathematical models of optimization problems with Google OR-tools / by: (書目-電子資源)

Artificial life and evolutionary computation12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017 : revised selected papers / by: (書目-電子資源)

Mathematical foundations of advanced informatics.Volume 1,Inductive approaches by: (書目-電子資源)

LATIN 2018theoretical informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018 : proceedings / by: (書目-電子資源)

Parallel processing and applied mathematics12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.Part I / by: (書目-電子資源)

Independent random sampling methods by: (書目-電子資源)

Combinatorial optimizationtheory and algorithms / by: (書目-電子資源)

Combinatorial optimizationtheory and algorithms / by: (書目-語言資料,印刷品)

Mathematics and computing4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018 : revised selected papers / by: (書目-電子資源)

Clinical rehabilitation experience utilizing serious gamesrehabilitation technology and a technical concept for health data collection / by: (書目-電子資源)

Handbook of model checking by: (書目-電子資源)

Operations Research and Enterprise Systems6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017 : revised selected papers / by: (書目-電子資源)

Proofs from THE BOOK by: (書目-電子資源)

Sparse grids and applicationsMiami 2016 / by: (書目-電子資源)

High performance computing in science and engineeringthird International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017 : revised selected papers / by: (書目-電子資源)

Intelligent robotics and applications11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.Part II / by: (書目-電子資源)

Monte Carlo and quasi-Monte Carlo methodsMCQMC 2016, Stanford, CA, August 14-19 / by: (書目-電子資源)

Simulation sciencefirst International Workshop, SimScience 2017, Gottingen, Germany, April 27-28, 2017 : revised selected papers / by: (書目-電子資源)

Multi-objective optimizationevolutionary to hybrid framework / by: (書目-電子資源)

Distributed computer and communication networks21st International Conference, DCCN 2018, Moscow, Russia, September 17-21, 2018 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings / by: (書目-電子資源)

Developments in language theory22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Studies on speech production11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017 : revised selected papers / by: (書目-電子資源)

Graphs in biomedical image analysis and integrating medical imaging and non-imaging modalitiessecond International Workshop, GRAIL 2018 and first International Workshop, Beyond MIC 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018 : proceedings / by: (書目-電子資源)

Transactions on computational science XXXIII by: (書目-電子資源)

Advanced concepts for intelligent vision systems19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018 : proceedings / by: (書目-電子資源)

Scientific computinga historical perspective / by: (書目-電子資源)

Transactions on computational collective intelligence XXXI by: (書目-電子資源)

Domain decomposition methods in science and engineering XXIV by: (書目-電子資源)

The GLOBAL optimization algorithmnewly updated with Java implementation and parallelization / by: (書目-電子資源)

Resonant scattering and generation of wavescubically polarizable layers / by: (書目-電子資源)

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: (書目-電子資源)

Transactions on rough sets XXI by: (書目-電子資源)

Operations research and enterprise systems7th International Conference, ICORES 2018, Funchal, Madeira, Portugal, January 24-26, 2018 : revised selected papers / by: (書目-電子資源)

Game theory for networks8th International EAI Conference, GameNets 2019, Paris, France, April 25-26, 2019 : proceedings / by: (書目-電子資源)

Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017)Transcending Boundaries, Embracing Multidisciplinary Diversities / by: (書目-電子資源)

Applications of evolutionary computation22nd International Conference, EvoApplications 2019, held as part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019 : proceedings / by: (書目-電子資源)

Communications and networking13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018 : proceedings / by: (書目-電子資源)

Industrial networks and intelligent systems14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27-28, 2018 : proceedings / by: (書目-電子資源)

Visual saliencyfrom pixel-level to object-level analysis / by: (書目-電子資源)

Computational topology in image context7th International Workshop, CTIC 2019, Malaga, Spain, January 24-25, 2019 : proceedings / by: (書目-電子資源)

Numerical mathematics and advanced applications ENUMATH 2017 by: (書目-電子資源)

Deep learning with R by: (書目-電子資源)

Advances in neural networks - ISNN 201714th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.Part II / by: (書目-電子資源)

Advances in neural networks - ISNN 201714th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017 : proceedings.Part I / by: (書目-電子資源)

Computer algebra in scientific computing19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (書目-電子資源)

Smart citiessecond International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings / by: (書目-電子資源)

Information processing in medical imaging26th International Conference, IPMI 2019, Hong Kong, China, June 2-7, 2019 : proceedings / by: (書目-電子資源)

Computer Vision - ACCV 201814th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.Part I / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part I / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part III / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part V / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part II / by: (書目-電子資源)

Computational science - ICCS 201919th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.Part IV / by: (書目-電子資源)

Advances and trends in artificial intelligencefrom theory to practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019 : proceedings / by: (書目-電子資源)

Linear algebra for computational sciences and engineering by: (書目-電子資源)

Parallel computing technologies15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings / by: (書目-電子資源)

Computational methods in systems biology17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Arto Salomaamathematician, computer scientist, and teacher, a thematic biography / by: (書目-電子資源)

Game theorythird East Asia International Conference, EAGT 2019, Fuzhou, China, March 7-9, 2019 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Stochastic models in reliability, network security and system safetyessays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday / by: (書目-電子資源)

String processing and information retrieval26th International Symposium, SPIRE 2019, Segovia, Spain, October 7-9, 2019 : proceedings / by: (書目-電子資源)

Transactions on computational collective intelligence XXXIV by: (書目-電子資源)

Simulation and synthesis in medical imaging4th International Workshop, SASHIMI 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019 : proceedings / by: (書目-電子資源)

Ophthalmic Medical Image Analysis6th International Workshop, OMIA 2019, held in conjunction with MICCAI 2019, Shenzhen, China, October 17 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Practical MATLABwith modeling, simulation, and processing projects / by: (書目-電子資源)

Algorithms and discrete applied mathematics4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018 : proceedings / by: (書目-電子資源)

Measurement, modelling and evaluation of computing systems19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018 : proceedings / by: (書目-電子資源)

Intelligent data processing11th International Conference, IDP 2016, Barcelona, Spain, October 10-14, 2016 : revised selected papers / by: (書目-電子資源)

Analysis of experimental algorithmsSpecial Event, SEA2 2019, Kalamata, Greece, June 24-29, 2019 : revised selected papers / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Graph drawing and network visualization27th International Symposium, GD 2019, Prague, Czech Republic, September 17-20, 2019 : proceedings / by: (書目-電子資源)

Graphical models for security6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019 : revised papers / by: (書目-電子資源)

Julia quick syntax referencea pocket guide for data science programming / by: (書目-電子資源)

Learn Java with mathusing fun projects and games / by: (書目-電子資源)

Reflections on the foundations of mathematicsunivalent foundations, set theory and general thoughts / by: (書目-電子資源)

Methods and models in mathematical programming by: (書目-電子資源)

Simulation sciencesecond International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019 : revised selected papers / by: (書目-電子資源)

Advances in signal processing and intelligent recognition systems5th International Symposium, SIRS 2019, Trivandrum, India, December 18-21, 2019 : revised selected papers / by: (書目-電子資源)

Variable neighborhood search7th International Conference, ICVNS 2019, Rabat, Morocco, October 3-5, 2019 : revised selected papers / by: (書目-電子資源)

Integer programming and combinatorial optimization21st International Conference, IPCO 2020, London, UK, June 8-10, 2020 : proceedings / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part I / by: (書目-電子資源)

Tools and algorithms for the construction and analysis of systems26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings.Part II / by: (書目-電子資源)

Research in computational molecular biology24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020 : proceedings / by: (書目-電子資源)

2018 MATRIX annals by: (書目-電子資源)

Bio-inspired computingtheories and applications : 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22-25, 2019 : revised selected papers.Part II / by: (書目-電子資源)

Foundation mathematics for computer sciencea visual approach / by: (書目-電子資源)

Parallel processing and applied mathematics13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.Part II / by: (書目-電子資源)

Parallel processing and applied mathematics13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019 : revised selected papers.Part I / by: (書目-電子資源)

Computer performance engineering16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers / by: (書目-電子資源)

Information and communication technologies in education, research, and industrial applications15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12-15, 2019 : revised selected papers / by: (書目-電子資源)

Computational intelligence methods for bioinformatics and biostatistics15th International Meeting, CIBB 2018, Caparica, Portugal, September 6-8, 2018 : revised selected papers / by: (書目-電子資源)

Algorithms and discrete applied mathematics6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : proceedings / by: (書目-電子資源)

WALCOMalgorithms and computation : 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 - April 2, 2020 : proceedings / by: (書目-電子資源)

Maple in mathematics education and researchthird Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019 : proceedings / by: (書目-電子資源)

Optimization and learningthird International Conference, OLA 2020, Cadiz, Spain, February 17-19, 2020 : proceedings / by: (書目-電子資源)

Space information networks4th International Conference, SINC 2019, Wuzhen, China, September 19-20, 2019 : revised selected papers / by: (書目-電子資源)

Numerical computationstheory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers.Part I / by: (書目-電子資源)

Numerical computationstheory and algorithms : third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019 : revised selected papers.Part II / by: (書目-電子資源)

Nature-inspired computation in navigation and routing problemsalgorithms, methods and applications / by: (書目-電子資源)

Mathematical modelling and scientific computing with applicationsICMMSC 2018, Indore, India, July 19-21 / by: (書目-電子資源)

Practical MATLAB deep learninga project-based approach / by: (書目-電子資源)

Operations research and enterprise systems8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019 : revised selected papers / by: (書目-電子資源)

Applied nature-inspired computingalgorithms and case studies / by: (書目-電子資源)

Biomedical engineering systems and technologies12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22-24, 2019 : revised selected papers / by: (書目-電子資源)

Artificial intelligence algorithms and applications11th International Symposium, ISICA 2019, Guangzhou, China, November 16-17, 2019 : revised selected papers / by: (書目-電子資源)

Computer information systems and industrial management19th International Conference, CISIM 2020, Bialystok, Poland, October 16-18, 2020 : proceedings / by: (書目-電子資源)

Developments in language theory24th International Conference, DLT 2020, Tampa, FL, USA, May 11-15, 2020 : proceedings / by: (書目-電子資源)

Advanced computing technologies and applicationsproceedings of 2nd International Conference on Advanced Computing Technologies and Applications-ICACTA 2020 / by: (書目-電子資源)

Information processing and management of uncertainty in knowledge-based systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part II / by: (書目-電子資源)

Information processing and management of uncertainty in knowledge-based systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part I / by: (書目-電子資源)

Information processing and management of uncertainty in knowledge-based systems18th International Conference, IPMU 2020, Lisbon, Portugal, June 15-19, 2020 : proceedings.Part III / by: (書目-電子資源)

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: (書目-電子資源)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part I / by: (書目-電子資源)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part V / by: (書目-電子資源)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part II / by: (書目-電子資源)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part III / by: (書目-電子資源)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part IV / by: (書目-電子資源)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part VI / by: (書目-電子資源)

Computational science - ICCS 202020th International Conference, Amsterdam, the Netherlands, June 3-5, 2020 : proceedings.Part VII / by: (書目-電子資源)

Computer science - theory and applications15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 - July 3, 2020 : proceedings / by: (書目-電子資源)

Finite volumes for complex applications IXmethods, theoretical aspects, examples : FVCA 9, Bergen, Norway, June 2020 / by: (書目-電子資源)

Topological data analysisthe Abel Symposium 2018 / by: (書目-電子資源)

Mathematical optimization theory and operations research19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6-10, 2020, proceedings / by: (書目-電子資源)

Artificial life and evolutionary computation14th Italian Workshop, WIVACE 2019, Rende, Italy, September 18-20, 2019 : revised selected papers / by: (書目-電子資源)

Data mining and big data5th International Conference, DMBD 2020, Belgrade, Serbia, July 14-20, 2020 : proceedings / by: (書目-電子資源)

Foundations of finitely supported structuresa set theoretical viewpoint / by: (書目-電子資源)

Parallel computational technologies14th International Conference, PCT 2020, Perm, Russia, May 27-29, 2020 : revised selected papers / by: (書目-電子資源)

Combinatorial image analysis20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16-18, 2020 : proceedings / by: (書目-電子資源)

Code-based cryptography8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9-10, 2020 : revised selected papers / by: (書目-電子資源)

Structural information and communication complexity27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29-July 1, 2020 : proceedings / by: (書目-電子資源)

General-purpose optimization through information maximization by: (書目-電子資源)

Neural computing for advanced applicationsfirst International Conference, NCAA 2020, Shenzhen, China, July 3-5, 2020 : proceedings / by: (書目-電子資源)

Parallel Problem Solving from Nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020 : proceedings.Part II / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XVI16th International Conference, PPSN 2020, Leiden, the Netherlands, September 5-9, 2020 : proceedings.Part I / by: (書目-電子資源)

Trends in artificial intelligence theory and applicationsartificial intelligence practices : 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September 22-25, 2020 : proceedings / by: (書目-電子資源)

Modeling decisions for artificial intelligence17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings / by: (書目-電子資源)

Formalization of complex analysis and matrix theory by: (書目-電子資源)

Database and expert systems applicationsDEXA 2020 International Workshops BIOKDD, IWCFS and MLKgraphs, Bratislava, Slovakia, September 14-17, 2020 : proceedings / by: (書目-電子資源)

Universal time-series forecasting with mixture predictors by: (書目-電子資源)

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: (書目-電子資源)

Principles and practice of constraint programming26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020 : proceedings / by: (書目-電子資源)

String processing and information retrieval27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13-15, 2020 : proceedings / by: (書目-電子資源)

Simulation and synthesis in medical imaging5th International Workshop, SASHIMI 2020, held in conjunction with MICCAI 2020, Lima, Peru, October 4, 2020 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part III / by: (書目-電子資源)

Search-based software engineering12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part I / by: (書目-電子資源)

Computational methods in systems biology18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020 : proceedings / by: (書目-電子資源)

Topics in Galois fields by: (書目-電子資源)

Industrial networks and intelligent systems5th EAI International Conference, INISCOM 2019, Ho Chi Minh City, Vietnam, August 19, 2019 : proceedings / by: (書目-電子資源)

Quality, reliability, security and robustness in heterogeneous systems14th EAI International Conference, Qshine 2018, Ho Chi Minh City, Vietnam, December 3-4, 2018 : proceedings / by: (書目-電子資源)

Algorithmic decision theory6th International Conference, ADT 2019, Durham, NC, USA, October 25-27, 2019 : proceedings / by: (書目-電子資源)

Combinatorics on words12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019 : proceedings / by: (書目-電子資源)

Computer algebra in scientific computing21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings / by: (書目-電子資源)

Evolutionary multi-criterion optimization10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019 : proceedings / by: (書目-電子資源)

Geometric science of information4th International Conference, GSI 2019, Toulouse, France, August 27-29, 2019 : proceedings / by: (書目-電子資源)

Principles and practice of constraint programming25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019 : proceedings / by: (書目-電子資源)

Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings / by: (書目-電子資源)

Research in computational molecular biology23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019 : proceedings / by: (書目-電子資源)

Mechanistic explanations in physics and beyond by: (書目-電子資源)

Integrated uncertainty in knowledge modelling and decision making8th International Symposium, IUKM 2020, Phuket, Thailand, November 11-13, 2020 : proceedings / by: (書目-電子資源)

Similarity search and applications13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020 : proceedings / by: (書目-電子資源)

Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings / by: (書目-電子資源)

Intelligent systems9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20-23, 2020 : proceedings.Part II / by: (書目-電子資源)

Computer algebra in scientific computing22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings / by: (書目-電子資源)

Domain decomposition methods in science and engineering XXV by: (書目-電子資源)

Green energy and networking7th EAI International Conference, GreeNets 2020, Harbin, China, June 27-28, 2020 : proceedings / by: (書目-電子資源)

Advanced communication systems and information securitysecond International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20-22, 2019 : revised selected papers / by: (書目-電子資源)

Industrial networks and intelligent systems6th EAI International Conference, INISCOM 2020, Hanoi, Vietnam, August 27-28, 2020 : proceedings / by: (書目-電子資源)

Quantitative evaluation of systems17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / by: (書目-電子資源)

Stabilization, safety, and security of distributed systems22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020 : proceedings / by: (書目-電子資源)

Introduction to the tools of scientific computing by: (書目-電子資源)

Understand mathematics, understand computingdiscrete mathematics that all computing students should know / by: (書目-電子資源)

Robotics and rehabilitation intelligencefirst International Conference, ICRRI 2020, Fushun, China, September 9-11, 2020 : proceedings.Part I / by: (書目-電子資源)

Robotics and rehabilitation intelligencefirst International Conference, ICRRI 2020, Fushun, China, September 9-11, 2020 : proceedings.Part II / by: (書目-電子資源)

LATIN 2020theoretical informatics : 14th Latin American Symposium, Sao Paulo, Brazil, January 5-8, 2021 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications14th International Conference, COCOA 2020, Dallas, TX, USA, December 11-13, 2020 : proceedings / by: (書目-電子資源)

Advances in computer games16th International Conference, ACG 2019, Macao, China, August 11-13, 2019 : revised selected papers / by: (書目-電子資源)

Verification and evaluation of computer and communication systems14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020 : proceedings / by: (書目-電子資源)

Distributed computer and communication networks23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020 : revised selected papers / by: (書目-電子資源)

Distributed computer and communication networkscontrol, computation, communications : 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020 : revised selected papers / by: (書目-電子資源)

Recent featured applications of artificial intelligence methodsLSMS 2020 and ICSEE 2020 Workshops : workshops of the 6th International Conference on Life System Modeling and Simulation, LSMS 2020, and 6th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2020, Shanghai, China, October 25, 2020 : proceedings / by: (書目-電子資源)

Modeling, machine learning and astronomyfirst International Conference, MMLA 2019, Bangalore, India, November 22-23, 2019 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

6GN for future wireless networksthird EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020 : proceedings / by: (書目-電子資源)

Advanced data mining and applications16th International Conference, ADMA 2020, Foshan, China, November 12-14, 2020 : proceedings / by: (書目-電子資源)

Algorithmic game theory13th International Symposium, SAGT 2020, Augsburg, Germany, September 16-18, 2020 : proceedings / by: (書目-電子資源)

Computer aided systems theory - EUROCAST 201917th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019 : revised selected papers.Part I / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization20th European Conference, EvoCOP 2020, held as part of EvoStar 2020, Seville, Spain, April 15-17, 2020 : proceedings / by: (書目-電子資源)

Mathematical aspects of computer and information sciences8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019 : revised selected papers / by: (書目-電子資源)

Scalable uncertainty management14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23-25, 2020 : proceedings / by: (書目-電子資源)

Treewidth, kernels, and algorithmsessays dedicated to Hans L. Bodlaender on the occasion of his 60th birthday / by: (書目-電子資源)

Introduction to scientific programming with Python by: (書目-電子資源)

Computational methods for deep learningtheoretic, practice and applications / by: (書目-電子資源)

Proceedings of the sixth International Conference on Mathematics and ComputingICMC 2020 / by: (書目-電子資源)

Algebra and geometry with Python by: (書目-電子資源)

Collaborative computingnetworking, applications and worksharing : 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16-18, 2020 : proceedings.Part I / by: (書目-電子資源)

Communications and networking15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020 : proceedings / by: (書目-電子資源)

High performance computing in science and engineering4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20-23, 2019 : revised selected papers / by: (書目-電子資源)

Algorithms and discrete applied mathematics7th International Conference, CALDAM 2021, Rupnagar, India, February 11-13, 2021 : proceedings / by: (書目-電子資源)

Theoretical computer science38th National Conference, NCTCS 2020, Nanning, China, November 13-15, 2020 : revised selected papers / by: (書目-電子資源)

Sustainable energy for smart citiessecond EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020 : proceedings / by: (書目-電子資源)

Simulation tools and techniques12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020 : proceedings.Part II / by: (書目-電子資源)

Database systems for advanced applications26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11-14, 2021 : proceedings.Part II / by: (書目-電子資源)

Structural, syntactic, and statistical pattern recognitionjoint IAPR International Workshops, S+SSPR 2020, Padua, Italy, January 21-22, 2021 : proceedings / by: (書目-電子資源)

Cerebral aneurysm detection and analysisfirst Challenge, CADA 2020, held in conjunction with MICCAI 2020, Lima, Peru, October 8, 2020 : proceedings / by: (書目-電子資源)

Scale space and variational methods in computer vision8th International Conference, SSVM 2021, virtual event, May 16-20, 2021 : proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19-21, 2021 : proceedings / by: (書目-電子資源)

Production research10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020 : revised selected papers.Part I / by: (書目-電子資源)

Production research10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahia Blanca, Argentina, December 9-11, 2020 : revised selected papers.Part II / by: (書目-電子資源)

Theoremusa student's guide to mathematical proofs / by: (書目-電子資源)

Quality, reliability, security and robustness in heterogeneous systems16th EAI International Conference, QShine 2020, virtual event, November 29-30, 2020 : proceedings / by: (書目-電子資源)

Advances in knowledge discovery and data mining25th Pacific-Asia Conference, PAKDD 2021, virtual event, May 11-14, 2021 : proceedings.Part III / by: (書目-電子資源)

Discrete geometry and mathematical morphologyfirst International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021 : proceedings / by: (書目-電子資源)

Mathematical logic by: (書目-電子資源)

Cognitive radio-oriented wireless networks15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020 : proceedings / by: (書目-電子資源)

Big data8th CCF Conference, BigData 2020, Chongqing, China, October 22-24, 2020 : revised selected papers / by: (書目-電子資源)

Pattern recognition42nd DAGM German Conference, DAGM GCPR 2020, Tubingen, Germany, September 28 - October 1, 2020 : proceedings / by: (書目-電子資源)

Evolutionary multi-criterion optimization11th International Conference, EMO 2021, Shenzhen, China, March 28-31, 2021 : proceedings / by: (書目-電子資源)

Transactions on computational science XXXVIII by: (書目-電子資源)

Evolutionary computation in combinatorial optimization21st European Conference, EvoCOP 2021, held as part of EvoStar 2021, Virtual Event, April 7-9, 2021 : proceedings / by: (書目-電子資源)

Applied mathematics and computational mechanics for smart applicationsproceedings of AMMAI 2020 / by: (書目-電子資源)

Applications of flower pollination algorithm and its variants by: (書目-電子資源)

Modelling and development of intelligent systems7th International Conference, MDIS 2020, Sibiu, Romania, October 22-24, 2020 : revised selected papers / by: (書目-電子資源)

Artificial intelligence for communications and networksSecond EAI International Conference, AICON 2020, Virtual Event, December 19-20, 2020 : proceedings / by: (書目-電子資源)

Concise guide to quantum computingalgorithms, exercises, and implementations / by: (書目-電子資源)

Parallel and distributed computing, applications and technologies21st International Conference, PDCAT 2020, Shenzhen, China, December 28-30, 2020 : proceedings / by: (書目-電子資源)

Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2020, Ghent, Belgium, September 14-18, 2020 : proceedings.Part II / by: (書目-電子資源)

Handbook of computability and complexity in analysis by: (書目-電子資源)

Mathematical modeling and supercomputer technologies20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 - 27, 2020 : revised selected papers / by: (書目-電子資源)

Ubiquitous communications and network computing4th EAI International Conference, UBICNET 2021, virtual event, March 2021 : proceedings / by: (書目-電子資源)

Membrane computing21st International Conference, CMC 2020, virtual event, September 14-18, 2020 : revised selected papers / by: (書目-電子資源)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part V / by: (書目-電子資源)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part VI / by: (書目-電子資源)

Formal techniques for distributed objects, components, and systems41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / by: (書目-電子資源)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part I / by: (書目-電子資源)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part III / by: (書目-電子資源)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part IV / by: (書目-電子資源)

Computational science - ICCS 202121st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.Part II / by: (書目-電子資源)

Mathematical optimization theory and operations research20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings / by: (書目-電子資源)

Connecting with computability17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings / by: (書目-電子資源)

Geometric science of information5th International Conference, GSI 2021, Paris, France, July 21-23, 2021 : proceedings / by: (書目-電子資源)

Computational sciences - modelling, computing and soft computingfirst International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020 : revised selected papers / by: (書目-電子資源)

Introduction to inverse problems for differential equations by: (書目-電子資源)

Machine Learning by: (書目-電子資源)

Spatial data and intelligencesecond International Conference, SpatialDI 2021, Hangzhou, China, April 22-24, 2021 : proceedings / by: (書目-電子資源)

Schwarz methods and multilevel preconditioners for boundary element methods by: (書目-電子資源)

Mathematical optimization theory and operations researchrecent trends : 20th International Conference, MOTOR 2021, Irkutsk, Russia, July 5-10, 2021 : revised selected papers / by: (書目-電子資源)

Fundamentals of computation theory23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021 : proceedings / by: (書目-電子資源)

Computational logistics12th International Conference, ICCL 2021, Enschede, the Netherlands, September 27-29, 2021 : proceedings / by: (書目-電子資源)

String processing and information retrieval28th International Symposium, SPIRE 2021, Lille, France, October 4-6, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Computational diffusion MRIInternational MICCAI Workshop, Lima, Peru, October 2020 / by: (書目-電子資源)

Practical optimizationalgorithms and engineering applications / by: (書目-電子資源)

Recent advances in sustainable energy and intelligent systems7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 22-24, 2021 : proceedings.Part II / by: (書目-電子資源)

Thinking programslogical modeling and reasoning about languages, data, computations, and executions / by: (書目-電子資源)

Intelligent equipment, robots, and vehicles7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 22-24, 2021 : proceedings.Part III / by: (書目-電子資源)

Logistics and supply chain management7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020 : revised selected papers / by: (書目-電子資源)

Artificial intelligence and soft computing20th International Conference, ICAISC 2021, virtual event, June 21-23, 2021 : proceedings.Part II / by: (書目-電子資源)

Belief functions: theory and applications6th International Conference, BELIEF 2021, Shanghai, China, October 15-19, 2021 : proceedings / by: (書目-電子資源)

Computing and combinatorics27th International Conference, COCOON 2021, Tainan, Taiwan, October 24-26, 2021 : proceedings / by: (書目-電子資源)

Algorithmic decision theory7th International Conference, ADT 2021, Toulouse, France, November 3-5, 2021 : proceedings / by: (書目-電子資源)

Discrete and computational geometry, graphs, and games21st Japanese conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018 : revised selected papers / by: (書目-電子資源)

Relational and algebraic methods in computer science19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021 : proceedings / by: (書目-電子資源)

Nature of computation and communication7th EAI International Conference, ICTCC 2021, virtual event, October 28-29, 2021 : proceedings / by: (書目-電子資源)

Combinatorial optimization and applications15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021 : proceedings / by: (書目-電子資源)

Distributed computer and communication networkscontrol, computation, communications : 24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021 : revised selected papers / by: (書目-電子資源)

Artificial intelligencefirst CAAI International Conference, CICAI 2021, Hangzhou, China, June 5-6, 2021 : proceedings.Part II / by: (書目-電子資源)

Chance in physics, computer science and philosophychance as the foundation of the world / by: (書目-電子資源)

Optimization, learning algorithms and applicationsfirst International Conference, OL2A 2021, Braganca, Portugal, July 19-21, 2021 : revised selected papers / by: (書目-電子資源)

Theory and practice of natural computing10th International Conference, TPNC 2021, Tsukuba, Japan, December 7-10, 2021 : proceedings / by: (書目-電子資源)

Optimization and applications12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27-October 1, 2021 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Intelligent systems10th razilian conference, BRACIS 2021, virtual event, November 29-December 3, 2021 : proceedings.Part I / by: (書目-電子資源)

Networked systems9th International Conference, NETYS 2021, virtual event, May 19-21, 2021 : proceedings / by: (書目-電子資源)

Generalized mathieu series by: (書目-電子資源)

New trends in information and communications technology applications5th International Conference, NTICT 2021, Baghdad, Iraq, November 17-18, 2021 : proceedings / by: (書目-電子資源)

Introduction to computationHaskell, logic and automata / by: (書目-電子資源)

Principles of parallel scientific computinga first guide to numerical concepts and programming methods / by: (書目-電子資源)

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: (書目-電子資源)

Sparse grids and applications - Munich 2018 by: (書目-電子資源)

Advances in mathematical logicdedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018 : selected, revised contributions / by: (書目-電子資源)

Algorithmic game theory14th international symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021 : proceedings / by: (書目-電子資源)

Diagrammatic representation and inference12th International Conference, Diagrams 2021 : virtual, September 28-30, 2021 : proceedings / by: (書目-電子資源)

Formal concept analysis16th International Conference, ICFCA 2021, Strasbourg, France, June 29 - July 2, 2021 : proceedings / by: (書目-電子資源)

Unconventional computation and natural computation19th International Conference, UCNC 2021, Espoo, Finland, October 18-22, 2021 : proceedings / by: (書目-電子資源)

Variable neighborhood search8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21-25, 2021 : proceedings / by: (書目-電子資源)

Software foundations for data interoperability5th International Workshop, SFDI 2021, Copenhagen, Denmark, August 21, 2021 : revised selected papers / by: (書目-電子資源)

Informatics and intelligent applicationsfirst International Conference, ICIIA 2021, Ota, Nigeria, November 25-27, 2021 : revised selected papers / by: (書目-電子資源)

Information systems and designsecond International Conference, ICID 2021, virtual event, September 6-7, 2021 : revised selected papers / by: (書目-電子資源)

Distributed artificial intelligencethird International Conference, DAI 2021, Shanghai, China, December 17-18, 2021 : proceedings / by: (書目-電子資源)

Web and internet economics17th International Conference, WINE 2021, Potsdam, Germany, December 14-17, 2021 : proceedings / by: (書目-電子資源)

Algorithms and discrete applied mathematics8th International Conference, CALDAM 2022, Puducherry, India, February 10-12, 2022 : proceedings / by: (書目-電子資源)

OCaml scientific computingfunctional programming in data science and artificial intelligence / by: (書目-電子資源)

Applications of evolutionary computation25th European Conference, EvoApplications 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (書目-電子資源)

Developments in language theory26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022 : proceedings / by: (書目-電子資源)

Advances in knowledge discovery and data mining26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16-19, 2022 : proceedings.Part I / by: (書目-電子資源)

Research in computational molecular biology26th Annual International Conference, RECOMB 2022, San Diego, CA, USA, May 22-25, 2022 : proceedings / by: (書目-電子資源)

Comparative genomics19th International Conference, RECOMB-CG 2022, La Jolla, CA, USA, May 20-21, 2022 : proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022 : proceedings / by: (書目-電子資源)

Mathematics and computation in music8th International Conference, MCM 2022, Atlanta, GA, USA, June 21-24, 2022 : proceedings / by: (書目-電子資源)

Modern cryptography.Volume 1,A classical introduction to informational and mathematical principle by: (書目-電子資源)

Fuzzy mathematical analysis and advances in computational mathematics by: (書目-電子資源)

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: (書目-電子資源)

Distributed computer and communication networks24th International Conference, DCCN 2021, Moscow, Russia, September 20-24, 2021 : revised selected papers / by: (書目-電子資源)

Seriation in combinatorial and statistical data analysis by: (書目-電子資源)

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: (書目-電子資源)

Communications and networking16th EAI International Conference, ChinaCom 2021, virtual event, November 21-22, 2021 : proceedings / by: (書目-電子資源)

Integrated uncertainty in knowledge modelling and decision making9th International Symposium, IUKM 2022, Ishikawa, Japan, March 18-19, 2022 : proceedings / by: (書目-電子資源)

Code-based cryptography9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 : revised selected papers / by: (書目-電子資源)

Foundations of software science and computation structures25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization22nd European Conference, EvoCOP 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations researchInternational Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022 : proceedings / by: (書目-電子資源)

Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part I / by: (書目-電子資源)

Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part II / by: (書目-電子資源)

Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part III / by: (書目-電子資源)

Computational science - ICCS 202222nd International Conference, London, UK, June 21-23, 2022 : proceedings.Part IV / by: (書目-電子資源)

Advances in swarm intelligence13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.Part I / by: (書目-電子資源)

Advances in swarm intelligence13th International Conference, ICSI 2022, Xi'an, China, July 15-19, 2022 : proceedings.Part II / by: (書目-電子資源)

Runtime verificationa hands-on approach in Java / by: (書目-電子資源)

Reverse mathematicsproblems, reductions, and proofs / by: (書目-電子資源)

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: (書目-電子資源)

Exploration of novel intelligent optimization algorithms12th International Symposium, ISICA 2021, Guangzhou, China, November 20-21, 2021 : revised selected papers / by: (書目-電子資源)

Next generation arithmeticthird International Conference, CoNGA 2022, Singapore, March 1-3, 2022 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Advances in Computer Games17th International Conference, ACG 2021, virtual event, November 23-25, 2021 : revised selected papers / by: (書目-電子資源)

Lattice rulesnumerical integration, approximation, and discrepancy / by: (書目-電子資源)

Blockchain foundations and applications by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part II / by: (書目-電子資源)

Computer algebra in scientific computing24th International Workshop, CASC 2022, Gebze, Turkey, August 22-26, 2022 : proceedings / by: (書目-電子資源)

Parallel problem solving from nature - PPSN XVII17th International Conference, PPSN 2022, Dortmund, Germany, September 10-14, 2022 : proceedings.Part I / by: (書目-電子資源)

Choice computingmachine learning and systemic economics for choosing / by: (書目-電子資源)

Systematic innovation partnerships with artificial intelligence and information technology22nd International TRIZ Future Conference, TFC 2022, Warsaw, Poland, September 27-29, 2022 : proceedings / by: (書目-電子資源)

Computer and communication engineering2nd International Conference, CCCE 2022, Rome, Italy, March 11-13, 2022 : revised selected papers / by: (書目-電子資源)

Quantitative evaluation of systems19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022 : proceedings / by: (書目-電子資源)

KI 2022advances in artificial intelligence : 45th German Conference on AI, Trier, Germany, September 19-23, 2022 : proceedings / by: (書目-電子資源)

Practical MATLAB deep learninga projects-based approach / by: (書目-電子資源)

Neural computing for advanced applicationsthird International Conference, NCAA 2022, Jinan, China, July 8-10, 2022 : proceedings.Part II / by: (書目-電子資源)

Introduction to the tools of scientific computing by: (書目-電子資源)

Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings / by: (書目-電子資源)

Algebraic informatics9th International Conference, CAI 2022, virtual event, October 27-29, 2022 : proceedings / by: (書目-電子資源)

Discrete geometry and mathematical morphologysecond international joint conference, DGMM 2022, Strasbourg, France, October 24-27, 2022 : proceedings / by: (書目-電子資源)

Game theory for networks11th International EAI Conference, GameNets 2022, virtual event, July 7-8, 2022 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Artificial life and evolutionary computation15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers / by: (書目-電子資源)

The recent advances in transdisciplinary data sciencefirst Southwest Data Science Conference, SDSC 2022, Waco, TX, USA, March 25-26, 2022 : revised selected papers / by: (書目-電子資源)

Algorithms for big dataDFG Priority Program 1736 / by: (書目-電子資源)

Information theorythree theorems by claude shannon / by: (書目-電子資源)

Algorithms for constructing computably enumerable sets by: (書目-電子資源)

Developments in language theory27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023 : proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research20th International Conference, CPAIOR 2023, Nice, France, May 29-June 1, 2023 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Application and theory of petri nets and concurrency44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023 : proceedings / by: (書目-電子資源)

Variable neighborhood search9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25-28, 2022 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Real-world evidence in medical product development by: (書目-電子資源)

Introduction to methods for nonlinear optimization by: (書目-電子資源)

Foundation mathematics for computer sciencea visual approach / by: (書目-電子資源)

Modelling and development of intelligent systems8th International Conference, MDIS 2022, Sibiu, Romania, October 28-30, 2022 : revised selected papers / by: (書目-電子資源)

Arithmetic of finite fields9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022 : revised selected papers / by: (書目-電子資源)

Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / by: (書目-電子資源)

Artificial intelligence and soft computing21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022 : proceedings.Part II / by: (書目-電子資源)

Algorithms and discrete applied mathematics9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023 : proceedings / by: (書目-電子資源)

Smart card research and advanced applications21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022 : revised selected papers / by: (書目-電子資源)

Green, pervasive, and cloud computing17th International Conference, GPC 2022, Chengdu, China, December 2-4, 2022 : proceedings / by: (書目-電子資源)

Computational data and social networks11th International Conference, CSoNet 2022, virtual event, December 5-7, 2022 : proceedings / by: (書目-電子資源)

Artificial intelligence : theories and applicationsfirst International Conference, ICAITA 2022, Mascara, Algeria, November 7-8, 2022 : revised selected papers / by: (書目-電子資源)

Artificial intelligence and digitalization for sustainable development10th EAI International Conference, ICAST 2022, Bahir Dar, Ethiopia, November 4-6, 2022 : proceedings / by: (書目-電子資源)

R-calculus.IV,Propositional logic by: (書目-電子資源)

Web and big dataAPWeb-WAIM 2022 International Workshops : KGMA 2022, semiBDMA 2022, DeepLUDA 2022, Nanjing, China, November 25-27, 2022 : proceedings / by: (書目-電子資源)

Applications of computational intelligence5th IEEE Colombian Conference, ColCACI 2022, Cali, Colombia, July 27-29, 2022 : revised selected papers / by: (書目-電子資源)

Concrete abstractionsformalizing and analyzing discrete theories and algorithms with the RISCAL model checker / by: (書目-電子資源)

Bio-inspired computingtheories and applications : 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18 2022 : revised selected papers / by: (書目-電子資源)

Artificial life and evolutionary computation16th Italian Workshop, WIVACE 2022, Gaeta, Italy, September 14-16, 2022 : revised selected papers / by: (書目-電子資源)

Distributed computer and communication networks25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022 : revised selected papers / by: (書目-電子資源)

Relational and algebraic methods in computer science20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023 : proceedings / by: (書目-電子資源)

Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part I / by: (書目-電子資源)

Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part III / by: (書目-電子資源)

Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part IV / by: (書目-電子資源)

Machine learning and knowledge discovery in databasesEuropean Conference, ECML PKDD 2022, Grenoble, France, September 19-23, 2022 : proceedings.Part V / by: (書目-電子資源)

Distributed artificial intelligence4th International conference, DAI 2022, Tianjin, China, December 15-17, 2022 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization23rd European Conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (書目-電子資源)

Applications of evolutionary computation26th European Conference, EvoApplications 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023 : proceedings / by: (書目-電子資源)

Database systems for advanced applications28th International Conference, DASFAA 2023, Tianjin, China, April 17-20, 2023 : proceedings.Part III / by: (書目-電子資源)

Bayesian scientific computing by: (書目-電子資源)

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: (書目-電子資源)

Linear programming computation by: (書目-電子資源)

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: (書目-電子資源)

Application and theory of petri nets and concurrency43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022 : proceedings / by: (書目-電子資源)

Computer and communication engineeringthird International Conference, CCCE 2023, Stockholm, Sweden, March 10-12, 2023 : revised selected papers / by: (書目-電子資源)

Information processing in medical imaging28th International Conference, IPMI 2023, San Carlos de Bariloche, Argentina, June 18-23, 2023 : proceedings / by: (書目-電子資源)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part III / by: (書目-電子資源)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part I / by: (書目-電子資源)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part V / by: (書目-電子資源)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part IV / by: (書目-電子資源)

Computational science - ICCS 202323rd International Conference, Prague, Czech Republic, July 3-5, 2023 : proceedings.Part II / by: (書目-電子資源)

Towards AI-aided invention and innovation23rd International TRIZ Future Conference, TFC 2023, Offenburg, Germany, September 12-14, 2023 : proceedings / by: (書目-電子資源)

International Conference on Neural Computing for Advanced Applications4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023 : proceedings.Part II / by: (書目-電子資源)

Mathematics for computer scientistsa practice-oriented approach / by: (書目-電子資源)

International Conference on Neural Computing for Advanced Applications4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023 : proceedings.Part I / by: (書目-電子資源)

Information systems and designthird International Conference, ICID 2022, Tashkent, Uzbekistan, September 12-13, 2022 : revised selected papers / by: (書目-電子資源)

Computer algebra in scientific computing25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023 : proceedings / by: (書目-電子資源)

Computer-aided architectural design, INTERCONNECTIONS : co-computing beyond boundaries20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023 : selected papers / by: (書目-電子資源)

Deep learning theory and applicationsthird International Conference, DeLTA 2022, Lisbon, Portugal, July 12-14, 2022 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Advances in swarm intelligence14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.Part I / by: (書目-電子資源)

Advances in swarm intelligence14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.Part II / by: (書目-電子資源)

Comparative genomics20th International Conference, RECOMB-CG 2023, Istanbul, Turkey, April 14-15, 2023 : proceedings / by: (書目-電子資源)

Geometric science of information6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023 : proceedings.Part I / by: (書目-電子資源)

Geometric science of information6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023 : proceedings.Part II / by: (書目-電子資源)

Geometric patterns with creative codingcoding for the arts / by: (書目-電子資源)

Computational methods for deep learningtheory, algorithms, and implementations / by: (書目-電子資源)

Mathematical optimization theory and operations researchrecent trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2-8, 2023 : revised selected papers / by: (書目-電子資源)

Quantitative evaluation of systems20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings / by: (書目-電子資源)

KI 2023advances in artificial intelligence : 46th German Conference on AI, Berlin, Germany, September 26-29, 2023 : proceedings / by: (書目-電子資源)

Fundamentals of computation theory24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023 : proceedings / by: (書目-電子資源)

Reachability problems17th International Conference, RP 2023, Nice, France, October 11-13, 2023 : proceedings / by: (書目-電子資源)

Integrated uncertainty in knowledge modelling and decision making10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2-4, 2023 : proceedings.Part I / by: (書目-電子資源)

Integrated uncertainty in knowledge modelling and decision making10th International Symposium, IUKM 2023, Kanazawa, Japan, November 2-4, 2023 : proceedings.Part II / by: (書目-電子資源)

Code-based cryptography11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023 : revised selected papers / by: (書目-電子資源)

Scalable algorithms for contact problems by: (書目-電子資源)

Cosmic raysmultimessenger astrophysics and revolutionary astronomy / by: (書目-電子資源)

Artificial intelligence logic and applicationsthe 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings / by: (書目-電子資源)

Artificial intelligence research4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023 : proceedings / by: (書目-電子資源)

Optimization and applications14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers / by: (書目-電子資源)

Computational diffusion MRI14th International Workshop, CDMRI 2023, held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023 : proceedings / by: (書目-電子資源)

Evolutionary multi-criterion optimization12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023 : proceedings / by: (書目-電子資源)

Scale space and variational methods in computer vision9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023 : proceedings / by: (書目-電子資源)

Formal concept analysis17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023 : proceedings / by: (書目-電子資源)

Distributed computer and communication networks26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023 : revised selected papers / by: (書目-電子資源)

New trends in information and communications technology applications7th National Conference, NTICT 2023, Baghdad, Iraq, December 20-21, 2023 : proceedings / by: (書目-電子資源)

Next generation data sciencesecond Southwest Data Science Conference, SDSC 2023, Waco, TX, USA, March 24-25, 2023 : revised selected papers / by: (書目-電子資源)

Intelligence computation and applications14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023 : revised selected papers.Part I / by: (書目-電子資源)

Intelligence computation and applications14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023 : revised selected papers.Part II / by: (書目-電子資源)

Application and theory of petri nets and concurrency45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024 : proceedings / by: (書目-電子資源)

Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part II / by: (書目-電子資源)

Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part IV / by: (書目-電子資源)

Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part V / by: (書目-電子資源)

Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part I / by: (書目-電子資源)

Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part III / by: (書目-電子資源)

Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part VII / by: (書目-電子資源)

Computational science - ICCS 202424th International Conference, Malaga, Spain, July 2-4, 2024 : proceedings.Part VI / by: (書目-電子資源)

Integer programming and combinatorial optimization25th International Conference, IPCO 2024, Wrocław, Poland, July 3-5, 2024 : proceedings / by: (書目-電子資源)

Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday / by: (書目-電子資源)

Mathematics and computation in music9th International Conference, MCM 2024, Coimbra, Portugal, June 18-21, 2024 : proceedings / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024 : proceedings.Part II / by: (書目-電子資源)

Integration of constraint programming, artificial intelligence, and operations research21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024 : proceedings.Part I / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Applications of computational intelligence6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023 : revised selected papers / by: (書目-電子資源)

Data science and machine learning21st Australasian Conference, AusDM 2023, Auckland, New Zealand, December 11-13, 2023 : proceedings / by: (書目-電子資源)

Advances in optimization and applications14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Combinatorial optimization and applications17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part I / by: (書目-電子資源)

Combinatorial optimization and applications17th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023 : proceedings.Part II / by: (書目-電子資源)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II / by: (書目-語言資料,印刷品)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part I / by: (書目-電子資源)

R-calculus.V,Description logics by: (書目-電子資源)

Mathematical modeling and supercomputer technologies23rd International Conference, MMS 2023, Nizhny Novgorod, Russia, November 13-16, 2023 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Algorithms and discrete applied mathematics10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024 : proceedings / by: (書目-電子資源)

Green, pervasive, and cloud computing18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023 : proceedings.Part I / by: (書目-電子資源)

Green, pervasive, and cloud computing18th International Conference, GPC 2023, Harbin, China, September 22-24, 2023 : proceedings.Part II / by: (書目-電子資源)

Smart card research and advanced applications22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023 : revised selected papers / by: (書目-電子資源)

Advances in Computer Games18th International Conference, ACG 2023, virtual event, November 28-30, 2023 : revised selected papers / by: (書目-電子資源)

Graphs and combinatorial optimizationfrom Theory to Applications : CTW 2023, Garmisch-Partenkirchen, Germany, June 20-22 / by: (書目-電子資源)

Foundations of vector retrieval by: (書目-電子資源)

Artificial life and evolutionary computation17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023 : revised selected papers / by: (書目-電子資源)

Infrared small target detectiontheory, methods, and algorithms / by: (書目-電子資源)

Bio-inspired computingtheories and applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023 : revised selected papers.Part I / by: (書目-電子資源)

Bio-inspired computingtheories and applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15-17, 2023 : revised selected papers.Part II / by: (書目-電子資源)

Applications of evolutionary computation27th European Conference, EvoApplications 2024, held as part of Evostar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings.Part I / by: (書目-電子資源)

Distributed computer and communication networkscontrol, computation, communications : 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023 : revised selected papers / by: (書目-電子資源)

Applications of evolutionary computation27th European Conference, EvoApplications 2024, held as part of Evostar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings.Part II / by: (書目-電子資源)

Progress in cryptology - INDOCRYPT 202324th International Conference on Cryptology in India, Goa, India, December 10-13, 2023 : proceedings.Part I / by: (書目-電子資源)

Progress in cryptology - INDOCRYPT 202324th International Conference on Cryptology in India, Goa, India, December 10-13, 2023 : proceedings.Part II / by: (書目-電子資源)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I / by: (書目-電子資源)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II / by: (書目-電子資源)

Discrete geometry and mathematical morphologythird International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024 : proceedings / by: (書目-電子資源)

Evolutionary computation in combinatorial optimization24th European Conference, EvoCOP 2024, held as part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Comparative genomics21st International Conference, RECOMB-CG 2024, Boston, MA, USA, April 27-28, 2024 : proceedings / by: (書目-電子資源)