|
Finite and algorithmic model theory
|
Javier Esparza |
"Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in lo… |
OL15999247W |
|
Multiple-base number system
|
Vassil Dimitrov |
"This book introduces the technique of computing with a recently introduced number representation and its arithmetic operations, referred to as the Multiple Base Number System (MBNS). The text introd… |
OL16451143W |
|
First principles of discrete systems and digital signal processing
|
Robert D. Strum,Kirk, Donald E. |
A new didactical approach to learn about discrete systems and digital processing. |
OL16479247W |
|
Discrete mathematics with ducks
|
Sarah-Marie Belcastro |
"Suitable for an introductory discrete mathematics course, this text covers the subfields of mathematics and computer science that fall under the general umbrella term. It fits the ideas of the basic… |
OL16495589W |
|
Foundations Of Geometric Algebra Computing
|
Dietmar Hildenbrand |
<p>The author defines “Geometric Algebra Computing” as the geometrically intuitive development of algorithms using geometric algebra with a focus on their efficient implementation, and the goal of th… |
OL17377183W |
|
Discrete mathematics DeMYSTified
|
Steven G. Krantz |
MULTIPLY your chances of understanding DISCRETE MATHEMATICSIf you're interested in learning the fundamentals of discrete mathematics but can't seem to get your brain to function, then here's your sol… |
OL1931678W |
|
Linear Logic in Computer Science
|
Philip Scott,Jean-Yves Girard |
This book illustrates linear logic in the application of proof theory to computer science. |
OL19812712W |
|
Fundamentals of Discrete Math for Computer Science
|
Tom Jenkyns |
<p>An understanding of discrete mathematics is essential for students of computer science wishing to improve their programming competence.</p><p><i>Fundamentals of Discrete Math for Computer Science<… |
OL19851778W |
|
Logic and Its Applications
|
Kamal Lodaya |
This book collects the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. <br>The 15 revised full papers presented to… |
OL19884517W |
|
Mathematics in Computing
|
Gerard O'Regan |
<p>From the earliest examples of computation to the digital devices that are ubiquitous in modern society, the application of mathematics to computing has underpinned the technology that has built ou… |
OL19886426W |
|
Petri Net Algebra
|
Eike Best |
This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Al… |
OL19894238W |
|
Problems and Exercises in Discrete Mathematics
|
G. P. Gavrilov |
Many years of practical experience in teaching discrete mathematics form the basis of this text book. Part I contains problems on such topics as Boolean algebra, k-valued logics, graphs and networks,… |
OL19896795W |
|
Process Algebra with Timing
|
J. C. M. Baeten |
Timing issues are of growing importance for the conceptualization and design of computer-based systems. Timing may simply be essential for the correct behaviour of a system, e.g. of a controller. Eve… |
OL19896930W |
|
Recent Trends in Algebraic Development Techniques
|
Narciso Martí-Oliet |
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. Th… |
OL19898953W |
|
Semantics in Data and Knowledge Bases
|
Klaus-Dieter Schewe |
<p><p><p><p>This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2011, held in July 2011 in Züric… |
OL19901478W |
|
The universal machine
|
Ian Watson |
The computer unlike other inventions is universal; you can use a computer for many tasks: writing, composing music, designing buildings, creating movies, inhabiting virtual worlds, communicating... … |
OL20908126W |
|
The definitive guide to how computers do math
|
Clive Maxfield |
The Basics of Computer Arithmetic Made Enjoyable and Accessible-with a Special Program Included for Hands-on Learning "The combination of this book and its associated virtual computer is fantastic… |
OL2158539W |
|
Discrete Mathematics and Applications
|
Kevin Ferland |
xxviii, 916 pages : 27 cm |
OL21599801W |
|
Perceptual Image Coding with Discrete Cosine Transform
|
Woon-Seng Gan,Ee-Leng Tan |
This book first introduces classic as well as recent computational models for just-noticeable-difference (JND) applications. Since the discrete cosine transform (DCT) is applied in many image and vid… |
OL22443488W |
|
Introduction to numerical analysis and scientific computing
|
Nabil Nassif |
"Designed for a one-semester course on the subject, this classroom-tested text presents fundamental concepts of numerical mathematics and explains how to implement and program numerical methods. Draw… |
OL23291272W |