Fields of Logic and Computation II
Fields of Logic and Computation II

Author: Lev D. Beklemishev

Publisher: Springer

Published: 2015-09-05

Total Pages: 330

ISBN-13: 3319235346

DOWNLOAD EBOOK

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).

Books in Series
Books in Series

Author:

Publisher:

Published: 1985

Total Pages: 1814

ISBN-13:

DOWNLOAD EBOOK

Vols. for 1980- issued in three parts: Series, Authors, and Titles.

Pure and Applied Science Books, 1876-1982
Pure and Applied Science Books, 1876-1982

Author:

Publisher:

Published: 1982

Total Pages: 1374

ISBN-13:

DOWNLOAD EBOOK

Over 220,000 entries representing some 56,000 Library of Congress subject headings. Covers all disciplines of science and technology, e.g., engineering, agriculture, and domestic arts. Also contains at least 5000 titles published before 1876. Has many applications in libraries, information centers, and other organizations concerned with scientific and technological literature. Subject index contains main listing of entries. Each entry gives cataloging as prepared by the Library of Congress. Author/title indexes.