Roberto Bolaño

Heavy Paperback (2 to 4 lbs)

New Mexico

Uno de los 10 libros del año del New York Times Book Review Cuatro académicos tras la pista de un enigmático escritor alemán; un periodista de Nueva York en su primer trabajo en México; un filósofo viudo; un detective de policía enamorado de una esquiva mujer —estos son algunos de los personajes arrastrados hasta la ciudad fronteriza de Santa Teresa, donde en la última década han desaparecido cientos de mujeres. Publicada póstumamente, la última novela de Roberto Bolaño no sólo es su mejor obra y una de las mejores del siglo XXI, sino uno de esos excepcionales libros que trascienden a su autor y a su época para formar parte de la literatura universal. ENGLISH DESCRIPTION A NATIONAL BOOK CRITICS CIRCLE AWARD WINNER New York Times Book Review 10 Best Books of 2008 Time Magazine's Best Book of 2008 Los Angeles Times Best Books of 2008 San Francisco Chronicle's 50 Best Fiction Books of 2008 Seattle Times Best Books of 2008 New York Magazine Top Ten Books of 2008 Three academics on the trail of a reclusive German author; a New York reporter on his first Mexican assignment; a widowed philosopher; a police detective in love with an elusive older woman--these are among the searchers drawn to the border city of Santa Teresa, where over the course of a decade hundreds of women have disappeared. In the words of The Washington Post, "With 2666, Roberto Bolaño joins the ambitious overachievers of the twentieth-century novel, those like Proust, Musil, Joyce, Gaddis, Pynchon, Fuentes, and Vollmann, who push the novel far past its conventional size and scope to encompass an entire era, deploying encyclopedic knowledge and stylistic verve to offer a grand, if sometimes idiosyncratic, summation of their culture and the novelist's place in it. Bolaño has joined the immortals."

2666 (Spanish Edition)

7a3f5893-b00f-4347-ab4e-397b2c071621-1

Jeannie Gagne

(Berklee Guide). Connect to your authentic singing voice with this holistic guide to a healthy and expressive singing life. This collection of technical discussions, exercises, and insights will help you improve all aspects of using your voice from healthy sound production to exercises for greater vocal facility to guidance on rehearsing with your band. Interviews with Patty Austin, Ysaye Barnwell, and others lend their perspectives to singing, the mind-body connection, and a natural/wellness focused approach to musicianship. The accompanying audio supports the practice exercises and approaches to learning new songs. The audio is accessed online using the unique code inside each book and can be streamed or downloaded. The audio files include PLAYBACK+, a multi-functional audio player that allows you to slow down audio without changing pitch, set loop points, change keys, and pan left or right.

Your Singing Voice - Contemporary Techniques, Expression, and Spirit Book/Online Audio

f4ba5066-c5dc-4fe4-960c-e3d7ee4c7b52-0

Hardcover (1 to 2 lbs)

Tracking Medicine 

5779250a-5787-4dab-ae70-16e68fb34c13-0

Miles Reid

C. M. Series

J. W. Bruce

Light Paperback (1 lb or less)

Math

Algebraic geometry is, essentially, the study of the solution of equations and occupies a central position in pure mathematics. This short and readable introduction to algebraic geometry will be ideal for all undergraduate mathematicians coming to the subject for the first time. With the minimum of prerequisites, Dr Reid introduces the reader to the basic concepts of algebraic geometry including: plane conics, cubics and the group law, affine and projective varieties, and non-singularity and dimension. He is at pains to stress the connections the subject has with commutative algebra as well as its relation to topology, differential geometry, and number theory. The book arises from an undergraduate course given at the University of Warwick and contains numerous examples and exercises illustrating the theory.

Undergraduate Algebraic Geometry

cfe23897-0dde-4876-a32b-a3b397bf6e22-0

Graham Priest

Graham Priest is a terrible philosopher but this book is ok 👌 

Philosophy

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. Graham Priest explores the philosophical roots of the subject, explaining how modern formal logic addresses many issues.

Logic: a Very Short Introduction

1f1945a8-0885-4724-8746-bc8d24f8c87c-1

LeAnne Howe

Jennifer Foerster

A Norton Anthology of Native Nations Poetry

The first historically comprehensive Native poetry anthology, without which no study of American poetry is complete.

When the Light of the World Was Subdued, Our Songs Came Through

26400516-235d-4511-ac25-3dcca84aa0ac-1

N. Gregory Mankiw

Oversized Hardcover (4 to 6 lbs)

Business & Economics

Principles of Economics

baffa207-4c6f-443b-b720-1aac83f6ee65-1

Paperback (1 to 2 lbs)

Rolf Drechsler

Light Hardcover (1 lb or less)

State-Of the-Art and Future Trends

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.

Formal System Verification

a130c776-2124-4010-b8b7-ea5c53d769ba-0

Doron A. Peled

E. M. Clarke

Computer Science

This book presents current methods for dealing with software reliability, illustrating the advantages and disadvantages of each method. The description of the techniques is intended for a non-expert audience with some minimal technical background. It also describes some advanced techniques, aimed at researchers and practitioners in software engineering. This reference will serve as an introduction to formal methods and techniques and will be a source for learning about various ways to enhance software reliability. Various projects and exercises give readers hands-on experience with the various formal methods and tools.

Software Reliability Methods

30ca5075-b20f-433c-84e3-86904125fffa-0

Sarah Arvio

Skme smudges and damage on the cover sleeve

Cantos

Here isSono,a new collection of bracingly original poems, from the prizewinning author ofVisits from the Seventh. Composed during a long stay in Rome, these cantos look outward in order to look inward, transforming sights and stories into expressionistic explorations of the state of the heart. Playful, probing, philosophical, colorful, often funny, they describe a struggle to come to terms with loss and grief and to find a basis for renewal; they ask whether and how life is worth living, taking pleasure in the questions themselves. “It wasn’t the life I would have wanted, / had I known what sort of life I did want,” starts the poem entitled “Chagrin.” “I do believe I was never loved,” announces “Obelisk.” Riffing expertly, Sarah Arvio brings wit and exquisite formal discipline to her gorgeous meditations on the life lived. These are high-burning songs of the self— colloquial, sexy, unflinching, and unforgettable. A colossal mess I made of my life, in the flesh and also in the round; this was the essence of colosseum, the museum of my colossal shame, where I mused on the blood sport of it all. . . (from "Colosseum")

Sono

ee968531-900e-42bf-a66d-9e99f209a4dc-0

Vijay K. Garg

Giant gash in the cover, writings on some pages

Heavy Hardcover (2 to 4 lbs)

A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory. The applications covered include tracking dependency in distributed systems, combinatorics, detecting global predicates in distributed systems, set families, and integer partitions. The book presents algorithmic proofs of theorems whenever possible. These proofs are written in the calculational style advocated by Dijkstra, with arguments explicitly spelled out step by step. The author’s intent is for readers to learn not only the proofs, but the heuristics that guide said proofs. Introduction to Lattice Theory with Computer Science Applications: Examines; posets, Dilworth’s theorem, merging algorithms, lattices, lattice completion, morphisms, modular and distributive lattices, slicing, interval orders, tractable posets, lattice enumeration algorithms, and dimension theory Provides end of chapter exercises to help readers retain newfound knowledge on each subject Includes supplementary material at www.ece.utexas.edu/~garg Introduction to Lattice Theory with Computer Science Applications is written for students of computer science, as well as practicing mathematicians.

Introduction to Lattice Theory with Computer Science Applications

770a7165-080d-4f07-a365-8af436843b83-0

Somerset Maugham

The Great War changed everything and the years following it were tumultuous - most of all for those who lived the war first-hand. Maugham himself is a character in this novel of self-discovery and search for meaning, but the protagonist is a character named Larry. Battered physically and spiritually by the war, Larry's physical wounds heal, but his spirit is changed almost beyond recognition. He leaves his betrothed, the beautiful and devoted Isabel. He studies philosophy and religion in Paris. He lives as a monk. He witnesses the exotic hardships of Spanish life. All of life that he can find - from an Indian Ashrama to labor in a coal mine - becomes Larry's spiritual experiment as he spurns the comfort and privilege of the Roaring '20s. Maugham's theme is the contrast of spiritual content between Larry and the growing materialism and sophistication of those he left behind - and the surprising irony of where both of those paths lead.

The Razor's Edge

4543efc4-4f9c-45c3-9b36-9009919cc481-1

Malcolm Gladwell

How Little Things Can Make a Big Difference

The Tipping Point

e79d8dd0-a011-495e-80b6-62870dc511de-1

Greek Gods and Heroes

Per Petterson

Small damage to the edges of the cover. Name in pen on the first page.

A NEW YORK TIMES BOOK REVIEW NOTABLE BOOK OF THE YEAR

It's 1989 and "three monumental events twine around one another in Arvid Jansen's penumbral soul. His fifteen-year marriage is dissolving, his mother is dying of cancer, and the Berlin Wall is tumbling down. The parallels are obvious--worlds are ending, internally and externally--but the analogies Petterson draws among these dramatic endings are not....I Curse the River of Time is a little like the starker reaches of the West, a little like the stonier shores of Maine, a little like Edward Hopper, a little like Raymond Carver....There is a quality that I can only call charm, or something like charm, to Petterson's essentially dark and lonely sensibility....It exerts a gravitational pull on the reader" (Stacey D'Erasmo, The New York Times Book Review).

I Curse the River of Time

44dda06d-2f30-4a1c-ba08-d0fc10090494-1

Circle Meadow

Rosa Alice Branco

Alexis Levitin

Lots of pen and pencil markings on the inside.

Poems

A prizewinning Portuguese poet's lyrical speculations on an ordinary life illuminated by doubt

Cattle of the Lord

928612c1-157c-4504-910a-e6d7deda4a8f-0

A few subtle foldings/dents on the cover. Price mark on the first page.

This classic work, now available in paperback, outlines the geometric aspects of algebraic equations, one of the oldest and most central subjects in mathematics. Recent decades have seen explosive growth in the more abstract side of algeraic geometry, with great emphasis on new basic techniques. This timely reissue complements these recent innovations, providing a much-needed background in such areas as plane curves, quadratic transformations, the geometry of line systems, and the projective characters of curves and surfaces. Providing a wealth of definitive material, this work will appeal to those interested in algebraic geometry and in more modern abstract studies.

Introduction to Algebraic Geometry

8e9ffd1c-e942-440e-87cb-28308c34960f-0

Some wrinkles in the top and bottom corner. No writings on the inside. One black mark on the outside. Some small scratches. 

Oversized Paperback (4 to 6 lbs)

Fourth Edition

Programming Language Pragmatics

Christel Baier

Joost-Pieter Katoen

Kim Guldstrand Larsen

The cover has some small dents, tears and scratches. The binding is a little damaged. One page is written on.

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.

Browse by categories

Roberto Bolaño; Roberto Bolaño

2666 (Spanish Edition)

Jeannie Gagne

Your Singing Voice - Contemporary Techniques, Expression, and Spirit Book/Online Audio

John E. Wennberg

Tracking Medicine

Miles Reid; C. M. Series; J. W. Bruce

Undergraduate Algebraic Geometry

Graham Priest

Logic: a Very Short Introduction

LeAnne Howe; Jennifer Foerster

When the Light of the World Was Subdued, Our Songs Came Through

N. Gregory Mankiw

Principles of Economics

Jeannie Gagne

Your Singing Voice - Contemporary Techniques, Expression, and Spirit Book/Online Audio

Rolf Drechsler

Formal System Verification

Doron A. Peled; E. M. Clarke

Software Reliability Methods

Sarah Arvio

Sono

Vijay K. Garg

Introduction to Lattice Theory with Computer Science Applications

Somerset Maugham

The Razor's Edge

Malcolm Gladwell

The Tipping Point

Robert Graves

Greek Gods and Heroes

Per Petterson

I Curse the River of Time

Geral Hausman

Circle Meadow

Miles Reid; C. M. Series; J. W. Bruce

Undergraduate Algebraic Geometry

Rosa Alice Branco; Alexis Levitin

Cattle of the Lord

J.G. Semple and L. Roth

Introduction to Algebraic Geometry

Michael L. Scott

Programming Language Pragmatics

Christel Baier; Joost-Pieter Katoen; Kim Guldstrand Larsen

Principles of Model Checking

Get The App