Results
|
481.
|
|
|
482.
|
|
|
483.
|
|
|
484.
|
|
|
485.
|
|
|
486.
|
|
|
487.
|
|
|
488.
|
|
|
489.
|
|
|
490.
|
|
|
491.
|
|
|
492.
|
|
|
493.
|
|
|
494.
|
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings / by Series: Programming and Software Engineering ; 8035
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
495.
|
|
|
496.
|
|
|
497.
|
|
|
498.
|
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings / by Series: Programming and Software Engineering ; 7892
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
499.
|
|
|
500.
|
|