Masters Theses in the Pure and Applied Sciences

Masters Theses in the Pure and Applied Sciences
Author: Wade H. Shafer
Publisher: Springer Science & Business Media
Total Pages: 391
Release: 2012-12-06
Genre: Science
ISBN: 1461524539

Masters Theses in the Pure and Applied Sciences was first conceived, published, and disseminated by the Center for Information and Numerical Data Analysis and Synthesis (CINDAS)* at Purdue University in 1957, starting its coverage of theses with the academic year 1955. Beginning with Volume 13, the printing and dis semination phases of the activity were transferred to University Microfilms/Xerox of Ann Arbor, Michigan, with the though that such an arrangement would be more beneficial to the academic and general scientific and technical community. After five years of this joint undertaking we had concluded that it was in the interest of all concerned if the printing and distribution of the volumes were handled by an international publishing house to assure improved service and broader dissemi nation. Hence, starting with Volume 18, Masters Theses in the Pure and Applied Sciences has been disseminated on a worldwide basis by Plenum Publishing Corporation of New York, and in the same year the coverage was broadened to include Canadian universities. All back issues can also be ordered from Plenum. We have reported in Volume 37 (thesis year 1992) a total of 12,549 thesis titles from 25 Canadian and 153 United States universities. We are sure that this broader base for these titles reported will greatly enhance the value of this impor tant annual reference work. While Volume 37 reports theses submitted in 1992, on occasion, certain uni versities do report theses submitted in previous years but not reported at the time.

Masters Theses in the Pure and Applied Sciences

Masters Theses in the Pure and Applied Sciences
Author: W. H. Shafer
Publisher: Springer Science & Business Media
Total Pages: 410
Release: 1994
Genre: Education
ISBN: 9780306447112

Volume 37 (thesis year 1992) reports a total of 12,549 thesis titles from 25 Canadian and 153 US universities (theses submitted in previous years but only now reported are indicated by the thesis year shown in parenthesis). The organization, like that of past years, consists of thesis titles arrange

Management

Management
Author:
Publisher:
Total Pages: 792
Release: 1983
Genre: Industrial engineering
ISBN:

Model Checking Software

Model Checking Software
Author: Patrick Godefroid
Publisher: Springer Science & Business Media
Total Pages: 299
Release: 2005-08-09
Genre: Computers
ISBN: 3540281959

This book constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The 15 revised full papers presented were carefully reviewed and selected from 45 submissions; in addition there are 4 tool presentation papers selected from 6 submissions. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and checking security and real-time properties.

Ada in Transition

Ada in Transition
Author: W. J. Taylor
Publisher: IOS Press
Total Pages: 216
Release: 1992
Genre: Computers
ISBN: 9789051991130

"The book reviews the current practice in Ada applications, innovative developments in Ada technology, how Ada can be applied in more demanding systems in the safety-critical area and reports on the Ada 9X revision effort"--Preface.

NASA SP-7500

NASA SP-7500
Author: United States. National Aeronautics and Space Administration
Publisher:
Total Pages: 752
Release: 1986
Genre:
ISBN:

Advances in Database Technology EDBT '96

Advances in Database Technology EDBT '96
Author: Mokrane Bouzeghoub
Publisher: Springer Science & Business Media
Total Pages: 660
Release: 1996-03-18
Genre: Business & Economics
ISBN: 9783540610571

This book presents the refereed proceedings of the Fifth International Conference on Extending Database Technology, EDBT'96, held in Avignon, France in March 1996. The 31 full revised papers included were selected from a total of 178 submissions; also included are some industrial-track papers, contributed by partners of several ESPRIT projects. The volume is organized in topical sections on data mining, active databases, design tools, advanced DBMS, optimization, warehousing, system issues, temporal databases, the web and hypermedia, performance, workflow management, database design, and parallel databases.