Algorithmics and Logical Methods References [CT853]

CT853 Home Page	http://geminga.it.nuigalway.ie/~gettrick/courses/CT853/
online guides and tutorials on algorithmics and logical methods	http://www.nuigalway.ie/mat/algorithms/ http://geminga.it.nuigalway.ie/cai_tutor/ [recommended!] http://ciips.ee.uwa.edu.au/~morris/Courses/PLDS210/ds_ToC.html [recommended!] http://ciips.ee.uwa.edu.au/~morris/Courses/PLDS210/niemann/s_man.htm http://www.cmpe.boun.edu.tr/~akin/cmpe223/homepage.htm http://www.softpanorama.org/Algorithms/algorithms.shtml http://www-cgrl.cs.mcgill.ca/~godfried/teaching/algorithms-web.html
books on algorithmics and logical methods	Understanding Algorithms and Data Structures D. Brunskill & J. Turner `McGraw-Hill` Compared to What? An Introduction to the Analysis of Algorithms G. J. E. Rawlins `Computer Science Press` Data Structures, Algorithms, and Applications in Java Sartaj Sahni `Mc Graw Hill` Intermediate Problem Solving and Data Structures Helman, Veroff, Carrano `Benjamin/Cummings` Mathematical Structures for Computer Science Judith L. Gersting `Freeman` Introduction to algorithms Cormen, Leiserson & Rivest `MIT Press` Programming and algorithms : an introduction Anthony J. Guttmann `Heinemann Educational Books` Computer algorithms : introduction to design and analysis Sara Baase `Addison-Wesley` A practical introduction to data structures and algorithm analysis Clifford A. Shaffer `Prentice Hall` Algorithms in C Robert Sedgewick `Addison Wesley` Logic and algorithms, with applications to the computer and information sciences Robert R. Korfhage `Wiley` Algorithms and data structures Jeffrey Kingston `Addison Wesley` An introduction to data structures and algorithms with Java Glenn Rowe `Prentice Hall` and many other books at http://www.library.nuigalway.ie/