Results
|
|
481.
|
|
|
|
482.
|
|
|
|
483.
|
|
|
|
484.
|
|
|
|
485.
|
|
|
|
486.
|
|
|
|
487.
|
|
|
|
488.
|
Agent Technologies, Infrastructures, Tools, and Applications for E-Services [electronic resource] : NODe 2002 Agent-Related Workshop, Erfurt, Germany, October 7-10, 2002, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 2592
Edition: 1st ed. 2003.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003
In:
Springer Nature eBook
Availability: No items available.
|
|
|
489.
|
|
|
|
490.
|
|
|
|
491.
|
|
|
|
492.
|
Genetic and Evolutionary Computation — GECCO 2003 [electronic resource] : Genetic and Evolutionary Computation Conference Chicago, IL, USA, July 12–16, 2003 Proceedings, Part II / by
- Cantú-Paz, Erick [editor.]
- Foster, James A [editor.]
- Deb, Kalyanmoy [editor.]
- Davis, Lawrence David [editor.]
- Roy, Rajkumar [editor.]
- O'Reilly, Una-May [editor.]
- Beyer, Hans-Georg [editor.]
- Standish, Russel [editor.]
- Kendall, Graham [editor.]
- Wilson, Stewart [editor.]
- Wegener, Joachim [editor.]
- Dasgupta, Dipankar [editor.]
- Potter, Mitchell A [editor.]
- Schultz, Alan C [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 2724
Edition: 1st ed. 2003.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003
In:
Springer Nature eBook
Availability: No items available.
|
|
|
493.
|
|
|
|
494.
|
|
|
|
495.
|
Practical design verification by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Cambridge University Press, ©2009
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.381 PRA-P.
|
|
|
496.
|
|
