undefined
"Caught Inside" is Daniel Duane's account of a year spent surfing in Santa Cruz, California. Following the turn of the seasons, it is also the story of a young man's deepening knowledge of his native landscape and its history. Interspersed with the narrative of days passed on the water are good-humo[...]
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to[...]
with a foreword by Robin Milnerand drawings by Duane Bibby Over the past few years, ML has emerged as one of the most important members of the family of programming languages. Many professors in the United States and other countries use ML to teach courses on the principles of programming and on pro[...]
Paroled mobster Carmine Tango returns to Arcadia, plunging the stagnant city into darkness and chaos Meanwhile, a suicidal enforcer turned suicidal maniac is picking off X's targets before he can get to them. While X furiously battles maniacs in the streets, Leigh Ferguson uncovers a crucial piece [...]
Judge Anderson is trying to make it back to Mega-City One in "To Live and Die in Deadworld" and Judge Dredd must go inside the area formerly known as Sector One to rescue the Chief Justice and the Council of Five in "Black Light District."[...]
Dredd has defeated the Dark Judges and broken out of Sector One...only to find himself a fugitive in Judge Cal's insane surveillance state, with only Anderson in his head helping him survive Cal's rabid chase, in "Mega-City Manhunt." Collects issues numbered 25-30.[...]