Results
|
821.
|
|
|
822.
|
|
|
823.
|
|
|
824.
|
|
|
825.
|
|
|
826.
|
|
|
827.
|
|
|
828.
|
|
|
829.
|
|
|
830.
|
|
|
831.
|
|
|
832.
|
|
|
833.
|
|
|
834.
|
|
|
835.
|
|
|
836.
|
|
|
837.
|
|
|
838.
|
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.
|
|
839.
|
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.
|
|
840.
|
|