Results
|
2701.
|
|
|
2702.
|
|
|
2703.
|
|
|
2704.
|
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.
|
|
2705.
|
|
|
2706.
|
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.
|
|
2707.
|
|
|
2708.
|
|
|
2709.
|
|
|
2710.
|
|
|
2711.
|
|
|
2712.
|
|
|
2713.
|
|
|
2714.
|
|
|
2715.
|
|
|
2716.
|
|
|
2717.
|
|
|
2718.
|
|
|
2719.
|
|
|
2720.
|
|