Artificial intelligence and Logic Programming

1. Global Optimization Algorithms - Theory and Application, ©2007 (Thomas Weise) [Homepage]

2. Planning Algorithms, ©2006 (Steven M. LaValle) 842 pages

3. Gaussian Processes for Machine Learning ©2006 (Carl E. Rasmussen, Christopher K. Williams) 266 pages

4. Brief Introduction to Educational Implications of Artificial Intelligence ©2005-2006 (David Moursund) [Homepage]

5. An Introduction to Logic Programming through Prolog ©1996-2002 (J. M. Spivey/Michael Spivey)

6.Reinforcement Learning: An Introduction, ©1998 (Richard S. Sutton/Andrew G. Barto) 432 pages

7.Foundations of Constraint Satisfaction, ©1993 (Edward Tsang) 300 pages

8. Introduction to Artificial Intelligence and Neural Networks (Linda MacPhee-Cobb)

9. Machine Learning, Neural and Statistical Classification ©1994 (D. Michie/D. Spiegelhalter/C. Taylor)

10. Inductive Logic Programming - Techniques and Applications ©1994 (Nada Lavrac and Saso Dzeroski)

11. Cellular Automata and Complexity ©1994 (Stephen Wolfram) 608 pages

12. Artificial Intelligence and Molecular Biology ©1993 (Edited by L. Hunter), 500 pp

13. Artificial Intelligence through Prolog ©1988 (Neil Rowe) [Source]

14. Visual Reconstruction ©1987 (Andrew Blake/Andrew Zisserman) 238 pages

15. Implementing Mathematics with The Nuprl Proof System ©1986 (R.L.Constable) 304 pages

16. Logic for Computer Science: Foundations of Automatic Theorem Proving ©1986 (Jean Gallier)

17. Rule-Based Expert Systems ©1984 (Edited by Bruce G. Buchanan and Edward H. Shortliffe) 754 pages

18. Rule-Based Expert Systems ©1984 (Edited by Bruce G. Buchanan and Edward H. Shortliffe) 754 pages

19. Databases and Artificial Intelligence (Alison Cawsey)

20. Building Expert Systems In Prolog (Amzi) [Mirror]

21. Introduction to Machine Learning (Nils J. Nilsson)

22. Machine Learning (R. Rivest/Mona Singh)

23. Artificial Intelligence I (W. Jones)

24. Artificial Intelligence II (David Marshall)

25. Artificial Intelligence I (Patrick Winston)

26. Automated Theorem Proving (Frank Pfenning)

27. Intelligence and Multimodality in Multimedia Interfaces: Research & Applications (Edited by John Lee)

28. Artificial Intelligence and Responsive Optimization, 2nd edition, 2003 (M. Khosnevisan, et al)

29. Programming in Martin-Löf's Type Theory: An Introduction (by Bengt Nordström, Kent Petersson, Jan M. Smith)

Algorithms and Data Structures

1. Data Structures and Algorithms: Annotated Reference with Examples ©2008 (Granville Barnett and Luca Del Tongo)

2. Fast Fourier Transforms ©2008 (C. Sidney Burrus) 788 pages

3.Global Optimization Algorithms - Theory and Application ©2008 (Thomas Weise) [Homepage]

3. Algorithms ©2006 (Sanjoy Dasgupta, C.H. Papadimitriou, U.V. Vazirani) 336 pages

4. Planning Algorithms ©2006 (Steven M. LaValle) 842 pages

5. Algorithms and Data Structures with Oberon ©1985-2004 (Niklaus Wirth) [Homepage]

6. Algorithmic Mathematics ©2004 (Leonard Soicher/Franco Vivaldi)

7. Combinatorial Algorithms for Computers and Calculators ©1978-2007 (Albert Nijenhuis and Herbert Wilf)

8. Algorithms Course Materials ©2007 (Jeff Erickson)

9. Average Case Analysis of Algorithms on Sequences ©2002 (Wojciech Szpankowski) 576 pages

10.Algorithms for Modular Elliptic Curves, 2nd Edition ©1997 (J. E. Cremona)

11.Computational Geometry: Methods and Applications ©1996 (Jianer Chen) [Homepage]

12. Lecture Notes on Approximation Algorithms - Volume I (Rajeev Motwani) [Homepage]

13. Approximation Algorithms ©2001 (Vijay V. Vazirani) [Homepage]

14. Knapsack Problems: Algorithms and Computer Implementations ©1990 (Silvano Martello/Paolo Toth)

15. Lecture Notes on Algorithms (Ian Parberry) ©2005

16. Algorithms for Programmers (Jörg Arndt) [Homepage]

17. The Art of Computer Programming, Volumn 1, Fascicle 1: MMIX -- A RISC Computer (Donald E. Knuth)

18.The Art of Computer Programming, Volumn 4, Fascicle 0-1 (Donald E. Knuth) [Homepage]

19. Data Structures And Algorithms

20. Sequential Parallel Sorting Algorithms (H.W. Lang)

21. Graph-Theoretic Algorithms ©2005

22. Convex Optimization ©2004 (Stephen Boyd/Lieven Vandenberghe) 730 pages

23.Lecture Notes on Optimization (Pravin Varaiya)

24. Combinatorial Algorithms (Jeff Erickson)

25. Algorithms in the Real World: Lecture Notes (Guy Blelloch)

26. Information Theory, Inference, and Learning Algorithms ©2002 (David J.C. MacKay)

27. Problems on Algorithms, 2nd Edition ©2002 (Ian Parberry and William Gasarch) [Homepage]

28. Data Structures and Algorithms (John Morris) [Mirror]

29. Data Structures through Java (Peter M. Williams)

30. Data Structures and Algorithms (Kurt Mehlhorn)

31. Data Structures and Algorithms (Alison Cawsey)

32. Design and Analysis of Computer Algorithms ©2003 (David Mount) [Homepage]

33. Data Structures ©2001 (David Mount) [Homepage]

34.Notes on Algorithms ©1998 (David Mount) [Homepage]

35. Notes for the Course of Advanced Algorithms (Johan Håstad) [Homepage]

36. Algorithms and Data Structures in VLSI Design ©2005 (Christoph Meinel/Thorsten Theobald)

37. Introduction to Algorithms (Paul Taylor) [Homepage]

38. Algorithms (Shai Simonson)

39. Information Retrieval, 2nd Edition ©1979 (C.J. van Rijsgergen) 224 pages [Mirror] [Mirror] [Homepage]

40.Lecture Notes on Algorithm Analysis and Computational Complexity, 4th Edition (Ian Parberry)

41. Sorting and Searching Algorithms: A Cookbook (Thomas Niemann) [Mirror] [Mirror]

42. Efficient Algorithms for Sorting and Synchronization ©1999 (Andrew Tridgell)

43. Algorithms and Complexity ©2002 (Herbert S. Wilf) 228 pages

44. The Algorithm Design Manual ©1998 (Steven Skiena) 504 pages

45. Handbook of Algorithms and Data Structures (Gaston H. Gonnet/R. Baeza-Yates)

46. Computer Programming Algorithms Directory

47. Dictionary of Algorithms and Data Structures

48. List of Algorithms [Another]

49. GNU libavl Online Book (Ben Pfaff)

50. Collected Algorithms of ACM

51. The Stony Brook Algorithm Repository

52. Data Structures and Algorithms with Object-Oriented Design Patterns in Java (Bruno R. Preiss)

53. Data Structures and Algorithms with Object-Oriented Design Patterns in C++ (Bruno R. Preiss)

54. Data Structures and Algorithms with Object-Oriented Design Patterns in C# (B.R. Preiss)

55. Data Structures and Algorithms with Object-Oriented Design Patterns in Python (Bruno R. Preiss)

56. Data Structures and Algorithms with Object-Oriented Design Patterns in Ruby

57. Algorithms ©2006 (Sanjoy Dasgupta, C.H. Papadimitriou, U.V. Vazirani) 336 pages

Assembly and Machine Languages

VHDL Books

Computers Hardware and PC Books

3. ARM: Assembly Language Programming ©2004 Peter Knaggs and Stephen Welsh)

4. Programming from the Ground Up using Assembly Languages ©2004 (Jonathan Bartlett) [Homepage]

5. The Art of Assembly Language Programming ©2003 (Randall Hyde) 928 pages [Mirror] [PDF] [PDF]

6. Assemblers and Loaders ©1993 (David Salomon) 308 pages, Published by Ellis Horwood Ltd

7. MMIXware - A RISC Computer for the Third Millennium ©2004 (Donald E. Knuth) 550 pages

8. The Art of Computer Programming, Volumn 1, Fascicle 1: MMIX -- A RISC Computer (Donald E. Knuth)

9. Machine Language For Beginners ©1987 (Richard Mansfield) 350 pages

10. The Second Book Of Machine Language (Richard Mansfield)

11.Programmed Introduction to MIPS Assembly Language

12.PC Assembly Language

13.Win32 Programming for x86 Assembly Language (Henry Takeuchi) [Mirror]

14. Beginners Introduction to the Assembly Language of ATMEL-AVR-Microprocessor (Gerhard Schmidt)