Results
|
|
|
|
|
|
|
Path-oriented program analysis / J. C. Huang. by
Material type:  Text; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Cambridge ; New York : Cambridge University Press, 2008
Availability: Items available for loan: Central Library (1)Call number: 005.1 HUA.
|
|
|
|
|
|
|
|
|
|
|
|
Argumentation in multi-agent systems : first international workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004 : revised selected and invited papers / [editors] Iyad Rahwan, Pavlos Moraitis, Chris Reed. by
- ArgMAS 2004 (1st : 2004 : New York, N.Y.)
- Rahwan, Iyad [editor.]
- Moraitis, Pavlos [editor.]
- Reed, Chris, 1956- [editor.]
Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; 3366 | State-of-the-art survey
Material type: Text; Literary form:
Not fiction
; Audience:
Specialized;
Publication details: Berlin : Springer, c.2005
Availability: Items available for loan: Central Library (1)Call number: 006.3 ARG.
|