Search

Your search returned 17 results.

Results
		Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 13-18, 2011 (e-book) by Bernardo, Marco [Editor] \| Issarny, Valérie [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6659 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Computational science and its applications, ICCSA 2013 : 13th international conference : proceedings, Ho Chi Minh City, Vietnam, Jun. 24-27, 2013 (e-book) by Murgante, Beniamino ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.7971 Language: English Publication details: Berlin Springer 2013Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Architecture of computing systems ARCS : 29th international conference, proceedings, Nuremberg, Germany, Apr. 4-7, 2016 (e-book) by Hannig, Frank ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9637 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Cyberspace Safety and Security : 9th International Symposium proceedings, CSS 2017, Xi’an China, October 23–25, 2017 (e-book) by Wen,Sheng [Editor] \| Wu, Wei [Editor] \| Castiglione, Aniello [Editor]. Series: Lecture Notes in Computer Science ; v.10581Material 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)
		Information systems security : 13th international conference proceedings, ICISS 2017, Mumbai, India, December 16-20, 2017 (e-book) by Shyamasundar, Rudrapatna K [Editor] \| Singh, Virendra [Editor] \| Vaidya,Jaideep [Editor]. Series: Lecture Notes in Computer Science ; v.10717Material 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)
		Cloud computing and security : Third international conference, ICCCS 2017, Nanjing, China, June 16-18, 2017 (e-book) by Sun, Xingming ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10603Material 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)
		Transactions on edutainment XIII by Pan, Zhigeng ...[et al.] [Editor]. Series: Lecture Notes in Computer Science ; v.10092Material 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, privacy and applied cryptography engineering : 7th international conference proceedings, SPACE 2017, Goa, India, December 13-17, 2017 by Subidh Ali, Sk [Editor] \| Danger, Jean-Luc [Editor] \| Eisenbarth, Thomas [Editor]. Series: Lecture Notes in Computer Science ; v.10662Material 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)

Powered by Koha