@ -59,6 +59,7 @@
* [HTTP](#http)
* [Icon](#icon)
* [iOS](#ios)
* [IoT](#iot)
* [Isabelle/HOL](#isabellehol)
* [J](#j)
* [Java](#java)
@ -1198,6 +1199,11 @@
* [Start Developing iOS Apps Today (Objective-C) - Last updated 22.10.2013](http://everythingcomputerscience.com/books/RoadMapiOS.pdf) (PDF)
### IoT
* [IoT in five days- V1.1](https://github.com/marcozennaro/IPv6-WSN-book/tree/master/Releases) (PDF, EPUB)
### Isabelle/HOL
* [Concrete Semantics - A Proof Assistant Approach by Tobias Nipkow and Gerwin Klein](http://www21.in.tum.de/~nipkow/Concrete-Semantics/) (PDF)