Programming Books – I

Icon

• The Implementation of the Icon Programming Language

iOS

• Cocoa Dev Central
• iOS 8 App Development Essentials
• iOS Succinctly, Syncfusion (PDF, Kindle) (email address requested, not required)
• Mastering iOS Game Development – Miguel DeQuadros, Packt (email address requested, not required)
• NSHipster (Resource)
• Start Developing iOS Apps (Swift) (HTML)
• Start Developing iOS Apps Today (Objective-C) – Last updated 22.10.2013 (PDF)

IoT

• IoT in five days- V1.1 (PDF, EPUB)

Isabelle/HOL

• Concrete Semantics – A Proof Assistant Approach by Tobias Nipkow and Gerwin Klein (PDF)
• Isabelle/HOL – A Proof Assistant for Higher-Order Logic by Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel(PDF)