What Do I Read Next 93

Originally published in 1953, What Shall I Read Next? lists nearly 2000 works published after 1900, with the compiler's own appreciatory comments on selected items. It was a companion volume to Mr Seymour Smith's English Library. Both books are published on behalf of the National Book League. In his introduction, explaining the scope and purpose of the book, Mr Seymour Smith wrote: 'Some will find it useful merely as a shopping list, reminding them of books they know something about already, and serving as a remembrancer. To others, and particularly to younger readers, it may introduce books which have so far escaped their notice. It is hoped, too, that for booksellers and librarians it will have a practical use as a desk-book, for answering enquiries, for serving as a check list for stock, and for use as a reference book when memory fails'.

Contains entries for approximately 2000 books aimed at young readers. About half the titles were published between 1989 and 1994 and the remaining half are older titles which have stood the test of time.

By identifying similarities in various books, this annual selection guide helps readers to independently choose titles of interest published in the last year.Each entry describes a separate book, listing everything readers need to know to make selections. Arranged by author within six genre sections, detailed entries provide: Title Publisher and publication dateSeriesNames and descriptions of charactersTime period and geographical settingReview citationsStory typesBrief plot summarySelected other books by the authorSimilar books by different authorsAuthor, title, series, character name, character description, time period, geographic setting and genre/sub-genre indexes are included to facilitate research.

Contains entries for over 1,300 books aimed at young adult readers. Titles have been selected on the basis of their currency, appeal to readers, and literary merit.

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.