Search

Your search returned 108 results.

Results
		Software engineering for self-adaptive systems III. assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013 (e-book) by Rogerio de Lemos [et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.9640Material 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)
		Formal methods and software engineering : 19th international conference proceedings on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017 (e-book) by Duan,Zhenhua [Editor] \| Ong, Luke [Editor]. Series: Lecture Notes in Computer Science ; v.10610Material 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)
		Foundations of software science and computation structures : 20th international conference proceedings, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 by Esparza, Javier [Editor] \| Murawski, Andrzej S [Editor]. Series: Lecture Notes in Computer Science ; v.10203Material 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)
		Cross-cultural design : 9th international conference proceedings, CCD 2017, held as Part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017 by Rau, Pei-Luen Patrick [Editor]. Series: Lecture Notes in Computer Science ; v.10281Material 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)
		AI 2017: advances in artificial intelligence : 30th Australasian joint conference proceedings, Melbourne, VIC, Australia, August 19–20, 2017 by Peng, Wei [Editor] \| Alahakoon, Damminda [Editor] \| Li, Xiaodong [Editor]. Series: Lecture Notes in Computer Science ; v.10400Material 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)
		Agents and multi-agent systems for health care : 10th international workshop, A2HC 2017, Sao Paulo, Brazil, May 8, 2017, and international workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017 by Montagna, Sara ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10685Material 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)
		Theory and practice of model transformation : 10th international conference proceeding, ICMT 2017, held as part of STAF 2017, Marburg, Germany, July 17-18, 2017 by Guerra, Esther [Editor] \| Brand, Mark van den [Editor]. Series: Lecture Notes in Computer Science ; v.10374Material 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)
		Tests and proofs : 11th international conference proceedings, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017 by Gabmeyer, Sebastian [Editor] \| Johnsen, Einar Broch [Editor]. Series: Lecture Notes in Computer Science ; v.10375Material 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)
		Trust, privacy and security in digital business : 14th international conference proceedings, TrustBus 2017, Lyon, France, August 30-31, 2017 by Lopez, Javier [Editor] \| Fischer-Hübner, Simone [Editor] \| Lambrinoudakis, Costas [Editor]. Series: Lecture Notes in Computer Science ; v.10442Material 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)
		On the move to meaningful internet systems: OTM 2016 workshops : confederated international workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016 by Ciuciu, Ioana ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10034Material 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)

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

Powered by Koha