Your search returned 3 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Design and validation of computer protocols / Gerard J. Holzmann.

by Holzmann, Gerard J | American Telephone and Telegraph Company.

Material type: book Book; Literary form: Not fiction ; Audience: Specialized; Publisher: Upper Saddle River, United States : Prentice Hall, c.1991Availability: Items available for loan: [Call number: 004.62 HOL] (2). Items available for reference: [Call number: 004.62 HOL] (1).

Place hold Log in to add tags. Add to cart
Software engineering for real-time systems / Jim Cooling.

by Cooling, J. E.

Edition: 1st ed.Material type: book Book; Literary form: Not fiction ; Audience: Specialized; Publisher: Harlow, United Kingdom : Addison-Wesley, 2003Availability: Items available for loan: [Call number: 005.1 COO] (2). Items available for reference: [Call number: 005.1 COO] (1).

Linear programming and network flows / Mokhtar S. Bazaraa, John J. Jarvis, Hanif D. Sherali.

by Bazaraa, M. S | Jarvis, John J | Sherali, Hanif D, 1952-.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken, United States : John Wiley & Sons, Inc., c.2010Availability: Items available for loan: [Call number: 519.72 BAZ] (2). Items available for reference: [Call number: 519.72 BAZ] (1).

Powered by Koha