Results
|
|
An introduction to practical formal methods using temporal logic / by Michael Fisher. by Fisher, Michael, 1962-. Material type: 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; 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, ...
|
|
|
|
|
|
Fundamentals of matrix computations / David S. Watkins. by Watkins, David S. Edition: 3rd ed.Material type: 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.
|
|
|
|
|
|
|
|
|
|
|
|
|