 |
|
 | | | | Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland
ICALP 2011, the 38th edition of the International Colloquium on Automata,
Languages and Programming, was held in Z¨urich, Switzerland, during July
4–8, 2011. ICALP is a series of annual conferences of the European Association
for Theoretical Computer Science (EATCS) which first took place in 1972. This
year, the ICALP... |
|
Automated Deduction in Geometry: 8th International Workshop, ADG 2010, Munich, Germany
From July 22 to July 24, 2010, the Technische Universit¨at M¨unchen, Germany,
hosted the eighth edition of the now well-established ADG workshop dedicated
to Automatic Deduction in Geometry. From the first edition, which was held
in Toulouse in 1996, to ADG 2010, a slow mutation has taken place. The workshop
that was formerly... | | Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010
Rewriting is a form of inference, and one that interacts in several ways
with other forms of inference such as decision procedures and proof search. We
discuss a range of issues at the intersection of rewriting and inference. How can
other inference procedures be combined with rewriting? Can rewriting be used to
describe... | | Computer Science: The Hardware, Software and Heart of It
Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes certain... |
|
|
Database Design and Relational Theory: Normal Forms and All That Jazz
This book began life as a comparatively short chapter in a book called Database in Depth: Relational Theory for
Practitioners (O’Reilly, 2005). That book was superseded by SQL and Relational Theory: How to Write Accurate
SQL Code (O’Reilly, 2009), where the design material, since it was somewhat tangential to ... | | An Introduction to Linear Programming and Game Theory
Praise for the Second Edition:
"This is quite a well-done book: very tightly organized, better-than-average exposition, and numerous examples, illustrations, and applications."
—Mathematical Reviews of the American Mathematical Society
An Introduction to Linear Programming and... | | Handbook of Boolean Algebras, Volume 2
This Handbook treats those parts of the theory of Boolean algebras of most interest to pure mathematicians: the set-theoretical abstract theory and applications and relationships to measure theory, topology, and logic. It is divided into two parts (published in three volumes). Part I (volume 1) is a comprehensive, self-contained introduction... |
|
| Result Page: 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 |
