Filter by
Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, …
This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations an…
- Edition
- -
- ISBN/ISSN
- 978-3-662-45824-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Synthesis for FPGA-Based Finite State Machines
This book discusses control units represented by the model of a finite state machine (FSM). It contains various original methods and takes into account the peculiarities of field-programmable gate arrays (FPGA) chips and a FSM model. It shows that one of the peculiarities of FPGA chips is the existence of embedded memory blocks (EMB). The book is devoted to the solution of problems of logic syn…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24202-6
- Collation
- -
- Series Title
- -
- Call Number
- -
A Friendly Introduction to Differential Equations
n this book, there are five chapters: The Laplace Transform, Systems of Homogeneous Linear Differential Equations (HLDE), Methods of First and Higher Orders Differential Equations, Extended Methods of First and Higher Orders Differential Equations, and Applications of Differential Equations. In addition, there are exercises at the end of each chapter above to let students practice additional se…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 513 KAA f
Basic Arithmetic Student Workbook
This workbook was created through the efforts of three instructors at Scottsdale Community College in Scottsdale, Arizona, has been used by thousands of students, and is continually improved. This workbook contains have lessons that were carefully and thoughtfully crafted to lead students on a path to understanding numbers and arithmetic. License: Creative Commons Attribution Sharealike. Thi…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 513 BOH b
Fairness in Academic Course Timetabling
This monograph deals with theoretical and practical aspects of creating course timetables at academic institutions. The task is typically to create a timetable that suits the requirements of the stakeholders – students, lecturers, and the administration – as well as possible. The book presents an exposition of the basic combinatorial problems and solution methods for course timetabling and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-12799-6
- Collation
- 18 b/w illustrations
- Series Title
- -
- Call Number
- -
Stabilisation de la formule des traces tordue: Volume 1
Ce travail en deux volumes donne la preuve de la stabilisation de la formule des trace tordue. Stabiliser la formule des traces tordue est la méthode la plus puissante connue actuellement pour comprendre l'action naturelle du groupe des points adéliques d'un groupe réductif, tordue par un automorphisme, sur les formes automorphes de carré intégrable de ce groupe. Cette compréhension se…
- Edition
- 1
- ISBN/ISSN
- 978-3319300481
- Collation
- -
- Series Title
- -
- Call Number
- -
The Didactics of Mathematics: Approaches and Issues
Michèle Artigue (ICMI 2013 Felix Klein Award, CIAEM 2015 Luis Santaló Award) is without doubt one of the most influential researchers nowadays in the field of didactics of mathematics. This influence rests both on the quality of her research and on her constant contribution, since the early 1970s, to the development of the teaching and learning of mathematics. Observing her exemplary professi…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26047-1
- Collation
- X, 269
- Series Title
- -
- Call Number
- -
Mathematics for Computer Science
This text explains how to use mathematical models and methods to analyze problems that arise in computer science. Proofs play a central role in this work because the authors share a belief with most mathematicians that proofs are essential for genuine understanding. Proofs also play a growing role in computer science; they are used to certify that software and hardware will always behave cor…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 510 LEH m
Econophysics and data driven modelling of market dynamics
This book presents the works and research findings of physicists, economists, mathematicians, statisticians, and financial engineers who have undertaken data-driven modelling of market dynamics and other empirical studies in the field of Econophysics. During recent decades, the financial market landscape has changed dramatically with the deregulation of markets and the growing complexity of pro…
- Edition
- -
- ISBN/ISSN
- 9783319084732
- Collation
- -
- Series Title
- -
- Call Number
- 519
Logic-Based Program Synthesis and Transformation: 24th International Symposiu…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and prom…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17822-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography