Software engineering with OBJ : algebraic specification in action /

Full Text (via Springer)

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / by Diaconescu, Răzvan

Software engineering with OBJ : algebraic specification in action /

Automata, Languages and Programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings.

Table of Contents: “…functions of recognizable languages -- Dynamic programming on graphs with bounded …”
Full Text (via Springer)

Logics of specification languages

Full Text (via Springer)

Stylish F♯ : crafting elegant functional code for .NET and .NET core / by Eason, Kit

Full Text (via O'Reilly/Safari)

JavaScript, object oriented programming : build sophisticated web applications by mastering the art of object-oriented Javascript : a course in three modules. by Antani, Ved, Hillar, Gastón C. (Gastón Carlos), Stefanov, Stoyan, Sharma, Kumar Chetan

Full Text (via O'Reilly/Safari)

Pattern-oriented software architecture, by Buschmann, Frank, Henney, Kevlin, Schmidt, Douglas C.

Full Text (via Skillsoft)

Algebraic semantics of imperative programs by Goguen, Joseph

Full Text (via MIT Press)

Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /

Table of Contents: “…Analysis for Asynchronous Programs; Contents; Domain-Specific Languages with …”
Full Text (via Springer)

Learn ECMAScript : discover the latest ECMAScript features in order to write cleaner code and learn the fundamentals of JavaScript / by Mohan, Mehul, Prusty, Narayan

Full Text (via O'Reilly/Safari)

Beginning AngularJS / by Grant, Andrew (Web developer)

Full Text (via O'Reilly/Safari)

Beginning Mac OS X Snow Leopard programming / by Trent, Michael, 1972-

Full Text (via ProQuest)

Beginning Mac OS X Snow Leopard programming / by Trent, Michael, 1972-

Full Text (via O'Reilly/Safari)

The Blender Python API : precision 3D modeling and add-on development / by Conlan, Chris

Full Text (via Skillsoft)

The Blender Python API : precision 3D modeling and add-on development / by Conlan, Chris

Full Text (via O'Reilly/Safari)

3D DEEP LEARNING WITH PYTHON design and develop your computer vision model with 3D data using PyTorch3D and more / by Ma, Xudong

Full Text (via O'Reilly/Safari)

Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 /

Table of Contents: “…principles and theory for OBJ-0, a language to express and execute algebraic …”
Full Text (via Springer)

The 8085 microprocessor : architecture, programming and interfacing / by Kumar, K. Udaya

Table of Contents: “…Chapter 5: First Assembly Language Program -- 5.1 Problem Statement -- 5.2 About …”
Full Text (via O'Reilly/Safari)

Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada /

Table of Contents: “…rewrite systems -- Programming in OBJ and Maude -- Supporting the attribute …”
Full Text (via Springer)