Results
|
2681.
|
|
|
2682.
|
|
|
2683.
|
|
|
2684.
|
|
|
2685.
|
|
|
2686.
|
|
|
2687.
|
|
|
2688.
|
|
|
2689.
|
|
|
2690.
|
|
|
2691.
|
|
|
2692.
|
|
|
2693.
|
|
|
2694.
|
|
|
2695.
|
|
|
2696.
|
|
|
2697.
|
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.
|
|
2698.
|
|
|
2699.
|
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.
|
|
2700.
|
|