Results
|
16621.
|
|
|
16622.
|
|
|
16623.
|
|
|
16624.
|
|
|
16625.
|
|
|
16626.
|
|
|
16627.
|
|
|
16628.
|
|
|
16629.
|
|
|
16630.
|
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.
|
|
16631.
|
|
|
16632.
|
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.
|
|
16633.
|
|
|
16634.
|
|
|
16635.
|
|
|
16636.
|
|
|
16637.
|
|
|
16638.
|
|
|
16639.
|
|
|
16640.
|
|