Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Full Title: Graduate texts in computer science)
Results:2items
Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright
New York : Springer , c1998. - (Graduate texts in computer science)
Books
Algorithmic learning / Alan Hutchinson.
2. - Oxford, England : Clarendon Press , c1994.. - (Graduate texts in computer science ; 2). - (Oxford science publications)