Mathematics of Computing.

Combinatorial Optimization = Theory and Algorithms / by: (書目-語言資料,印刷品)

High Performance Computing in Science and Engineering `07 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007 / by: (書目-語言資料,印刷品)

The modern algebra of information retrieval by: (書目-語言資料,印刷品)

Handbook of continued fractions for special functions by: (書目-語言資料,印刷品)

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (書目-語言資料,印刷品)

High performance computing in science and engineering, Garching/Munich 2007 = transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 2007, Leibniz Supercomputing Centre, Garching-Munich, Germany/ by: (書目-語言資料,印刷品)

Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Geometric algebra = an algebraic system for computer games and animation/ by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (書目-語言資料,印刷品)

Handbook of large-scale random networks by: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

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

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

Automated reasoning = 7th 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 Calculi = joint 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 2014 = 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

Advances in cryptology - ASIACRYPT 2014 = 20th 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 XVI = selected papers from ACOMP 2013 / by: (書目-電子資源)

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

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

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

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

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

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

Advances in cryptology - ASIACRYPT 2015 = 21st 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 2015 = 21st 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 structures = the finite element method / by: (書目-電子資源)

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

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

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

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

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

Turing computability = theory and applications / by: (書目-電子資源)

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

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

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

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

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

Advances in cryptology - ASIACRYPT 2016 = 22nd 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 2016 = 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016 : proceedings.. Part II / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

Mathematical aspects of computer and information sciences = 7th 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 applications = proceedings of the UCL Workshop 2016 / by: (書目-電子資源)

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

Computer games = 6th 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 Intelligence = 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8-9, 2017 : revised selected papers / by: (書目-電子資源)

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

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

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

High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (書目-語言資料,印刷品)

QoS in Packet Networks by: (書目-語言資料,印刷品)

Adaptive and Natural Computing Algorithms = Proceedings of the International Conference in Coimbra, Portugal, 2005 / by: (書目-語言資料,印刷品)

Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (書目-語言資料,印刷品)

Categories for Software Engineering by: (書目-語言資料,印刷品)

Constraint Theory = Multidimensional Mathematical Model Management / by: (書目-語言資料,印刷品)

Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO / by: (書目-語言資料,印刷品)

Computational Electromagnetics by: (書目-語言資料,印刷品)

A Modern Perspective on Type Theory = From its Origins until Today / by: (書目-語言資料,印刷品)

Domain Decomposition Methods — Algorithms and Theory by: (書目-語言資料,印刷品)

Domain Decomposition Methods in Science and Engineering by: (書目-語言資料,印刷品)

Graphs, Networks and Algorithms by: (書目-語言資料,印刷品)

Design of Adaptive Finite Element Software = The Finite Element Toolbox ALBERTA / by: (書目-語言資料,印刷品)

Dynamical Systems = Examples of Complex Behaviour / by: (書目-語言資料,印刷品)

OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / by: (書目-語言資料,印刷品)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (書目-語言資料,印刷品)

Digital Imaging and Communications in Medicine (DICOM) = A Practical Introduction and Survival Guide / by: (書目-語言資料,印刷品)

Mathematical Modeling, Simulation, Visualization and e-Learning by: (書目-語言資料,印刷品)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (書目-語言資料,印刷品)

High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers/ by: (書目-語言資料,印刷品)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (書目-語言資料,印刷品)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-語言資料,印刷品)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (書目-語言資料,印刷品)

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations by: (書目-語言資料,印刷品)

A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (書目-語言資料,印刷品)

Matrix-Based Multigrid = Theory and Applications / by: (書目-語言資料,印刷品)

Mathematical Tools for Data Mining = Set Theory, Partial Orders, Combinatorics / by: (書目-語言資料,印刷品)

Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 / by: (書目-語言資料,印刷品)

High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (書目-語言資料,印刷品)

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

Information theory and statistical learning by: (書目-語言資料,印刷品)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (書目-語言資料,印刷品)

High performance computing in science and engineering '08 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008 / by: (書目-語言資料,印刷品)

Computability of Julia sets by: (書目-語言資料,印刷品)

Post-quantum cryptography by: (書目-語言資料,印刷品)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (書目-語言資料,印刷品)

Visualization and processing of tensor fields = advances and perspectives / by: (書目-語言資料,印刷品)

Markov random field modeling in image analysis by: (書目-語言資料,印刷品)

Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / by: (書目-語言資料,印刷品)

High performance networking, computing, communication systems, and mathematical foundations = international conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings/ by: (書目-語言資料,印刷品)

Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / by: (書目-語言資料,印刷品)

A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP / by: (書目-語言資料,印刷品)

Algorithmic aspects in information and management = 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings / by: (書目-語言資料,印刷品)

Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings / by: (書目-語言資料,印刷品)

Mathematica = a problem-centered approach / by: (書目-語言資料,印刷品)

Grid generation methods by: (書目-語言資料,印刷品)

Logical analysis of hybrid systems = proving theorems for complex dynamics / by: (書目-語言資料,印刷品)

Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (書目-語言資料,印刷品)

Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (書目-語言資料,印刷品)

The mathematics of language = 10th 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: (書目-語言資料,印刷品)

Triangulations = structures for algorithms and applications / by: (書目-語言資料,印刷品)

Database theory and application, bio-science and bio-Technology = International 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: (書目-語言資料,印刷品)

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

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

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

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

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

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

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

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

Combinatorial optimization = theory and algorithms / by: (書目-電子資源)

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

Computation, physics and beyond = International 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 computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II / by: (書目-電子資源)

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

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

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

Parallel processing and applied mathematics = 9th 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 applications = 7th 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 science = 7th 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: (書目-電子資源)

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 2012 = selected papers from the ICOSAHOM conference, June 25-29, 2012, Gammarth, Tunisia / by: (書目-電子資源)

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

Algorithms for sensor systems = 9th 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: (書目-電子資源)

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

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

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

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

Swarm Intelligence = 9th 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 regions = differentiating computer programs containing OpenMP / by: (書目-電子資源)

SAGA - advances in shApes, geometry, and algebra = results from the Marie Curie Initial Training Network / by: (書目-電子資源)

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

Algorithms for sensor systems = 10th 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 systems = third International Conference, ICORES 2014, Angers, France, March 6-8, 2014 : revised selected papers / by: (書目-電子資源)

Evolving computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings / by: (書目-語言資料,印刷品)

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

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

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

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

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

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

Spectral and high order methods for partial differential equations - ICOSAHOM 2014 = selected 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 science = theoretical and practical methods / by: (書目-電子資源)

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

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

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

Algorithms for sensor systems = 11th 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

Finitely supported mathematics = an introduction / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Algorithms for sensor systems = 12th 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: (書目-電子資源)

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

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

Computer games = 5th 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 computing = third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

Advances in cryptology - ASIACRYPT 2017 = 23rd 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 2017 = 23rd 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 2017 = 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Hong Kong, China, December 3-7, 2017 : proceedings.. Part III / by: (書目-電子資源)

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

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

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

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

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

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

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

Service oriented infrastructures and cloud service platforms for the enterprise = a selection of common capabilities validated in real-life business trials by the BEinGRID consortium/ by: (書目-語言資料,印刷品)

Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-語言資料,印刷品)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part I / by: (書目-語言資料,印刷品)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part II / by: (書目-語言資料,印刷品)

Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / by: (書目-語言資料,印刷品)

Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (書目-語言資料,印刷品)

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

Combinatorial optimization = theory and algorithms / by: (書目-電子資源)

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

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

Smart cities, green technologies, and intelligent transport systems = 6th International Conference, SMARTGREENS 2017, and third International Conference, VEHITS 2017, Porto, Portugal, April 22-24, 2017 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Advances and trends in artificial intelligence = from 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: (書目-電子資源)

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

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

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

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

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

Numerical computations = theory 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 problems = algorithms, methods and applications / by: (書目-電子資源)

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

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

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

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

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

Tools and algorithms for the construction and analysis of systems = 26th 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 systems = 26th 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 biology = 24th Annual International Conference, RECOMB 2020, Padua, Italy, May 10-13, 2020 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Evolutionary computation in combinatorial optimization = 21st 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 applications = proceedings of AMMAI 2020 / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Unifying theories of programming = 7th International Symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Information technologies and mathematical modelling = queueing 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 safety = essays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday / by: (書目-電子資源)

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

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

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

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

Numerical geometry, grid generation and scientific computing = proceedings of the 9th International Conference, NUMGRID 2018 / Voronoi 150, Celebrating the 150th Anniversary of G.F. Voronoi, Moscow, Russia, December 2018 / by: (書目-電子資源)

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

Geoinformatics in sustainable ecosystem and society = 7th International Conference, GSES 2019, and first International Conference, GeoAI 2019, Guangzhou, China, November 21-25, 2019 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Database and expert systems applications = DEXA 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 science = third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22-24, 2019 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Formal techniques for distributed objects, components, and systems = 41st 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 2021 = 21st International Conference, Krakow, Poland, June 16-18, 2021 : proceedings.. Part I / by: (書目-電子資源)

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

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

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

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

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

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

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

Numerical geometry, grid generation and scientific computing = proceedings of the 10th International Conference, NUMGRID 2020 / Delaunay 130, Celebrating the 130th Anniversary of Boris Delaunay, Moscow, Russia, November 2020 / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Recent featured applications of artificial intelligence methods = LSMS 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 astronomy = first 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 production = 10th International Conference, HPCST 2020, Barnaul, Russia, May 15-16, 2020 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

Recent advances in sustainable energy and intelligent systems = 7th 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 programs = logical modeling and reasoning about languages, data, computations, and executions / by: (書目-電子資源)

Intelligent equipment, robots, and vehicles = 7th 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 management = 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Trends in artificial intelligence theory and applications = artificial 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 intelligence = 17th International Conference, MDAI 2020, Sant Cugat, Spain, September 2-4, 2020 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

Performance engineering and stochastic modeling = 17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Machine learning and principles and practice of knowledge discovery in databases = international workshops of ECML PKDD 2021, virtual event, September 13-17, 2021 : proceedings.. Part I / by: (書目-電子資源)

Body area networks = smart IOT and big data for intelligent health management : 16th EAI International Conference, BODYNETS 2021, virtual event, October 25-26, 2021 : proceedings / by: (書目-電子資源)

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

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

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

Foundations of software science and computation structures = 25th 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 optimization = 22nd European Conference, EvoCOP 2022, held as part of EvoStar 2022, Madrid, Spain, April 20-22, 2022 : proceedings / by: (書目-電子資源)

Integer programming and combinatorial optimization = 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

Operations research and enterprise systems = 9th 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 algorithms = 12th International Symposium, ISICA 2021, Guangzhou, China, November 20-21, 2021 : revised selected papers / by: (書目-電子資源)

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

Coalgebraic methods in computer science = 16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings / by: (書目-電子資源)

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

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

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

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

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

Advances in model and data engineering in the digitalization era = MEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022 : proceedings / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Advances in knowledge discovery and data mining = 27th 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 mining = 27th 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 mining = 27th 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 concurrency = 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023 : proceedings / by: (書目-電子資源)

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

Advances in knowledge discovery and data mining = 27th 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: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

High-performance computing systems and technologies in scientific research, automation of control and production = 12th International Conference, HPCST 2022, Barnaul, Russia, May 20-21, 2022 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

Computer-aided architectural design = design imperatives : the future is now : 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16-18, 2021 : selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Human brain and artificial intelligence = third International Workshop, HBAI 2022, held in conjunction with IJCAI-ECAI 2022,Vienna, Austria, July 23, 2022 : revised selected papers / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Deep learning theory and applications = first 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 intelligence = 14th International Conference, ICSI 2023, Shenzhen, China, July 14-18, 2023 : proceedings.. Part I / by: (書目-電子資源)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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