Author: Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 784
Book Description
Monthly Journal
Author: Annual Report
Author: Amalgamated Society of EngineersPublisher:
ISBN:
Category :
Languages : en
Pages : 956
Book Description
AEU.
Author: Programming in Martin-Löf's Type Theory
Author: Bengt NordströmPublisher: Oxford University Press, USA
ISBN:
Category : Computers
Languages : en
Pages : 240
Book Description
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
Strike!
Author: Jeremy BrecherPublisher: PM Press
ISBN: 1629638080
Category : Political Science
Languages : en
Pages : 786
Book Description
Jeremy Brecher’s Strike! narrates the dramatic story of repeated, massive, and sometimes violent revolts by ordinary working people in America. Involving nationwide general strikes, the seizure of vast industrial establishments, nonviolent direct action on a massive scale, and armed battles with artillery and tanks, this exciting hidden history is told from the point of view of the rank-and-file workers who lived it. Encompassing the repeated repression of workers’ rebellions by company-sponsored violence, local police, state militias, and the U.S. Army and National Guard, it reveals a dimension of American history rarely found in the usual high school or college history course. Since its original publication in 1972, no book has done as much as Strike! to bring U.S. labor history to a wide audience. Now this fiftieth anniversary edition brings the story up to date with chapters covering the “mini-revolts of the twenty-first century,” including Occupy Wall Street and the Fight for Fifteen. The new edition contains over a hundred pages of new materials and concludes by examining a wide range of current struggles, ranging from #BlackLivesMatter, to the great wave of teachers’ strikes “for the soul of public education,” to the global “Student Strike for Climate” that may be harbingers of mass strikes to come.
Chemical Kinetics with Mathcad and Maple
Author: Viktor KorobovPublisher: Springer Science & Business Media
ISBN: 3709105315
Category : Science
Languages : en
Pages : 353
Book Description
The authors explain at length the principles of chemical kinetics and approaches to computerized calculations in modern software suites — mathcad and maple. Mathematics is crucial in determining correlations in chemical processes and requires various numerical approaches. Often significant issues with mathematical formalizations of chemical problems arise and many kinetic problems can ́t be solved without computers. Numerous problems encountered in solving kinetics ́ calculations with detailed descriptions of the numerical tools are given. Special attention is given to electrochemical reactions, which fills a gap in existing texts not covering this topic in detail. The material demonstrates how these suites provide quick and precise behavior predictions for a system over time (for postulated mechanisms).Examples, i.e., oscillating and non-isothermal reactions, help explain the use of mathcad more efficiently. Also included are the results of authors’ own research toward effective computations.
FAA Airworthiness Directive
Author: USSR Scientific Abstracts: Cybernetics, Computers and Automation Technology
Author: Recueil Des Traités
Author: United NationsPublisher:
ISBN:
Category : Treaties
Languages : en
Pages : 366
Book Description
Mindful Militants
Author: T. SheridanPublisher: CUP Archive
ISBN: 9780521206808
Category : Business & Economics
Languages : en
Pages : 364
Book Description
Monograph tracing 50 years' development, in the engineering and manufacturing sectors, of Australia's most powerful trade union - covers internal conflicts and political aspects, and measures its influence on Australian wage determination, industrial arbitration and labour relations generally. Selected bibliography pp. 305 to 317 and statistical tables.