Search

Your search returned 3 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)
		Interactive theorem proving : 8th international conference proceedings ITP 2017, Brasília, Brazil, September 26–29, 2017 (e-book) by Ayala-Rincon, Mauricio [Editor] \| Cesar A. Munoz [Editor]. Series: Lecture Notes in Computer Science ; v.10499Material 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)
		Euro-Par 2016: parallel processing workshops : Euro-Par 2016 international workshops, Grenoble, France, August 24-26, 2016 by Desprez, Frederic ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10104Material 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