Refine your search

Your search returned 133 results.

Sort
Results
Symbolic model checking

by McMillan, Kenneth L | .

Series: Edition: Language: English Publication details: ; Boston : Kluwer Academic Pub., 1993 ; 1993Availability: Items available for loan: 1 Call number: 621.374.32:681.3 McM.

MicroSim PSpice and circuit analysis

by Keown, John | .

Series: Edition: 3rd ed Language: English Publication details: ; Upper Saddle River : Prentice Hall, 1998 ; 1998Availability: Items available for loan: 1 Call number: 621.3.04:681.3.06 Keo.

Analog electronic circuits : analysis and applications

by Northrop, Robert B | .

Series: Edition: Language: English Publication details: Reading ; Addison-Wesley, ; 1990Availability: Items available for loan: 1 Call number: 621.372:621.382 Nor.

Circuit analysis with computer applications to problem solving

by Gupta, Someshwar C | Bayless, Jon W | Peikari, Behrouz | .

Series: BSI 5600 : part - 2 : sect. -2.12 : 1987Edition: Language: English Publication details: Scranton ; Intext Educational Pub., ; 1972Availability: Items available for loan: 1 Call number: 621.3.04:681.3 Gup.

Circuit analysis with computer applications to problem solving

by Gupta, Someshwar C | Bayless, Jon W | Peikari, Behrouz | .

Series: BSI 5600 : part - 2 : sect. -2.12 : 1987Edition: Language: English Publication details: Scranton ; Intext Educational Pub., ; 1972Availability: Items available for loan: 1 Call number: 621.3.04:681.3 Gup(2).

Engineering circuit analysis

by Hayt, William H | Kemmerly, Jack E | .

Series: Lecture notes in computer science ; v. 3935Edition: intl. ed Language: English Publication details: New York ; McGraw-Hill Book, ; 1962Availability: Items available for loan: 1 Call number: 621.3.04 Hay(5).

Engineering circuit analysis

by Hayt, William H | Kemmerly, Jack E | .

Series: Lecture notes in computer science ; v. 3935Edition: intl. ed Language: English Publication details: New York ; McGraw-Hill/Kogakusha, ; 1962Availability: Items available for loan: 1 Call number: 621.3.04 Hay(8).

Circuit analysis of A-C power systems

by Clarke, Edith | .

Series: NIST SP - 967 : 2001Edition: Language: English Publication details: New York ; John Wiley, ; 1950Availability: Items available for loan: 2 Call number: 621.3.04 Cla-2(2), ...

Communication circuits : analysis and design

by Clarke, Kenneth K | Hess, Donald T | .

Series: Computer-aided chemical engineering ; 21 AEdition: Language: English Publication details: Reading ; Addison-Wesley, ; 1971Availability: Items available for loan: 4 Call number: 621.372:621.39 Cla(4), ...

Introduction to circuit complexity : a uniform approach

by Vollmer, Heribert | .

Series: Edition: Language: English Publication details: ; Berlin : Springer, 1999 ; 1999Availability: Items available for loan: 1 Call number: 621.372 Vol.

Pages

Powered by Koha