Your search returned 28 results.

Not what you expected? Check for suggestions
Sort
Results
An introduction to practical formal methods using temporal logic / by Michael Fisher.

by Fisher, Michael, 1962-.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General; Publication details: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, c2011Other title: Practical formal methods using temporal logic.Availability: Items available for loan: 3 Call number: 511.3 FIS-A 2011 8981, ... Items available for reference: Not for loan (1) Call number: 511.3 FIS-A 2011 8983.

The analysis and design of linear circuits / Roland E. Thomas, Albert J. Rosa, Gregory J. Toussaint.

by Thomas, Roland E, | Rosa, Albert J, 1942- | Toussaint, Gregory J.

Edition: 7th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, 2012Availability: Items available for loan: 2 Call number: 621.395 THO-T 2012 2615, ...

The dark side of software engineering: evil on computing projects / Johann Rost and Robert L. Glass.

by [Rost, Johann] | Rost, Johann | Glass, Robert L, | .

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley : c2011Availability: Items available for loan: 1 Call number: 174.9051 ROS-D 2011 10283.

Fundamentals of matrix computations / David S. Watkins.

by Watkins, David S.

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, c2010Availability: Items available for loan: 5 Call number: 512.9434 WAT-F 2010 10673, ... Items available for reference: Not for loan (1) Call number: 512.9434 WAT-F 2010 11814.

Financial analysis and modeling using Excel and VBA / Chandan Sengupta.

by Sengupta, Chandan, | Sengupta, Chandan. Financial modeling.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, c2018Availability: Items available for loan: 1 Call number: 332.0285 SEN-F 2018 11858.

An introduction to numerical methods and analysis / James F. Epperson.

by Epperson, James F.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: New York : J. Wiley, c2002Online access: Publisher description | Table of Contents Availability: Items available for loan: 1 Call number: 519.4 EPP-I 2002 12065.

The bomb in my garden : the secret of Saddam's nuclear mastermind / by Mahdi Obeidi and Kurt Pitzer.

by Obeidi, Mahdi, 1944- | Pitzer, Kurt.

Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley, c2004Online access: Table of contents only Availability: Items available for loan: 1 Call number: 956.7044092 OBE-B 2004 12863.

Dr. Math explains algebra : learning algebra is easy! just ask Dr. Math! / the Math Forum.

by Math Forum.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Pre-adolescent; Publication details: Hoboken, N.J. : Wiley, c2004Other title: Doctor Math explains algebra.Online access: Table of contents | Publisher description Availability: Items available for loan: 1 Call number: 512 MAT 2004 13096.

Pages