note nook

Types for Proofs and Programs - (Lecture Notes in Computer Science) by Peter Dybjer & Bengt Nordström & Jan Smith (Paperback)

Parallel Execution of Logic Programs - (Lecture Notes in Computer Science) by Anthony Beaumont & Gopal Gupta (Paperback)

Network and Operating System Support for Digital Audio and Video - (Lecture Notes in Computer Science) (Paperback)

Computational Geometry and Its Applications - (Lecture Notes in Computer Science) by Hartmut Noltemeier (Paperback)

Notes on Surviving the Fire - by Christine Murphy (Hardcover)

Languages and Compilers for Parallel Computing - (Lecture Notes in Computer Science) (Paperback)

Field Notes for the Self - (Oskana Poetry & Poetics) by Randy Lundy (Paperback)

Advances in Petri Nets 1989 - (Lecture Notes in Computer Science) by Grzegorz Rozenberg (Paperback)

Diffusion, Quantum Theory, and Radically Elementary Mathematics. (Mn-47) - (Mathematical Notes) by William G Faris (Paperback)

Articulated Motion and Deformable Objects - (Lecture Notes in Computer Science) by Francisco J Perales & Edwin R Hancock (Paperback)

In Search of the Rose Notes - by Emily Arsenault (Paperback)

Quality of Service - Iwqos 2003 - (Lecture Notes in Computer Science) by Kevin Jeffay & Ion Stoica & Klaus Wehrle (Paperback)

Enterprise, Business-Process and Information Systems Modeling - (Lecture Notes in Business Information Processing) (Paperback)

The Design of an Extendible Graph Editor - (Lecture Notes in Computer Science) by Frances N Paulisch (Paperback)

Hedgehog Theory - (Lecture Notes in Mathematics) by Yves Martinez-Maure (Paperback)

Verification, Model Checking, and Abstract Interpretation - (Lecture Notes in Computer Science) by Bernhard Steffen & Giorgio Levi (Paperback)

Information and Communications Security - (Lecture Notes in Computer Science) by Robert H Deng & Feng Bao & Jianying Zhou (Paperback)

Object-Oriented Information Systems - (Lecture Notes in Computer Science) by Dimitri Konstantas & Michel Leonard & Yves Pigneur & Shusma Patel

Advances in Intelligent Data Analysis - (Lecture Notes in Computer Science) (Paperback)

Computer Aided Verification - (Lecture Notes in Computer Science) by Gregor Von Bochmann & David K Probst (Paperback)

Logic Programming '87 - (Lecture Notes in Computer Science) by Koichi Furukawa & Hozumi Tanaka & Tetsunosuke Fujisaki (Paperback)

Constructive Approaches for Security Analysis and Design of Embedded Systems - (Lecture Notes in Computer Science) (Paperback)

A Few Short Notes on Tropical Butterflies - by John Murray (Paperback)

Software Process Technology - (Lecture Notes in Computer Science) by Vincenzo Ambriola (Paperback)