Ehhh, a very strong problem set with great examples, but this is all pretty easy stuff. If you're not comfortable without this book's detailed explanaEhhh, a very strong problem set with great examples, but this is all pretty easy stuff. If you're not comfortable without this book's detailed explanations, reconsideration of one's field might not be out of the question. Now what's really cool is RNA folding, not these childish gene sequencing games suitable for Babes in the Woods, pecking at perl with their chubby pink fingers. Hopefully I'll one day use a DNA computer to run RNA folding applications, and how ironic will that be? Answer: not at all ironic just sound f'n engineering practice w00t!!! --- Borodovsky's companion to Durbin et al's definitive introductory bioinformatics textbook, Biological Sequence Analysis. I taught myself bioinformatics and some molecular biology back in 2004, but am now taking CSE8803-BINF with Borodovsky himself and will be working problems from this practicum. Huzzah! Gonna cure all dem cancers!...more
GT Barnes & Noble, 2009-01-23. Ugh, I skipped around and read a few chapters, but this is just inexecrable. Terrible prose, shoddy diagrams, bad pGT Barnes & Noble, 2009-01-23. Ugh, I skipped around and read a few chapters, but this is just inexecrable. Terrible prose, shoddy diagrams, bad printing and the book's a bright, garish pink to boot. Who the hell prints pink nuclear engineering textbooks? ANS, that's who, ugh....more
Amazon 2008-11-24. Mother of God, this is the most boring thing I've read in months. I'll take what I've learned of CSP from reading C. A. R. Hoare aAmazon 2008-11-24. Mother of God, this is the most boring thing I've read in months. I'll take what I've learned of CSP from reading C. A. R. Hoare and the π-calculus I've learned from Robin Milner, which is likely honestly quite enough modeling of concurrency for one lifetime, and hope I can scrape by. I got to page 31 and can't even use it to put off studying for tomorrow's final anymore. Back to John Shen's Modern Processor Design until tomorrow, hi-ho!...more
I've heard much about this book, supposedly the supreme guide to rigorous type-free LC. Tales are told and ballads sung of its epic difficulty; I admiI've heard much about this book, supposedly the supreme guide to rigorous type-free LC. Tales are told and ballads sung of its epic difficulty; I admit fair intimidation. It's hard to find this one for less than $100, so it's been sitting in the Amazon watch queue for quite some time now...I'd like to get a copy before next summer, so I can churn through it prior to taking CS6390 (or whatever they're calling the graduate programming language theory class these days). Supposedly, this is a great follow-up to Benjamin Pierce's books, which I found generally excellent.
update Thu Feb 26 17:54:47 EST 2009 bah this book is never going to be offered cheaply used, it seems -- usually a good portent for textbooks of repute, indicating that few owners are willing to hand their copies over. $111.23 on amazon -- a splurge to be sure, but hey there's a recession on, and we've all got to make it rain now and then for the economy.
update Mon May 18 20:07:42 EDT 2009 I can't take any more of this for at least a few months. Barendregt has put together an awe-inspiring work, but not one that's meant to be chewed through. Unfortunately, skimming seems an impossibility, given the supremely striated content -- I tried jumping 10-20 pages several times, and immediately had no idea what was going on. I was willing to give it time, but 10 chapters in or so, I haven't gained much insight; The Lambda Calculus, Volume 103 in the Studies of Logic and the Foundations of Mathematics and almost certainly the largest and best-known (heh, possibly known to about 50k people worldwide, and that's being very generous) is certainly a pillar of computing and type theory, but I'm content to trust the good Dutchman that it all works. It appears I'm never to be a category theorist; so it must, I suppose, go.
5 stars due to obvious sui generis status, and being more informative in the first two-hundred pages than the dozens of books that try to approach λ-gaming from the sidelong. I finally understand combinators on an axiomatic, theoretical level, which had always kind of bugged me (especially as my home workstation -- since being rebuilt in 2006, anyway -- has been named recombinator (although that's a reference to biocomputing rather than computation theory!)). Who am I to criticize one of the Greatest of all Time? Ἀπόδοτε οὖν τὰ Καίσαρος Καίσαρι καὶ τὰ τοῦ Θεοῦ τῷ Θεῷ....more
Looks decent, but I didn't finish it, having better texts available in all of the book's three major topics (queueing theory ( Kleinrock), stochasticsLooks decent, but I didn't finish it, having better texts available in all of the book's three major topics (queueing theory ( Kleinrock), stochastics ( Grimmett) and probabilistic automata ( Bharucha-Reid))....more
Certainly canonical and authoritative. I dropped the fifth star only because this book addresses Computer Graphics, and we all know about Computer GraCertainly canonical and authoritative. I dropped the fifth star only because this book addresses Computer Graphics, and we all know about Computer Graphics:
"The Real Programmer might compromise his principles and work on something slightly more trivial than the destruction of life as we know it. Providing there's enough money in it. There are several Real Programmers building video games at Atari, for example. (But not playing them-- a Real Programmer knows how to beat the machine every time: no challenge in that.) Everyone working at LucasFilm is a Real Programmer. (It would be crazy to turn down the money of fifty million Star Trek fans.) The proportion of Real Programmers in Computer Graphics is somewhat lower than the norm, mostly because nobody has found a use for Computer Graphics yet. On the other hand, all Computer Graphics is done in Fortran, so there are a fair number of people doing Graphics in order to avoid having to write COBOL programs."...more