Kapak Resmi

Mathematical Foundations of Software Engineering A Practical Guide to Essentials /

This essential textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as trad...

Kaydedildi:

Detaylı Bibliyografya
Yazar:	O'Regan, Gerard (Yazar)
Müşterek Yazar:	SpringerLink (Online service)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edisyon:	1st ed. 2023.
Seri Bilgileri:	Texts in Computer Science,
Konular:	Computer science > Mathematics. Discrete mathematics. Software engineering. Computer science. Mathematical statistics. Discrete Mathematics in Computer Science. Software Engineering. Computer Science Logic and Foundations of Programming. Probability and Statistics in Computer Science.
Online Erişim:	https://doi.org/10.1007/978-3-031-26212-8
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Maths For Computing A Beginner's Guide /
Yazar:: Charatan, Quentin, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Logic in Computer Science
Yazar:: Zhang, Hantao, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Discrete Mathematics
Yazar:: Lipschutz, Seymour
Baskı/Yayın Bilgisi: (1997)

Discrete Mathematics
Yazar:: Lipson, Marc
Baskı/Yayın Bilgisi: (2007)

Discrete Mathematics and its applications /
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2003)

Discrete Mathematical Structures
Yazar:: Kolman, Bernard
Baskı/Yayın Bilgisi: (2003)

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2024)

Mathematical Foundations of Data Science
Yazar:: Hrycej, Tomas, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Graph Theory
Yazar:: Diestel, Reinhard
Baskı/Yayın Bilgisi: (2025)

Discrete Structures
Yazar:: Klappenecker, Andreas, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

The New Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of Its Creators /
Yazar:: Soifer, Alexander
Baskı/Yayın Bilgisi: (2024)

Theory and Applications of Models of Computation 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13–15, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2024)

Discrete Mathematics and Its Applications /
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2007)

Foundations of discrete mathematics /
Yazar:: Joshi, K D
Baskı/Yayın Bilgisi: (1996)

Foundations of discrete mathematics /
Yazar:: Joshi, K D
Baskı/Yayın Bilgisi: (1996)

Foundations of discrete mathematics /
Yazar:: Joshi, K D
Baskı/Yayın Bilgisi: (1996)

Algebra for Applications Cryptography, Secret Sharing, Error-Correcting, Fingerprinting, Compression /
Yazar:: Slinko, Arkadii
Baskı/Yayın Bilgisi: (2025)

Elements of Discrete Mathematics:
Yazar:: Liu, C. L.
Baskı/Yayın Bilgisi: (1985)

Tropical Circuit Complexity Limits of Pure Dynamic Programming /
Yazar:: Jukna, Stasys
Baskı/Yayın Bilgisi: (2023)

Fourier Analysis—A Signal Processing Approach
Yazar:: Sundararajan, D.
Baskı/Yayın Bilgisi: (2025)

Variable Neighborhood Search 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2023)

Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24–26, 2024, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2025)

Discrete Mathematics
Yazar:: Lipschutz, Seymour
Baskı/Yayın Bilgisi: (1997)

Discrete Mathematics and its applications /
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2012)

Discrete Mathematical Structures
Yazar:: Kolman, Bernard
Baskı/Yayın Bilgisi: (1996)

Discrete Mathematics and Its Applications
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2012)

Discrete Mathematics and Its Applications
Yazar:: Rosen, Kenneth H.
Baskı/Yayın Bilgisi: (2012)

Combinatorics, Graph Theory and Computing SEICCGTC 2021, Boca Raton, USA, March 8–12 /
Baskı/Yayın Bilgisi: (2024)

Integer Programming and Combinatorial Optimization 24th International Conference, IPCO 2023, Madison, WI, USA, June 21–23, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Integer Programming and Combinatorial Optimization 25th International Conference, IPCO 2024, Wroclaw, Poland, July 3–5, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2024)

Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11–13, 2025, Proceedings /
Baskı/Yayın Bilgisi: (2025)

Multi-valued Logic for Decision-Making Under Uncertainty
Yazar:: Kagan, Evgeny, ve diğerleri
Baskı/Yayın Bilgisi: (2025)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2024)

Mathematics in Programming
Yazar:: Liu, Xinyu
Baskı/Yayın Bilgisi: (2024)

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings /
Baskı/Yayın Bilgisi: (2024)

Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Graph Theory
Yazar:: De, S. S.
Baskı/Yayın Bilgisi: (2004)

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings /
Baskı/Yayın Bilgisi: (2023)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Baskı/Yayın Bilgisi: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Baskı/Yayın Bilgisi: (2023)