Compiler lab 16-2-99 --------------------------------------------------------- List of books got from Prof Srikant on 13th Feb, 1999 These books are kept in the glass-shelves in the lab. It's use should be restricted to only users of the lab and used in the lab. --------------------------------------------------------- 1) Java Script the Definitive guide - David Flagan - Orielly 2) Advanced Perl Programming - Sriram Srinivasan - Orielly 3) Introduction to Microprocessors - Aditya Mathur - TMH 4) Practical programming in TCL/TK with Floppy - Brent Weltch - PH 5) The XML Handbook - Charles F GOldFarp - PH 6) Prinicples of Database systems - Jeffery O ullman - Galgotia 7) Inter networking with TCP/IP - Dauglas A Comer - PH 8) Xwindows System Programming - Navajyothi Barkakati - PH 9) Integrated approch to Software Engg- Pankak Jalote - Narosa 10) Lex and Yacc - John R Levine - Orielly 11) Petrinet theory and the modellying of systems - James Peterson - PH 12) Compiler Construction, Theory and Practice - Willium A Baret - Galgotia 13) Software metrics, A rigoruous and Practical approach - Normen E Penton - Thompson computer Press 14) Statistical models for software quality ... - Adrean Burr - Thompson 15) Functional program testing and analysis - Willium E Howdel - McGrawHill 16) The Mythical Man-month - Fredricke P Brooks - Addison Wisley 17) Assignment Pblms in Parallel and Distributed Computng - Shahir Bukhari - Kluwer 18) The theory and practice of compiler writing - Gene Paul Tremley - McGrawHill 19) Compiler Construction - Willium M wait - Springer Verlag 20) Design patterns for object oriented software development - Wolfgang Pree - Addision Wesley 21) Computer Organisation - Carl Hamacher - McGrawHill 22) Software tools in Pascal - Carnegan K - Addison Wesley 23) The implementation of functional prog langauges - Peyton Jones - PH 24) Compiler Construction - advance course - FL Bauer - Springer Verlag 25) Syntax of programming languages - Roland C Backhouse - PHI 26) Code generator writing systems - Hans Lunel - Software system Res centre 27) Computer Architecture a modern synthesis Vol -1 - Subrato Dasgupta - John Wiley 28) Computer Architecture a modern synthesis Vol -2 - Subrato Dasgupta - John Wiley 29) Principles of Artificial Intelligence - Nils J Nilson - Springer Verlag 30) Digital computer Priciples - Laurence Jenkings - Wiley Eastern 31) Introduction to Computer Systems - Len H Mc Ewen - McGrawHill 32) Operating system Concepts - Peterson - Addison Wesley 33) Distributed systems - Arch and Impl - BW Lampson - Springer Verlag 34) Introduction to operating system - Harwey M datel - Addison Wesley 35) Operating Systems - Madnic Donven - McGrawHill 36) Vax architecture - Digital Handbook 37) Computer Arch & Parallel Processing - Kai Hwang - McGrawHill 38) The Java Prog Langaure - Ken Arnold - Addison Wesley 39) Real time systems - CM Krishna - Mc GrawHill 40) Computer Structures - Priciples and Examples - Danieal P Siewiorek - McGraw 41) Operating system - Tanenbaum - PH 42) The Art of Computer Programing - DEKnuth - Addision Wesley 43) Systems Prog & Opeating Systems - DM DhamDhare - TMH 44) On to C++ - Patrick Henry Winston - Addison Wesley 45) C++ Effectives - Marshal P Cline - Addison Wesley 46) Advanced C++ Prog styles and idioms - James O Copp - Addison Wesley 47) Analysis and design of parallel algorithms - S Lakshmi Varahan - McGraw 48) Unix Network Prog - Richard Stevens -PHI 49) Prog langauge theory and its implementation - Michale Gorden - PHI 50) Designing efficient algorithms for parallel computers - Michale J Quinn - McGraw 51) The art of Computer prog vol-3 sorting & searching - Knuth - Addison Wesley 52) Parallel Computer Architecture - David E Culler - Morgon kufman 53) Elements of the theory of Computation - Harry R Lewis - PHI 54) Automata - David Hopkin - Mc Millen 55) Algebra - Saunders Mc Lane - Collier Mc Millen 56) Modern Abstract Algebra - Shanti Narayan - S Chand 57) Operations Research - Morris Sasiane - John Wiely 58) Advanced ENgg maths - Creizig - Wiley Eastern 59) Fundamental concepts of Analysis - Alton H Smith - PHI 60) Completeness, Compactness, and Undecidability - Alfred B Manaster - PHI 61) Introduction to Calculus and Analysis - Richard Corint - Wiely International 62) Operations Research - S D Sharma - Keder Nath 63) PDP - 11 Processor Handbook - - Digital Corpn. 64) Calculus - Frank Ayres - Schaum's Outline Series, McGrawHill 65) CGI Programming on WWW - Shishir Gundavaram - O Reilly 66) Mastering Regular Expressions - Jeffery EF - O Reilly 67) Intro to Sys Analysis and Design - IT Hawryszkiewycz - PHI, EEE 68) Object oriented Sys Dev - Dennis De Champeaux - Addison Wesley 69) SOftware dev with C++ - Kjell Nielsen - Academic Press 70) Programmers guide to Lisp - Ken Tracton - TAB 71) Implementation of Prolog - J A Campbell - John Wiley 72) The art of Prolog - Leon Sterling - MIT Press 73) Microsoft Visual C++ Tutorials - Microsoft 74) The C answer book - Tondo & Gimpel - PHI, EEE 75) An introduction to FORTRAN IV prog - Paul W Murrill - Intext 76) Computer Programming in FORTRAN IV - V Rajaraman - PHI - EEE 77) Pattern Hatching - John Vlissides - Addison Wesley 78) Pattern languages for Prog Design-3 - Robert Martin - Addison Wesley 79) Software reliability Engg - John Musa - Mc Graw Hill 80) Object oriented Analysis and Desin - Grady Booch - Benjamin Cummings 81) A discipline for Soft Engg - Watts S Humphrey - Addison Wesley 82) Mainstream Objects - Ed Yourdon - Yourdon Press 83) Software Engg - A practitioners approach - Roger S Pressman - Mc Graw Hill 84) Modern Structured analysis - Edward Yourdon - PHI , EEE 85) Analysis Patterns - Martin Fowler - Addison Wesley 86) Handbook of Software Quality Assurance - G Gordon Schulmeyer - PH 87) The C++ prog language - Bjarne Stroustrup - Addison Wesley 88) STL for C++ prog - Leen Ammeraal - John Wiley 89) Information systems thru COBOL - Andreas S Philippakis - Mc Graw Hill 90) Exploring JAVA - Patrick Niemeyer - O Reilly 91) Learn Java NOW - Stephen R Davis - Microsoft 92) Execution models of Prolog for parallel Computers - Peter Kacsuk - MIT pres 93) Visual object oriented programming - Margaret M Burnett - PH 94) Numerical Methods with FORTRAN IV Case studies - William S Dorn - Wiley 95) Prog in Prolog - WF Clocksin - Springer Verlag 96) Focus on Scientific visualisation - H Hagen - Springer Verlag 97) Micro Prolog: Prog in Logic - K L Clark - PH 98) The annotated C++ ref manual - Ellis Margaret - Addison Wesley 99) Programming with FORTRAN - KR Venugopal - UVCE publication 100) ADA A programmers conversion course - Stratford Collins - East-West Press 101) Programming in Modula-2 - Nikalus Wirth - Springer Verlag 102) Switching and Finete Automata Theory -Zvi Kohavi - TMH 103) Microprogramming Primer - Harry Katzan Jr - Mc Graw Hill 104) Instroduction to Switching theory and Logical Design - Hill & Peterson - Wiley International 105) Switching circuits for Engineers - Mitchell P Marcus - PHI, EEE 106) Theory of attribute grammars - Gilberto File' 107) Optimising Super Compilers for Super Computers - Michael Wolf - Pitman 108) Parallel & Distributed Computation, Numerical Methods - Dimitri P Bertsekas- PH 109) Practice and Principles of Compiler building in C - Henk Alblas - PHI, EEE 110) Compiler Design in C - Allen I Holub - PHI, EEE 111) Compiler Design Theory - PM LewisII - Addison Wesley 112) Compiler Construction for Digital computers - David Gries - Wiley 113) An Implementation guide to Compiler writing - Trembley - Mc GrawHill 114) Programming Perl - Larry Wall - O Reilly 115) i860 64-bit microprocessor Prog ref manual - Intel 116) Advanced Computer Arch - Hwang - Mc GrawHill 117) Computer Arch & Organisation - Hayes - Mc GrawHill 118) Bit Slice - microprocessor Design - John Mich - Mc Graw Hill 119) Computer Arch - Quantitative approach - John Hennessy - Morgan Kaufmann 120) Mini Computer Systems - Richard H Eckhouse JR - PH 121) Loop Parallelisation - Utpal Banerjee - Kluwer Academic 122) Dependence Analysis - Utpal Banerjee - Kluwer Academic 123) Learning Perl - Randal L Schwartz - O' Reilly 124) Matrix theory and Linear Algebra - IN Hersteen - Maxwell Mc Millen 125) Intro to theory of Numbers - Ivan Niven - Wiley Eastern 126) Linear Algebra - AG Hamilton - Cambridge Univ Press 127) Combinatorics - V Krishnamurthy - East-West 128) Optimization - theory and application - SS Rao - Wiley Eastern 129) Concrete Mathmatics - Graham - Addison Wesley 130) Intro to discrete maths - Robert J McEliece - Mc GrawHill 131) The data compression book - Mark Nelson - BPB 132) Intro to electromagnetic theory - S Selly - Mc Grawhill 133) Verifying concurrent processes using temporal logic - Brent T Hailpern Springer Verlag 134) Introduction to Topology and Modern Analysis - G F Simmons - MacGraw Hill 135) Probability, Random Variables and Stochastic Processes - Papoulis - MacGraw Hill 136) Designing the User Interface - Ben Shneiberman - Addison Wesley 137) Interactive Computer Graphics - Wolfgang K Giloi - PH 138) Principles of Interactive Computer Graphics - William M. Newman - MacGraw Hill 139) Cost Accounting - Bierman - PWS Kent 140) Topics in Algebra - I N Herstein - Vikas Publishing House 141) Elements of Discrete Mathematics - C L Liu - MacGraw Hill 142) A Brief Survey of Modern Algebra - Berkoff - IBH 143) Sets and Groups - J A Green - ELBS 144) Linear Algebra - Serge Lang - Addison Wesley 145) The Art of Managing Finance - David Davies - MacGraw Hill 146) Graph Theory - Hardy - Narosa 147) Mathematical Logic - Yu L Ershov - Mir Publishers 148) Introduction to Mathematical Analysis - C R J Clapham - Routledge & Kegan Paul 149) Set Theory and Logic - Robert R Stoll - Eurasia Publishing House 150) Logic for Mathematicians -A G Hamilton - Cambridge 151) Finance and Managerial Accounting - Belvard E Needles - Houghton Miflin 152) Digital Signal Processing - Alan V Oppenheim - PH 153) Occam Programming Manual 154) DIANA - An Intermediate Language for Ada - (Ed) G Goose - Springer Verlag 155) Artificial Intelligence - Elaine Rich - Tata MacGraw Hill 156) Techniques of Artificial Intelligence - Stewart C Shapiro - D Van Nostran Company 157) Introduction to Artificial Intelligence - Eugene Charniak - Addison Wesley 158) Principles of Programming Languages - R D Tennent - PHI 160) Inside the C++ Object Model - Stanley B. Lippman - AW 161) Functional Programming - Anthony J. Field & Peter G. Harrison - AW 162) Current Trends in Programming Methodology (Vol. IV) - Raymond T. Yeh(Ed.) - PHNJ 163) Programming Languages, Design and Implementation - Terrence W. Pratt & Marvin V. Zelkowitz - PHEEE 164) Parallel Logic Programming Techniques - Stephen Taylor - PHIE 165) The Vienna Development Method: The Meta-Language, Goos & Hartmanis(Ed.) - Springer Verlag. 166) Introduction to Symbolic Logic - Basson & O' Connor- Oxford University Press 167) Programming Languages, Concepts and Constructs - Ravi Sethi - AW 168) Foundations of Computer Science, C Edition - Aho & Ullman - AW 169) The Science of Programming - David Gries - Springer Verlag 170) Introduction to Computer Theory - Daniel I A Cohen - John Wiley & Sons 171) Mathematical Theory of Computation - Zohar Manna - McGraw Hill (Int) 172) Algebraic Semantics - Irene Guessarian - Springer Verlag 173) Fundamentals of Programming Languages - Ellis Horowitz - Galgotia 174) Introductory Theory of Computer Science - E V Krishna Murthy - Affliated East West Press 175) Mathematical Theory of Program Correctness - Jaco de Bakker - Prentice Hall 176) An Attribute Grammar for the Semantic Analysis of Ada - Uhl, Drossopoulou, Lect Notes (139) - Springer Verlag 177) Introduction to Functional Programming - Richard Bird & Philip Wadler - PrenticeHall 178) Formal Languages and Their Relation to Automata - Hopcroft & Ullman - AW 179) The Design of Dynamic Data Structures - Mark H. Overmars, Lect Notes (156) - Springer 180) Data Structures using C++ - Yedidhyah Langsam, Moshe Augenstein & Andrew Tanenbaum - PHEEE 181) Algorithmics - Gilles Brassard & Paul Bratley - PHIE 182) Data Structures and Program Design - Robert L. Kruse - PHEEE 183) Theory and Practice of Data Structures - Seymour Lipschutz - Schaum (McGraw) 184) Languages and Compilers for Parallel Computing - David Gelenter, Alexandru Nicolou and Padua David (Ed.) - MIT Press 185) Data Management and File Structures - Mary E S Loomis - PHEEE 186) Data Structures using C - Andrew Tanenbaum, Yedidhyah Langsam, Moshe Augenstein - PHEEE 187) An Introduction to Programming and Problem Solving using Pascal - Schneider, Weingart and Perlman - Wiley Int (WIE) 188) Advanced Programming in Pascal with Data Structures - Larry Nyhoff, Sanford Leestma - MacMillan 189) A Discipline of Programming - Edsger W. Dijkstra - PHEEE 190) The Design and Analysis of Parallel Algorithms - Selim G. Aki - PHNJ 191) Algorithms in C , Robert Sedgewick - AW 192) The Art of Computer Programming, Vol 1 (Fundamental Algorithms) - Donald E. Knuth - AW 193) Introduction to Operating System Design - Habermann A N - Galgotia 194) Fundamentals of Data Structures in Pascal - Horowitz & Sahni - Galgotia 195) Advanced Compiler Design & Implementation - Steven S. Muchnick - Morgan Kaufmann (MK) 196) Fundamental Structures of Computer Science - William Wulf, Mary Shaw, Paul Hilfinger & Lawrence Flon - AW 197) The JVM Specification - Tim Lindholm and Frank Yellin - AW 198) Introduction to Calculus and Analysis - Courant R., John F. - Wiley International 199) Elementary Probability Theory with Stochastic Processes - Kai Lai Chung - Narosa 200) Exercises in Set Theory - L E Sigler - Springer International 201) Applied Combinatorics - Alan Tucker - Wiley International 202) Logic for Computer Science, Foundations of Automatic Theorem Proving - Jean H. Gallier - John Wiley 203) Logic for Computer Science - Steve Reeves, Michael Clarke - AW 204) Discrete Mathematical Structures with Applications to CS - Tremblay and Manohar - McGraw Hill 205) Theory and Problems of Matrices, Frank Ayres - Tata McGraw Hill 206) Probability and Statistics with Reliability, Queuing and Computer Science Applications - K S Trivedi - PHEEE 207) A First Course in Probability - Sheldon and Ross - PHI 208) Mathematical Circles, Russian Experience - Dmitri Fomin, Sergey Genkin and IIia Itenberg - Universities Press 209) Theory and Problems of Set Theory - Seymour Libschutz - Schaum (McGraw Hill) 210) Graph Theory with Applications to Engineering & Computer Science - Narsing Deo, PHNJ 211) Theory and Problems of Group Theory - Benjamin Baumslag & Bruce Chandler - Schaum (McGraw Hill) 212) An Introduction to Data Structures With Applications - Tremblay & Sorenson - McGraw Hill International 213) The Denotational Description of Programming Languages, An Introduction - Michael J C Gordon - Springer Verlag 214) Computer Networks - Andrew S. Tanenbaum - PHEEE 215) An Introduction to Database Systems - C J Date - AW 216) The Design of the Unix Operating System - Maurice J. Bach - PHNJ 217) Internet System Handbook - Daniel Lynch & Marshall T. Rose - AW 218) Operating Systems - Lorin H. and Deitel H M - AW 219) Design of Distributed Operating Systems, Concepts and Technology - Paul J. Fortier - McGraw Hill International 220) Concurrency Control and Recovery in Database Systems - Bernstein, Hadzilacos and Goodman - AW 221) Introduction to the Theory of Programming Languages - Bertrend Meyer - PHNJ 222) A Programming Approach to Computability - A J Kfoury, Robert N Moll & Michael A. Abib - Springer Verlag 223) Mathematical Logic - Joseph R. Shoenfield - AW 224) In Pursuit of Excellence, A History of IISc - Subadrayappa - TMH 225) Operating System Concepts - Silberchatz, Galvin - AW 226) Introduction to Formal Language Theory - Michael A. Harrison - AW 500) Software Testing Techniques - Boris Beizer - Van Nostrand Reinhold 501) Essentials of Programming Languages - Friedmann Daniel, Mitchell Wand & Christopher Haynes - MIT Press 502) Handbook of Algorithms and Data Structures - G H Gonnet - AW 503) Introduction to Compiler Construction with UNIX - Schreiner & Friedman Jr. - PHNJ 504) Dependence Analysis for SuperComputing - Utpal Banerjee - Kluwer Academic Press 505) Notes on Introductory Combinatorics - George Polya, Robert E. Tarjan & Donald R. Woods - BirkHauser 506) Introduction to Numerical Methods for Parallel Computers - Schendel & Conolly - Ellis Horwood 507) Design and Validation of Computer Protocols - Gerard Holzmann - PHNJ 508) A Programming Methodology in Compiler Construction - Lewi, De Vlaminck, Huens and Huybretchs - North Holland 509) Generating Language Based Environments - Thomas Reps - (Cornell PhD Dissertation) 510) TeX for the Impatient - Paul W. Abrahams, Karl Berry and Kathryn A. Hargreaves - AW 511) Flow Analysis of Code Containing Array References- Apostolos Demetrios Kallis - (U. Michigan PhD Diss.) 512) Software Requirements: Objects, Functions and States - Alan M. Davis PHNJ 513) Object Oriented Development: The Fusion Method - Derek Coleman, Patrick Arnold, Stephanie Bodoff, Chris Dollin, Helena Gilchrist, Fiona Hayes and Paul Jeremas - PHNJ 514) Efficient Parallel Algorithms - Alan Gibbons & Wojciech Rytter - Cambridge University Press 515) Induction, Recursion & Programming - Mitchell Wand - North Holland