|
|
61.
|
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
|
|
|
65.
|
|
|
|
66.
|
Swarm Intelligent Systems by Nadia Nedjah by Nedjah, Nadia | Mourelle, Luiza de Macedo. Material type:  Text Publication details: Berlin Springer Verlag 2006Availability: Items available for reference: Not for loanCall number: REF 006.3 NED (1). :
|
|
|
67.
|
|
|
|
68.
|
|
|
|
69.
|
Intelligent Distributed Computing V: proceedings of the 5th International Symposium on Intelligent Distributed Computing -- IDC 2011, Delft, The Netherlands, October 2011, by F. M. T. Brazier by Brazier, F. M. T | Badica, Costin | Warnier, Martijn | Pavlin, Gregor | Nieuwenhuis, Kees. Edition: 1st ed.Material type: Text Publication details: Berlin Springer Verlag, Netherlands 2011Availability: Items available for reference: Not for loanCall number: REF 004.36 BRA (1). :
|
|
|
70.
|
Constraint-Based Verification by Jun Yuan by Yuan, Jun | Aziz, Adnan | Pixley, Carl. Material type: Text Publication details: New York Springer 2006Availability: Items available for reference: Not for loanCall number: REF 005.115 YUA (1). :
|
|
|
71.
|
|
|
|
72.
|
|
|
|
73.
|
|
|
|
74.
|
|
|
|
75.
|
|
|
|
76.
|
|
|
|
77.
|
|
|
|
78.
|
|
|
|
79.
|
|
|
|
80.
|
|
