Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:SCIENCE'

Votre recherche a retourné 7346 résultats.

		A Course of modern analysis / par Whittaker, E.T. Publication : [S.l.] : Cambridge University Press, 1996 . 616 p. ; , This classic text has entered and held the field as the standard book on the applications of analysis to the transcendental functions. The authors explain the methods of modern analysis in the first part of the book and then proceed to a detailed discussion of the transcendental function, unhampered by the necessity of continually proving new theorems for special applications. In this way the authors have succeeded in being rigorous without imposing on the reader the mass of detail that so often tends to make a rigorous demonstration tedious. Researchers and students will find this book as valuable as ever. 23 cm. Date : 1996 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible A Gallery of fluid motion / par Samimy,, M. Publication : [S.l.] : Cambridge University Press, 2004 . 128 p. ; , Broché. 30 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		A Geospatial framework for the coastal zone : national needs for coastal mapping and charting / par Charting,, Committee on National Needs for Coastal Mapping and. Publication : [S.l.] : National Academies Press, 2004 . 168 p. ; , The coastal zone is of enormous importance to the well-being of the nation, as our lives and economy are inextricably linked to the features and activities that occur within this dynamic region. In order to understand and address the effects of natural and anthropogenic forces in the coastal zone, a holistic multidisciplinary framework is required to account for the interconnectivity of processes within the system. The foundation of this framework is accurate geospatial information - information that is depicted on maps and charts. "A Geospatial Framework for the Coastal Zone: National Needs" identifies and suggests mechanisms for addressing national needs for spatial information in the coastal zone. It identifies high priority needs, evaluates the potential for meeting those needs based on the current level of effort, and suggests steps to increase collaboration and ensure that the nation's need for spatial information in the coastal zone is met in an efficient and timely manner. 23 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		A guinea pig's history of biology / par Endersby, Jim. Publication : [S.l.]: Harvard University Press, 2007 . 499 pages; , "Endless forms most beautiful and most wonderful have been, and are being, evolved," Darwin famously concluded The Origin of Species , and for confirmation we look to...the guinea pig? How this curious creature and others as humble (and as fast-breeding) have helped unlock the mystery of inheritance is the unlikely story Jim Endersby tells in this book. Biology today promises everything from better foods or cures for common diseases to the alarming prospect of redesigning life itself. Looking at the organisms that have made all this possible gives us a new way of understanding how we got here--and perhaps of thinking about where we're going. Instead of a history of which great scientists had which great ideas, this story of passionflowers and hawkweeds, of zebra fish and viruses, offers a bird's (or rodent's) eye view of the work that makes science possible. Mixing the celebrities of genetics, like the fruit fly, with forgotten players such as the evening primrose, the book follows the unfolding history of biological inheritance from Aristotle's search for the "universal, absolute truth of fishiness" to the apparently absurd speculations of eighteenth-century natural philosophers to the spectacular findings of our day--which may prove to be the absurdities of tomorrow. The result is a quirky, enlightening, and thoroughly engaging perspective on the history of heredity and genetics, tracing the slow, uncertain path--complete with entertaining diversions and dead ends--that led us from the ancient world's understanding of inheritance to modern genetics. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (4), Réserver Ajouter au panier (Supprimer)
		A short course in computational science and engineering C++, Java, and Octave numerical programming with free software tools par Yevick, David. Publication : Cambridge \| New York Cambridge University Press 2012 . xiii, 265 pages , "Building on his highly successful textbook on C++, David Yevick provides a concise yet comprehensive one-stop course in three key programming languages, C++, Java and Octave (a freeware alternative to MATLAB). Employing only public-domain software to ensure straightforward implementation for all readers, this book presents a unique overview of numerical and programming techniques relevant to scientific programming, including object-oriented programming, elementary and advanced topics in numerical analysis, physical system modeling, scientific graphics, software engineering and performance issues. Relevant features of each programming language are illustrated with short, incisive examples, and the installation and application of the software is described in detail. Compact, transparent code in all three programming languages is applied to the fundamental equations of quantum mechanics, electromagnetics, mechanics and statistical mechanics. Uncommented versions of the code that can be immediately modified and adapted are provided online for the more involved programs. This compact, practical text is an invaluable introduction for students in all undergraduate- and graduate-level courses in the physical sciences or engineering that require numerical modeling, and also a key reference for instructors and scientific programmers"-- 26 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Accelerator driven subcritical reactors / par Nifenecker,, H. Publication : [S.l.] : Taylor & Francis, 2003 . 316 p. ; , Text describes the basic knowledge in nuclear, neutron, and reactor physics necessary for understanding the principles and implementation of accelerator driven subcritical nuclear reactors (ADSR). For students and practitioners in nuclear reactor technology. 24 cm. Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Active control of vibration / par Fuller,, Christopher C. Publication : [S.l.] : Academic Press, 1997 . 332 p. ; , This book is a companion text to Active Control of Sound by P.A. Nelson and S.J. Elliott, also published by Academic Press. It summarizes the principles underlying active vibration control and its practical applications by combining material from vibrations, mechanics, signal processing, acoustics, and control theory. The emphasis of the book is on the active control of waves in structures, the active isolation of vibrations, the use of distributed strain actuators and sensors, and the active control of structurally radiated sound. The feedforward control of deterministic disturbances, the active control of structural waves and the active isolation of vibrations are covered in detail, as well as the more conventional work on modal feedback. The principles of the transducers used as actuateors and sensors for such control strategies are also given an in-depth description. The reader will find particularly interesting the two chapters on the active control of sound radiation from structures: active structural acoustic control. The reason for controlling high frequency vibration is often to prevent sound radiation, and the principles and practical application of such techniques are presented here for both plates and cylinders. The volume is written in textbook style and is aimed at students, practicing engineers, and researchers. * Combines material from vibrations, signal processing, mechanics, and controls * Summarizes new research in the field. 24 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Acute exposure guideline levels for selected airborne chemicals / par Levels,, Subcommittee on Acute Exposure Guideline. Publication : [S.l.] : National Academies Press, 2002 . 292 p. ; , Broché. 23 cm. Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Adaptation in dynamical systems par Tyukin, Ivan. Publication : Cambridge \| New York Cambridge University Press 2011 . xvii, 410 pages , "In the context of this book, adaptation is taken to mean a feature of a system aimed at achieving the best possible performance, when mathematical models of the environment and the system itself are not fully available. This has applications ranging from theories of visual perception and the processing of information, to the more technical problems of friction compensation and adaptive classification of signals in fixed-weight recurrent neural networks. Largely devoted to the problems of adaptive regulation, tracking and identification, this book presents a unifying system-theoretic view on the problem of adaptation in dynamical systems. Special attention is given to systems with nonlinearly parameterized models of uncertainty. Concepts, methods and algorithms given in the text can be successfully employed in wider areas of science and technology. The detailed examples and background information make this book suitable for a wide range of researchers and graduates in cybernetics, mathematical modelling and neuroscience"-- 26 cm Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Adaptation policy frameworks for climate change : developing strategies, policies and measures / par Burton, Ian. Publication : [S.l.] : Cambridge University Press, 2004 . 268 p. ; , Adaptation is a process by which individuals, communities and countries seek to cope with the consequences of climate change. The process of adaptation is not new; the idea of incorporating future climate risk into policy-making is. While our understanding of climate change and its potential impacts has become clearer, the availability of practical guidance on adaptation has not kept pace. The development of the Adaptation Policy Framework (APF) is intended to help provide the rapidly evolving process of adaptation policy-making with a much-needed roadmap. Ultimately, the purpose of the APF is to support adaptation processes to protect - and enhance - human well-being in the face of climate change. This volume will be invaluable for everyone working on climate change adaptation and policy-making. 28 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des lettres et sciences humaines et sociales (1), Réserver Ajouter au panier (Supprimer)
		Adaptive filtering : algorithms and practical implementation / par Diniz, Paulo S.R. Publication : [S.l.] : Springer, 2008 . 632 p. ; , This book presents the basic concepts of adaptive signal processing and adaptive filtering in a concise and straightforward manner. The main classes of adaptive filtering algorithms are presented in a unifed framework using clear notations that facilitate actual implementation. The main algorithms are described in tables which are detailed enough to allow the reader to verify the learned concepts. Many examples address problems drawn from actual applications. This book covers the family of LMS and algorithms as well as set-membership, sub-band, blind, IIR adaptive filtering, and more. Several problems are included at the end of chapters and some of these problems address applications. A user-friendly MATLAB package is provided where the reader can easily solve new problems and test all of the algorithms in a fast manner. Additionally, the book provides easy access to working algorithms for practicing engineers. The book has a solutions manual that is available from the publisher for instructors. Another resource for instructors is a set of master transparencies as a MATLAB Package including the MATLAB codes for all the algorithms described in the text which is available from the author. The author also has a webpage for the book. 27 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Adhesives in civil engineering / par Mays,, G.C. Publication : [S.l.] : Cambridge University Press, 2005 . 348 p. ; , Broché. 23 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advanced asic chip synthesis using synopsys℗ design compiler℗ physical compiler℗ and primetime℗ / par Bhatnagar, Himanshu. Publication : [S.l.] : Springer, 2001 . 360 p. ; , Advanced ASIC Chip Synthesis: Using Synopsys TM Design CompilerTM Physical CompilerTM and PrimeTime TM, Second Edition describes the advanced concepts and techniques used towards ASIC chip synthesis, physical synthesis, formal verification and static timing analysis, using the Synopsys suite of tools. In addition, the entire ASIC design flow methodology targeted for VDSM (Very-Deep-Sub-Micron) technologies is covered in detail. The emphasis of this book is on real-time application of Synopsys tools, used to combat various problems seen at VDSM geometries. Readers will be exposed to an effective design methodology for handling complex, sub-micron ASIC designs. Significance is placed on HDL coding styles, synthesis and optimization, dynamic simulation, formal verification, DFT scan insertion, links to layout, physical synthesis, and static timing analysis. At each step, problems related to each phase of the design flow are identified, with solutions and work-around described in detail. In addition, crucial issues related to layout, which includes clock tree synthesis and back-end integration (links to layout) are also discussed at length. Furthermore, the book contains in-depth discussions on the basis of Synopsys technology libraries and HDL coding styles, targeted towards optimal synthesis solution. Target audiences for this book are practicing ASIC design engineers and masters level students undertaking advanced VLSI courses on ASIC chip design and DFT techniques. 24 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Advanced biological treatment processes for industrial wastewaters : principles and applications. Publication : [S.l.] : IWA Publishing, 2006 . 360 p. ; , ReliØ. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advanced dynamics and control of structures and mechanics. Publication : [S.l.] : Springer, 2004 . 292 p. ; , This book, intended for people in engineering and fundamental sciences, presents an integrated mathematical methodology for advanced dynamics and control of structures and machines, ranging from the derivation of models up to the control synthesis problem. This point of view is particularly useful as the physical insight and the associated structural properties, related e.g. to the Lagrangian or Hamiltonian framework, can be advantageously utilized. To this end, up to date results in disciplines like continuum mechanics, analytical mechanics, thermodynamics and electrodynamics are presented exploiting the differential geometric properties, with the basic notions of this coordinate-free approach revisited in an own chapter. In order to illustrate the proposed methodologies, several industrial applications, e.g., the derivation of exact solutions for the deformation compensation by shaped actuation in elastic bodies, or the coordination of rigid and flexible joint robots, are discussed. 24 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advanced mathematical methods for scientists and engineers / par Bender, Carl M. Publication : New York : Springer, 1999 . xiv, 593 p. : , Originally published: New York : McGraw-Hill, c1978. 25 cm. Date : 1999 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Advanced motion control and sensing for intelligent vehicles / par Li, Li. Publication : [S.l.] : Springer, 2007 . 448 p. ; , Advanced Motion Control and Sensing for Intelligent Vehicles provides the latest information in intelligent vehicle control, sensing, and intelligent transportation. It addresses the growing need for safe, comfortable, time and energy-efficient modes of transportation with emphasis on the latest key findings, current trends, and likely future developments in this rapidly expanding field. Highlights: Discusses individual vehicle dynamics, sensory and multiple ground-vehicle interactions Includes systematic review of past and current research achievements Presents case studies in cutting-edge directions such as vehicle steering motion, vehicle vision systems, cooperative driving, intersection safety, and tire pressure monitoring Assesses the likely future developments of this field This book is useful for both practicing engineers and researchers in the automotive industry. 25 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advanced research on material engineering, chemistry and bioinformatics : selected, peer reviewed papers from the 2011 International Conference on Material Engineering, Chemistry, Bioinformatics (MECB 2011), August 21-22, 2011, Wuhan, China / Publication : Zurich, Switzerland : Trans Tech Publications, 2011 . 2 volumes : 25 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advanced solid state physics / par Phillips,, Philip. Publication : [S.l.] : Westview Press, 2003 . 416 p. ; , Professor Phillips provides an accurate exploration and solid foundation for students and researchers of this fast-growing field. Solid state physics continues to be the fastest-growing sub-discipline in physics. This much anticipated new book provides ample background that underpins the principles of solid state physics, and moves quickly to an overview of current research in this fast-moving field. Upper division undergraduates and graduate students in physics who wish to pursue solid state physics research must master old topics, as well as problems of current interest. This book serves that purpose, and fills students' needs. 24 cm. Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Advanced topics in bisimulation and coinduction Publication : Cambridge \| New York Cambridge University Press 2012 . xiii, 326 pages , "Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material"-- 24 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)