Formal Methods in Computer Science
Game Theory: A Modeling Approach
Fundamentals of Linear Algebra
A First Course in Fuzzy Logic
Graph Theory and Its Applications
Cryptography: Theory and Practice
Marshall A. Whittlesey
August 26, 2019
Spherical Geometry and Its Applications introduces spherical geometry and its practical applications in a mathematically rigorous form. The text can serve as a course in spherical geometry for mathematics majors. At the same time, the author wrote this book so that readers from various academic...
Jiacun Wang, William Tepfenhart
June 21, 2019
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and...
William P. Fox, William C. Bauldry
June 14, 2019
Problem Solving is essential to solve real-world problems. Advanced Problem Solving with Maple: A First Course applies the mathematical modeling process by formulating, building, solving, analyzing, and criticizing mathematical models. It is intended for a course introducing students to...
Steven G. Krantz
May 14, 2019
Web Copy The idea of complex numbers dates back at least 300 years—to Gauss and Euler, among others. Today complex analysis is a central part of modern analytical thinking. It is used in engineering, physics, mathematics, astrophysics, and many other fields. It provides powerful tools for doing...
Richard Alan Gillman, David Housman
May 09, 2019
This is an introductory game theory book that quickly moves readers through the fundamental ideas of game theory to enable them to engage in creative modeling projects based on game theoretic concepts. The book is linear, as the chapters are not independent. Readers should be able to build simple...
Neil R. Nicholson
April 02, 2019
A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process. There is a lot that goes into creating a mathematical proof before writing it. Ample discussion of how to figure out the "nuts and bolts'" of the proof takes place: thought processes,...
March 18, 2019
This text is meant to be a hands-on lab manual that can be used in class everyday to guide the exploration of the theory and applications of linear algebra. For the most part, labs can be used individually or in a sequence. Each lab consists of and explanation of material with integrated exercises....
December 28, 2018
Fundamentals of Linear Algebra is like no other book on the subject. By following a natural and unified approach to the subject it has, in less than 250 pages, achieved a more complete coverage of the subject than books with more than twice as many pages. For example, the textbooks in use in the...
December 13, 2018
Elementary Differential Equations, Second Edition is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculated. However, the way the topic has been taught in introductory courses has barely changed to reflect...
Hung T. Nguyen, Carol L. Walker, Elbert A. Walker
November 28, 2018
A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition. It provides a comprehensive introduction to the theory and applications of fuzzy logic. This popular text offers a firm mathematical basis for the calculus of fuzzy concepts necessary for...
Jonathan L. Gross, Jay Yellen, Mark Anderson
November 06, 2018
Graph Theory and Its Applications, Third Edition is the latest edition of the international, bestselling textbook for undergraduate courses in graph theory, yet it is expansive enough to be used for graduate courses as well. The textbook takes a comprehensive, accessible approach to graph...
Douglas Robert Stinson, Maura Paterson
September 11, 2018
Through three editions, Cryptography: Theory and Practice, has been embraced by instructors and students alike. It offers a comprehensive primer for the subject’s fundamentals while presenting the most current advances in cryptography. The authors offer comprehensive, in-depth treatment of the...