close
1.

電子ブック

EB
edited by Matthias Dehmer
出版情報: Boston : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-0-8176-4789-6
所蔵情報: loading…
2.

電子ブック

EB
by Christian Reidys
出版情報: New York, NY : Springer Science+Business Media, LLC, 2011
オンライン: http://dx.doi.org/10.1007/978-0-387-76731-4
所蔵情報: loading…
3.

電子ブック

EB
by Rafael Martí, Gerhard Reinelt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Applied Mathematical Sciences ; 175
オンライン: http://dx.doi.org/10.1007/978-3-642-16729-4
所蔵情報: loading…
4.

電子ブック

EB
by Henning S. Mortveit, Christian M. Reidys
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
オンライン: http://dx.doi.org/10.1007/978-0-387-49879-9
所蔵情報: loading…
5.

電子ブック

EB
by Rudolf Ahlswede, Vladimir Blinovsky
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-3-540-78602-3
所蔵情報: loading…
6.

電子ブック

EB
by Jean-Bernard Lasserre
出版情報: New York, NY : Springer-Verlag New York, 2009
シリーズ名: Springer Series in Operations Research and Financial Engineering ;
オンライン: http://dx.doi.org/10.1007/978-0-387-09414-4
所蔵情報: loading…
7.

電子ブック

EB
edited by William Cook, László Lovász, Jens Vygen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
オンライン: http://dx.doi.org/10.1007/978-3-540-76796-1
所蔵情報: loading…
8.

電子ブック

EB
edited by Richard Pollack, János Pach, Jacob E. Goodman
出版情報: New York, NY : Springer-Verlag New York, 2009
オンライン: http://dx.doi.org/10.1007/978-0-387-87363-3
所蔵情報: loading…
9.

電子ブック

EB
edited by Gyula O. H. Katona, Alexander Schrijver, Tamás Szőnyi, Gábor Sági
出版情報: Berlin, Heidelberg : János Bolyai Mathematical Society and Springer-Verlag, 2010
シリーズ名: Bolyai Society Mathematical Studies ; 20
オンライン: http://dx.doi.org/10.1007/978-3-642-13580-4
所蔵情報: loading…
10.

電子ブック

EB
by W.D. Wallis
出版情報: Boston : Springer Science+Business Media, LLC, 2012
オンライン: http://dx.doi.org/10.1007/978-0-8176-8286-6
所蔵情報: loading…
11.

電子ブック

EB
by Megan Dewar, Brett Stevens
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: CMS Books in Mathematics, Ouvrages de mathématiques de la SMC ;
オンライン: http://dx.doi.org/10.1007/978-1-4614-4325-4
所蔵情報: loading…
目次情報: 続きを見る
Abstract
Acknowledgements
Introduction
Background
Ordering the Blocks of Designs
Gray Codes and Universal Cycles for Designs
New Results in Configuration Ordering
Conclusions and Future Work
Bibliography
Index
Abstract
Acknowledgements
Introduction
12.

電子ブック

EB
by Alison M. Marr, W.D. Wallis
出版情報: New York, NY : Springer New York : Imprint: Birkhäuser, 2013
オンライン: http://dx.doi.org/10.1007/978-0-8176-8391-7
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of Figures
Preliminaries
Edge-Magic Total Labelings
Vertex-Magic Total Labelings
Totally Magic Labelings
Magic Type Labeling of Digraphs
Notes on the Research Problems
References
Bibliography
Answers to Selected Exercises
Index
Preface
List of Figures
Preliminaries
13.

電子ブック

EB
by Andreas Klein
出版情報: London : Springer London : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-1-4471-5079-4
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Stream Ciphers
Linear Feedback Shift Registers
Non-linear Combinations of LFSRs
Correlation Attacks
BDD-Based Attacks
Algebraic Attacks
Irregular Clocked Shift Registers
The Security of Mobile Phones (GSM)
RC4 and Related Ciphers
The eStream Project
The Blum-Blum-Shub Generator and Related Ciphers
Mathematical Background
Part IV Exercises with Solutions
Introduction to Stream Ciphers
Linear Feedback Shift Registers
Non-linear Combinations of LFSRs
14.

電子ブック

EB
edited by Fuad Aleskerov, Boris Goldengorin, Panos M. Pardalos
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名: Springer Optimization and Its Applications ; 92
オンライン: http://dx.doi.org/10.1007/978-1-4939-0742-7
所蔵情報: loading…
目次情報: 続きを見る
Three and One Questions to Dr. B. Mirkin about Complexity Statistics (I. Mandel)
Section 1
A Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions, with an Application to Additive Clustering (P. Hansen, C. Meyer)
Experiments with a Non-Convex Variance-Based Clustering Criterion (R.F. Toso, E.V. Bauman, C.A. Kulikowski, I.B. Muchnik)
Strategy-Proof Location Functions on Finite Graphs (F.R. McMorris, H.M. Mulder, F.S. Roberts)
A Pseudo-Boolean Approach to the Market Graph Analysis by Means of the p-Median Model (B. Goldengorin, A. Kocheturov, P.M. Pardalos)
Clustering as an Approach to 3D Reconstruction Problems (S. Archangelski, I. Muchnik)
Selecting the Minkowski Exponent for Intelligent K-Means with Feature Weighting (R. Cordeiro de Amorim, B. Mirkin)
High Dimensional Data Classification (V. Pappu, P.M. Pardalos)
Algorithm FRiS-TDR for Generalized Classification of the Labeled, Semi-Labeled and Unlabeled Datasets (I.A. Borisova, N.G. Zagoruiko)
From Separating to Proximal Plane Classifiers: A Review (M.B. Ferraro, M.R. Guarracino)
A Note on the Effectiveness of the Least Squares Consensus Clustering (B. Mirkin, A. Shestakov)
Section 2
Single or Multiple Consensus for Linear Orders (A. Guenoche)
Choice Functions on Tree Quasi-Orders (R.C. Powers, F. McMorris)
Weak Hierarchies: a Central Clustering Structure (P. Bertrand, J. Diatta)
Some Observations on Oligarchies, Internal Direct Sums and Lattice Congruences (M.F. Janowitz)
Thinking Ultrametrically, Thinking p-Adically (F. Murtagh)
A New Algorithm for Inferring Hybridization Events Based on the Detection of Horizontal Gene Transfers (V. Makarenkov, A. Box, P. Legendre)
Section 3
Meaningless Statements in Landscape Ecology and Sustainable Environments (F. Roberts)
Nearest Neighbour in Least Squares Data Imputation Algorithms for Marketing Data (I. Wasito). An AST Method for Scoring String-to-Text Similarity in Semantic Text Analysis (K. Chernyak, B. Mirkin)
Improving Web Search Relevance with Learning Structure of Domain Concepts (B. Galitsky, B. Kovalerchuk)
Linear Regression via Elastic Net: Non-Enumerative Leave-One-Out Verification of Feature Selection (E. Chernousova, N. Razin, O. Krasotkina, V. Mottl, D. Windridge)
The Manipulability Index in the IANC Model (Y. Veselova)
Three and One Questions to Dr. B. Mirkin about Complexity Statistics (I. Mandel)
Section 1
A Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions, with an Application to Additive Clustering (P. Hansen, C. Meyer)
15.

電子ブック

EB
by Peter Seibt
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Signals and Communication Technology ;
オンライン: http://dx.doi.org/10.1007/978-3-540-33219-0
所蔵情報: loading…
16.

電子ブック

EB
edited by Martin Klazar, Jan Kratochvíl, Martin Loebl, Jiří Matoušek, Pavel Valtr, Robin Thomas
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
シリーズ名: Algorithms and Combinatorics ; 26
オンライン: http://dx.doi.org/10.1007/3-540-33700-8
所蔵情報: loading…
17.

電子ブック

EB
edited by Martin Aigner
出版情報: Berlin Heidelberg : Springer-Verlag GmbH., 2007
シリーズ名: Graduate Texts in Mathematics ; 238
オンライン: http://dx.doi.org/10.1007/978-3-540-39035-0
所蔵情報: loading…
18.

電子ブック

EB
edited by Béla Bollobás, Robert Kozma, Dezső Miklós
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Bolyai Society Mathematical Studies ; 18
オンライン: http://dx.doi.org/10.1007/978-3-540-69395-6
所蔵情報: loading…
19.

電子ブック

EB
edited by Martin Grötschel, Gyula O. H. Katona, Gábor Sági
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
シリーズ名: Bolyai Society Mathematical Studies ; 19
オンライン: http://dx.doi.org/10.1007/978-3-540-85221-6
所蔵情報: loading…
20.

電子ブック

EB
by Michel Gondran, Michel Minoux
出版情報: Boston, MA : Springer Science+Business Media, LLC, 2008
シリーズ名: Operations Research/Computer Science Interfaces ; 41
オンライン: http://dx.doi.org/10.1007/978-0-387-75450-5
所蔵情報: loading…
21.

電子ブック

EB
edited by Robert Lowen, Alain Verschoren
出版情報: Dordrecht : Springer, 2008
シリーズ名: Mathematical Modelling: Theory and Applications ; 24
オンライン: http://dx.doi.org/10.1007/978-1-4020-6668-9
所蔵情報: loading…
22.

電子ブック

EB
by Winfried Hochstättler, Alexander Schliep
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
オンライン: http://dx.doi.org/10.1007/978-3-642-03822-8
所蔵情報: loading…
23.

電子ブック

EB
by Vladimir Fomichov A.
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: IFSR International Series on Systems Science and Engineering ; 27
オンライン: http://dx.doi.org/10.1007/978-0-387-72926-8
所蔵情報: loading…
24.

電子ブック

EB
by Jaroslav Nešetřil, Patrice Ossona de Mendez
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
シリーズ名: Algorithms and Combinatorics ; 28
オンライン: http://dx.doi.org/10.1007/978-3-642-27875-4
所蔵情報: loading…
25.

電子ブック

EB
by J. A. Bondy, U. S. R. Murty
出版情報: London : J.A. Bondy & U.S.R. Murty, 2008
シリーズ名: Graduate Texts in Mathematics ; 244
オンライン: http://dx.doi.org/10.1007/978-1-84628-970-5
所蔵情報: loading…
26.

電子ブック

EB
edited by Andrei M. Raigorodskii, Michael Th. Rassias
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Springer Optimization and Its Applications ; 165
オンライン: https://doi.org/10.1007/978-3-030-55857-4
所蔵情報: loading…
目次情報: 続きを見る
Automatic sequences are also non-uniformly morphic (Allouche)
Combinatorial Identities and Inequalities for Trigonometric Sums (Alzer)
The number of partitions of a set and superelliptic Diophantine equations (Andrica)
The exponent of a group: properties, computations and applications (Andrica)
Hankel Tournaments and Special Oriented Graphs (Brualdi)
The game chromatic number of a random hypergraph (Chakraborti)
Perfect Hash Families: The Generalization to Higher Indices (Dougherty)
A note on randomly colored matchings in random bipartite graphs (Funkhouser)
Exponential variational integrators using constant or adaptive time step (Kostochka)
A new embedding of the 3x + 1 dynamical system (Leventides)
Diffusion on dynamical interbank loan networks (Leventides)
The dynamics of interbank networks (Leventides)
Prime avoidance property of k-th powers of prime numbers with Beatty sequences (Maier)
A survey of hypergraph Ramsey problems (Mubayi)
Factorization Method for Solving Multipoint Problems for Second Order Difference Equations with Polynomial Coefficients (Parasidis)
New Construction Machines of Generating Fuzzy Implications (Rapti)
Tree containment and degree conditions (Stein)
Extremal singular graphs (Triantafillou)
Automatic sequences are also non-uniformly morphic (Allouche)
Combinatorial Identities and Inequalities for Trigonometric Sums (Alzer)
The number of partitions of a set and superelliptic Diophantine equations (Andrica)
27.

電子ブック

EB
edited by Alexander Kononov, Michael Khachay, Valery A Kalyagin, Panos Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12095
オンライン: https://doi.org/10.1007/978-3-030-49988-4
所蔵情報: loading…
目次情報: 続きを見る
Discrete Optimization
Mathematical Programming
Game Theory
Scheduling Problem
Heuristics and Metaheuristics
Operational Research Applications
Discrete Optimization
Mathematical Programming
Game Theory
28.

電子ブック

EB
edited by Ilias S. Kotsireas, Panos M. Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12096
オンライン: https://doi.org/10.1007/978-3-030-53552-0
所蔵情報: loading…
目次情報: 続きを見る
Optimization for Urban Air Mobility
A Matheuristic Algorithm for solving the Vehicle Routing Problem with Cross-Docking
Physical activity as a risk factor in the progression of Osteoarthritis: A machine learning perspective
QPTAS for the CVRP with a moderate number of routes in a metric space of any xed doubling dimension
Early detection of eating disorders through machine learning techniques
On Finding Minimum Cardinality Subset of Vectors with a Constraint on the Sum of Squared Euclidean Pairwise Distances
Practical Approximation Algorithms for Stabbing Special Families of Line Segments with Equal Disks
A Class of Linear Programs Solvable by Coordinate-wise Minimization
Travel times equilibration procedure for route- flow traffic assignment problem
confStream: Automated Algorithm Selection and Configuration of Stream Clustering Algorithms
Randomized Algorithms for Some Sequence Clustering Problems
Hyper-parameterized Dialectic Search for Non-Linear Box-constrained Optimization with Heterogenous Variable Types
Least Squares K-SVCR Multi-class Classification
Active learning based framework for image captioning corpus creation
Reducing space search in combinatorial optimization using machine learning tools
Impact of the Discretization of VOCs for Cancer Prediction using a Multi-Objective Algorithm
AUGMECON2 method for a bi-objective U-shaped assembly line balancing problem
Two-Channel Conflict-Free Square Grid Aggregation
Online Stacking using RL with Positional and Tactical Features
Power consumption estimation in data centers using machine learning techniques
Automated tuning of a column generation algorithm
Pool-based Realtime Algorithm Configuration: A Preselection Bandit Approach
A Memetic Approach for the Unicost Set Covering Problem
Dynamic Visual Few-Shot Learning through Parameter Prediction Network
An Alternating DCA-based Approach for Reduced-Rank Multitask Linear Regression with Covariance Estimation
PSO-based cooperative learning using chunking
The problem of the hospital surgery department debottlenecking
Learning Optimal Control of Water Distribution Networks through Sequential Model-based Optimization
Composition of kernel and acquisition functions for High Dimensional Bayesian Optimization
A Pareto Simulated Annealing for the Integrated Problem of Berth and Quay Crane Scheduling at Maritime Container Terminals with Multiple Objectives and Stochastic Arrival Times of Vessels
HotelSimu: Simulation-based Optimization for Hotel Dynamic Pricing
Heuristic Search Strategies for Noisy Optimization
Uncertainty of efficient frontier in portfolio optimization
Learning to configure mathematical programming solvers by mathematical programming
Convex Hulls in Solving Multiclass Pattern Recognition Problem
Least Correntropic Loss Regression
Novelty Discovery with Kernel Minimum Enclosing Balls
DESICOM as Metaheuristic Search
Optimization for Urban Air Mobility
A Matheuristic Algorithm for solving the Vehicle Routing Problem with Cross-Docking
Physical activity as a risk factor in the progression of Osteoarthritis: A machine learning perspective
29.

電子ブック

EB
by Jorge Almeida, Alfredo Costa, Revekka Kyriakoglou, Dominique Perrin
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Lecture Notes in Mathematics ; 2274
オンライン: https://doi.org/10.1007/978-3-030-55215-2
所蔵情報: loading…
30.

電子ブック

EB
edited by Evripidis Bampis, Nicole Megow
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11926
オンライン: https://doi.org/10.1007/978-3-030-39479-0
所蔵情報: loading…
目次情報: 続きを見る
Graph Algorithms
Inapproximability Results
Network Design
Design and Analysis of Approximation and Online Algorithms
Parameterized Complexity
Algorithmic Game Theory
Algorithmic trading
Competitive analysis
Computational Advertising
Computational finance
Geometric problems
Mechanism Design
Graph Algorithms
Inapproximability Results
Network Design
31.

電子ブック

EB
by Abdallah Assi, Marco D'Anna, Pedro A. García-Sánchez
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: RSME Springer Series ; 3
オンライン: https://doi.org/10.1007/978-3-030-54943-5
所蔵情報: loading…
目次情報: 続きを見る
1 Numerical semigroups, the basics
2 Irreducible numerical semigroups
3 Ideals
4 Semigroup of an irreducible meromorphic series
5 Minimal presentations
6 Factorizations and divisibility
1 Numerical semigroups, the basics
2 Irreducible numerical semigroups
3 Ideals
32.

電子ブック

EB
edited by Adriano Masone, Veronica Dal Sasso, Valentina Morandi
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: AIRO Springer Series ; 6
オンライン: https://doi.org/10.1007/978-3-030-86286-2
所蔵情報: loading…
33.

電子ブック

EB
by Lowell W. Beineke, Jay S. Bagga
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: Developments in Mathematics ; 68
オンライン: https://doi.org/10.1007/978-3-030-81386-4
所蔵情報: loading…
目次情報: 続きを見る
Part I Line Graphs
1 Fundamentals of Line Graphs
2 Line Graph Isomorphisms
3 Characterization of Line Graphs
4 Spectral Properties of Line Graphs
5 Planarity of Line Graphs
6 Connectivity of Line Graphs
7 Tranversability in Line Graphs
8 Colorability in Line Graphs
9 Distance and Transitivity in Line Graphs
Part II Line Digraphs
10 Fundamentals of Line Digraphs
11 Characterizations of Line Digraphs
12 Iterated Line Digraphs
Part III Generalizations
13 Total Graphs and Total Digraphs
14 Path Graphs and Path Digraphs
15 Super Line Graphs and Super Line Digraphs
16 Line Graphs of Signed Graphs
17 The Krausz Dimension of Graph
Reference. Index of Names
Index of Definitions
Part I Line Graphs
1 Fundamentals of Line Graphs
2 Line Graph Isomorphisms
34.

電子ブック

EB
edited by Raffaele Cerulli, Mauro Dell'Amico, Francesca Guerriero, Dario Pacciarelli, Antonio Sforza
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: AIRO Springer Series ; 7
オンライン: https://doi.org/10.1007/978-3-030-86841-3
所蔵情報: loading…
35.

電子ブック

EB
by Martin Charles Golumbic, André Sainte-Laguë
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2021
シリーズ名: History of Mathematics Subseries ; 2261
オンライン: https://doi.org/10.1007/978-3-030-61420-1
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Tracing the topics in Les Réseaux (ou Graphes)
Networks (or Graphs)— André Sainte-Laguë (1926)
I Introduction and definitions
II Trees
III Chains and cycles
IV Regular graphs
V Cubic graphs
VI Tableaux
VII Hamiltonian graphs
VIII Chessboard problems
X Conclusion
A short biography of André Sainte-Laguë
Biography of Guy Ghidale Iliovici
Bibliography
Index
Glossary
Acknowledgements
Martin Charles Golumbic
Foreword
Preface
Tracing the topics in Les Réseaux (ou Graphes)
36.

電子ブック

EB
edited by Frederick Hoffman
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2022
シリーズ名: Springer Proceedings in Mathematics & Statistics ; 388
オンライン: https://doi.org/10.1007/978-3-031-05375-7
所蔵情報: loading…
目次情報: 続きを見る
Ratio Balancing Numbers(Bartz et al)
An Unexpected Digit Permutation from Multiplying in any Number Base(Qu et al)
A & Z Sequences for Double Riordan Arrays (Branch et al)
Constructing Clifford Algebras for Windmill and Dutch Windmill Graphs; A New Proof of The Friendship Theorem(Myers)
Finding Exact Values of a Character Sum (Peart et al)
On Minimum Index Stanton 4-cycle Designs (Bunge et al)
k-Plane Matroids and Whiteley’s Flattening Conjectures (Servatius et al)
Bounding the edge cover of a hypergraph (Shahrokhi)
A Generalization on Neighborhood Representatives (Holliday)
Harmonious Labelings of Disconnected Graphs involving Cycles and Multiple Components Consisting of Starlike Trees(Abueida et al)
On Rainbow Mean Colorings of Trees (Hallas et al)
Examples of Edge Critical Graphs in Peg Solitaire (Beeler et al)
Regular Tournaments with Minimum Split Domination Number and Cycle Extendability (Factor et al)
Independence and Domination of Chess Pieces on Triangular Boards and on the Surface of a Tetrahedron(Munger et al)
Efficient and Non-efficient Domination of Z-stacked Archimedean Lattices (Paskowitz et al)
On subdivision graphs which are 2-steps Hamiltonian graphs and hereditary non 2-steps Hamiltonian graphs (Lee et al)
On the Erd}os-S_os Conjecture for graphs with circumference at most k + 1 (Heissan et al)
Regular graph and some vertex-deleted subgraph (Egawa et al)
Connectivity and Extendability in Digraphs (Beasle)
On the extraconnectivity of arrangement graphs (Cheng et al)
k-Paths of k-Trees(Bickle)
Rearrangement of the Simple Random Walk(Skyers et al)
On the Energy of Transposition Graphs(DeDeo)
A Smaller Upper Bound for the (4; 82) Lattice Site Percolation Threshold(Wierman)
Ratio Balancing Numbers(Bartz et al)
An Unexpected Digit Permutation from Multiplying in any Number Base(Qu et al)
A & Z Sequences for Double Riordan Arrays (Branch et al)
37.

電子ブック

EB
by Rafael Martí, Gerhard Reinelt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2022
シリーズ名: Applied Mathematical Sciences ; 175
オンライン: https://doi.org/10.1007/978-3-662-64877-3
所蔵情報: loading…
目次情報: 続きを見る
1 Introduction
2 Heuristic Methods
3 Meta-Heuristics
4 Branch-and-Bound
5 Branch-and-Cut
6 The Linear Ordering Polytope
7 Further Aspects
References
Index
1 Introduction
2 Heuristic Methods
3 Meta-Heuristics
38.

電子ブック

EB
by Bernd Steinbach, Christian Posthoff
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2022
オンライン: https://doi.org/10.1007/978-3-030-88945-6
所蔵情報: loading…
目次情報: 続きを見る
Part I Theoretical Foundations
1. Basic Algebraic Structures
2. Logic Functions
3. Logic Equations
4. Boolean Differential Calculus
5. Sets, Lattices, and Classes of Logic Functions
Part II Applications
6. Logic, Arithmetic, and Special Functions
7. SAT-Problems
8. Extremely Complex Problems
9. Combinational Circuits
10. Sequential Circuits
References
Index
Part I Theoretical Foundations
1. Basic Algebraic Structures
2. Logic Functions