Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'ccl=su:General and su-to:Science'

Votre recherche a retourné 1436 résultats.

		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 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 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)
		Advances in agronomy. Volume 92. Publication : [S.l.] : Academic Press, 2007 . 246 p. ; , Advances in Agronomy continues to be recognized as a leading reference and a first-rate source for the latest research in agronomy. As always, the subjects covered are varied and exemplary of the myraid of subject matter dealt with by thislong-running serial. Volume 92 contains four indespensable reviews and 17 detailed images. * Maintains the highest impact factor among serial publications in Agriculture * Presents timely reviews on important agronomy issues such as nutrients, water relations, polyacrylamide, and more * Enjoys a long-standing reputation for excellence in the field. 23 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Advances in agronomy. Vol. 101 / Publication : Amsterdam ; \| Boston : Academic Press, 2009 . 1 online resource (xiii, 397 pages). Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Advances in catalysis. Publication : [S.l.] : Academic Press Inc, 1999 . 555 p. ; , Relié. 24 cm. Date : 1999 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Advances in electromagnetics of complex media and metamaterials. Publication : [S.l.] : Kluwer Academic Publishers, 2003 . 504 p. ; , BrochØ. 24 cm. Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Advances in intelligent web mastering - 3 proceedings of the 7th Atlantic Web Intelligence Conference, AWIC 2011, Fribourg, Switzerland, January, 2011 / Publication : Berlin \| Heidelberg Springer 2011 . 1 online resource (ix, 234 pages) , International conference proceedings. \| Includes author index. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Algebraic geometry and geometric modeling. Publication : [S.l.] : Springer, 2006 . 252 p. ; , Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Algebraic geometry V : fano varieties. Publication : [S.l.] : Springer, 2001 . 247 p. ; , The aim of this survey, written by V.A. Iskovskikh and Yu.G. Prokhorov, is to provide an exposition of the structure theory of Fano varieties, i.e. algebraic vareties with an ample anticanonical divisor. Such varieties naturally appear in the birational classification of varieties of negative Kodaira dimension, and they are very close to rational ones. This EMS volume covers different approaches to the classification of Fano varieties such as the classical Fano-Iskovskikh "double projection" method and its modifications, the vector bundles method due to S. Mukai, and the method of extremal rays. The authors discuss uniruledness and rational connectedness as well as recent progress in rationality problems of Fano varieties. The appendix contains tables of some classes of Fano varieties. This book will be very useful as a reference and research guide for researchers and graduate students in algebraic geometry. 25 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Algebraic theory of locally nilpotent derivations / par Freudenburg, Gene. Publication : [S.l.] : Springer, 2006 . 261 p. ; , This book explores the theory and application of locally nilpotent derivations, which is a subject of growing interest and importance not only among those in commutative algebra and algebraic geometry, but also in fields such as Lie algebras and differential equations. The author provides a unified treatment of the subject, beginning with 16 First Principles on which the entire theory is based. These are used to establish classical results, such as Rentschlerâs Theorem for the plane, right up to the most recent results, such as Makar-Limanovâs Theorem for locally nilpotent derivations of polynomial rings. Topics of special interest include: progress in the dimension three case, finiteness questions (Hilbertâs 14 th Problem), algorithms, the Makar-Limanov invariant, and connections to the Cancellation Problem and the Embedding Problem. The reader will also find a wealth of pertinent examples and open problems and an up-to-date resource for research. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		An introduction to bisimulation and coinduction par Sangiorgi, Davide. Publication : Cambridge \| New York Cambridge University Press 2012 . xii, 247 pages , "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis"-- \| "Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction, and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, nonwell- founded sets, etc"-- 25 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		An Introduction to metric spaces and fixed point theory / par Khamsi, Mohamed A. Publication : [S.l.] : Wiley-Interscience, 2001 . 320 p. ; , Presents up-to-date Banach space results. * Features an extensive bibliography for outside reading. * Provides detailed exercises that elucidate more introductory material. 25 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		An Introduction to quantum computing / par Kaye, Phillip. Publication : [S.l.] : Oxford University Press, USA, 2007 . 288 p. ; , This concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, engineering, mathematical and physical sciences. Aimed at advanced undergraduate and beginning graduate students in these disciplines, the text is technically detailed and is clearly illustrated throughout with diagrams and exercises. Some prior knowledge of linear algebra is assumed, including vector spaces and inner products. However, prior familiarity with topics such as tensor products and spectral decomposition is not required, as the necessary material is reviewed in the text. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		An Introduction to scientific computing : twelve computational projects solved with matlab / par Danaila, Ionut. Publication : [S.l.] : Springer, 2006 . 294 p. ; , This book provides twelve computational projects aimed at numerically solving problems from a broad range of applications including Fluid Mechanics, Chemistry, Elasticity, Thermal Science, Computer Aided Design, Signal and Image Processing. For each project the reader is guided through the typical steps of scientific computing from physical and mathematical description of the problem, to numerical formulation and programming and finally to critical discussion of numerical results. Considerable emphasis is placed on practical issues of computational methods. The last section of each project contains the solutions to all proposed exercises and guides the reader in using the MATLAB scripts. The mathematical framework provides a basic foundation in the subject of numerical analysis of partial differential equations and main discretization techniques, such as finite differences, finite elements, spectral methods and wavelets). The book is primarily intended as a graduate-level text in applied mathematics, but it may also be used by students in engineering or physical sciences. It will also be a useful reference for researchers and practicing engineers. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Anaerobic reactors / par Chernicharo, Carlos Augusto de Lemos. Publication : [S.l.] : IWA Publishing, 2007 . 192 p. ; , BrochØ. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Analysis of seawater : a guide for the analytical and environmental chemist / par Crompton, T.R. Publication : [S.l.] : Springer, 2006 . 510 p. ; , It is only in the past few years that methods of adequate sensitivity have become available for true ultra-trace metal determinations in water. In the case of organics in seawater it has now become possible to resolve the complex mixtures of organics in seawater and achieve the required very low detection limits. Fortunately, the interest in micro-constituents in the seawater both from the environmental and the nutrient balance points of view has coincided with the availability of advanced instrumentation capable of meeting the analytical needs. This complete and up-to-date compilation of the currently employed proven methods for the chemical analysis of seawaters includes 45 tables and 48 figures. The author presents the methods in a logical manner so that the reader can readily learn how to perform them and understand the types of instrumentation available. It helps the practitioner to implement these methods successfully into his laboratory and to apply them quickly and reliably. In addition, the detailed description of each method enables the analyst to set up new analytical methods meeting the needs for the detection of new analytes. The volume covers all aspects of the analysis of seawater using both classical and the most advanced recently introduced physical techniques. It is an invaluable source for the analysts, oceanographers, fisheries experts, politicians and decision maker engaged in seawater environmental protection. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Analytical methods for problems of molecular transport / par Ivchenko, I.N. Publication : [S.l.] : Springer, 2007 . 409 p. ; , The Kinetic Theory of Gases has applications in many areas of science and technology as well as in our understandings of many natural processes and phenomena from the nano-scale up to the cosmic-scale. Some of the fields and topics affected include manufacturing, health care, weather, defence, pollution, aerospace science and engineering, and others. In particular, the interactions of rarefied gases with surfaces are of great interest because such interactions can have pronounced effects on the behaviour exhibited by those systems in all of the above fields. Such fundamental things as the transfer of mass, momentum, and energy between the components of a system can be significantly altered by such interactions. Collectively this transfer is typically described in terms of Rarefied Gas Dynamics and Transport Theory which generally go hand-in-hand with the Kinetic Theory of Gases. When this transport involves small particles suspended in a gas such as air, it is typically termed Aerosol Mechanics. Thus, this book should prove to be a very useful tool in virtually all application areas involving the Kinetic Theory of Gases, Rarefied Gas Dynamics, Transport Theory, and Aerosol Mechanics. This book is designed to serve a dual function. It is intended that it be capable of serving as a teaching instrument, either in a classroom environment or independently, for the study of basic analytical methods and mathematical techniques that may be used in the Kinetic Theory of Gases and is primarily suitable for use in graduate level physics and engineering courses on the subject. This book should also prove to be useful as a reference for scientists and engineers working in the fields of Rarefied Gas Dynamics and Aerosol Mechanics. In addition, the material in this book may prove to be of interest to individuals working in such areas as Physical Chemistry, Chemical Engineering, or any other applied discipline in which gas-surface interactions can be expected to play a significant role. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)