Search

Your search returned 4 results.

Results
		Quantitative evaluation of systems : 12th international conference, QEST, proceedings, Madrid, Spain, Sep. 1-3, 2015 (e-book) by Campos, Javier [Editor] \| Haverkort, Boudewijn R [Editor]. Series: Lecture Notes in Computer Science (LNCS). LNCS Sublibrary : SL1–Theoretical Computer Science and General Issues (LNTCS) ; v.9259 \| QEST : International Conference on Quantitative Evaluation of Systems Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal Methods: Foundations and applications : 20th Brazilian Symposium proceedings, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 (e-book) by Cavalheiro, Simone [Editor] \| Fiadeiro, Jose [Editor]. Series: Lecture Notes in Computer Science ; v.10623Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Product-Focused software process improvement : 18th international conference proceedings, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017 by Felderer, Michael ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10611Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)
		Security of networks and services in an All-Connected world by Tuncer, Daphne ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10356Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha