Results
|
501.
|
|
|
502.
|
Interactive Systems. Design, Specification, and Verification [electronic resource] : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2844
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.
|
|
503.
|
|
|
504.
|
|
|
505.
|
|
|
506.
|
|
|
507.
|
|
|
508.
|
|
|
509.
|
|
|
510.
|
|
|
511.
|
|
|
512.
|
|
|
513.
|
|
|
514.
|
|
|
515.
|
|
|
516.
|
|
|
517.
|
|
|
518.
|
|
|
519.
|
Agent-Oriented Information Systems [electronic resource] : 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3030
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
520.
|
|