Results
|
441.
|
|
|
442.
|
|
|
443.
|
|
|
444.
|
|
|
445.
|
|
|
446.
|
|
|
447.
|
|
|
448.
|
|
|
449.
|
|
|
450.
|
|
|
451.
|
Conceptual Modeling – ER 2010 [electronic resource] : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6412
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
452.
|
|
|
453.
|
|
|
454.
|
|
|
455.
|
|
|
456.
|
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Series: Lecture Notes in Computer Science ; 3185
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.
|
|
457.
|
|
|
458.
|
|
|
459.
|
|
|
460.
|
|