Search ResultsElectronic Resources
by
Craigen, Dan, 1953-
ScienceDirect https://www.sciencedirect.com/science/book/9780815513629
Format:
by
Yovits, M. C. (Marshall Clinton)
Format:
by
Zelkowitz, Marvin V., 1945-
Format:
by
Simon, Alan R.
ScienceDirect http://www.sciencedirect.com/science/book/9780126438406
ScienceDirect https://www.sciencedirect.com/science/book/9780126438406
ScienceDirect https://www.sciencedirect.com/science/book/9780126438406
Format:
by
Yovits, M. C. (Marshall Clinton)
ScienceDirect http://www.sciencedirect.com/science/book/9780120121380
Format:
by
Yovits, M. C. (Marshall Clinton)
Format:
by
Lafferty, Edward L.
ScienceDirect https://www.sciencedirect.com/science/book/9780815513292
Format:
by
Moldovan, Dan I.
ScienceDirect http://www.sciencedirect.com/science/book/9781558602540
ScienceDirect https://www.sciencedirect.com/science/book/9781558602540
ScienceDirect https://www.sciencedirect.com/science/book/9781558602540
Format:
by
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
Format:
Eylem Seç