Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
500 Examples and Problems of Applied Differential Equations / / by Ravi P. Agarwal, Simona Hodis, Donal O’Regan
| 500 Examples and Problems of Applied Differential Equations / / by Ravi P. Agarwal, Simona Hodis, Donal O’Regan |
| Autore | Agarwal Ravi P |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 388 p. 84 illus., 3 illus. in color.) |
| Disciplina | 515.35 |
| Collana | Problem Books in Mathematics |
| Soggetto topico |
Differential equations
Difference equations Functional equations Differential equations, Partial Sequences (Mathematics) Numerical analysis Ordinary Differential Equations Difference and Functional Equations Partial Differential Equations Sequences, Series, Summability Numerical Analysis |
| ISBN | 3-030-26384-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. First Order Linear Differential Equations -- 2. Some First Order Nonlinear Differential Equations -- 3. Second and Higher Order Differential Equations -- 4. Power Series Solutions -- 5. Systems of First Order Linear Differential Equations -- 6. Runge–Kutta Method -- 7. Stability Theory -- 8. Linear Boundary Value Problems -- 9. Nonlinear Boundary Value Problems -- Index. |
| Record Nr. | UNINA-9910349335203321 |
Agarwal Ravi P
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accurate Scientific Computations [[electronic resource] ] : Symposium, Bad Neuenahr, Federal Republic of Germany March 12-14, 1985. Proceedings / / edited by Willard L. Miranker, Richard A. Toupin
| Accurate Scientific Computations [[electronic resource] ] : Symposium, Bad Neuenahr, Federal Republic of Germany March 12-14, 1985. Proceedings / / edited by Willard L. Miranker, Richard A. Toupin |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
| Descrizione fisica | 1 online resource (XVI, 208 p.) |
| Disciplina | 518 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Numerical analysis
Numerical Analysis |
| ISBN | 3-540-47118-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computing elementary functions: A new approach for achieving high accuracy and good performance -- Fast elementary function algorithms for 370 machines -- A new arithmetic for scientific computation -- New results on verified inclusions -- Accurate elliptic differential equation solver -- Case studies for augmented floating-point arithmetic -- Strict optimal error and residual estimates for the solution of linear algebraic systems by elimination methods in high-accuracy arithmetic -- Solving large sparse linear systems with guaranteed accuracy -- Symbolic and numeric manipulation of integrals -- Computer algebra and exact solutions to systems of polynomial equations -- The euclidean algorithm for gaussian integers -- An efficient stochastic method for round-off error analysis. |
| Record Nr. | UNISA-996465946603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Adaptive discontinuous Galerkin methods for non-linear reactive flows / / by Murat Uzunca
| Adaptive discontinuous Galerkin methods for non-linear reactive flows / / by Murat Uzunca |
| Autore | Uzunca Murat |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
| Descrizione fisica | 1 online resource (111 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Geosystems Mathematics and Computing |
| Soggetto topico |
Numerical analysis
Differential equations, Partial Geophysics Numerical Analysis Partial Differential Equations Geophysics/Geodesy |
| ISBN | 3-319-30130-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 INTRODUCTION -- 1.1 Geological and computational background -- 1.2 Outline -- 2 DISCONTINUOUS GALERKIN METHODS -- 2.1 Preliminaries -- 2.2 Construction of IPG Methods -- 2.3 Computation Tools for Integral Terms -- 2.4 Effect of Penalty Parameter -- 2.5 Problems with Convection -- 3 ELLIPTIC PROBLEMS WITH ADAPTIVITY -- 3.1 Model Elliptic Problem -- 3.2 Adaptivity -- 3.3 Solution of Linearized Systems -- 3.4 Comparison with Galerkin Least Squares FEM (GLSFEM) -- 3.5 Numerical Examples -- 4 PARABOLIC PROBLEMS WITH TIME-SPACE ADAPTIVITY -- 4.1 Preliminaries and Model Equation -- 4.2 Semi-Discrete and Fully Discrete Formulations -- 4.3 Time-Space Adaptivity for Non-Stationary Problems -- 4.4 Solution of Fully Discrete System -- 4.5 Numerical Examples.-REFERENCES. . |
| Record Nr. | UNINA-9910254069703321 |
|
Uzunca Murat
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Boundary Element Methods : Treatment of Boundary Value, Transmission and Contact Problems / / by Joachim Gwinner, Ernst Peter Stephan
| Advanced Boundary Element Methods : Treatment of Boundary Value, Transmission and Contact Problems / / by Joachim Gwinner, Ernst Peter Stephan |
| Autore | Gwinner Joachim |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVIII, 652 p. 69 illus., 18 illus. in color.) |
| Disciplina | 515.45 |
| Collana | Springer Series in Computational Mathematics |
| Soggetto topico |
Integral equations
Numerical analysis Differential equations, Partial Calculus of variations Applied mathematics Engineering mathematics Mathematical physics Integral Equations Numerical Analysis Partial Differential Equations Calculus of Variations and Optimal Control; Optimization Mathematical and Computational Engineering Theoretical, Mathematical and Computational Physics |
| ISBN | 3-319-92001-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Some Elements of Potential Theory -- 3 A Fourier Series Approach -- 4 Mixed BVPs, Transmission Problems and Pseudodifferential Operators -- 5 The Signorini Problem and More Nonsmooth BVPs and Their Boundary Integral Formulation -- 6 A Primer to Boundary Element Methods -- 7 Advanced BEM for BVPs in Polygonal/Polyhedral Domains: h- and p-Versions -- 8 Exponential Convergence of hp-BEM -- 9 Mapping Properties of Integral Operators on Polygons -- 10 A-BEM -- 11 BEM for Contact Problems -- 12 FEM-BEM Coupling -- 13 Time-Domain BEM -- A Linear Operator Theory -- B Pseudodifferential Operators -- C Convex and Nonsmooth Analysis, Variational Inequalities -- D Some Implementation for BEM -- References -- Index. |
| Record Nr. | UNINA-9910300133603321 |
|
Gwinner Joachim
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits / / by Wenjian Yu, Xiren Wang
| Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits / / by Wenjian Yu, Xiren Wang |
| Autore | Yu Wenjian |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (258 p.) |
| Disciplina |
003.3
004 518 620 |
| Soggetto topico |
Electronic circuits
Computer-aided engineering Computer science - Mathematics Numerical analysis Computer simulation Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Computational Science and Engineering Numerical Analysis Simulation and Modeling |
| ISBN | 3-642-54298-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Basic Field-Solver Techniques for RC Extraction -- Fast Boundary Element Methods for Capacitance Extraction (I) -- Fast Boundary Element Methods for Capacitance Extraction (II) -- Resistance Extraction of Complex 3-D Interconnects -- Substrate Resistance Extraction with Boundary Element Method -- Extracting Frequency-Dependent Substrate Parasitics -- Process Variation Aware Capacitance Extraction -- Statistical Capacitance Extraction Based on Continuous-Surface Geometric Model -- Fast Floating Random Walk Method for Capacitance Extraction -- FRW Based Solver for Chip-Scale Large Structures. |
| Record Nr. | UNINA-9910299468903321 |
|
Yu Wenjian
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu
| Advanced Parallel Processing Technologies [[electronic resource] ] : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIX, 772 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN | 3-540-76837-8 |
| Classificazione |
004
DAT 250f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Session 1 – Advanced Microprocessor Architecture -- Session 2 – Parallel Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks -- Session 5 – Network Protocols -- Session 6 – Pervasive and Mobile Computing Architectures -- Session 7 – Task Scheduling and Load Balancing -- Session 8 – Software Engineering -- Session 8 – Other Issues. |
| Record Nr. | UNISA-996465520703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Parallel Processing Technologies : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu
| Advanced Parallel Processing Technologies : 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings / / edited by Ming Xu, Yinwei Zhan, Jiannong Cao, Yijun Liu |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XIX, 772 p.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN | 3-540-76837-8 |
| Classificazione |
004
DAT 250f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Session 1 – Advanced Microprocessor Architecture -- Session 2 – Parallel Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks -- Session 5 – Network Protocols -- Session 6 – Pervasive and Mobile Computing Architectures -- Session 7 – Task Scheduling and Load Balancing -- Session 8 – Software Engineering -- Session 8 – Other Issues. |
| Record Nr. | UNINA-9910484437503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Parallel Processing Technologies [[electronic resource] ] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu
| Advanced Parallel Processing Technologies [[electronic resource] ] : 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings / / edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 526 p.) |
| Disciplina | 005.2/75 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science |
| ISBN |
3-540-32107-1
3-540-29639-5 |
| Classificazione | 54.32 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Speech -- Research Issues in Adapting Computing to Small Devices -- Mobile Context-Aware Systems – Linking the Physical and Digital World -- Architecture -- A Data Transformations Based Approach for Optimizing Memory and Cache Locality on Distributed Memory Multiprocessors -- A Fetch Policy Maximizing Throughput and Fairness for Two-Context SMT Processors -- A Loop Transformation Using Two Parallel Region Partitioning Method -- Criticality Based Speculation Control for Speculative Multithreaded Architectures -- Design and Implementation of Semantic Caching Coherency Control Scheme Toward Distributed Environment -- Energy Efficient United L2 Cache Design with Instruction/Data Filter Scheme -- Improving Latency Tolerance of Network Processors Through Simultaneous Multithreading -- RIMP: Runtime Implicit Predication -- Static Partitioning vs Dynamic Sharing of Resources in Simultaneous MultiThreading Microarchitectures -- Algorithm and Theory -- Autonomous-Centered Problem Allocation Oriented to Cooperation -- Contention-Free Communication Scheduling for Irregular Data Redistribution in Parallelizing Compilers -- Experiments on Asynchronous Partial Gauss-Seidel Method -- Improved Program Dependence Graph and Algorithm for Static Slicing Concurrent Programs -- Parallelisation of Sequential Programs by Invasive Composition and Aspect Weaving -- Revisiting the Election Problem in Asynchronous Distributed Systems -- Scheduling Scheme with Fairness and Adaptation in the Joint Allocation of Heterogeneous Resources -- Solving the Symmetric Tridiagonal Eigenproblem Using MPI/OpenMP Hybrid Parallelization -- Trust Management with Safe Privilege Propagation -- Vector Space Based on Hierarchical Weighting: A Component Ranking Approach to Component Retrieval -- System and Software -- A High Availability Mechanism for Parallel File System -- A User-Guided Semi-automatic Parallelization Method and Its Implementation -- CAPU: Enhancing P2P File Sharing System with Capacity Aware Topology -- Implementing Component Persistence in CCM Based on StarPSS -- Load Balancing Design Issues on Prefetch-Based DSM Systems -- Task Assignment for Network Processor Pipelines Using GA -- Test-Suite Reduction Using Genetic Algorithm -- Grid Computing -- A Constellation Model for Grid Resource Management -- An Effective Information Service Architecture in Grid Environment -- An Efficient Data Management System with High Scalability for ChinaGrid Support Platform -- CGSP: An Extensible and Reconfigurable Grid Framework -- Early Experience of Remote and Hot Service Deployment with Trustworthiness in CROWN Grid -- Grid Developing Environment in CGSP System -- Grid Job Support System in CGSP -- JFreeSim: A Grid Simulation Tool Based on MTMSMR Model -- OOML-Based Ontologies and Its Services for Information Retrieval in UDMGrid -- Networking -- A Hybrid Integrated QoS Multicast Routing Algorithm in IP/DWDM Optical Internet -- An Efficient Distributed Broadcasting Algorithm for Ad Hoc Networks -- Chaos-Based Dynamic QoS Scheme and Simulating Analysis -- Dynamic Delaunay Triangulation for Wireless Ad Hoc Network -- Energy Efficient Multipath Routing in Large Scale Sensor Networks with Multiple Sink Nodes -- FLC: A Novel Dynamic Buffer Tuner for Shortening Service Roundtrip Time over the Internet by Eliminating User-Level Buffer Overflow on the Fly -- Intelligent Congestion Avoidance in Differentiated Service Networks -- Rule-Based Anomaly Detection of Inter-domain Routing System -- Transaction of Web Services Based on Struts -- Applied Technologies -- A Method of Aggregate Query Matching in Semantic Cache for Massive Database Applications -- A Parallel Modular Exponentiation Scheme for Transformed Exponents -- Content Selection Model for Adaptive Content Delivery -- Dynamic Service Provisioning for Multiplayer Online Games -- Principal Component Analysis for Distributed Data Sets with Updating -- Priority Conscious Transaction Routing in a Real-Time Shared Disks Cluster -- Probabilistic Continuous Update Scheme in Location Dependent Continuous Queries -- SIP-Based Adaptive Multimedia Transmissions for Wired and Wireless Networks -- WM+: An Optimal Multi-pattern String Matching Algorithm Based on the WM Algorithm. |
| Record Nr. | UNISA-996465664403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Applied Mathematics / / edited by Ali R. Ansari
| Advances in Applied Mathematics / / edited by Ali R. Ansari |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (276 p.) |
| Disciplina | 510 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Numerical analysis
Biomathematics Computer mathematics Numerical Analysis Mathematical and Computational Biology Computational Mathematics and Numerical Analysis |
| ISBN | 3-319-06923-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling invasive processes in biology -- Modelling oxygen capillary supply to striated muscle tissues -- Modeling human response to bed–net promotion campaigns and its impact on malaria transmission -- Computational Modelling and Optimal Control of HIV/AIDS Transmission in a Community with Substance Abuse Problem -- Standard difference scheme for a singularly perturbed convection-diffusion equation in the presence of perturbations -- A Higher Order Immersed Discontinuous Galerkin Finite Element Method for the Acoustic Interface Problem -- A parameter uniform numerical method for a boundary value problem for a singularly perturbed delay differential equation -- Optimal L ∞ - error estimate for a System of Elliptic Quasi-variational Inequalities with Non coercive Operators -- Convergence of finite element approximations for generalized Marguerre-von Kármán equations -- The Maple Program Procedures at Solution Systems of Differential Equation with Taylor Collocation Method -- Numerical Study of Convective Heat and Mass Transfer Flow in Channels -- A parameter uniform method for an initial value problem for a system of singularly perturbed delay differential equations -- On a technique to construct grid methods of higher accuracy order for a singularly perturbed parabolic reaction-diffusion equation -- Spectral Analysis of Large Sparse Matrices for Scalable Direct Solvers -- Numerical study of two-dimensional jet flow issuing from a funnel -- Higher-Order Immersed Finite Element Spaces for Second-Order Elliptic Interface Problems with Quadratic Interface -- Calendering analysis of a non-Newtonian material -- Wavelet solution of convection-diffusion equation with Neumann boundary conditions -- Test of Causality between oil price and GDP growth in Algeria -- Solution Behavior of Heston Model Using Impression Matrix Norm -- Approximations to the solution of the Frank Kamenetskii equation in a spherical geometry -- Blow up of series solutions on the half line -- Two models of sub diffusion processes: When they are similar? -- Analysis of customers’ impatience in M/M/1queues with server subject to random breakdowns and exponential vacations -- Exchange curve and coverage analysis -Tools for better inventory management: a case study -- Modeling Combustion Process in Circulating Fluidized Bed Boiler: A Fuzzy Graph Approach. |
| Record Nr. | UNINA-9910299968603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Computer Games [[electronic resource] ] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers / / edited by H. Jaap van den Herik, Aske Plaat
| Advances in Computer Games [[electronic resource] ] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers / / edited by H. Jaap van den Herik, Aske Plaat |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XXIII, 356 p. 131 illus.) |
| Disciplina | 794.8/1526 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Artificial intelligence Computer science Computer networks Computer science—Mathematics Discrete mathematics Numerical analysis Artificial Intelligence Theory of Computation Computer Communication Networks Discrete Mathematics in Computer Science Numerical Analysis |
| ISBN | 3-642-31866-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465551303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Numerical Analysis
(1113)
- Numerical analysis (1113)
- Algorithms (545)
- Computer science—Mathematics (396)
- Discrete mathematics (387)