|
741.
|
|
|
742.
|
|
|
743.
|
|
|
744.
|
|
|
745.
|
|
|
746.
|
Web-based Support Systems by JingTao Yao by Yao, JingTao. Material type: Text Publication details: New York Springer Verlag, Netherlands 2010Availability: Items available for reference: Not for loanCall number: REF 005 YAO (1). :
|
|
747.
|
|
|
748.
|
Logics of Specification Languages by Dines Bjorner by Bjorner, D | Henson, Martin C. Material type: Text Publication details: Berlin Springer Verlag, Netherlands 2008Availability: Items available for reference: Not for loanCall number: REF 005.13 BJO (1). :
|
|
749.
|
Handbook of Spatial Logics by Marco Aiello by Aiello, Marco | Benthem, Johan Van | Pratt-Hartmann, Ian. Material type: Text Publication details: Netherland Springer Verlag, Netherlands 2007Availability: Items available for reference: Not for loanCall number: RES 006.3 AIE (1). :
|
|
750.
|
|
|
751.
|
|
|
752.
|
|
|
753.
|
|
|
754.
|
LLL Algorithm by Pong Q. Nguyen by Nguyen, Pong Q | Vallee, Brigitte. Material type: Text Publication details: New York Springer Verlag, Netherlands 2010Availability: Items available for reference: Not for loanCall number: REF 005.8 NGU (1). :
|
|
755.
|
|
|
756.
|
|
|
757.
|
|
|
758.
|
|
|
759.
|
|
|
760.
|
|