Page 30
Page 30
Abord Clinique en Obstétrique = Clinical approach in Obstetrics
This book aims to clarify and develop the particularities of the clinical examination in obstetrics; it deliberately excludes childbirth and the aftermath of childbirth.
A Linear Systems Primer
Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction to systems theory with an emphasis on control. The material presented is broad enough to give the reader a clear picture of the dynamical behavior of linear systems as well as their advantages and limitations. Fundamental results and topics essential to linear systems theory are emphasized. The emphasis is on time-invariant systems, both continuous- and discrete-time.
A Guide to Graph Algorithms
Offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. The reader will gain a comprehensive understanding of how to use algorithms to explore graphs. It is a collection of texts that have proved to be trend setters and good examples of that. The book aims at providing the reader with a deep understanding of the structural properties of graphs that are useful for the design of efficient algorithms. These algorithms have applications in finite state machine modelling, social network theory, biology, and mathematics. The book contains many exercises, some up at present-day research-level. The exercises encourage the reader to discover new techniques by putting things in a clear perspective.
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.
A cost based approach to project management : Planning and controlling construction project costs
Illustrates the principles of project management and the essentials of cost planning and control with easy-to-understand examples from the construction industry. Includes step-by-step details of project planning, cost estimating, and management processes. Offers clear, cost-based methods for defining scope, preparing bids, and planning for contingencies, as well as monitoring progress and determining when to take remedial action. Contains a user-friendly guide to project management acronyms and terminology. Provides sample construction schedules, budgets, and progress report forms
501 Math Word Problems
Contains only word problems - the kinds you encounter at school and on high stakes tests. Gaining familiarity with this specific question type is a proven technique for increasing test scores. The Skill Builder in Focus method provides the targeted practice on these questions necessary to attain higher scores. Questions are divided into six chapters: algebra, geometry, fractions, percents, decimals, and miscellaneous math. Within each chapter, questions move from easy to advanced, giving test-takers the opportunity to gain confidence in each math area. Each chapter contains questions, answers, and detailed explanations to reinforce learning and understanding. Diagrams and useful terminology help clarify math rules for effective studying and retention.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
