1
Hybrid parallel execution model for logic-based specification languages /

Cover is for reference only
Main Authors: Tsai, Jeffrey J.-P. (Author)
Corporate Authors: World Scientific (Firm)
Group Author: Li, Bing, 1960-
Published: World Scientific Pub. Co.,
Publication Dates: 2001.
eBook
Save to List
Saved in:
2
Knowledge-based software development for real-time distributed systems /

Cover is for reference only
Main Authors: Tsai, Jeffrey J.-P. (Author)
Corporate Authors: World Scientific (Firm)
Group Author: Weigert, Thomas J.
Published: World Scientific Pub. Co.,
Publication Dates: 1993.
eBook
Save to List
Saved in:
3
Intrusion detection : a machine learning approach /

Cover is for reference only
Main Authors: Yu, Zhenwei. (Author)
Corporate Authors: World Scientific (Firm)
Group Author: Tsai, Jeffrey J.-P.
Published: Imperial College Press ; Distributed by World Scientific Pub. Co.,
Publication Dates: 2011.
eBook
Save to List
Saved in:
4
Advances in machine learning applications in software engineering /

Cover is for reference only
Corporate Authors: IGI Global
Group Author: Zhang, Du. (Editor); Tsai, Jeffrey J.-P. (Editor)
Published: IGI Global,
Publication Dates: 2007.
eBook
Save to List
Saved in:
5
Security modeling and analysis of mobile agent systems

Cover is for reference only
Main Authors: Ma Lu.
Group Author: Tsai Jeffrey J.-P.
Published: Imperial College Press,
Publication Dates: 2006.
Call Number: TP338.809/M111
Book
Save to List
Saved in:
6
Machine learning applications in software engineering /

Cover is for reference only
Corporate Authors: World Scientific (Firm)
Group Author: Zhang, Du. (Editor); Tsai, Jeffrey J.-P. (Editor)
Published: World Scientific Pub. Co.,
Publication Dates: 2005.
eBook
Save to List
Saved in:
8
Knowledge-based software development for real-time distributed systems

Cover is for reference only
Main Authors: Tsai Jeffrey J.-P.
Group Author: Weigert Thomas J.
Published: World Scientific Pub. Co.,
Publication Dates: c1993.
Call Number: TP311.52/T877/
Book
Save to List
Saved in:
9
Compositional verification of concurrent and real-time systems

Cover is for reference only
Main Authors: Juan Eric Y. T.
Group Author: Tsai Jeffrey J.-P.
Published: Kluwer Academic Publishers,
Publication Dates: c2002.
Call Number: TP338.6/J913
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —