Results
|
|
8961.
|
|
|
|
8962.
|
|
|
|
8963.
|
|
|
|
8964.
|
|
|
|
8965.
|
|
|
|
8966.
|
|
|
|
8967.
|
|
|
|
8968.
|
Conceptual Modeling for Novel Application Domains [electronic resource] : ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2814
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.
|
|
|
8969.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2575
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.
|
|
|
8970.
|
|
|
|
8971.
|
|
|
|
8972.
|
|
|
|
8973.
|
|
|
|
8974.
|
|
|
|
8975.
|
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.
|
|
|
8976.
|
|
|
|
8977.
|
|
|
|
8978.
|
|
|
|
8979.
|
|
|
|
8980.
|
|
