Search

Your search returned 40 results.

Results
		Formal concept analysis : 13th international conference, ICFCA, proceedings, Nerja, Spain, June 23-26, 2015 (e-book) by Carrasco-Ochoa, Jesus Ariel ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9113 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book) by Havelund, Klaus [Editor] \| Holzmann, Gerard [Editor] \| Joshi, Rajeev [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9058 Language: English Publication details: Berlin Springer 2015Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		NASA formal methods : 8th international symposium, NFM, proceedings, Minneapolis, MN, USA, June 7-9, 2016 (e-book) by Rayadurgam, Sanjai [Editor] \| Tkachuk, Oksana [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9690 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Pattern Recognition 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings by Martinez-Trinidad, Jose Francisco ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.9703 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods for components and objects : 8th international symposium, FMCO, Eindhoven, The Netherlands, Nov. 4-6, 2009 (e-book) by De Boer, Frank S. ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6286 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods : foundations and applications : 13th Brazilian symposium on formal methods, SBMF, Natal, Brazil, Nov. 8-11, 2010 (e-book) by Davies, Jim [Editor] \| Silva, Leila [Editor] \| Simão, Adenilso [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6527 \| 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)
		Web services and formal methods : 7th international workshop, WS-FM, Hoboken, NJ, USA, Sept. 16-17, 2010 (e-book) by Bravetti, Mario [Editor] \| Bultan, Tevfik [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6551 \| 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)
		Formal aspects of security and trust : 7th international workshop, FAST, Pisa, Italy, Sept. 16-17, 2010 (e-book) by Degano, Pierpaolo [Editor] \| Etalle, Sandro [Editor] \| Guttman, Joshua [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6561 \| LNCS Sublibrary : SL 4 – Security and cryptology Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		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)
		Formal aspects in security and trust : 6th international workshop, FAST, Eindhoven, The Netherlands, Nov. 5-6, 2009 : revised selected papers (e-book) by Kitagawa, Hiroyuki...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5983 \| LNCS Sublibrary : SL 4 – Security and cryptology Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

1
2
3
4
Next
Last

Powered by Koha