|
425 | 425 | #### Mathematics For Computer Science |
426 | 426 |
|
427 | 427 | * [Discrete Structures for Computer Science: Counting, Recursion, and Probability](http://cglab.ca/~michiel/DiscreteStructures/) - Michiel Smid |
428 | | -* [Mathematics for Computer Science (May 2015 Version)](https://courses.csail.mit.edu/6.042/spring15/mcs.pdf) - Eric Lehman, F Thomson Leighton and Albert R Meyer (PDF) |
429 | 428 |
|
430 | 429 |
|
431 | 430 | #### Misc |
|
484 | 483 | * [Small Memory Software](http://www.smallmemory.com/book.html) |
485 | 484 | * [SVG Essentials](http://commons.oreilly.com/wiki/index.php/SVG_Essentials) |
486 | 485 | * [The Quest for Artificial Intelligence: A History of Ideas and Achievements](http://ai.stanford.edu/~nilsson/QAI/qai.pdf) - Nils J. Nilsson (PDF) |
487 | | -* [The Z Notation: A Reference Manual, Second Edition](http://spivey.oriel.ox.ac.uk/~mike/zrm/zrm.pdf) - J. M. Spivey (PDF) |
488 | 486 |
|
489 | 487 |
|
490 | 488 | #### MOOC |
|
493 | 491 | * [edX](https://www.edx.org) |
494 | 492 | * [FutureLearn](https://www.futurelearn.com) |
495 | 493 | * [MIT OCW](http://ocw.mit.edu/index.htm) |
496 | | -* [NPTEL](http://nptel.ac.in/courses.php?disciplineId=106) |
497 | 494 | * [Platzi](https://courses.platzi.com) |
498 | 495 | * [Udacity](https://www.udacity.com) |
499 | 496 |
|
|
645 | 642 |
|
646 | 643 | #### Theoretical Computer Science |
647 | 644 |
|
648 | | -* [An Introduction to the Theory of Computation](http://web.cse.ohio-state.edu/~gurari/theory-bk/theory-bk.html) |
649 | 645 | * [Building Blocks for Theoretical Computer Science](http://mfleck.cs.illinois.edu/building-blocks/index.html) - Margaret M. Fleck |
650 | 646 | * [Category Theory for Computing Science](http://www.tac.mta.ca/tac/reprints/articles/22/tr22.pdf) (PDF) |
651 | 647 | * [Homotopy Type Theory: Univalent Foundations of Mathematics](http://homotopytypetheory.org/book/) (PDF) |
|
662 | 658 | * [Semantics with Applications: A Formal Introduction](http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html) - Hanne Riis Nielson, Flemming Nielson |
663 | 659 | * [Structure and Interpretation of Computer Programs](https://mitpress.mit.edu/sicp/) |
664 | 660 | * [Structure and Interpretation of Computer Programs](http://sarabander.github.io/sicp/html/index.xhtml) |
665 | | -* [Theory of Computation](http://www.cse.iitd.ernet.in/~ssen/csl705/admin705.html) - Sandeep Sen, IIT Delhi |
666 | 661 | * [Think Complexity](http://www.greenteapress.com/compmod/) - Allen B. Downey |
667 | 662 |
|
668 | 663 |
|
|
1041 | 1036 |
|
1042 | 1037 | ### Git |
1043 | 1038 |
|
1044 | | -* [A practical git introduction](http://marc.helbling.fr/2014/09/practical-git-introduction/) |
| 1039 | +* [A practical git introduction](http://marc.helbling.fr/2014/09/practical-git-introduction) |
1045 | 1040 | * [A Visual Git Reference](http://marklodato.github.io/visual-git-guide/index-en.html) - Mark Lodato |
1046 | 1041 | * [Conversational Git](http://blog.anvard.org/conversational-git/) |
1047 | 1042 | * [git - the simple guide](http://rogerdudler.github.io/git-guide/) |
|
1085 | 1080 |
|
1086 | 1081 | #### Gradle |
1087 | 1082 |
|
1088 | | -* [Building and Testing with Gradle](https://gradle.org/servicesregistered-access?content=books%2Fbuilding-and-testing%2F) |
1089 | 1083 | * [Building Java Projects with Gradle](http://spring.io/guides/gs/gradle/) |
1090 | 1084 | * [Gradle User Guide](https://docs.gradle.org/current/userguide/userguide.html) - Hans Dockter, Adam Murdoch ([PDF](https://docs.gradle.org/current/userguide/userguide.pdf)) |
1091 | 1085 |
|
|
1207 | 1201 | * [Concrete Math Companion by Kenneth E Iverson](http://www.jsoftware.com/books/pdf/cmc.pdf) (PDF) |
1208 | 1202 | * [Easy J by Linda Alvord, Norman Thomson](http://www.jsoftware.com/books/pdf/easyj.pdf) (PDF, [Word DOC](http://www.jsoftware.com/books/doc/easyj_doc.zip)) |
1209 | 1203 | * [Exploring Math by Kenneth E Iverson](http://www.jsoftware.com/books/pdf/expmath.pdf) (PDF) |
1210 | | -* [J for C Programmers by Henry Rich](http://www.jsoftware.com/help/jforc/contents.htm) ([PDF](http://www.jsoftware.com/jwiki/HenryRich?action=AttachFile&do=get&target=JforC20071003.pdf), [Word 2003](http://www.jsoftware.com/jwiki/HenryRich?action=AttachFile&do=get&target=JforC20070929.doc)) |
| 1204 | +* [J for C Programmers by Henry Rich](http://www.jsoftware.com/help/jforc/contents.htm) |
1211 | 1205 | * [J Primer](http://www.jsoftware.com/help/primer/contents.htm) |
1212 | | -* [J Reference Card](http://www.jsoftware.com/jwiki/HenryRich?action=AttachFile&do=view&target=J602_RefCard_color_letter_current.pdf) (PDF) |
1213 | 1206 | * [Learning J by Roger Stokes- online](http://www.jsoftware.com/help/learning/contents.htm) |
1214 | 1207 | * [Math for the Layman by Kenneth E Iverson](http://www.jsoftware.com/books/pdf/mftl.zip) (zipped html+images) |
1215 | 1208 |
|
|
1219 | 1212 | * [3D Programming in Java](http://www.mat.uniroma2.it/~picard/SMC/didattica/materiali_did/Java/Java_3D/Java_3D_Programming.pdf) - Daniel Selman (PDF) |
1220 | 1213 | * [Apache Jakarta Commons: Reusable Java Components](http://ptgmedia.pearsoncmg.com/images/0131478303/downloads/Iverson_book.pdf) - Will Iverson (PDF) |
1221 | 1214 | * [Artificial Intelligence - Foundation of Computational Agents](http://artint.info/html/ArtInt.html) |
1222 | | -* [Cadmus: A Primer in Java](http://java.divshot.io) - Hashan Punchihewa, Joseph Bills et al. |
1223 | 1215 | * [Category wise tutorials - J2EE](http://www.mkyong.com) |
1224 | 1216 | * [Core Servlets and JavaServer Pages](http://pdf.coreservlets.com) - Marty Hall and Larry Brown |
1225 | 1217 | * [Data Structures and Algorithms with Object-Oriented Design Patterns in Java](http://www.brpreiss.com/books/opus5/html/page9.html) |
@@ -1687,10 +1679,8 @@ For resources on Angular, Backbone, D3, Dojo, Ember, Express, jQuery, Knockout, |
1687 | 1679 | * [Logic, Programming and Prolog (2ed)](http://www.ida.liu.se/~ulfni53/lpp/) |
1688 | 1680 | * [Natural Language Processing Techniques in Prolog](http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/) - P. Blackburn, K. Striegnitz |
1689 | 1681 | * [Prolog and Natural - Language Analysis](http://www.mtome.com/Publications/PNLA/pnla-digital.html) - Fernando C. N. Pereira, Stuart M. Shieber |
1690 | | -* [Prolog Experiments in Discrete Mathematics, Logic, and Computability](http://web.cecs.pdx.edu/~jhein/books/PrologLabBook09.pdf) - James L. Hein (PDF) |
1691 | 1682 | * [Prolog for Programmers](https://sites.google.com/site/prologforprogrammers/) |
1692 | 1683 | * [Prolog Problems](https://sites.google.com/site/prologsite/prolog-problems) - Werner Hett |
1693 | | -* [Prolog Programming: A First Course](http://engronline.ee.memphis.edu/deductiveDB/prolog_book.pdf) - Paul Brna (PDF) |
1694 | 1684 | * [Prolog Techniques](http://bookboon.com/en/prolog-techniques-applications-of-prolog-ebook) |
1695 | 1685 | * [Prolog Tutorial](http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html) |
1696 | 1686 | * [Simply Logical](http://www.cs.bris.ac.uk/~flach/SimplyLogical.html) - P. Flach (HTML, PDF) |
|
0 commit comments