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

Votre recherche a retourné 120 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 (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)
		Combinatorial optimization in communication networks. Publication : [S.l.] : Springer, 2006 . 658 p. ; , Combinatorial optimization algorithms are used in many applications including the design, management, and operations of communication networks. The objective of this book is to advance and promote the theory and applications of combinatorial optimization in communication networks. Each chapter of the book is written by an expert dealing with theoretical, computational, or applied aspects of combinatorial optimization. Topics covered in the book include the combinatorial optimization problems arising in optical networks, wireless ad hoc networks, sensor networks, mobile communication systems, and satellite networks. A variety of problems are addressed using combinatorial optimization techniques, ranging from routing and resource allocation to QoS provisioning. 24 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		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 (Supprimer)
		Computational vision and medical image processing : recent trends Publication : [S.l.] Springer 2010 . 358 p. , This book contains extended versions of papers presented at the international Conference VIPIMAGE 2009 – ECCOMAS Thematic Conference on Computational Vision and Medical Image, that was held at Faculdade de Engenharia da Universidade do Porto, Portugal, from 14th to 16th of October 2009. This conference was the second ECCOMAS thematic conference on computational vision and medical image processing. It covered topics related to image processing and analysis, medical imaging and computational modelling and simulation, considering their multidisciplinary nature. The book collects the state-of-the-art research, methods and new trends on the subject of computational vision and medical image processing contributing to the development of these knowledge areas. 24 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Médicales et Pharmaceutiques (1), Réserver Ajouter au panier (Supprimer)
		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 (Supprimer)
		Electromagnetic field computation by network methods par Felsen,, Leopold B. Publication : [S.l.] Springer 2009 . 228 p. , In this monograph, the authors propose a systematic and rigorous treatment of electromagnetic field representations in complex structures. The architecture suggested in this book accommodates use of different numerical methods as well as alternative Green's function representations in each of the subdomains resulting from a partitioning of the overall problem. The subdomains are regions of space where electromagnetic energy is stored and are described in terms of equivalent circuit representations based either on lumped element circuits or on transmission lines. Connection networks connect the subcircuits representing the subdomains. The connection networks are lossless, don't store energy and represent the overall problem topology. This is similar to what is done in circuit theory and permits a phrasing of the solution of EM field problems in complex structures by Network-oriented methods. 24 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		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 (Supprimer)
		Kinetic theory and gas dynamics. Publication : [S.l.] : Springer, 2002 . 228 p. ; , Paperback. 25 cm. Date : 2002 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Lectures on Probability Theory and Statistics : Ecole d'été de Probabilités de Saint-Flour XXXIII - 2003 / par Picard, Jean, Publication : Berlin Heidelberg : Springer-Verlag., 2005 . 1 online resource. Date : 2005 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		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 (Supprimer)
		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 (Supprimer)
		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 (Supprimer)
		Neural networks methodology and applications par Dreyfus, Gerard. Publication : [S.l.] Springer 2010 . 498 p. , Neural networks represent a powerful data processing technique that has reached maturity and broad application. When clearly understood and appropriately used, they are a mandatory component in the toolbox of any engineer who wants make the best use of the available data, in order to build models, make predictions, mine data, recognize shapes or signals, etc. Ranging from theoretical foundations to real-life applications, this book is intended to provide engineers and researchers with clear methodologies for taking advantage of neural networks in industrial, financial or banking applications, many instances of which are presented in the book. For the benefit of readers wishing to gain deeper knowledge of the topics, the book features appendices that provide theoretical details for greater insight, and algorithmic details for efficient programming and implementation. The chapters have been written by experts and edited to present a coherent and comprehensive, yet not redundant, practically oriented introduction. 23 cm. Date : 2010 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		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 (Supprimer)
		Soft Computing Applications / par Bonarini, Andrea. Publication : Heidelberg : Physica-Verlag HD : \| Imprint : \| Physica, 2003 . 1 online resource (viii, 229 pages). Date : 2003 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Mathematics for electrical engineering and computing / par Attenborough, Mary Publication : . 1 online resource (x, 550 pages) , Includes index. Disponibilité : http://www.sciencedirect.com/science/book/9780750658553, Ajouter au panier (Supprimer)
		General systems theory : mathematical foundations / par Mesarović, Mihajlo D. Publication : . 1 online resource (xii, 268 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780124915404, Ajouter au panier (Supprimer)
		Essential Linear Algebra with Applications A Problem-Solving Approach / par Andreescu, Titu. Publication : . X, 491 p. 2 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-0-8176-4636-3, Ajouter au panier (Supprimer)
		The Art of Progressive Censoring Applications to Reliability and Quality / par Balakrishnan, N. Publication : . XXI, 645 p. 47 illus., 4 illus. in color. Disponibilité : http://dx.doi.org/10.1007/978-0-8176-4807-7, Ajouter au panier (Supprimer)