Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Affiner votre recherche

Votre recherche a retourné 301 résultats.

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
Computation engineering applied automata theory and logic par Gopalakrishnan, Ganesh. Publication : New York, NY Springer 2006 . xxxv, 471 pages 25 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Computational methods for electromagnetics and microwaves / par Booton, Richard C. Publication : [S.l.] : Wiley-Interscience, 1992 . 192 p. ; , Emphasizes electromagnetic and microwave problems and the fundamental algorithms which can be used as the basis for computer programs that produce useful numerical results. Includes relevant computer project descriptions in related chapters. A requirement for any student doing work in electromagnetics. 25 cm. Date : 1992 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Computing in nonlinear media & automata collectives / par Adamatzky,, Andrew. Publication : [S.l.] : Taylor & Francis, 2001 . 395 p. ; , The book gives an account of new ways to design massively parallel computing devices in advanced mathematical models (such as cellular automata and lattice swarms), and from unconventional materials, for example chemical solutions, bio-polymers and excitable media. The subject of this book is computing in excitable and reaction-diffusion media. This is one approach to novel computing methods. Other approaches include quantum and evolutionary computation, and swarm optimization. The book explains how to design computing devices in nonlinear media. This is achieved in three steps. First, cellular automaton models of reaction-diffusion and excitable computing are built. Second, natural analogies of simulated phenomena are sought. Third, working prototypes of laboratory processors are fabricated. Throughout the book it is assumed a computation is implemented using spreading waves and spatially interacting reagents. The book is full of examples of computation in cellular automata, swarms of mobile machines, thin-layer chemical liquids, insect societies, solitons, breathers and other wonders of Nature. In this book computer scientists and engineers will find blueprints inspired by Nature for the design of novel computing devices. Mathematicians will find exciting reasons to theorise. Physicists and chemists will be surprised and pleased to find that the systems they study can be used in completely new contexts. Biologists will discover that results of their field experiments also give solutions for celebrated mathematical problems. 25 cm. Date : 2001 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Designing the mobile user experience / par Ballard, Barbara. Publication : [S.l.] : Wiley, 2007 . 260 p. ; , Gain the knowledge and tools to deliver compelling mobile phone applications. Mobile and wireless application design is complex and challenging. Selecting an application technology and designing a mobile application require an understanding of the benefits, costs, context, and restrictions of the development company, end user, target device, and industry structure. Designing the Mobile User Experience provides the experienced product development professional with an understanding of the users, technologies, devices, design principles, techniques and industry players unique to the mobile and wireless space. Barbara Ballard describes the different components affecting the user experience and principles applicable to the mobile environment, enabling the reader to choose effective technologies, platforms, and devices, plan appropriate application features, apply pervasive design patterns, and choose and apply appropriate research techniques. Designing the Mobile User Experience: Provides a comprehensive guide to the mobile user experience, offering guidance to help make appropriate product development and design decisions. Gives product development professionals the tools necessary to understand development in the mobile environment. Clarifies the components affecting the user experience and principles uniquely applicable to the mobile application field. Explores industry structure and power dynamics, providing insight into how mobile technologies and platforms become available on current and future phones. Provides user interface design patterns, design resources, and user research methods for mobile user interface design. Illustrates concepts with example photographs, explanatory tables and charts, and an example application. Designing the Mobile User Experience is an invaluable resource for information architects, user experience planners and designers, interaction designers, human factors specialists, ergonomists, product marketing specialists, and brand managers. Managers and directors within organizations entering the mobile space, advanced students, partnership managers, software architects, solution architects, development managers, graphic designers, visual designers, and interface designers will also find this to be an excellent guide to the topic. 23 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Pas d'image disponible
Discrtisations variationnelles de probl] / par Rapetti, Franscesca. Publication : [S.l.] : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2004 . 310 p. ; , BrochØ. 24 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
From vectors to tensors / par Ruiz-Tolosa,, Juan R. Publication : [S.l.] : Springer, 2005 . 550 p. ; , This textbook, deals with tensors that are treated as vectors, and has a practical orientation. In addition to dealing with the classical topics of tensor books, new tensor concepts are introduced, such as the rotation of tensors, the transposer tensor, the eigentensors, the permutation tensor structure, etc. The book covers an existing gap between the classic theory of tensors and the possibility of solving tensor problems with a computer. In fact, the computational algebra is formulated in matrix form to facilitate its implementation on computers. For the first time tensor contraction is formulated in terms of matrix operations. A computer package, written in Mathematica, is available through Internet that complements the book.   In summary, the book is not a standard book on tensors because of its orientation, the many novel contributions included in it, the careful notation and the stretching-condensing techniques used for most of the transformations used in the book. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Grid generation methods par Liseikin, Vladimir D. Publication : [S.l.] Springer 2009 . 390 p. , This text is an introduction to methods of grid generation technology in scientific computing. Special attention is given to methods developed by the author for the treatment of singularly-perturbed equations, e.g. in modeling high Reynolds number flows. Functionals of conformality, orthogonality, energy and alignment are discussed. 24 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Interior point methods for linear optimization / par Roos, Cornelis. Publication : [S.l.] : Springer, 2005 . 497 p. ; , Interior Point Methods for Linear Optimization is a comprehensive, thorough textbook on interior point methods (IPMs). The era of IPMs was initiated by N. KarmarkarЀ™s 1984 paper, which triggered turbulent research and reshaped almost all areas of optimization theory and computational practice. This book gives a comprehensive review of the main results of more than a decade of IPM research. Numerous exercises are provided to aid in understanding the material. 25 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Magnetic nanostructures in modern technology : spintronics, magnetic mems and recording.   Publication : [S.l.] : Springer, 2007 . 345 p. ; , A team of outstanding scientists in the field of modern magnetic nanotechnologies illustrates the state of the art in several areas of advanced magneto-electronic devices, magnetic micro-electromechanical systems and high density information storage technologies. The physics and chemistry of nano-scale systems have made rapid advances and there are real prospects of translating exciting scientific findings into a new generation of processes and high technology products with a potential impact on several industrial sectors. In particular the development of nano-structured magnetic materials plays a leading role in the increasing miniaturization of devices with superior performances. The application areas considered are: i) "magneto-electronics", where the control of electron spins in magnetic hetero-structures offers new and improved functionalities in devices of integrated digital electronics. Magnetic random access memories, MRAM are among the principal applications for new non-volatile RAM with fast dynamics, toward the pico-, femto-second range. ii) "magnetic MEMS" (micro-electro-mechanical systems), which are the integration of mechanical and electro/ferromagnetic elements (micro-actuators and sensors) with conventional electronics MEMS, promise a revolution in several product categories. In fact the proposed integration enables the development of smart products, where sensors can gather information from the environment by measuring thermal, magnetic, electric, mechanical, biological chemical, optical characteristics and the electronic section processes the information and the actuator promotes the action realizing a complete control of the environment. iii) "Magnetic recording" is a leading technology in the information storage domain and the most relevant application in the field of magnetics, showing surprising continuous progress over several decades towards the limit of terabit per square inch of areal density. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Mathematical theory of domains par Stoltenberg-Hansen, Viggo. Publication : Cambridge Cambridge University Press 2008 . xii, 349 pages , Originally published: 1994. "This digitally printed version 2008"--T.p. verso. 26 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Pas d'image disponible
Microcantilevers for atomic force microscope data storage / par Chui, Benjamin W. Publication : [S.l.] : Kluwer Academic Publishers, 1998 . 176 p. ; , ReliØ. 25 cm. Date : 1998 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Microflows and nanoflows : fundamentals and simulation par Karniadakis, George. Publication : [S.l.] Springer 2005 . 817 p. , Subject area has witnessed explosive growth during the last decade and the technology is progressing at an astronomical rate. Previous edition was first to focus exclusively on flow physics within microdevices. It sold over 900 copies in North America since 11/01. New edition is 40 percent longer, with four new chapters on recent topics including Nanofluidics. 24 cm. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Pas d'image disponible
Probability distributions involving gaussian random variables : a handbook for engineers and scientists / par Simon, Marvin K. Publication : [S.l.] : Springer-Verlag New York Inc., 2006 . 200 p. ; , BrochØ. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Scientific computation par Gonnet, G. H. Publication : Cambridge, UK | New York Cambridge University Press 2009 . xii, 236 pages 26 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (2),

Réserver Ajouter au panier
Selected works of wen-tsun wu par Wu, Wen-Tsun. Publication : [S.l.] World Scientific Publishing Company 2008 . 476 p. , This important book presents all the major works of Professor Wen-Tsun Wu, a widely respected Chinese mathematician who has made great contributions in the fields of topology and computer mathematics throughout his research career. The book covers Wu s papers from 1948 to 2005 and provides a comprehensive overview of his major achievements in algebraic topology, computer mathematics, and history of ancient Chinese mathematics. In algebraic topology, he discovered Wu classes and Wu formulas for Stiefel Whitney classes of sphere bundles or differential manifolds, established an imbedding theory with an application to the layout problem of integrated circuits, and introduced the I*-functors which turned the rational homotopy theory created by D Sullivan into algorithmic form. In computer mathematics, he discovered Wu s method of mechanical theorem proving by means of computers, which has been applied to prove and even discover on the computers hundreds of non-trivial theorems in various kinds of elementary and differential geometries. He also discovered a new effective method of polynomial equations solving, which has been used to solve problems raised from the fields of robotics and mechanisms, CAGD, computer vision, theoretic physics, celestial mechanics, and chemical equilibrium computation. Contents: On the Product of Sphere Bundles and the Duality Theorem Modulo Two; On Universal Invariant Forms; The Out-In Complementary Principle; On Chern Numbers of Algebraic Varieties with Arbitrary Singularities; On the Foundation of Algebraic Differential Geometry; On a Finiteness Theorem About Optimization Problems; On Surface-Fitting Problem in CAGD; and other papers. 24 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Stochastic relations foundations for markov transition systems par Doberkat,, Ernst-Erich. Publication : [S.l.] Chapman and Hall/CRC 2007 . 376 p. , Collecting information previously scattered throughout the vast literature, including the author’s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, the book examines the central topics of congruences and morphisms, applies these to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. The author views developments from the general theory of coalgebras in the context of the subprobability functor. These tools show that bisimilarity and behavioral and logical equivalence are the same for general modal logics and for continuous time stochastic logic with and without a fixed point operator. With numerous problems and several case studies, this book is an invaluable study of an important aspect of computer science theory. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Exact analysis of discrete data par Hirji, Karim F. Publication : Boca Raton, FL [etc.] Chapman & Hall/CRC 2006 . XXIV, 521 p. 27 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1),

Réserver Ajouter au panier
Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha