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é 386 résultats.

		Lectures in game theory for computer scientists Publication : Cambridge Cambridge University Press 2011 . xii, 295 pages 26 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (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)
		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 (Supprimer)
		Mathematics and computer science III Algorithms, trees, combinatorics and probabilities Publication : [S.l.] : Birkhäuser 2004 . 554 p. , Mathematics and Computer Science III contains invited and contributed papers on combinatorics, random graphs and networks, algorithms analysis and trees, branching processes, constituting the Proceedings of the Third International Colloquium on Mathematics and Computer Science, held in Vienna in September 2004. It addresses a large public in applied mathematics, discrete mathematics and computer science, including researchers, teachers, graduate students and engineers. 23 cm. Date : 2004 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Pas d'image disponible Measure theory and probability theory / par Athreya, Krishna B. Publication : [S.l.] : Springer-Verlag New York Inc., 2006 . 618 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)
		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 and qualitative physics par Aubin, Jean Pierre. Publication : Cambridge \| New York Cambridge University Press 1996 . xvii, 283 pages 24 cm. Date : 1996 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)
		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 (Supprimer)
		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 (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)
		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 (Supprimer)
		Tensors in image processing and computer vision Publication : [S.l.] Springer 2009 . 480 p. , Tensor signal processing is an emerging field with important applications to computer vision and image processing. This book presents the state of the art in this new branch of signal processing, offering a great deal of research and discussions by leading experts in the area. The wide-ranging volume offers an overview into cutting-edge research into the newest tensor processing techniques and their application to different domains related to computer vision and image processing. This comprehensive text will prove to be an invaluable reference and resource for researchers, practitioners and advanced students working in the area of computer vision and image processing. 24 cm. Date : 2009 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		A course on mathematical logic / par Srivastava, S. M. Publication : New York, NY : Springer, 2013 . 1 online resource. Date : 2013 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		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 (Supprimer)
		Geometric algebra for computer science : an object-oriented approach to geometry / par Dorst, Leo, Publication : . 1 online resource (xxxv, 626 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780123694652, 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)