|
@@ -59,6 +59,7 @@
|
|
|
* [HTTP](#http)
|
|
* [HTTP](#http)
|
|
|
* [Icon](#icon)
|
|
* [Icon](#icon)
|
|
|
* [iOS](#ios)
|
|
* [iOS](#ios)
|
|
|
|
|
+* [IoT](#iot)
|
|
|
* [Isabelle/HOL](#isabellehol)
|
|
* [Isabelle/HOL](#isabellehol)
|
|
|
* [J](#j)
|
|
* [J](#j)
|
|
|
* [Java](#java)
|
|
* [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)
|
|
* [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
|
|
### Isabelle/HOL
|
|
|
|
|
|
|
|
* [Concrete Semantics - A Proof Assistant Approach by Tobias Nipkow and Gerwin Klein](http://www21.in.tum.de/~nipkow/Concrete-Semantics/) (PDF)
|
|
* [Concrete Semantics - A Proof Assistant Approach by Tobias Nipkow and Gerwin Klein](http://www21.in.tum.de/~nipkow/Concrete-Semantics/) (PDF)
|