Verification of systems and circuits using LOTOS, Petri Nets, and CCS Yazar: Yoeli, Michael 1917-

Bluetooth application programming with the Java APIs Yazar: Thompson, Timothy J. (Timothy Joseph) 1976-

Professional C# 2008

The art of Rails Yazar: Benson, Edward 1983-

Programming for chemical engineers using C, C++, and MATLAB Yazar: Kapuno, Raul Raymond Jr. A.

Data structures using C 1000 problems and solutions Yazar: Mukherjee, Sudipta

C programming a modern approach Yazar: King, K. N. (Kim N.)

A comprehensive introduction to object-oriented programming with Java Yazar: Wu, C. Thomas

Table of contents only

An introduction to programming with C++ Yazar: Zak, Diane

Java data structures and algorithms Yazar: Drozdek, Adam

Table of contents only