Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Download Etude De Lalimentation A Partir Du Secteur Triphase Et De La Commande Dun Moteur A Courant Continu full books in PDF, epub, and Kindle. Read online Etude De Lalimentation A Partir Du Secteur Triphase Et De La Commande Dun Moteur A Courant Continu ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author :
Publisher :
ISBN 13 :
Total Pages : 822 pages
Book Rating : 4.3/5 (91 download)
Download or read book Rail International written by and published by . This book was released on 1977 with total page 822 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Author : Paul James
Publisher :
ISBN 13 : 9781875285037
Total Pages : 248 pages
Book Rating : 4.2/5 (85 download)
Download or read book Technocratic Dreaming written by Paul James and published by . This book was released on 1990 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt: Technocratic dreaming of very fast trains and Japanese designer cities.
Author : Jean Goubault-Larrecq
Publisher : Springer Science & Business Media
ISBN 13 : 9781402003684
Total Pages : 448 pages
Book Rating : 4.0/5 (36 download)
Download or read book Proof Theory and Automated Deduction written by Jean Goubault-Larrecq and published by Springer Science & Business Media. This book was released on 2001-11-30 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: Interest in computer applications has led to a new attitude to applied logic in which researchers tailor a logic in the same way they define a computer language. In response to this attitude, this text for undergraduate and graduate students discusses major algorithmic methodologies, and tableaux and resolution methods. The authors focus on first-order logic, the use of proof theory, and the computer application of automated searches for proofs of mathematical propositions. Annotation copyrighted by Book News, Inc., Portland, OR
Author : Jean-Louis Boulanger
Publisher : John Wiley & Sons
ISBN 13 : 1119002923
Total Pages : 353 pages
Book Rating : 4.1/5 (19 download)
Download or read book Formal Methods Applied to Complex Systems written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2014-07-22 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
Author : Emma Carlson Berne
Publisher : Referencepoint Press
ISBN 13 : 9781601520197
Total Pages : 118 pages
Book Rating : 4.5/5 (21 download)
Download or read book Global Warming and Climate Change written by Emma Carlson Berne and published by Referencepoint Press. This book was released on 2008 with total page 118 pages. Available in PDF, EPUB and Kindle. Book excerpt: Throughout the world, the cause and impact of global warming and climate change is being passionately debated. While many claim that a climate crisis is imminent if greenhouse gases are not curbed, others argue that the effects have been overblown. Through objective overviews, primary sources, and full-color illustrations, this title will examine What Is Global Warming and Climate Change? What Are the Consequences of Global Warming? What Are the Controversies Surrounding Global Warming? What Are the Solutions for Global Warming?
Author : Dominique / D. Bonten /
Publisher : CreateSpace
ISBN 13 : 9781494798741
Total Pages : 140 pages
Book Rating : 4.7/5 (987 download)
Download or read book L'Esprit de L'Escalier written by Dominique / D. Bonten / and published by CreateSpace. This book was released on 2014-01 with total page 140 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'esprit de L'escalier is a French term for when you think of what you should have said after it is too late. This is a collection of poetry; These are things you wish you said.
Author : George Basalla
Publisher : Cambridge University Press
ISBN 13 : 1316101584
Total Pages : 262 pages
Book Rating : 4.3/5 (161 download)
Download or read book The Evolution of Technology written by George Basalla and published by Cambridge University Press. This book was released on 1989-02-24 with total page 262 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents an evolutionary theory of technological change based upon recent scholarship in the history of technology and upon relevant material drawn from economic history and anthropology. It challenges the popular notion that technology advances by the efforts of a few heroic individuals who produce a series of revolutionary inventions owing little or nothing to the technological past. Therefore, the book's argument is shaped by analogies taken selectively from the theory of organic evolution, and not from the theory and practice of political revolution. Three themes appear, and reappear with variations, throughout the study. The first is diversity: an acknowledgment of the vast numbers of different kinds of made things (artifacts) that have long been available to humanity; the second is necessity: the belief that humans are driven to invent new artifacts in order to meet basic biological requirements such as food, shelter, and defense; and the third is technological evolution: an organic analogy that explains both the emergence of novel artifacts and their subsequent selection by society for incorporation into its material life without invoking either biological necessity or technological progress. Although the book is not intended to provide a strict chronological account of the development of technology, historical examples - including many of the major achievements of Western technology: the waterwheel, the printing press, the steam engine, automobiles and trucks, and the transistor - are used extensively to support its theoretical framework. The Evolution of Techology will be of interest to all readers seeking to learn how and why technology changes, including both students and specialists in the history of technology and science.
Author : Jean H. Gallier
Publisher : Courier Dover Publications
ISBN 13 : 0486780821
Total Pages : 532 pages
Book Rating : 4.4/5 (867 download)
Download or read book Logic for Computer Science written by Jean H. Gallier and published by Courier Dover Publications. This book was released on 2015-06-18 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt: This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.
Author : Melvin Kranzberg
Publisher : Oxford University Press, USA
ISBN 13 :
Total Pages : 792 pages
Book Rating : 4.3/5 (91 download)
Download or read book Technology in Western Civilization: Technology in the twentieth century written by Melvin Kranzberg and published by Oxford University Press, USA. This book was released on 1967 with total page 792 pages. Available in PDF, EPUB and Kindle. Book excerpt: A complete and well-planned account of the history of technology in Western civilization from pre-historic man to the present age of the computer.
Author : Ian McNeil
Publisher :
ISBN 13 : 9780415147927
Total Pages : 1062 pages
Book Rating : 4.1/5 (479 download)
Download or read book An Encyclopaedia of the History of Technology written by Ian McNeil and published by . This book was released on 1996 with total page 1062 pages. Available in PDF, EPUB and Kindle. Book excerpt: Available for the first time in paperback, this volume includes twenty-two chapters by international experts covering the entire history of technology from humankind's earliest use of stone tools to the exploration of space. Written clearly and without unnecessary jargon, each chapter traces the development of its subject from earliest times to the present day, stressing the social context and its place in scientific thought. * Usefully drawn with over 150 tables, drawings and photographs * Two comprehensive indexes of names and subjects * Essential reading for teachers and students in the History and Philosophy of Science and Technology, Industrial History and Archaeology.
Author : Géza Joos
Publisher : PUQ
ISBN 13 : 2760520560
Total Pages : 368 pages
Book Rating : 4.7/5 (65 download)
Download or read book Entraînements à courant continu written by Géza Joos and published by PUQ. This book was released on 1986-12-31T19:00:00-05:00 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: Caractéristiques mécaniques des moteurs et des machines entraînées. Modélisation des éléments de l'entraînement : moteur, convertisseur statique, transducteur et régulateur. Convertisseurs statiques : contraintes associées à l'alimentation des moteurs, structures, caractéristiques de fonctionnement, critères de choix, semi-conducteurs de puissance et circuits de protection. Asservissement et compréhension des boucles de régulation d'un entraînement. Nombreux exemples.
