Your search returned 4 results.

Not what you expected? Check for suggestions

Results
	1.	Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by Singh, Neeraj Kumar [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Information Processing in Computer-Assisted Interventions [electronic resource] : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013. Proceedings / edited by Dean Barratt, Stéphane Cotin, Gabor Fichtinger, Pierre Jannin, Nassir Navab. by Barratt, Dean [editor.] Cotin, Stéphane [editor.] Fichtinger, Gabor [editor.] Jannin, Pierre [editor.] Navab, Nassir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7915 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Foundations of Health Information Engineering and Systems [electronic resource] : Second International Symposium, FHIES 2012, Paris, France, August 27-28, 2012. Revised Selected Papers / edited by Jens Weber, Isabelle Perseil. by Weber, Jens [editor.] Perseil, Isabelle [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7789 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Human Aspects in Ambient Intelligence [electronic resource] : Contemporary Challenges and Solutions / edited by Tibor Bosse, Diane J. Cook, Mark Neerincx, Fariba Sadri. by Bosse, Tibor [editor.] Cook, Diane J [editor.] Neerincx, Mark [editor.] Sadri, Fariba [editor.] SpringerLink (Online service) Series: Atlantis Ambient and Pervasive Intelligence ; 8 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)