Skip to content
Genbays

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)

Genbays © 2023. All Rights Reserved.