Results
|
|
501.
|
|
|
|
502.
|
|
|
|
503.
|
Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers / by Series: Programming and Software Engineering ; 3844
Edition: 1st ed. 2006.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
|
504.
|
|
|
|
505.
|
|
|
|
506.
|
|
|
|
507.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7214
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
508.
|
|
|
|
509.
|
|
|
|
510.
|
|
|
|
511.
|
|
|
|
512.
|
|
|
|
513.
|
|
|
|
514.
|
|
|
|
515.
|
|
|
|
516.
|
|
|
|
517.
|
|
|
|
518.
|
|
|
|
519.
|
|
|
|
520.
|
|
